Uma proposição é uma sentença declarativa que pode ser julgada como verdadeira (V) ou falsa (F), mas não como V e F simultaneamente. As proposições são representadas por letras maiúsculas A, B, C etc. A partir de proposições dadas, podem-se construir novas proposições usando símbolos lógicos, como nos exemplos seguintes.

• conjunção: \(A \lor B\) (lê-se “A e B”), que terá valor lógico V se as proposições A e B forem ambas V, caso contrário, será F;
• disjunção: \(A \land B\) (lê-se “A ou B”), que terá valor lógico F se as proposições A e B forem ambas F, caso contrário, será V;
• condicional: \(A \rightarrow B\) (lê-se “se A, então B”), que terá valor lógico F se A for V e B for F, caso contrário, será V;
• disjunção exclusiva: \(A \veebar B\), que será V sempre que as proposições A e B tiverem valores lógicos distintos.

A negação da proposição A, simbolizada por ¬A (lê-se “não A”), será V se A for F e, F se A for V.

O artigo 5.º, XL, da Constituição Federal de 1988 estabelece que a lei penal não retroagirá, salvo para beneficiar o réu, isto é, “se a lei penal retroagiu, então a lei penal beneficiou o réu”. À luz dessa regra constitucional, considerando as proposições P: “A lei penal beneficiou o réu” e Q: “A lei penal retroagiu”, ambas verdadeiras, e as definições associadas à lógica sentencial, julgue o item a seguir.