tablaIII-uapa

Prévia do material em texto

Tabla III. Implicaciones tautológicas 
 
Esta tabla está basada en la I-4.2 del libro de Tremblay: 
 
 
Número 
 
 
Implicación tautológica 
 
Nombre 
 
I1 
 
P  Q  P 
 
 Simplificación 
 
I2 
 
P Q  Q 
 
 Simplificación 
 
I3 
 
P  P  Q 
 
 Adición 
 
I4 
 
Q  P  Q 
 
 Adición 
 
I5 
 
7P  P → Q 
 
 Adición 
 
I6 
 
Q  P → Q 
 
 Adición 
 
I7 
 
 
7(P → Q)  P 
 
 Simplificación 
 
I8 
 
7(P → Q)  7Q 
 
 
 Simplificación 
 
I9 
 
 
P, Q  P Q 
 
 Conjuntividad 
 
I10 
 
7P, P  Q  Q 
Modus tollendo ponens (MTP), 
silogismo disyuntivo 
 
I11 
 
P, P → Q  Q 
Modus ponendo ponens (MPP), 
modus ponens (MP) 
 
I12 
 
7Q, P → Q  7P 
Modus tollendo tollens (MTT), 
modus tollens (MT) 
 
I13 
 
P → Q, Q → R  P → R 
Transitividad de la condicional, 
silogismo hipotético 
 
I14 
 
 
P  Q, P → R, Q → R  R 
 
 Dilema