Formal L Trans

Question 1

If X, then Y

Answer 1

Trigger -> Result
X -> Y
If -> Then
Sufficient -> Necessary

Question 2

All X are Y

Answer 2

If NOT Y, then NOT X
Only Y are X
X only if Y
No X unless Y

Question 3

Forming the Contra-positive

Answer 3

Flip the terms around the arrow; negate the terms on each side; “and” becomes “or” and vice versa.
Lack of Result -> Lack of Trigger

Question 4

Important to Remember

Answer 4

Neither…Nor = Not A AND Not B

Only if = “then clause”

Unless = NOT

Question 5

Not A unless B

Answer 5

A -> B

Wrong: B -> A

Question 6

T/F

“If I don’t buy apples, I will buy oranges” this implies that I cannot buy both apples and oranges”

Answer 6

FALSE