
Pro Tips Required
Need some protips.
p<> (t v s) is a premise, does that mean I can substitute p into any other premise that contains (t v s), and vice versa? (I'm quite sure this is the case)
After having done the substitution what happens to the p<> (t v s) expression?
eg.
p v (q)
(t v s) > (p v r)
(r) v (t v s)
p <> (t v s)
_______________
(p n r) > (q n r)
First step, and this is where I get confused, the logic after this is pretty easy, and without having done a truth table I believe that the argument is invalid.
p v (q)
p > (p v r)
(r) v (p)
???????????
___________
(p n r) > (q n r)
AHHHH!

I have no idea what question you are trying to ask.
Can you edit it. Simply post the exact question asked of you.