Usuario:Drodriguezp/ejercicio 2

De Wikilibros, la colección de libros de texto de contenido libre.

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)