Para economizar, Júnior resolveu presentear no Natal seus c...
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