PHIL 210 Study Guide - Midterm Guide: Disjunction Elimination, Disjunction Introduction, Conjunction Elimination
Document Summary
Logical consequence when a statement follows validly from given premises, it is also a logical consequence of the premises. Identity elimination given b=c, anything that holds true of b also holds true of c. Identity introduction a=a can always be inferred from any set of premises, even no premises. Identity symmetry given a = b, b = a. *transitivity of identity if a = b, and b = c, then a = c. Chapter 4 the logic of boolean connectives. Truth-functional describes connectives, which, when used in a complex sentence, allows one to know the truth value of the complex sentence simply by looking at the truth values of the sentence"s immediate constituents. Examples include ^, v, and the negation connective. Logical necessity sentences that cannot be false, no matter the premises. Such a sentence is true in every logically possible circumstance. Three forms of derivation: tw, truth tables, if one can prove a sentence using no premises whatsoever.