Scribd
Cargar
117 vistas1 página

Inferencia Logica

Este documento presenta las reglas y leyes de la lógica proposicional, incluyendo modus ponens, modus tollens, doble negación, simplificación, adjunción, silogismo hipotético, adición, leyes de Morgan, simplificación disyuntiva, silogismo disyuntivo, comutativas, proposiciones bicondicionales. Explica cómo se pueden derivar conclusiones válidas a partir de premisas usando estas reglas y leyes lógicas.

Cargado por

Mary De La Palma
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
117 vistas1 página

Inferencia Logica

Este documento presenta las reglas y leyes de la lógica proposicional, incluyendo modus ponens, modus tollens, doble negación, simplificación, adjunción, silogismo hipotético, adición, leyes de Morgan, simplificación disyuntiva, silogismo disyuntivo, comutativas, proposiciones bicondicionales. Explica cómo se pueden derivar conclusiones válidas a partir de premisas usando estas reglas y leyes lógicas.

Cargado por

Mary De La Palma
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

Reglas de inferencia lógica

Modus ponendo ponens Modus tollendo tollens


Premisa P → Q Premisa P → Q
Premisa P Premisa ¬Q
_______ _______
Conclusión Q Conclusión ¬P
Modus tollendo ponens Doble negación
Premisa P V Q P V Q Premisa P ¬¬P
Premisa ¬P ¬Q ______ ______
______ ______ Conclusión ¬¬P P
Conclusión Q P
Regla de simplificación Regla de adjunción
Premisa P Λ Q P Λ Q Premisa P
______ ______ Premisa Q
Conclusión P Q ______
Conclusión P Λ Q
Ley de silogismo hipotético Ley de adición
Premisa P → Q Premisa P Q
Premisa Q → R ______ ______
_______ Conclusión P V Q P V Q
Conclusión P → R

Leyes de Morgan
Premisa ¬(P Λ Q) Premisa ¬(P V Q)
_______ _______
Conclusión ¬P V ¬Q Conclusión ¬P Λ ¬Q
Premisa ¬P V ¬Q Premisa ¬P Λ ¬Q
_______ _______
Conclusión ¬(P Λ Q) Conclusión ¬(P V Q)

Ley de la simplificación disyuntiva Ley del silogismo disyuntivo


Premisa P V P Premisa P V Q
______ Premisa P → R
Conclusión P Premisa Q → S
_______
Conclusión R V S
Leyes conmutativas Ley de las proposiciones bicondicionales
Premisa P Λ Q P V Q Premisa P ↔ Q P ↔ Q
______ ______ _______ _______
Conclusión Q Λ P Q V P Conclusión P → Q Q → P

Premisa P → Q
Premisa Q → P P ↔ Q
_______ _________________
Conclusión P ↔ Q (P → Q) Λ (Q → P)

También podría gustarte