PHIL 2001 Study Guide - Logical Biconditional, Restricted Representation
Document Summary
It is impossible for the premises to be true while at the same time the conclusion is false. It is not the case that p is symbolized as ~ p. If p is true, then ~p is false, and vice versa. "both p and q" will be symbolized as "p & q" Both statements (including the ~) must be true for the & to be true. "p or q" will be symbolized as "p v q" At least one statement must be true for the. "if p, then q" symbolized as "p. Q" is false is when the antecedent (left) of. Is true and the consequent (right) of the. They must have equivalent truth values (true or false) for the to be. If we can find a way for the mav to work out, then the argument is invalid. Always process a linear rule before a branching rule: double negation rule: