Lógicas Clássicas
Resolução
RESOLUÇÃO NA LÓGICA PROPOSICIONAL
EXEMPLO: P, (P ^ Q) ? R, S v T ? Q , T|? R
- Começamos por resolver com a cláusula ? R, pois ela é uma das cláusulas que deverão estar envolvidas na contradição que estamos tentando encontrar.
1. P
2. ? P v ? Q v R
3. ? S v Q
4. ? T v Q
5. T
6. ? R
------------------------------------------
7. ? P v ? Q (2 e 6)
8. ? Q (1 e 7)
9. ? T (4 e 8)
10. VAZIA (5 e 9)