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)
Suscribirse a:
Entradas (Atom)