Open Branches Sometimes trees have more than one open branch.

Slides:



Advertisements
Similar presentations
Logic & Critical Reasoning
Advertisements

x 4 = You were too slow………….. Click below to start again!
Main Connectives The main connective of a sentence is the connective outside of any parentheses.
AB 11 22 33 44 55 66 77 88 99 10  20  19  18  17  16  15  14  13  12  11  21  22  23  24  25  26  27  28.
3.3 Rules Negation: ¬¬p implies p Conjunction: p&q implies p, q
Consistency In logic, ‘consistency’ has two meanings.
JEOPARDY Click here and type Category 1 Click here and type Category 2 Click here and type Category 2 Click here and type Category 3 Click here and type.
Created by Mrs. G for the ecatechlab.weebly.com
Quiz Name Here Click to start Question 1 Type question here Wrong Answer Right Answer.
Help With Constructing a Family Tree (Pedigree). Here you will learn how to take a family history and construct a family tree using the symbols and relationship.
Validity and Conditionals There is a relationship between validity of an argument and a corresponding conditional.
Wedge In1 (vIn) 1 1. (FvA) > G A[1] 1 F > GGOAL[2]
Proof of Invalidity Kareem Khalifa Department of Philosophy Middlebury College.
Why Truth Tables? We will learn several ways to evaluate arguments for validity. * Proofs * Truth Tables * Trees.
THE WORLD OF TRIANGLES. Learning goal The students will be able to develop a rule that will determine if any given three lengths will result in a triangle.
Wedge Out (vOut) BIG MISTAKE: 1. PvQ 2. P 1 vO Wedge Out (vOut) BIG MISTAKE: 1. PvQ 2. P 1 vO This is NOT vOut, and besides... the reasoning is INVALID!
Quiz Name Here Click to start Question 1 Type question here Wrong Answer Right Answer.
N n n n Objective- To recognize the properties of exponents and use them to simplify expressions. x 3 x x x = exponent base Rule of Common Bases x a =
Study Questions for Quiz 4 The exam has four parts: 1. (16 points) Consistency and Completeness 2. (18 points) Translation 3. (34 points) Proving Rules.
Study Questions for Quiz 5 The exam has four parts: 1. (32 points) Truth Tables 2. (48 points) Truth Trees 3. (10 points) Review of Highly Recommended.
Stem & Leaf Plots.
Contingent A statement is contingent iff it is neither a logical truth nor a contradiction.
Translating Or A unless B The simplest translation: AvB.
Parent Graphs Family of Graphs. Linear Equations Type your description here.
ADJ 235 Week 8 CheckPoint Personal Ethical Standards Explain how you would handle Situation 1 of “Ethical Dilemmas” in Ch. 12 of the text. Identify the.
ABS 497 Week 3 Assignment communication PowerPoint Presentation To purchase this material click below link 497/ABS-497-Week-3-Assignment-
ABS 497 Week 5 Final Paper To purchase this material click below link /ABS-497/ABS-497-Week-5-Final- Paper For more classes.
Click here for the answer. Click here for the answer.
A Number as a Product of Prime Numbers
Click here for the answer. Click here for the answer.
Click here for the answer. Click here for the answer.
Symbolization Review.
Methods for Evaluating Validity
(Single Sided) Trees We are not going to cover the double sided
Jeopardy Final Jeopardy Topic 1 Topic 2 Topic 3 Topic 4 Topic 5 $100
&In and &Out The rules for & are very simple. A A&B A&B
THE REST The rest of the rules are not all that useful
மீன்’ பிடிப்போம்’.
Review To check an argument with a tree:.
Let us build the tree for the argument Q>-P | P>Q.
The most important idea in logic: Validity of an argument.
Quiz Name Here Click to start.
Quiz Name Here Click to start.

Algebraic Operations By the end of this unit you will know :
Jeopardy Final Jeopardy Topic 1 Topic 2 Topic 3 Topic 4 Topic 5 $100
Jeopardy Final Jeopardy Topic 1 Topic 2 Topic 3 Topic 4 Topic 5 $100
Do you trust the 8 Ball? The 8 Ball always knows..
Jeopardy Topic 1 Topic 2 Topic 3 Topic 4 $100 $100 $100 $100 $200 $200
YOUR text YOUR text YOUR text YOUR text
Equivalence We have already introduced the idea of equivalence
Refresh: Click Here.
Jeopardy Final Jeopardy Topic 1 Topic 2 Topic 3 Topic 4 Topic 5 $100
Jeopardy Final Jeopardy Topic 1 Topic 2 Topic 3 Topic 4 Topic 5 $100
CLICK TO START.
Jeopardy Final Jeopardy Topic 1 Topic 2 Topic 3 Topic 4 Topic 5 $100
Jeopardy Final Jeopardy Topic 1 Topic 2 Topic 3 Topic 4 Topic 5 $100
CLICK TO START.
Ethics and Moral Dilemmas
Jeopardy Final Jeopardy Topic 1 Topic 2 Topic 3 Topic 4 Topic 5 $100
Jeopardy Final Jeopardy Topic 1 Topic 2 Topic 3 Topic 4 Topic 5 $100
Jeopardy Final Jeopardy Topic 1 Topic 2 Topic 3 Topic 4 Topic 5 $100
A more complex example: (L&E)>P | L>P
If there is any case in which true premises lead to a false conclusion, the argument is invalid. Therefore this argument is INVALID.
If there is any case in which true premises lead to a false conclusion, the argument is invalid. Therefore this argument is INVALID.
Summary of the Rules A>B -A B -(A>B) A -B --A A AvB A B
Jeopardy Final Jeopardy Topic 1 Topic 2 Topic 3 Topic 4 Topic 5 $100
Call Now : Click : -
Call Now : Click : -
Call Now : Click : -
Presentation transcript:

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

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

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

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

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

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

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

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

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

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

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

For more click here Open Branches PvQ -(P&Q) -P -Q PvQ | P&Q 1 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