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