Ley de Combinación
Ley de Adición
Modus Tollens
Modus Ponens
Sigilismo Hipotético
Sigolismo Disyuntivo
Ley de Resolución
Suscribirse a:
Enviar comentarios (Atom)
-
Programación Lógica Filosofia del paradigma La mayoría de los Lenguajes de Programación se basan en la Teoría Lógica de Pri...
-
Particularizacion Universal Generalizacion Universal Particularizacion Existencial -
Para teoremas de la forma p ⇒ q: Demostración Directa Demostración Indirecta Demostración Vacua Demostración Trivial Demostración p...
No hay comentarios:
Publicar un comentario