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