Reactivo 1:

Reactivo 1:Modus Ponendo Ponens (MPP)

(p q)

p

________

q

Lectura literal:

Si p entonces qP

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 qNo 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

_____

pLectura literal:

P o qNo 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)

p q

q r

________

p r

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:

pq

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)

________

qLectura literal:

P y qPor lo tanto p

P y q

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

ppor lo tanto p o qParafraseo:

La regla dice que al tener un solo elemento podemos adicionarle otro.

Final de la pantalla:Guardar y portafolio