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
Um homem, acusado de um crime, contratou um advogado cujas afirmações são sempre admitidas pelos jurados como verdades indiscutíveis. O seguinte diálogo ocorreu no tribunal:
Promotor: Se o acusado cometeu o crime, então ele teve um cúmplice.
Advogado: Isto não é verdade!
Admitindo que as duas afirmações são verdadeiras, segue logicamente que:
