Conjuncion Disyuncion Negacion P  P Doble negacion

P Q PQ P Q PQ P P PP  P

Idempotencia
V V V V V V V F PP  P
V F F V F V F V PQ  QP
Conectores logicos

Conmutativa
F V F F V V PQ  QP
F F F F F F P(QR)  (PQ)R
Asociativa
P(QR)  (PQ)R
Condicional Bicondicional P(QR) 

Algebra de proposiciones
P Q P→Q P Q P⇄Q (PQ)(PR)
V V V V V V Distributiva
P(QR) 
V F F V F F (PQ)(PR)
F V V F V F PP  T
F F V F F V Complemento
PP  F
PF  P
PQ  P PT  P
Identidad
PQ  Q PT  T
Simplificacion
(P→Q)  P Dominancia
Implicaciones tautologicas

PF  F
(P→Q)  Q (PQ)  PQ
P  PQ De Morgan
(PQ)  PQ
Q  PQ P(PQ)  P
Adicion Absorción
P  P→Q P(PQ)  P
Q  P→Q P→Q  PQ Condicional-Disyuncion
P,Q  PQ Conjuntividad Bicondiciona-
MTP, Silogismo P⇄Q  (P→Q)(Q→P)
Condicional
P, PQ  Q
disyuntivo P→Q  Q→P Contra reciproco
P, P→Q  Q MPP, Modus ponens
Q, P→Q  P MTT, Modus tollens  X  X
P→Q, Q→R  P→R  X Y  X, Y 

PAT antecedente
Silogismo hipotetico
PQ, P→R, Q→R  X
Dilema  X Y 
R Y
Y
  X X → X→Y 
X
PAT concecuente

X X, Y 
  X Y ⇄ X ⇄Y 
Y  X, Y
  X Y  X, Y
→  X→Y XY
XY
⇄  X⇄ Y
YX

¬(∀𝑥)𝑃(𝑥) ⟺ (∃𝑥)¬𝑃(𝑥)
C. de predicados

NC
¬(∃𝑥)𝑃(𝑥) ⟺ (∀𝑥)¬𝑃(𝑥)
(∀𝑥)𝑃(𝑥) ⟹ 𝑃(𝑦) (𝑦 𝑎𝑟𝑏𝑖𝑡𝑟𝑎𝑟𝑖𝑎) EU
(∃𝑥)𝑃(𝑥) ⟹ 𝑃(𝑎) (𝑎 𝑒𝑠𝑝𝑒𝑐𝑖𝑓𝑖𝑐𝑎) EE
𝑃(𝑥)(𝑥 𝑎𝑟𝑏𝑖𝑡𝑟𝑎𝑟𝑖𝑎) ⟹ (∀𝑥)𝑃(𝑥) GU
𝑃(𝑎)(𝑎 𝑒𝑠𝑝𝑒𝑐𝑖𝑓𝑖𝑐𝑎) ⟹ (∃𝑥)𝑃(𝑥) GE