Martes 11 de Febrero

Hoy 11 de Febrero hemos comenzado la clase corrigiendo derivaciones y resolviendo dudas que han ido surgiendo próximas al examen. Como siempre, el profesor nos ha recordado que debemos pensar antes de realizarlas.
Aquí os indico las cuatro derivaciones que hicimos, algunas más fáciles que otras.

a)                          |----- p ^ q                      b)                     |----- u ^ w
     
     1. r -> p         pr                                          1. m -> u                pr
     2. r -> q         pr                                          2. s -> w                 pr
     3. r  ^  t         pr                                           3. p ^ q ( m ^ n)   pr
     4. r                      RE ^ 3                               4. p -> (m ^ n)     pr
     5. p                      RE -> 1,4                         5. q -> (r ^ s)        pr
     6. q                      RE ->2,4                          6. p                 RE^ 3
     7. p ^ q               RI^ 5,6                             7. m ^ n        RE -> 4,6
                                                                            8. m                RE ^ 7
                                                                            9. u                 RE -> 1,8
                                                                          10. q                 RE ^ 3
                                                                          11. r ^ s            RE -> 5,10
                                                                          12. s                  RE^ 11
                                                                          13. w                RE -> 2,12
                                                                          14. u ^ w          RI^ 9,13

c)                     |----- ¬t ^ ¬r                          d)                 |-------- q ^ ¬r
    
      
        1. ¬s  v ¬q                      pr                             1. ¬ (¬p -> s)   pr
        2. (p -> ¬m) -> (s^q)   pr                            2. r -> s             pr
        3. (t ^ r)  ->  ¬p              pr                            3. p v q             pr
      - 4 . t                                                                   4. ¬ p ^  ¬ s      RINT ^ 1                    -| 5. r                                                                       5. ¬p           RE^ 4
  | | 6. t ^ r                        RI^ 4,6                         6. q                    RSD 4,5
  | | 7. ¬p                           RE -> 3,6                     7. ¬s                  RE^ 4
  | | 8. ¬p v ¬m                RIV 7                            8. ¬s                  RMT 2,7
  | | 9. p -> ¬m                R def V 8                     9. q ^ ¬r           RI^ 6,8
  | | 10. s ^ q                    RE -> 2,9
  | | 11. s                           RE ^ 10
  | | 12. ¬q                        RSD 1,11
  | | 13. q                          RE^ 10
  | | 14. q ^ ¬q                 RI^ 12,13
  |____________
     |15. ¬r                         RI¬ 5-14  
     |____________
      16. t ->  ¬r                 RI -> 4-15
      17. t ^ ¬r                   R def V 16

Sofía Jaramillo González.