Question 1
Consider this proof, (1.) ~ A ⊃ ( I v ~ D) (2.)~A•~I /∴ ~D (3.) ~ A (4.) I v ~ D (5.) ~ I • ~ A (6.) ~ I (7.) ~D What is the justification for line 5?
◦ 3 Conj
◦ 2 Com
◦ 2 Simp
Question 2
Consider this proof, (1.) ~ A ⊃ ( I v ~ D) (2.)~A•~I /∴ ~D (3.) ~ A (4.) I v ~ D (5.) ~ I • ~ A (6.) ~ I (7.) ~D What is the justification for line 6?
◦ 5 Simp
◦ 4 Add
◦ 2 Com