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
Para economizar, Júnior resolveu presentear no Natal
seus cinco amigos, apelidados aqui de A, B, C, D e E,
usando os mesmos presentes recebidos deles no
Natal anterior. Os presentes recebidos de dois dos
amigos não poderão ser permutados entre eles. Por
exemplo, se B receber o presente dado a Júnior por A,
então A não poderá receber o presente dado a Júnior
por B. Se o presente dado por A foi para a pessoa cujo
presente foi para B, e o presente dado por C foi para a
pessoa cujo presente foi dado para A, de quem foi o
presente dado a C?
