Please enable JavaScript.
Coggle requires JavaScript to display documents.
IMPLICACIONES NOTABLES - Coggle Diagram
IMPLICACIONES NOTABLES
-
-
Simplicación
-
-
A partir de una conjunción de dos formulas, se obtiene una de ellas.
Silogismo Disyuntivo
-
A partir de una disyunción, se niega el primero o el segundo y se obtiene el que no se negó.
-
-
Dilema Constructivo
-
Desde dos fórmulas condicionales y de la disyunción de sus antecedentes, se obtiene la disyunción de sus consecuentes.
Dilema Destructivo
Desde dos fórmulas condicionales y de la disyunción de las negaciones de sus consecuentes, se obtiene la disyunción de las negaciones de sus antecedentes.
-
Modus Ponens
Desde una condicional y su antecedente, se obtiene su consecuente.
-
Silogismo Hipotético
-
-
Se necesita dos condicionales, en la primera el consecuente es igual que el antecedente de la segunda.
