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 general e seu exército, constituído de 50 soldados,
precisam atravessar um rio. O general observa que
existe um barco com dois meninos na mesma margem
do rio em que ele e seus soldados estão. O barco
pode acomodar no máximo um ou os dois meninos, ou
apenas um adulto. Quantas travessias do rio serão
necessárias para transportar o general e seus
soldados para a outra margem do rio e deixar os dois
meninos na mesma margem em que estavam no
início?
