Title: Consider this proof, (1.) E [ ~ I (~ D v I)] / ~ D v F (2.) [ ~ I (~ D v I)] E (3.( ~ I (~ D v ... Post by: jtfortwengler on May 12, 2022 Consider this proof, (1.) E • [ ~ I • (~ D v I)] /∴ ~ D v F (2.) [ ~ I • (~ D v I)] • E (3.( ~ I • (~ D v I) (4.) ~ I (5.) (~ D v I) • ~ I (6.) ~ D v I (7.) ~ D (8.) ~ D v F What is the justification for line 3?
▸ 2 Simp ▸ 1, 2 Com ▸ 1, 3 MP Title: Consider this proof, (1.) E [ ~ I (~ D v I)] / ~ D v F (2.) [ ~ I (~ D v I)] E (3.( ~ I (~ D v ... Post by: dhk72 on May 12, 2022 Content hidden
|