Condicional Material (II)
Raymundo Morado
Modus Ponendo Ponens de ⊃LeerA ⊃ B
A____________
BParafrasear
Ejemplificar
Evaluar
Demostrar
Modus Tollendo Tollens de ⊃LeerB ⊃ A
¬A____________
¬BParafrasear
Ejemplificar
Evaluar
Demostrar
Transitividad (Silogismo Hipotético) de ⊃
LeerP ⊃ Q
Q ⊃ R________
P ⊃ R
ParafrasearEjemplificar
EvaluarDemostrar
Factor (Monotonicidad)LeerP ⊃ Q
______________(P&R) ⊃ (Q&R)
Parafrasear
Ejemplificar
Evaluar
Demostrar
Reducción al absurdo (Ley de Clavius)
LeerP ⊃ ¬P
__________
¬P
Parafrasear
Ejemplificar
Evaluar
Demostrar
Prueba condicional (Condicionalización)
LeerQ (¿inferida de P?)
________________
P ⊃ Q
Parafrasear
Ejemplificar
Evaluar
Demostrar
Dilema constructivo
LeerP⊃Q
R⊃SPvR
__________Q v S
ParafrasearEjemplificar
EvaluarDemostrar
Dilema destructivo
LeerP⊃Q
R⊃S¬Qv¬S
_________¬P v ¬R
ParafrasearEjemplificar
EvaluarDemostrar
Contraposición/Transposición de ⊃
LeerP ⊃ Q ¬Q ⊃ ¬P
________ ________¬Q ⊃ ¬P P ⊃ Q
Parafrasear
Ejemplificar
Evaluar
Demostrar
AntilogismoLeer
(P & Q) ⊃ R (P & ¬R) ⊃ ¬Q_______________ ________________
(P & ¬R) ⊃ ¬Q (P & Q) ⊃ R
Parafrasear
Ejemplificar
Evaluar
Demostrar
Primer Examen Parcial
• Última media hora de la clase.