jueves, 7 de noviembre de 2013

~p → r →. p → r → r


1.  ~p → ~~p →. ~p → ~p →. ~~p
     Sustitución,
p → ~q →. p → q →. ~p

2.  ~p → p → p
     tertium non datur


3.  ~p → p → p →. [q → p →. ~p → p] →. q → p → p
     Transitividad de →


4.  [q → p →. ~p → p] →. q → p → p
     Modus ponens (3 y 2)


5.  ~p → q →. q → p → p
     Regla de transitividad, (1 y 4
)

No hay comentarios: