• p: a proposição composta p ↔ q V ~q → ~p é uma contradição.
• q: o conjunto-solução da inequação 
possui apenas 3 números inteiros.
• r: para quaisquer valores de x, y e z pertencentes aos conjuntos dos números inteiros, (x*y - z)/(z + x) sempre será um número inteiro.
Considerando os valores lógicos das proposições acima apresentadas, é correto afirmar que as proposições compostas p Ʌ ~q, q ↔ r, p → r têm, respectivamente, os seguintes valores lógicos:
