Question: Question 1 Take a look at the rules for constructing trees on page 3 8 8 . Rules ( e ) and ( f )
Question
Take a look at the rules for constructing trees on page Rules e and f look familiar. Which of our old natural deduction rules do they remind you of
Group of answer choices
DS
DN
DeM
Dup
Question
What about rule i
Group of answer choices
DS
DN
DeM
Dup
Question
The branches of completed trees are considered either openorclosed What causes a branch to be closed?
Group of answer choices
using rule i
the appearance of a contradiction
it's no longer possible to apply any rules
frustration
Question
What does a tree have to look like to show that an argument is valid?
Group of answer choices
all branches open
all branches closed
at least one open branch
at least one closed branch
Question
What does a tree have to look like to show that an argument is invalid?
Group of answer choices
all branches open
all branches closed
at least on open branch
at least one closed branch
Question
Let's test this argumentform 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
Group of answer choices
r
~r
~p
~p q r
Question
Continuing with our tree from the last question. What rule should we use to generate line
Group of answer choices
b
c
f
g
Question
Which formulas would be on line
Group of answer choices
p q and ~r
p q
~r
~p q and r
Question
Which formulas go on lines and
Group of answer choices
~p and ~q
p and q
r and ~r
p and ~p
Question
Is the argumentform valid?
Group of answer choices
yes
no
Step by Step Solution
There are 3 Steps involved in it
1 Expert Approved Answer
Step: 1 Unlock
Question Has Been Solved by an Expert!
Get step-by-step solutions from verified subject matter experts
Step: 2 Unlock
Step: 3 Unlock
