Consider this proof, (1.) E D (2.) ~ (E D) O/ Ev~O (3.) [~ (E ...

[Mscarter]

Question 1

Consider this proof, (1.) E • D (2.) ~ (E • D) ≡ O/∴ Ev~O (3.) [~ (E • D) ⊃ O] • [O ⊃ ~ (E • D)] (4.) [O ⊃ ~(E•D)]• [~(E•D) ⊃ O] (5.) O ⊃ ~ (E • D) (6.) ~ ~ (E • D) (7.) ~ O (8.) ~ O v E (9.) E v ~ O What is the justification for line 3?
◦ 1, 2 Conj
◦ 1 Cond
◦ 2 Bicond

Question 2

Consider this proof, (1.) E • D (2.) ~ (E • D) ≡ O/∴ Ev~O (3.) [~ (E • D) ⊃ O] • [O ⊃ ~ (E • D)] (4.) [O ⊃ ~(E•D)]• [~(E•D) ⊃ O] (5.) O ⊃ ~ (E • D) (6.) ~ ~ (E • D) (7.) ~ O (8.) ~ O v E (9.) E v ~ O What is the justification for line 4?
◦ 3 Simp
◦ 3 Com
◦ 3, 2 HS

[FireandIce]

A FREE account is required to view all solutions! Click to Register

Login with Facebook Login with Google Login with Email

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

[Mscarter]

Excellent

[JaynaD87]

Thanks for the timely response, appreciate it