Onofre Pires, estagiário do setor jurídico, tinha por tarefa...
Lista de símbolos:
⇒ Condicional
⇔ Bicondicional
∧ Conector “e”
∨ Conector “ou”
∨ Conector “ou” exclusivo
¬ Negação da proposição
Onofre Pires, estagiário do setor jurídico, tinha por tarefa perfurar 1.230 folhas, padrão ofício, brancas e timbradas por ordem do juiz responsável pelo fórum. Sabendo que ele já perfurou 40% das folhas, quantas folhas faltam ser perfuradas para que Onofre Pires termine sua tarefa?