Discrete Mathematics, Chapter 1.1.-1.3: Propositional Logic
Propositional Logic Constructing Propositions Propositional Variables: p;q;r;s;::: The proposition that is always true is denoted by T and the proposition that is always false is denoted by F. Compound Propositions; constructed from logical connectives an...