rules of interference - 6

What are rules of interference

They are formal truth preserving patterns that allow you to derive a logically valid conclusion from one or more premises in a deductive argument. each rule guarantees that if the premises are true

What are modus ponens

1 if A implies B
2 A is true then B must also be true

What are modus tollens?

1 If A implies B
2 if B is false then A is false

What are hypothetical syllogisms?

1 If A leads to B and B leads to C
2 A must be C

What is a disjunctive syllogism?

1 If it's A or B and it's not B
2 It must be A

What is an addition?

1 If A is true
2 then A or anything is true

What is simplification?

1 if A and B is true
2 then A is true

What is a conjunction

1 If A is true
2 and if B is true
3 then you can say A and B is true

What is a constructive dilemma?

1 If A implies B
2 if C implies D
3 if A or C is true.
then B or D is true.

what's a destructive dilemma?

If A implies B
if C implies D
and it's not B or D
then it's not A or C

What is a double negation?

It's not true that it's not A
then it's A

What is commutation

A and B is equal to B and A
A or B is equal to B or A

What is commutation? for "or"

A or B is equal to B or A

What is association? For "or"

A or (B or C)
is equal to (A or B) or C

What is association for "and"

A and (B and C)
is equal to (A and B) and C

What is distribution? for "and" in the middle

A or (B and C) is equal
to (A or B) and (A or C)
​

What is distribution with "or" in the middle

A and (B or C)
Is equal to (A and B) or (A and C)
​