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 -
Son reglas que justifican los pasos de una demostracion: Estas reglas se derivan de tautologıas basicas de la forma ´ “A ⇒ B” Esto es porqu...
No hay comentarios:
Publicar un comentario