Propositional Logic door Shehaby, Nabil