PHIL 10 Chapter Notes - Chapter 2: Counterexample, Truth Function
Document Summary
Phil 10 textbook notes chapter 2: truth functions and truth tables. Valid argument: all true premises and false conclusion not possible. Truth functions take truth values (t/f) as inputs, produce truth values as outputs (t/f) Only have 2 truth values: true and false/t and f. Conjunction truth function: conjunction is true when both conjuncts are true, false if either/both conjuncts are false. Negation truth function: negation is true if negated statement false, false if negated statement true. 2. 3 truth tables for compound statements, and the point of formal systems. ~ (a b) list all combinations of t/f for the statements in the first two columns use conjunction truth function to fill out column 3 use negation truth function to fill out column 4. T to make a truth table: determine atomic statements. ~ (~~s ~~l) atomic statements = s and l intermediate compound statements: ~s, ~~s, ~l, ~~l, ~~s ~~l, ~ (~~s ~~l)
