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 lines long.
What wff will be on Line of this derivation?
M v RT v P A Aim:
Q
M & S A
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:
Rules: MP; &E MP; &E
Use for the dash, a single minus sign.
Use & for the ampersand.
Use v for the wedge, a lowercase 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 upsidedown T from here.
Use for the turnstile. Copy and paste it from here, if you need it in your answer.
Use &I&EvIDNMPMTCPIPI for the rules.
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
