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
Em uma aldeia moram estrangeiros e nativos, e existem dois tipos de pessoas: as que contam somente verdades e as que contam somente mentiras. Além disso, os dois tipos de pessoas são indistinguíveis. Os moradores X e Y da aldeia travam o diálogo seguinte:
X: Y é um estrangeiro mentiroso. Eu sou nativo.
Y: X está contando a verdade.
Qual das afirmações seguintes é consequência das anteriores?
