Question: Question 1 Take a look at the rules for constructing trees on page 3 8 8 . Rules ( e ) and ( f )

Question 1
Take a look at the rules for constructing trees on page 388. Rules (e) and (f) look familiar. Which of our 20 old natural deduction rules do they remind you of?
Group of answer choices
1. DS
2. DN
3. DeM
4. Dup
Question 2
What about rule (i)?
Group of answer choices
1. DS
2. DN
3. DeM
4. Dup
Question 3
The branches of completed trees are considered either openorclosed. What causes a branch to be closed?
Group of answer choices
1. using rule (i)
2. the appearance of a contradiction
3. it's no longer possible to apply any rules
4. frustration
Question 4
What does a tree have to look like to show that an argument is valid?
Group of answer choices
1. all branches open
2. all branches closed
3. at least one open branch
4. at least one closed branch
Question 5
What does a tree have to look like to show that an argument is invalid?
Group of answer choices
1. all branches open
2. all branches closed
3. at least on open branch
4. at least one closed branch
Question 6
Let's test this argument-form using a proof tree:
(p q) r, p / r
We put (p q) r on the first line, and p on the second line. What goes on line 3?
Group of answer choices
1. r
2. ~r
3. ~p
4. ~((p q) r)
Question 7
Continuing with our tree from the last question. What rule should we use to generate line 4?
Group of answer choices
1. b
2. c
3. f
4. g
Question 8
Which formula(s) would be on line 4?
Group of answer choices
1. p q and ~r
2. p q
3. ~r
4. ~(p q) and r
Question 9
Which formulas go on lines 5 and 6?
Group of answer choices
1. ~p and ~q
2. p and q
3. r and ~r
4. p and ~p
Question 10
Is the argument-form valid?
Group of answer choices
1. yes
2. no

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Programming Questions!