•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.