Chapter 10 Flashcards
Conjunction
A compound claim made from two simpler claims, called conjuncts
A conjunction is true if and only if
both of the simpler claims that make it up (its conjuncts) are true
&
And, but, while
Disjunction
Another compound claim made up of tow simpler claims, called disjuncts
A disjunction is false if and only if
both of its disjuncts are false
V
symbolizes disjunction (either or)
conditional claim
stating conditions using “if…then….”
A conditional claim is false if and only if
its antecedent is true and its consequent false
–>
conditionals
negation
~ opposite
Negation Truth Table
P ~P
______
T F
F T
Conjucntion Truth Table
P Q (P&Q) \_\_\_\_\_\_\_\_\_\_\_\_\_ T T T T F F F T F F F F
Disjunction truth table
P Q (PvQ) \_\_\_\_\_\_\_\_\_\_\_\_ T T T T F T F T T F F F
Conditional Truth Table
P Q (P-->Q) \_\_\_\_\_\_\_\_\_\_\_\_ T T T T F F F T T F F T
When are two claims truth-functionally equivalent
if they have exactly the same truth table
If introduces
the antecedent of a conditional
only if introduces
the consequent of a conditional
necessary condition becomes
the consequent of a conditional
sufficient conditions are expressed as
the antecedents of conditional claim
Either comes before
the disjunction
modus ponens
two-premise valid argument form. one premise is a conditional and the other is the antecedent of that conditional
If P then Q
P
Therefore Q
Modus tollens
one premise a conditional and the other premise the negation of that conditional’s consequent
If P then Q
Not Q
Not P
chain argument
comprises two conditionals for premises and another for the conclusion
If P then Q
If Q then R
If P then R
Affirming the consequent
If P then Q
Q
Threfore, P
Denying the Antecedent
If P then Q
Not P
THrefore, Not Q