Formal Logic Flashcards
“If A, then B” State the contrapositive.
If -B, then -A
If it is a cloudless day, the sky is a clear blue.” State the contrapositive.
If the sky is not a clear blue, then it is not a cloudless day.
“If A, then (B1 or B2) and C.” State the contrapositive.
If not B1 AND B2 OR not C, then not A
“If the flag is up on the hill, then we know George or Montbleu must be at work.” State the contrapositive.
If NEITHER George NOR Montbleu are at work, then the flag is not up on the hill.
“Whenever the elephant raises its trunk or lets out a bellow, then it is both angry and alone.” State the contrapositive.
If the elephant is not angry OR not alone, then it NEITHER raises its trunk NOR lets out a bellow.
“A only if B”
restate as an if/then statement.
If B then A.
“Z only if X”
State the contrapositive
If not Z, then not X.
“Edelin is kind only if she has plenty to eat or she has had plenty of sleep.”
State the contrapositive.
If Edelin is not kind, then she has not had plenty to eat AND she has not had plenty of sleep.
“If A, then B or C”
State the minimum information needed to negate A.
-B AND -C
“If A, then B and C”
State the minimum information needed to negate A.
-B OR -C
“A and B are not both selected together.”
List all logical deductions.
If A then Not B
If B then Not A
“If A is selected B is also selected.”
List all logical deductions
If A then B
If Not B then Not A
“If A is not selected B is selected.”
List all logical deductions.
If Not A then B
If Not B then A
= Either A or B or Both Must be selected.
“A is selected whenever B is not selected.” List all logical deductions
If Not B then A
If Not A then B
= Either A or B or Both Must be selected.
“Neither A or B is selected if C is selected.” List all logical deductions.
If C then Not A AND Not B
If A OR B then Not C