Nombre
Dado un condicional, si se afirma el
Modus Ponendo Ponens
Modus Tolendo Tonens
Disyunción Excluyente
Elemento de Conjución
Exclusión Excluyente
Modus Ponendo del
Bicondicional
Modus Tolendo del
Bicondicional
Principio de no Contradicción PNC
Transitividad del condicional
Eliminación de la negación de
la conjución
Eliminación de la negación de
la disyunción
Sigla Ley Definición
MPP antecedente se afirma el consecuente.
Dado un condicional, si se niega el
MTT consecuente se niega el antecedente.
Dado una disyunción, si se niega uno de los
DE elementos, se afirma el otro.
Dada una conjución, se puede afirmar cada
EC uno de sus elementos separadamente.
Dada una exclusión, si se niega uno de sus
elementos se afirma el otro, si se afirma
EE uno de sus elementos, se niega el otro.
Dado un bicondicional, si se afirma uno de
MPB sus elementos se afirma el otro.
Dado un bicondicional, si se niega uno de
MTB sus elementos se niega el otro.
Si una proposición es afirmada y negada se
incurriría en una contradicción.
Si una proposición implica una segunda, y
esta una tercera, entonces la primera
TCI implica también la tercera.
La negación de una conjución equivale a la
ENC negación de sus elementos en conjución.
La negación de una disyunción equivale a la
END negación de sus elementos en conjución.

Eliminación de la negación del
condicional
Dilema Disyuntivo
Dilema Exclusivo
Contraposición del
condicional
Disyunción en condicional
Reducción al absurdo
Conjución de elementos
La negación de un condicional equivale a la
afirmación de su antecedente y la negación
ENCl de su consecuente.
Dada una disyunción, si cada uno de sus
elementos lleva a un tercero, entonces se
DD tiene el tercero.
Dada una exclusión, si alguno de sus
elementos lleva a un tercero y el otro no se
DE da, entonces se tiene el tercero.
Un condicional equivale a que si se niega el
consecuente entonces se niega el
CPCl antecedente.
Si dos elementos en disyunción llevan a un
tercero, entonces si se tiene alguno de sus
DCl elementos, se tiene el tercero.
Si una proposición lleva a una
contradicción, entonces la proposición es
RA falsa.
Si se tienen elementos categóricos
CE separados, se pueden unir en conjución.