summary of the rules

14
Summary of the Rules -(A&B) -A -B A>B -A B -(A>B) A -B AvB A B --A A -(AvB) -A -B A&B A B -(A<>B) A -A -B B A<>B A -A B -B

Upload: aelwen

Post on 20-Jan-2016

49 views

Category:

Documents


0 download

DESCRIPTION

Summary of the Rules. AB A -A B -B. AvB A B. -(A&B) -A -B. -(AB) A -A -B B. A>B -A B. -(A>B) A -B. --A A. -(AvB) -A -B. A&B A B. Summary of the Rules. AvB A B. -(A&B) -A -B. A>B -A B. - PowerPoint PPT Presentation

TRANSCRIPT

Page 1: 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

Page 2: Summary of the Rules

Summary of the Rules

-(A&B)

-A -B

A>B

-A B

-(A>B)A-B

AvB

A B

-(AvB)-A-B

A&BAB

Page 3: Summary of the Rules

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.

Page 4: Summary of the Rules

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.

Page 5: Summary of the Rules

Summary of the Rules

-(A&B)

-A -B

A>B

-A B

-(A>B)A-B

AvB

A B

-(AvB)-A-B

A&BAB

Page 6: Summary of the Rules

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.

Page 7: Summary of the Rules

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.

Page 8: Summary of the Rules

Summary of the Rules

-(A&B)

-A -B

A>B

-A B

-(A>B)A-B

AvB

A B

-(AvB)-A-B

A&BAB

Page 9: Summary of the Rules

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.

Page 10: Summary of the Rules

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.

Page 11: Summary of the Rules

Summary of the Rules

-(A<>B)

A -A-B B

A<>B

A -AB -B

Page 12: Summary of the Rules

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.

Page 13: Summary of the Rules

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.

Page 14: Summary of the Rules

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.