Modus pones (MP)
X -> Y
X
Y
Modus tolens (MT)
X -> Y
¬Y
¬X
Silogismo disyuntivo (SD)
X v Y
¬Y
¬X
X v Y
¬X
¬Y
Eliminación del conuntor (EC)
X ^ Y
X / Y
Introducción del conjuntor (IC)
X
…
Y
X ^ Y
Transividad del conjuntor (TC)
X -> W
Z -> Y
X -> Y
Eliminación del bicondicional (EB)
X <-> Y
X -> Y
Y -> X
Ley de Morgan (LM)
¬(X ^ Y)
¬X v ¬Y
¬(X v Y)
¬X ^ ¬Y
No hay comentarios:
Publicar un comentario