In
this situation we still have open branches, meaning that it is consistent to have these
premises true while the conlusion is false, and that is what we define
as an invalid argument.
Some FAQs:
Can a tree be set up in more than one
way?
Yes, indeed. The easiest, though, is to work through the premises
to have as few branches as possible. Let's say we have this
argument to test:
(P & Q) -> R, S -> ~R, S
& Q |- ~P
We always set up the tree in the same way for the premises and the
negated conclusion, but look at two different ways we can then go on.
(P & Q) -> R
S -> ~R
S & Q
~~P
S
Q
/ \
~S ~R
x / \
~(P&Q) R
/
\ x
~P
~Q
x
x
valid
(P & Q) -> R
S -> ~R
S & Q
~~P
/ \