O básico que é preciso saber sobre lógica proposicional.