Question

4. Lógica Modal
Cada linguagem possui suas regras de sintaxe, semântica e provas de verdade.

Com relação à sintaxe da lógica modal proposicional, marque a alternativa correta.


A.
Pode-se afirmar que determinada proposição ou fórmula pode ser considerada necessária caso ela não seja logicamente contraditória.


B.
As regras de sintaxe da lógica modal são semelhantes às da lógica proposicional, acrescidas dos operadores de necessidade e possibilidade.


C.
Os argumentos da lógica modal temporal não podem seguir o mesmo alfabeto da lógica alética, pois o alfabeto não possui operadores de tempo.


D.
Pode-se afirmar que determinada proposição ou fórmula pode ser considerada possível quando for impossível que ela seja falsa.


E.
Ao afirmar que "possivelmente A" é equivalente a "não necessariamente não A", é dito que a negação da proposição é necessária.

Answer 1

Resposta: resposta correta letra B.

Explicação: O alfabeto e as regras de sintaxe da lógica modal são muito semelhantes aos operadores da lógica proposicional, adicionando seus operadores específicos de necessidade e possibilidade.As diversas modalidades de lógica modal proposicional seguem o mesmo alfabeto e regras sintáticas.Sobre uma proposição necessária, é correto afirmar que, quando sua negação for contraditória, é impossível que ela seja falsa.Uma proposição é dita possível caso ela não seja logicamente contraditória.Ao contrário do que diz a questão, ao se afirmar que "possivelmente A" é equivalente a "não necessariamente não A", pode-se compreender que a negação da proposição não é necessária.