Imagem de fundo

Considerando a tabela verdade da fórmula Q ∧ T → W ∨ S, é possível concluir corretament...

Considerando a tabela verdade da fórmula Q ∧ T → W ∨ S, é possível concluir corretamente que


A

apenas 7 são satisfatíveis, de todas as interpretações.


B

a fórmula é insatisfatível e falsificável, ou seja, uma contradição.


C

o predicado T ter valor verdadeiro garante que a fórmula seja verdadeira.


D

a fórmula é uma tautologia, ou seja, as interpretações são sempre satisfatíveis.


E

a fórmula é sempre verdadeira nas interpretações na qual o predicado Q é falso.