Usuario:Drodriguezp/ejercicio 2

Ejercicio 2

A. A continuacion se dan conjuntos de premisas. Deducir una conclusion de cada conjunto, indicando como se obtienen cada una de las terceras lineas por medio de las abreviaturas P en la regla de premisas, o PP en el modus ponendo ponens.

1.

  (1) ￢A → ￢B  
  (2) ￢A             
  (3) 

  (1) ￢A → ￢B    (P)
  (2) ￢A        (P)   
  (3) ￢B        (PP)    

2.

  (1) M 
  (2) M → N
  (3)

  (1) M        (P) 
  (2) M → N    (P)
  (3) N        (PP)

3.

  (1) R 
  (2) R → ￢T v Q
  (3) 

  (1) R            (P)
  (2) R → ￢T v Q    (P)
  (3) ￢T v Q        (PP)

4.

  (1) ￢B → ￢D ^ A
  (2) B  
  (3)
  
  (1) ￢B → ￢D ^ A    (P)
  (2) B            (P)
  (3) ￢D ^ A        (PP)