1 / 15

Open Branches

Open Branches. Sometimes trees have more than one open branch. It is important you know how to handle this situation. Open Branches. PvQ -(P&Q). PvQ | P&Q. Open Branches. PvQ -(P&Q). PvQ | P&Q. Open Branches. The (-&) Rule: -(A&B) -A -B. PvQ -(P&Q). PvQ | P&Q.

schuyler
Download Presentation

Open Branches

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. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Open Branches Sometimes trees have more than one open branch. It is important you know how to handle this situation.

  2. Open Branches PvQ -(P&Q) PvQ | P&Q

  3. Open Branches PvQ -(P&Q) PvQ | P&Q

  4. Open Branches The (-&) Rule: -(A&B) -A -B PvQ -(P&Q) PvQ | P&Q

  5. Open Branches 1 The (-&) Rule: -(A&B) -A -B PvQ -(P&Q) -P -Q PvQ | P&Q

  6. Open Branches 1 PvQ -(P&Q) -P -Q PvQ | P&Q

  7. Open Branches The (v) Rule: AvB A B 1 PvQ -(P&Q) -P -Q PvQ | P&Q

  8. Open Branches The (v) Rule: AvB A B 1 PvQ -(P&Q) -P -Q PvQ | P&Q P Q

  9. Open Branches The (v) Rule: AvB A B 1 PvQ -(P&Q) -P -Q PvQ | P&Q P Q * * WRONG!

  10. Open Branches The (v) Rule: AvB A B 1 PvQ -(P&Q) -P -Q PvQ | P&Q P Q * * WRONG! THE RESULT OF APPLYINGA RULE MUST APPEAR ONEVERY OPEN BRANCH BELOW THE PLACE IT IS APPLIED.

  11. Open Branches The (v) Rule: AvB A B 1 PvQ -(P&Q) -P -Q PvQ | P&Q RIGHT P Q P Q THE RESULT OF APPLYINGA RULE MUST APPEAR ONEVERY OPEN BRANCH BELOW THE PLACE IT IS APPLIED.

  12. Open Branches 1 PvQ -(P&Q) -P -Q PvQ | P&Q P Q * P Q * P is T Q is F

  13. Open Branches 1 PvQ -(P&Q) -P -Q PvQ | P&Q INVALID P Q * P Q * P is T Q is F

  14. Open Branches 1 PvQ -(P&Q) -P -Q PvQ | P&Q INVALID P Q * P Q * P is F Q is T The argument has two counterexamples.

  15. Open Branches 1 PvQ -(P&Q) -P -Q PvQ | P&Q INVALID If there are two or more open branches don’t combine them to construct a counterexample. P Q * P Q * P is F Q is T The argument has two counterexamples. For more click here

More Related