DILEMA CONSTRUCTIVO (D.C), ABSORCIÓN (A.B.S.) SIMPLIFICACION (SIMP.), CONJUCION (CONJ), ADICION (AD)

DILEMA CONSTRUCTIVO:

Si estudio aprendo y si duermo

descanso.

Estudié o dormí.

Luego Aprendí o descansé.

( p → q) ˄ (r →s )

p ˅ r

\q ˅ s

ABSORCION:  

Si estudio aprendo

Estudio, luego aprendo y estudio

p  →q

\p → (q ˄  p)

SIMPLIFICACION:

Estudio y aprendo

Luego, estudio

p ˄ q
\p

CONJUCION:

Estudio

Trabajo

Luego, etudio y trabajo

p

q

\p ˄ q

ADICION:

Estudio

Luego, etudio ó trabajo

p

\ p ˅  q