Na tabela-verdade abaixo, P e Q são sentenças simples e as letras V e F indicam verdadeiro e falso, respectivamente.
As proposições que condizem com I, II e III são, respectivamente:
A alternativa que apresenta uma proposição equivalente a “Se ABC é um triângulo equilátero, então possui três lados de mesma medida” é:
Considerando que P, Q e R são proposições lógicas simples, podemos dizer que a tabela-verdade da proposição composta ~((P → Q) ∨ R) tem:
A negação da proposição “Existe quadrado que não é retângulo”, de acordo com as regras da lógica para quantificadores, é:
O resultado de 
é:
