•Lógica Modal
–Suponha que um certo rio é poluído. Seja P representando esse enunciado. Então, P é verdade e Ø P é falso.
–Contudo os enunciados
• P - É necessário que este rio seja poluído; e
• Ø P - É necessário que este rio não seja poluído.
– São falsos. Nenhuma condição é necessária. A condição do rio é um fato contingente; ele não está destinado a ser de uma maneira ou de outra.
–Analogamente os enunciados
•à P - É possível que este rio seja poluído; e
•à Ø P - É possível que este rio não seja poluído.
– São verdadeiros. As duas condições são possíveis.
–Se P é verdadeira, então à P é certamente verdadeira. Se P é falsa, então P é falsa.
–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.