Conditional Logic - Basics Flashcards
Develop deep understanding of the fundamental of conditional logic and diagramming.
DEFINE:
Conditional relationship
A relationship between two conditions where the truth of one is SUFFICIENT for the truth of the other
OR
A relationship between two conditions where the truth of one is NECESSARY for the truth of the other
DEFINE:
Sufficient condition
The condition that, if true, GUARANTEES the truth of the other condition
DEFINE:
Necessary condition
The condition that is REQUIRED in order for the other condition to be true
FILL IN THE BLANKS:
___________ condition —> ____________ condition
SUFFICIENT condition —> NECESSARY condition
VISUALIZE:
Venn diagram form of “If A, then B”
A is the SUFFICIENT condition and B is the NECESSARY condition.
The SUFFICIENT condition circle falls entirely within the NECESSARY condition circle.
DEFINE:
Valid inference / Valid conclusion
Something that MUST BE TRUE based on the truth of another statement.
DEFINE:
Invalid inference / Invalid conclusion
Something that does NOT have to be true based on the truth of another statement.
DEFINE:
Contrapositive
Valid inference that because the necessary condition is false, the sufficient condition must be false.
Examples:
Premise: A -> B
Conclusion: /B -> /A
Premise: A -> B
Premise: /B
Conclusion: /A
How do we take the CONTRAPOSITIVE of a conditional statement?
SWITCH both sides of the arrow AND NEGATE each term
A -> B
Contrapositive: /B -> /A
DEFINE:
Converse fallacy
Invalidly inferring that because the necessary condition is true, the sufficient condition must be true.
Examples:
Premise: A -> B
Conclusion: B -> A
Premise: A -> B
Premise: B is true.
Conclusion: A is true.
DEFINE:
Inverse fallacy
Invalidly inferring that because the sufficient condition is false, the necessary condition must be false.
Examples:
Premise: A -> B
Conclusion: /A -> /B
Premise: A -> B
Premise: /A
Conclusion: /B
TRUE OR FALSE:
We should diagram most conditional statements that we read in the Logical Reasoning section.
FALSE.
Diagramming conditionals is the most useful when the problem is about CONNECTING multiple conditional statements OR when there is difficult conditional language/structure.
Read more of the stimulus first before deciding whether and what to diagram.
DIAGRAM:
X if Y.
Y -> X
/X -> /Y
IF introduces a SUFFICIENT condition.
DIAGRAM:
L only if S.
L -> S
/S -> /L
ONLY IF introduces a NECESSARY condition.
DIAGRAM:
Only J are F.
F -> J
/J -> /F
ONLY introduces a NECESSARY condition.
DIAGRAM:
The only A are Q.
A -> Q
/Q -> /A
THE ONLY introduces a SUFFICIENT condition.
DIAGRAM:
R if and only if L.
R L
/L /R
IF AND ONLY IF creates a BICONDITIONAL relationship. Which side the concepts are on doesn’t matter, since BOTH concepts are SUFFICIENT and NECESSARY.
DIAGRAM:
Y unless R.
/R -> Y
/Y -> R
UNLESS introduces SUFFICIENT, BUT NEGATED.
Alternate method: UNLESS introduces NECESSARY, but the NEGATE OTHER CONCEPT.