Summary of the Rules
description
Transcript of Summary of the Rules
Summary of the Rules
-(A&B)
-A -B
A>B
-A B
-(A>B)A-B
AvB
A B
--AA
-(AvB)-A-B
A&BAB
-(A<>B)
A -A-B B
A<>B
A -AB -B
Summary of the Rules
-(A&B)
-A -B
A>B
-A B
-(A>B)A-B
AvB
A B
-(AvB)-A-B
A&BAB
Summary of the Rules
-(A&B)
-A -B
A>B
-A B
-(A>B)A-B
AvB
A B
-(AvB)-A-B
A&BAB
(v) branchesso (-v) does not.
Summary of the Rules
-(A&B)
-A -B
A>B
-A B
-(A>B)A-B
AvB
A B
-(AvB)-A-B
A&BAB
(v) adds no negationsso (-v) adds negations.
Summary of the Rules
-(A&B)
-A -B
A>B
-A B
-(A>B)A-B
AvB
A B
-(AvB)-A-B
A&BAB
Summary of the Rules
-(A&B)
-A -B
A>B
-A B
-(A>B)A-B
AvB
A B
-(AvB)-A-B
A&BAB
(&) does not branchso (-&) branches.
Summary of the Rules
-(A&B)
-A -B
A>B
-A B
-(A>B)A-B
AvB
A B
-(AvB)-A-B
A&BAB
(&) adds no negationsso (-&) adds negations.
Summary of the Rules
-(A&B)
-A -B
A>B
-A B
-(A>B)A-B
AvB
A B
-(AvB)-A-B
A&BAB
Summary of the Rules
-(A&B)
-A -B
A>B
-A B
-(A>B)A-B
AvB
A B
-(AvB)-A-B
A&BAB
(>) branchesso (->) does not.
Summary of the Rules
-(A&B)
-A -B
A>B
-A B
-(A>B)A-B
AvB
A B
-(AvB)-A-B
A&BAB
(>) negates the antecedent
so (->) negates the consequent.
Summary of the Rules
-(A<>B)
A -A-B B
A<>B
A -AB -B
Summary of the Rules
-(A<>B)
A -A-B B
A<>B
A -AB -B
If A<>B is T then A and B MATCH.
A is T and B is Tor
A is F and B is F.
Summary of the Rules
-(A<>B)
A -A-B B
A<>B
A -AB -B
If A<>B is F then A and B DO NOT MATCH.
A is T and B is For
A is F and B is T.
Summary of the Rules
-(A<>B)
-A A B -B
A<>B
A -AB -B
If A<>B is F then A and B DO NOT MATCH.
A is T and B is For
A is F and B is T.