4_Basic_propositional_logic_(BAPLaCT)