Massachusetts Institute of Technology: Srini Devadas and Eric Lehman's "Logic"
Read Section 1 through the end of Section 1.1.1 on pages 1 - 3. This reading discusses logical symbols or operators that apply to propositions (the operands) to form a compound statement. A proposition is a statement that is either true (T) or false (F). Propositions are often denoted by single letters, for example, P or Q. The resulting truth or falseness of the compound statement is determined either using a truth table based on the truth or falseness of the operands or, as we will see later, by applying inference rules to prove that the compound statement is inferred from true statements.
Truth tables for operations - negation, conjunction, and disjunction -are derived from the definition of the operation, as seen in this reading.