As propriedades semânticas de uma linguagem influenciam na avaliação dos argumentos e nos métodos de prova.

Considerando as propriedades semânticas da lógica de predicados, marque a alternativa correta.

Selecione a resposta correta:
A
Uma função de equivalência é comparável a uma implicação lógica.

B
Uma contradição pode ser satisfatível dependendo da função de interpretação.

C
A propriedade de equivalência é comparável à função de bi-implicação.

D
Toda tautologia é satisfatível, mas uma função satisfatível não é tautológica.

E
Sendo que uma tautologia T é uma contradição C, é possível dizer que T ↔ ¬¬C.