•Lógica Modal
–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.