Chapter 7: Deductive Reasoning - Propositional Logic Flashcards
Propositional Logic
A branch of deductive reasoning that deals with the logical relationships among entire statements
Uses variables as well as logical connectives to symbolize the form of arguments
Conjunction
(and), p & q
Priya rode her bike, and John walked
A conjunction is false if at least one of its statement components (conjuncts) is false
Disjunction
(or), p v q
Either Priya rode her bike or John walked
A disjunction is still true even if one of its component statements (disjuncts) is false
Negation
(not), tilde p
Priya did not ride her bike
A negation is the denial of a statement
Conditional
(if - then) p arrow q
If Priya rode her bike, then John walked
A conditional statement is false if and only if its antecedent is true and its consequent is false
Checking for Validity
The truth table test of validity is based on a basic, but very important, fact about validity that you’ve already encountered: It’s impossible for a valid argument to have true premises and a false conclusion.
Antecedent (p)
The word or phrase that a pronoun refers to or replaces in a sentence
Consequent (q)
The second statement (the then part) is known as the consequent
Words used in conditionals
“if” —introduces the antecedent; If p, then q = p → q
“only if” —introduces the consequent; p only if q = p → q
“provided” —introduces the antecedent; p provided q = q → p
“unless” —introduces the antecedent; p unless q = ~q → p
“whenever” —introduces the antecedent; whenever p, q = p → q