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.