Question: Given this set up for the proof so far, we already know what will be on the last line of the proof and this proof

Given this set up for the proof so far, we already know what will be on the last line of the proof and this proof is 11 lines long.
What wff will be on Line 11 of this derivation?
1(1)((M v R)->(T v P)) A Aim:
Q
2(2)(M & S) A
3(3)([(T v P) & S]-> Q) A
Remember - Formatting will be important here! So, enter your wff according to the following conventions:
Make sure you put no spaces between symbols.
Good Not Good!
Wffs: (PvQ)( P v Q ),(P v Q)
Premises: 1,2,31,2,3
Rules: 1,2MP; 5&E 1,2 MP; 5 &E
Use '-' for the dash, a single minus sign.
Use '&' for the ampersand.
Use 'v' for the wedge, a lower-case V.
Use '->' for the arrow. Copy and paste the arrow from here, if you need it in your answer.
Use '' for the contradiction symbol. Copy and paste the upside-down T from here.
Use '' for the turnstile. Copy and paste it from here, if you need it in your answer.
Use '&I','&E','vI','DN','MP','MT','CP','IP','I' for the rules.

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 Databases Questions!