Reglas de Inferencia Lógica: Fundamentos y Aplicaciones
Clasificado en Matemáticas
Escrito el en
español con un tamaño de 3,66 KB
1. Modus Ponendo Ponens (MPP)
Modo en que afirmando, se afirma.
p → q
p
____
q
2. Modus Tollendo Tollens (MTT)
Modo en que negando, se niega.
p → q
¬q
____
¬p
3. Modus Tollendo Ponens (MTP)
Modo en que negando, se afirma.
p v q p v q
¬p o ¬q
_____ ______
q p
4. Simplificación (SIMPL)
Si existen dos proposiciones unidas por una conjunción, se pude obtener como conclusión cualquiera de las dos.
p ∆ q ... Continuar leyendo "Reglas de Inferencia Lógica: Fundamentos y Aplicaciones" »
catalán con un tamaño de 8,26 KB
gallego con un tamaño de 1,75 KB