Lógicas Não-Clássicas
Lógica Modal
- Em geral, o valor verdade de um enunciado modal não depende somente dos valores verdade reais de seus componentes, mas também dos valores verdade que esses componentes possam ter em vários mundos possíveis.
- Enunciados da forma ? P são verdadeiros se e e somente se P é verdadeiro em pelo menos um mundo possível.
- Analogamente, enunciados da forma ? P são verdadeiros se e somente se P é verdadeiro em todos os mundos possíveis.
- ?? P É impossível que Pete seja carteiro
- ?? P Pode ser que Pete não seja carteiro
- ? ? P Não é verdade que Pete seja necessariamente carteiro
- ?? P É necessário que Pete não seja carteiro
- ? (P? ?Q) Necessariamente, se Pete é carteiro então ele não é médico.