Na lógica proposicional é comum atribuir letras para representar proposições e poder facilmente se referir a elas.
Considere as seguintes três proposições:
P = “O carro de Maria é de cor azul”.
Q = “Maria mora em Fortaleza”.
R = “Todo carro de quem mora em Fortaleza é de cor prata”.
Podemos afirmar corretamente que:
