support@homeworkmarkettutors.com

Call toll free: +1 (304) 900-6229 or Request a call

For each line other than the premises in the following proofs state the line or lines which it follows and

For each line (other than the premises) in the following proofs, state the line or lines which it follows and the valid argument form (MP, MT, DS, or HS) used to obtain it.
The boxes on the left are for the applicable lines and the boxes on the right are for the applicable rules.
(1)
1. A ? B
Premise
2. A ? C
Premise
3. ~B

Premise
4. ~A


5. C

(2)
1. A ? (H ? K)

Premise
2. A ? (B ? C)
Premise
3. ~ (B ? C)

Premise
4. ~A




5. (H ? K)



(3)
1. ~R




Premise
2. ~S ? T


Premise
3. (A ? B) ? ~S

Premise
4. ~R ? (A ? B)
Premise
5. ~R ? ~S


6. ~R ? T


7. T



(4)
For each line (other than the premises) in the following proofs, state the line or lines which it follows and the valid argument form (MP, MT, DS, HS, Simp, Conj, Com, Add, CD) used to obtain it.
The boxes on the left are for the applicable lines and the boxes on the right are for the applicable rules.
1. A ? B


Premise
2. A ? ~D

Premise
3. B ? C


Premise
4. A




5. A ? C



6. C




7. ~D ? A



8. ~D



9. C ? ~D



(5)
1. C







Premise
2. A ? B






Premise
3. C ? D






Premise
4. D ? E





Premise
5. C ? E







6. C ? A







7. (C ? E) ? (A ? B)

8. E ? B




(6)
Use the first eight rules of inference to derive the conclusion of the following symbolized argument (you can use another sheet of paper). If you cant access the logical operation signs, just write dot, wedge, horseshoe or triple bar wherever applicable.
1. ( W ? X ) ? ( Q ? R )
2. ( S ? F ) ? ( Q ? W )
3. ( S ? G ) ? ( ~ Q ? X )
4. Q ? S
5. ~ Q ? H




/
R

Share This Post

Email
WhatsApp
Facebook
Twitter
LinkedIn
Pinterest
Reddit

Order a Similar Paper and get 15% Discount on your First Order

Related Questions