Modalizadores na prática
Não adianta só decorar que P significa "é necessário que P" e P significa "é possível que P". O problema real começa quando você precisa aplicar isso em exercícios que misturam sistemas modais — K, T, S4, S5 — e ainda cobram validade de argumentos. Eu já vi gente travar em questões aparentemente simples porque não distinguia bem a diferença entre acesso a mundos acessíveis e reflexividade do relacionamento. A maioria dos materiais que você encontra na internet tem exercícios genéricos sem explicação. Vou colocar aqui uma lista prática com gabarito comentado, incluindo alguns casos que realmente aparecem em provas e concursos.
modalizadores exercicios com gabarito
Antes de partir para os exercícios, um lembrete rápido sobre o sistema modal que você está usando. A resposta certa em uma questão depende completamente de se o sistema é K, T, S4 ou S5. No sistema K, que é o mais básico, você só tem o axioma da distribuição: (P Q) (P Q). Já no sistema T, você adiciona a reflexividade dos mundos acessíveis, o que te dá o axioma P P. Em S5, todos os mundos são acessíveis entre si, então P significa simplesmente que P é verdadeiro em todos os mundos possíveis, sem exceção. O erro mais comum que eu vejo é o aluno aplicar um esquema de inferência de S5 quando o exercício pede no sistema K. Tipo, usar a regra da simetria ou da transitividade sem verificar se o sistema permite. Isso acontece principalmente em questões de múltipla escolha onde a alternativa parece óbvia, mas é inválida no sistema solicitado.
Lista de exercícios com gabarito
Exercício 1 — Tradução para lógica modal
Traduza para a linguagem da lógica modal: a) "É necessário que dois mais dois seja igual a quatro."
b) "É possível que chova amanhã." c) "Não é possível que P e não-P sejam verdadeiros ao mesmo tempo."
d) "É necessário que, se P então Q, e é possível que P." Gabarito:
a) (2 + 2 = 4) b) Chuva(amanhã)
c) ¬(P ¬P) ou, equivalentemente, ¬(P ¬P) d) (P Q) P
Exercício 2 — Equivalências modais
Quais das seguintes equivalências são válidas em qualquer sistema modal normal (K)? a) ¬P ¬P
b) ¬P ¬P c) P P
d) P P e) P P
f) ¬(P ¬P) Gabarito:
a) VÁLIDA. É a definição padrão de a partir de (e vice-versa). Vale em K. b) VÁLIDA. Mesmo raciocínio da alínea a. São as definições inter-definíveis.
c) INVÁLIDA em K. Isso exige o axioma 4 (transitividade). Só vale em S4 ou S5. d) INVÁLIDA em K. Exige transitividade também, por dualidade com c.
e) INVÁLIDA em K. Esse é o axioma T (reflexividade). Só vale em T, S4 ou S5. f) VÁLIDA. Isso é equivalente a dizer que P ¬P é impossível, o que é uma tautologia da lógica clássica subjacente.
Exercício 3 — Validez de argumentos
Diga se os argumentos abaixo são válidos. Justifique indicando o axioma ou regra usada. a) Premissa: P. Conclusão: P
b) Premissa: P. Conclusão: P c) Premissa: (P Q), P. Conclusão: Q
d) Premissa: P. Conclusão: P e) Premissa: P. Conclusão: P
Gabarito: a) INVÁLIDO em K, VÁLIDO em T/S4/S5. De P para P você precisa de serialidade (todo mundo acessível tem pelo menos um mundo acessível a si). Em K puro não há garantia disso. Se o sistema for T (reflexivo), aí funciona porque cada mundo é acessível a si mesmo.
b) INVÁLIDO em qualquer sistema normal. Possibilidade não implica necessidade. Um contraexemplo fácil: considere um modelo com dois mundos w1 e w2, onde w1 acessa w2 e P é verdadeiro em w2 mas não em w1. Então P é verdadeiro em w1, mas P é falso. c) VÁLIDO em K. É instância direta do axioma de distribuição K: (P Q) (P Q). Aplicando MP duas vezes, chega-se em Q.
d) INVÁLIDO em K, VÁLIDO em S4. Isso é o axioma 4 (P P), que exige transitividade do relacionamento de acessibilidade. Em K não há garantia de transitividade. e) INVÁLIDO em qualquer sistema normal padrão. P significa que existe um mundo acessível onde P é necessário em todos os mundos acessíveis a esse mundo. Isso não garante que P seja necessário no mundo atual. Em S5 isso seria válido porque todos os mundos se acessam, mas em K, T ou S4 não.
Exercício 4 — Modelos de mundos possíveis
Construa um modelo de mundos possíveis que torne FALSEIO a seguinte fórmula em K: P P
Indique os mundos, o relacionamento de acessibilidade e a valuation. Gabarito:
👉 Clique no botão abaixo para saber mais sobre o assunto!
Considere o modelo M = W, R, V onde: W = {w1}
R = (relação vazia — w1 não acessa nenhum mundo, nem a si mesmo) V(P) = {w1} (P é verdadeiro em w1)
Em w1, P é verdadeiro porque não há nenhum mundo acessível onde P seja falso (a condição é universal sobre um conjunto vazio). Já P é falso porque não há nenhum mundo acessível onde P seja verdadeiro. Logo, P P é falso em w1. Isso mostra que o axioma T não é teorema de K.
Exercício 5 — Dedução formal
Mostre que, no sistema K, P P é um teorema. Em seguida, mostre que, no sistema S5, P ¬¬P e P ¬¬P são teoremas. Gabarito:
a) P P é uma tautologia proposicional (forma A A), e toda tautologia é teorema em qualquer sistema modal normal pela regra da necessitação e modus ponens. Então vale em K sem problemas. b) As equivalências P ¬¬P e P ¬¬P são, na verdade, as DEFINIÇÕES padrão dos operadores modais. Em qualquer sistema modal normal, P é definido como ¬¬P e P como ¬¬P. Então elas são verdadeiras por definição, não precisam ser demonstradas — são os axiomas definidores da dualidade modal.
Exercício 6 — Sistema específico
Considere o sistema S4 (K + axioma T + axioma 4). Quais das seguintes fórmulas são teoremas? a) P P
b) P P c) P P
p(d) P P e) P P
Gabarito: a) TEOREMA. É o axioma T, incluído em S4.
b) TEOREMA. É o axioma 4, incluído em S4. c) TEOREMA. Por dualidade com b: de P P, aplicando a dualidade = ¬¬, chega-se em P P. Basta negar ambos os lados e usar as equivalências definidoras.
d) NÃO é teorema em S4. S4 não exige serialidade. Para P P funcionar, precisa-se de um axioma extra (chamado D, que adiciona serialidade). S4 puro pode ter mundos que não acessam nenhum outro mundo. e) INVÁLIDO. P P não segue de T nem de 4. Isso exige propriedades adicionais como simetria ou convergência, que não estão presentes em S4.
Exercício 7 — Problema prático que todo aluno enfrenta
Na hora da prova, a questão pede: "Mostre que (P Q), (P R), (Q S) (R S)". Muitas pessoas tentam fazer uma prova semântica com modelos e acabam se perdendo. Qual a forma mais eficiente? Gabarito:
A forma mais eficiente é a prova sintática. Use a regra da necessitação e a distribuição várias vezes: 1. (P R) — premissa
2. (Q S) — premissa 3. (P R) (P R) — instância do axioma K
4. P R — MP de 1 e 3 5. Análogo para Q e S: Q S
6. (P Q) — premissa 7. Derive P Q a partir de (P Q)... aqui que a maioria erra, porque (P Q) NÃO implica P Q em K. O caminho correto é diferente:
7. De P R, tenha Q S. Por raciocínio condicional proposicional: (P R) (Q S) (P Q) (R S) 8. ((P R) (Q S) ((P Q) (R S))) — necessitação de teorema proposicional
9. Aplique K duas vezes com as premissas 1 e 2 para obter (P Q) (R S)... novamente, cuidado aqui. O passo limpo é: 9. (P Q) — premissa
10. Da etapa 7, por necessitação e distribuição: (P Q) (R S) 11. (R S) — MP de 9 e 10
Isso resolve em cerca de 11 linhas. A armadilha é tentar usar (P Q) P Q, que não é válido.
Dicas que realmente funcionam
A principal dificuldade que eu observei em alunos ao resolver modalizadores exercicios com gabarito é a confusão entre validade lógica e verdade em um modelo específico. Quando a questão pede se uma fórmula é válida, você precisa mostrar que ela é verdadeira em TODOS os modelos de TODOS os mundos do sistema. Quando pede se é satisfazível, basta encontrar UM modelo onde ela é verdadeira. São coisas completamente diferentes e os alunos frequentemente invertam os dois conceitos na hora da prova. Outro ponto que causa confusão é a diferença entre o operador de necessidade interna ao sistema e a noção cotidiana de "necessário". Em lógica modal, P não significa que P é necessário no sentido filosófico forte — significa apenas que P é verdadeiro em todos os mundos acessíveis a partir do mundo atual, segundo o relacionamento R definido no modelo. Mudar R e você muda o significado de .
Se você está estudando para uma prova, recomendo focar em três coisas: saber construir contraexemplos com modelos (é a habilidade mais cobrada), memorizar quais axiomas valem em cada sistema (K, T, S4, S5), e praticar provas sintáticas curtas com a regra da necessitação. O resto é — repetir até fixar. Um último aviso: muitos exercícios online têm gabaritos errados, especialmente aqueles que confundem sistemas. Sempre verifique se a resposta faz sentido no sistema especificado. Se o gabarito diz que P P é válido em K, o gabarito está errado. Esse erro aparece com frequência em material produzido por quem não domina a diferença entre os sistemas modais.
