Pātuhitia tēnei: Lógica proposicional