Documentos de Académico
Documentos de Profesional
Documentos de Cultura
p:
Q
A CONTRARIAS
CONTRADICTORIAS SUBALTERNAS
SUBALTERNAS
CONTRADICTORIAS
SUBCONTRARIAS O
Premisas = P1:( pq )͢ r
P2: q
P3:p
Conclusión: r
(p^q [(p^q)-
p q r (q)^(p) {[(p^q)->r]^(q)^(p)} {[(p^q)->r]^(q)^(p)}->r
) >r]
V V V V V V V V
V V F V F V F V
V F V F V F F V
V F F F V F F V
F V V F V F F V
F V F F V F F V
F F V F V F F V
F F F F V F F V
MATRIZ PRINCIPAL
Resultado de la tabla
de verdad:
TAUTOLOGIA
Leyes de la Inferencia
P1: (p^q) r
P2:q
P3:p
Conclusión: r
P4:q^p Conjunción 2,3
P5:p^q conmutatividad 4
P6:r Modo ponendo ponens 5 (MPP)
El argumento es valido