Discrete Math - 1.1.1 Propositions, Negations, Conjunctions and Disjunctions