ANÁLISIS DE CASOS:

Este método lo que hace es que hace es dividir las dos expresiones lógicas
para evaluar cada una por separado.
1. En caso de proponerse una expresión esta es una implicación que inicia con
una disyunción de tipo () y debe probarse en cada caso de la siguiente manera:
y.
2. El metateorema del análisis de casos indica que de ser posible demostrar que
se puede reemplazar una de las variables con el valor Verdadero entonces es
un teorema, de igual manera si se puede reemplazar una variable con Falso
entonces también es un teorema, en este caso, entonces toda la expresión
propuesta es un teorema.
Ejemplo:
A: Es miércoles
B: Tengo el día libre
C: Descanso del trabajo
Si es miércoles o tengo el día libre entonces descanso del trabajo.
)
Como se indicó anteriormente, para poder demostrar una implicación (cuyo
antecedente es una disyunción se debe comprobar por separado cada uno de los
casos.
Teorema 13.
Caso 1: Sustituir por
Es miércoles, entonces tengo el día libre y descanso del trabajo
Es miércoles entonces tengo el día libre, es equivalente a
Tengo el día libre y descanso del trabajo entonces tengo el día libre y
descanso del trabajo

Caso 2: sustituir A por false

No es miércoles entonces tengo el día libre y descanso del trabajo (Es falso)
No es miércoles entonces tengo el día libre es equivalente a negación tengo el día
libre
Negando las dos variables en una conjunción se obtiene toda la conjunción
negada

Si las variables son verdaderas entonces se obtiene ambas variables negadas

y su vez toda la conjunción negada.

Tengo el día libre y descanso del trabajo entonces tengo el día libre o descanso
del trabajo.