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

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

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

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

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

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