Unformatted text preview: • Statement ϕ implies statement ψ iff: if ϕ is true, then ψ must be true Counter example row, if ϕ is T and ψ is F • Equivalence A set of statements are equivalent if they all have identical truth problems • Consistency If there is at least one row where they are all true • Joint Implication A set of statements if ϕ is T and ψ is F • Argument Validity An argument is deductively valid iff the premises jointly imply the conclusion •...
View
Full Document
 Spring '08
 churchland
 Logic, joint truth table

Click to edit the document details