PHIL 1021 Chapter : 6 2 Slides
Document Summary
A statement variable is a lower-case letter (typically, p, q, r , or s) that can stand for any statement (whether simple or compound). A statement form is an arrangement of statement variables and operators such that uniform substitution of statements for statement variables results in a statement. Some examples: p, r q, (p q) q, q (r q, [(r s) (r s)] A truth table for a truth-functional operator is an arrangement of truth values that shows the truth value of a statement constructed using that operator in every possible case as determined by the truth values of its component statements. We specify the truth functions associated with each of our ve operators (connectives) using truth tables. (see. pp. Once we have the truth tables for the truth-functional connectives (operators), we can specify a procedure for using them to compute the truth value of any statement, no matter how long or complex.