Especulación Pura
Un reservorio de la filosofía moderna y algunas de sus visicitudes contemporáneas
Páginas
(Mover a...)
BLOG
Libros y textos E.
Unicode
Comentarios etc.
▼
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:
Publicar un comentario
‹
›
Inicio
Ver versión web
No hay comentarios:
Publicar un comentario