Propositional Logic Statements Examples