Reactivo 1:

Modus Ponendo Ponens (MPP)

(p q)
p
________
q
Lectura literal:
Si p entonces q
P
Por lo tanto, q

Parafraseo:
La regla dice que la conclusin es q

Reactivo 2:

Modus Tollendo Tollens (MTT)

(p q)
~q
________

~p
Lectura literal:
Si p entonces q
No q
Por lo tanto, no p
Parafraseo:
La regla indica que el elemento p condiciona al segundo q en forma
negativa y como consecuencia tenemos el primero en negativo.

Reactivo 3:

(p q)
~q
_____
p
Lectura literal:
Poq

No q
Por lo tanto, p

Parafraseo:
La regla nos dice que en forma disyuntiva si el primer elemento es negativo
el segundo ser positivo.

Reactivo 4:

Silogismo Hipottico (SH)

pq
qr
________
pr
Lectura literal:
Si p entonces q
Si q entonces r
Por lo tanto si p entonces r

Parafraseo:
La regla dice que si se adicionan 3 elementos tiene como resultado
condicionar el primero con el tercero.

Reactivo 5:

Conjuncin (CONJ)
p
q
________
(p q)
Lectura literal:
p
q
por lo tanto p y q

Parafraseo:
La regla dice que si juntamos dos elementos el resultado es la conjuncin
de los dos.

Reactivo 6:

Simplificacin (SIMP)
(p q)
________
p
(p q)
________
q
Lectura literal:
Pyq
Por lo tanto p

Pyq
Por lo tanto q

Parafraseo:
La regla indica que cuando hay una conjuncin de dos elementos el
resultado puede ser cualquiera de los dos.

Reactivo 7:

Adicin (AD)
p
________
(p q)
Lectura literal
p
por lo tanto p o q
Parafraseo:
La regla dice que al tener un solo elemento podemos adicionarle otro.

Final de la pantalla:

Guardar y portafolio