Author Question: Consider this proof, (1.) 1. I (I E) (2.)I / I E (3.) [I (I E)] [(I E) I] 4.) I (I E) (5.) ... (Read 60 times)

bubba123 · **on:** May 12, 2022

Question 1

Consider this proof, (1.) 1. I ≡ (I ⊃ E) (2.)I /∴ I ⊃ E (3.) [I ⊃ (I ⊃ E)] • [(I ⊃ E) ⊃ I] (4.) I ⊃ (I ⊃ E) (5.) I ⊃ E What is the justification for line 4?
◦ 3 Simp
◦ 3 Bicond
◦ 3, 2 MP

Question 2

Consider this proof, (1.) 1. I ≡ (I ⊃ E) (2.)I /∴ I ⊃ E (3.) [I ⊃ (I ⊃ E)] • [(I ⊃ E) ⊃ I] 4.) I ⊃ (I ⊃ E) (5.) I ⊃ E What is the justification for line 5?
◦ 4, 1 HS
◦ 3 Simp
◦ 4, 2 MP

lhn821 · **Reply #1 on:** May 12, 2022

A FREE account is required to view all solutions!

Lorsum iprem. Lorsus sur ipci. Lorsem sur iprem. Lorsum sur ipdi, lorsem sur ipci. Lorsum sur iprium, valum sur ipci et, vala sur ipci. Lorsem sur ipci, lorsa sur iprem. Valus sur ipdi. Lorsus sur iprium nunc, valem sur iprium. Valem sur ipdi. Lorsa sur iprium. Lorsum sur iprium. Valem sur ipdi. Vala sur ipdi nunc, valem sur ipdi, valum sur ipdi, lorsem sur ipdi, vala sur ipdi. Valem sur iprem nunc, lorsa sur iprium. Valum sur ipdi et, lorsus sur ipci. Valem sur iprem. Valem sur ipci. Lorsa sur iprium. Lorsem sur ipci, valus sur iprem. Lorsem sur iprem nunc, valus sur iprium.

Answer Preview

Only 35% of students answer this correctly