Open Branches Sometimes trees have more than one
Open Branches Sometimes trees have more than one open branch. It is important you know how to handle this situation.
Open Branches Pv. Q -(P&Q) Pv. Q | P&Q
Open Branches Pv. Q -(P&Q) Pv. Q | P&Q
Open Branches The (-&) Rule: -(A&B) -A -B Pv. Q -(P&Q) Pv. Q | P&Q
Open Branches The (-&) Rule: -(A&B) -A -B Pv. Q 1 -(P&Q) -P -Q Pv. Q | P&Q
Open Branches Pv. Q 1 -(P&Q) -P -Q Pv. Q | P&Q
Open Branches The (v) Rule: Pv. Q 1 -(P&Q) Av. B A B -P -Q Pv. Q | P&Q
Open Branches The (v) Rule: Pv. Q 1 -(P&Q) Av. B A B -P P Pv. Q | P&Q -Q Q
Open Branches The (v) Rule: Pv. Q 1 -(P&Q) Av. B A B -P -Q P Q * WRONG! * Pv. Q | P&Q
Open Branches The (v) Rule: Pv. Q 1 -(P&Q) Av. B A B -P Pv. Q | P&Q -Q P Q * WRONG! * THE RESULT OF APPLYING A RULE MUST APPEAR ON EVERY OPEN BRANCH BELOW THE PLACE IT IS APPLIED.
Open Branches The (v) Rule: Pv. Q 1 -(P&Q) Av. B A B -P P Pv. Q | P&Q -Q Q P RIGHT Q THE RESULT OF APPLYING A RULE MUST APPEAR ON EVERY OPEN BRANCH BELOW THE PLACE IT IS APPLIED.
Open Branches Pv. Q 1 -(P&Q) -P P * P is T Q is F Pv. Q | P&Q -Q Q P Q *
Open Branches Pv. Q 1 -(P&Q) -P P * P is T Q is F Pv. Q | P&Q INVALID -Q Q P Q *
Open Branches Pv. Q 1 -(P&Q) -P P * Pv. Q | P&Q INVALID -Q Q P Q * P is F Q is T The argument has two counterexamples.
Open Branches Pv. Q 1 -(P&Q) -P P * Pv. Q | P&Q INVALID -Q Q P Q * P is F Q is T If there are two or more open branches don’t combine them to construct a counterexample. The argument has two counterexamples. For more click here
- Slides: 15