Os símbolos lógicos que podem ser usados na prova, e
seus significados, são:
P, Q, R, S para proposições que podem ter valor lógico
Verdadeiro (V) ou Falso (F)
¬ Negação
→ Implica em
↔ É equivalente a
∧ E (conjunção)
∨ Ou (disjunção)
Existe ao menos um
∀ Para todo
[ ] Separadores
Imagine que você possa ganhar um de três prêmios
diferentes (X, Y e Z). O prêmio mais valioso é X e o
segundo mais valioso é Y. Para ganhar um dos
prêmios, você deve proferir uma sentença que seja
verdadeira. Se a sentença for falsa, você não ganha
nenhum dos prêmios. Qual das sentenças nas
alternativas a seguir, se proferida, garante que você
ganha o prêmio mais valioso?
