Propositional Logic Statement Examples