Equivalencias o leyes lgicas

Reglas de inferencias lgicas

Implicacin y disyuncin (ID)

P Q P Q

Regla de inferencia

Premisas

Contrapositiva

P Q Q P

Simplificacin (Simp.)

P Q

Doble negacin (DN)

P P

Adjuncin (Adj.)

P
Q

P Q

Adicin (Adi.)
para cualquier proposicin Q

P Q

Separacin (Sep.) o
Modus ponens (MP)

P
P Q

Contraposicin o
Modus tollens (MT)

P Q
Q

P P P
P P P

Silogismo disyuntivo (SD)

P Q
P

P F0 P

Silogismo hipottico (SH)

P Q
Q R

P R

Dilema constructivo (DC)

P Q
P R
Q S

R S

Dilema destructivo (DD)

R S
P R
Q S

P Q

Ley de casos (LC)

P Q
P R

Q R

De Morgan (DM / LM)

Conmutativa (Con.)
Asociativa (Aso.)
Distributiva (Dis.)
Idempotencia (Ide.)
Neutro (Ne.)
Inversos (Inv.)
Dominacin (Dom.)

Absorcin (Abs.)
Exportacin (Exp.)
Equivalencias disyuncin
exclusiva

P Q P Q

P Q P Q
P Q Q P
P Q Q P

P Q R P Q R
P Q R P Q R
P Q R P Q P R
P Q R P Q P R

P V0 P

P P V0
P P F0
P F0 F0
P V0 V0

P P Q P
P P Q P
P Q R P Q R

P Q P Q P Q
P Q P Q

Conclusin

P
Q

Resumen de conectivas u operadores lgicos

Considere las proposiciones P y Q :
Nombre
Negacin

Notacin

Lectura o escritura

no P ( P simple/atmica)
no es cierto que P ( P compuesta/molecular)

Negacin de proposiciones
con palabras todos, alguno o ninguno
Considere la proposicin P :
Proposicin

Negacin

Todos P

Algunos P
Por lo menos P

Algunos P

Ningn P

Conjuncin

P Q

P yQ
tanto P como Q
P pero Q

Disyuncin
(inclusiva)

P Q

P oQ
P y/o Q

Algunos P

Todos P

P Q

Ningn P

Algunos P

Disyuncin
exclusiva

P Q

oP o Q
P o Q , pero no ambas
si P entonces Q
P slo si Q
P es suficiente para Q
P luego Q ( P es compuesta)
P por lo tanto Q ( P es compuesta)

Condicional
o implicacin
(directa)

P Q

P Q

Considere las proposiciones P y Q :

Notacin

Lectura o escritura

P Q

ni P ni Q

P por consiguiente Q ( P es compuesta)

P Q

Ningn P es Q

Q P

P a menos que Q

Q
Q
Q
Q
Q
Q

si P
es necesario para P
con la condicin de que P
cuando P
siempre que P
debido a P

P sii Q / Q sii P
P s y slo si Q / P s y slo si Q

Bicondicional
o doble
implicacin

Operadores lgicos adicionales

si P entonces Q y recprocamente /
si Q entonces P y recprocamente
si P entonces Q y recprocamente, y
recprocamente; si Q entonces P
P condicin necesaria y suficiente para Q /
Q condicin necesaria y suficiente para P

Derivadas de la condicional
Considere las proposiciones P (antecedente) y Q (consecuente),
donde P Q :
Nombre

Notacin

Directa

P Q

Recproca

Q P

Contradirecta o
inversa

P Q

Contrarrecproca
o contraposicin

Q P

Resumen de las tablas de verdad

Considere las proposiciones P y Q :

Negacin ( )

Conjuncin ( )

P
V

P
F

P
V

P Q

Disyuncin ( )

P
V

P Q

Disyuncin exclusiva ( )
Q

P Q

P
V

Implicacin o
condicional ( )
P
V

P Q

Bicondicional o
doble implicacin ( )
Q

P Q

P
V

Anticonjuncin o
trazo de Sheffer ( | )

Antidisyuncin o
flecha de Pierce ( )

P
V

P Q

P Q