Logica

Ejercicio 8 - Pruebe y justifique los siguientes argumentos por medio de la PRUEBA FORMAL  

             Premisas 

1.  1. R ɔ  (H• L)

        2. (H •L) ɔ F  

        3.  R ؞  F v H

           Líneas de prueba                Justificación                                                        Cálculo

4)                   H• L                         1,3     M.P                                

5)                      F                           2,4     M.P

6)                    F v H                        6      Adición de H

             Premisas 

2)     1.  M ɔ (P • Q)

         2.  ~P  ؞ ~M

             Líneas de prueba                Justificación                                   Cálculo         

 3)          M ɔ (P v Q)                    1      Adición Q

 4)           (~P  •  ~Q)                     3      Teorema de Morgan  

 5)                ~M                           1,4     M.T        

              Premisas 

 3)     1. (A v B) ɔ Q

1. H ɔ ~Q
2. A • F ؞ ~H

              Líneas de prueba                Justificación                                                Cálculo

4)                         A                                  1 simplificación de A      

5)                      A v B                              4    adición B

6)                        Q                                  1, 5     MP                                      

7)                       ~~Q                               6     doble negación

 8)                       ~H                                    2,7 M.T                                

           Premisas

4)    1. H ɔ Q

        2. F ɔ R

...