5. Lógica Modal
A semântica da lógica modal define o comportamento dos argumentos em função do valor verdade das fórmulas sobre as quais eles são aplicados.
Com relação à semântica de mundos possíveis de Kripke, marque a alternativa correta.
A.
Na semântica modal, os argumentos podem ser avaliados em quatro status diferentes: verdadeiro, falso, necessário ou possível.
B.
A semântica de Kripke também faz uso da semântica de mundos possíveis, que avalia as possibilidades para cada universo paralelo.
C.
Diferentemente da lógica proposicional, pode-se avaliar uma proposição na semântica modal com valores diferentes para cada mundo possível.
D.
Uma função de valoração é utilizada quando se necessita selecionar uma entre n possibilidades em W para mundos possíveis.
E.
Uma função de acessibilidade nos informa quantos mundos possíveis existem a partir de determinada função de valoração.
Respostas
Resposta: resposta correta letra C.
Explicação: Diferentemente da lógica proposicional, pode-se avaliar uma proposição na semântica modal com valores diferentes para cada mundo possível. As proposições da lógica modal para necessidade e possibilidade podem ser avaliadas como verdadeiras ou falsas, como na lógica proposicional.A semântica de mundos possíveis não é centrada em universos paralelos necessariamente, mas no conjunto de situações que podem ocorrer e talvez não ocorram.Uma função de valoração dá um valor de verdade (verdadeiro ou falso) para cada variável proposicional em cada mundo possível de W.Uma função de acessibilidade define qual mundo possível é acessível a partir de cada mundo possível, permitindo o conceito de diferentes possibilidades e necessidades em cada mundo possível.