MODUS PONENS (MP) ¬(PVQ)↔(¬PΛ¬Q) ≡↔SI Y SOLO

SI\BICONDICIONAL
P→Q
→SI Y ENTONCES\CONDICIONA
P CONMUTACION (CONM) Λ Y\CONJUNCION
Q (PVQ)↔(QVP) V O\DISYUNCION
(PΛQ)↔(QΛP) ¬ NEGACION\NO
≡↔ DISYUNCION EXCLUYENTE
MODUS TOLLENS (MT)
P→Q ASOCIACION (ASOC)
¬Q [PV(QVR)]↔[(PVQ)VR]
¬P [PΛ(QΛR)]↔[(PΛQ)ΛR]

SILOGISMO HIPOTÉTICO DISTRIBUCION (DIST)

(SH) [PΛ(QVR)]↔[(PΛQ)V(PΛR)]
P→Q [PΛ(QVR)]↔[(PΛQ)V(PΛR)]
Q→R
P→R DOBLE NEGACION (DN)
P↔¬¬P
SILOGISMO DISYUNTIVO
(SD) TRANSPOSICION (TRANS)
PVQ (P→Q)↔(¬Q→¬P)
¬P
Q IMPLICACION MATERIAL
(IMPL)
DILEMA CONSTRUCTIVO (P→Q)↔(¬PVQ)
(DC)
(P→Q) Λ (R→S) EQUIVALENCIA
PVR MATERIAL (EQUIV)
QVS (P↔Q)↔[(P→Q)Λ(P→P)]
(P↔Q)↔[(PΛQ)Λ(¬P→¬Q)]

DILEMA DESTRUCTIVO
EXPORTACION (EXP)
(DD)
[(PΛQ)→R]↔[P→(Q→R)]
(P→Q) Λ (R→S)
¬QV¬S
TAUTOLOGIA (TAUT)
¬PV¬R
P↔(PVP)
P↔(PΛP)
SIMPLIFICACIÓN (SIMP)
PΛQ
P

CONJUNCIÓN (CONJ)
P
Q
PΛQ
P Q PΛQ PVQ P→Q P↔Q
ADICION (AD) 0 0 0 0 1 1
P 0 1 0 1 1 0
PVQ 1 0 0 1 0 0
TEOREMA DE MORGAN 1 1 1 1 1 1
(DEM)
¬(PΛQ)↔(¬PV¬Q)