- By
**lucio** - Follow User

- 123 Views
- Uploaded on

Download Presentation
## PowerPoint Slideshow about ' A Harder Example' - lucio

**An Image/Link below is provided (as is) to download presentation**

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.

- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -

Presentation Transcript

A Harder Example

1

2

3

(>) Rule

A>B

-A B

(PvQ)>R

-[(P>R)&(Q>R)]

-(P>R) -(Q>R)

(PvQ)>R | (P>R)&(Q>R)

P

-R

Q

-R

THE RESULT OF APPLYINGA RULE MUST APPEAR ONEVERY OPEN BRANCH BELOW THE PLACE IT IS APPLIED.

A Harder Example

1

2

3

4

(>) Rule

A>B

-A B

-(PvQ) R

-(PvQ) R

(PvQ)>R

-[(P>R)&(Q>R)]

-(P>R) -(Q>R)

(PvQ)>R | (P>R)&(Q>R)

P

-R

Q

-R

THE RESULT OF APPLYINGA RULE MUST APPEAR ONEVERY OPEN BRANCH BELOW THE PLACE IT IS APPLIED.

A Harder Example

1

2

3

4

-(PvQ) R

*

-(PvQ) R

*

(PvQ)>R

-[(P>R)&(Q>R)]

-(P>R) -(Q>R)

(PvQ)>R | (P>R)&(Q>R)

P

-R

Q

-R

A Harder Example

1

2

3

4

-(PvQ) R

*

-(PvQ) R

*

(PvQ)>R

-[(P>R)&(Q>R)]

-(P>R) -(Q>R)

(PvQ)>R | (P>R)&(Q>R)

P

-R

Q

-R

A Harder Example

1

2

3

4

-(PvQ) R

*

-(PvQ) R

*

(PvQ)>R

-[(P>R)&(Q>R)]

-(P>R) -(Q>R)

(PvQ)>R | (P>R)&(Q>R)

P

-R

Q

-R

(-v) Rule

-(AvB)

-A

-B

A Harder Example

1

2

3

4

5

-(PvQ) R

*

-(PvQ) R

*

(PvQ)>R

-[(P>R)&(Q>R)]

-(P>R) -(Q>R)

(PvQ)>R | (P>R)&(Q>R)

P

-R

Q

-R

(-v) Rule

-(AvB)

-A

-B

-P

-Q

A Harder Example

1

2

3

4

5

-(PvQ) R

*

-(PvQ) R

*

(PvQ)>R

-[(P>R)&(Q>R)]

-(P>R) -(Q>R)

(PvQ)>R | (P>R)&(Q>R)

P

-R

Q

-R

(-v) Rule

-(AvB)

-A

-B

-P

-Q

-(AvB) =

-A&-B

A Harder Example

1

2

3

4

5

-(PvQ) R

*

-(PvQ) R

*

(PvQ)>R

-[(P>R)&(Q>R)]

-(P>R) -(Q>R)

(PvQ)>R | (P>R)&(Q>R)

P

-R

Q

-R

(-v) Rule

-(AvB)

-A

-B

-P

-Q

A Harder Example

1

2

3

4

5

6

-(PvQ) R

*

-(PvQ) R

*

(PvQ)>R

-[(P>R)&(Q>R)]

-(P>R) -(Q>R)

(PvQ)>R | (P>R)&(Q>R)

P

-R

Q

-R

(-v) Rule

-(AvB)

-A

-B

-P

-Q

-P

-Q

A Harder Example

1

2

3

4

5

6

-(PvQ) R

*

-(PvQ) R

*

(PvQ)>R

-[(P>R)&(Q>R)]

-(P>R) -(Q>R)

(PvQ)>R | (P>R)&(Q>R)

P

-R

Q

-R

-P

-Q

*

-P

-Q

*

A Harder Example

5

1

2

3

4

6

-(PvQ) R

*

-(PvQ) R

*

(PvQ)>R

-[(P>R)&(Q>R)]

-(P>R) -(Q>R)

(PvQ)>R | (P>R)&(Q>R)

VALID

P

-R

Q

-R

-P

-Q

*

-P

-Q

*

Download Presentation

Connecting to Server..