|
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: blankship 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 4?
▸ 1 Simp ▸ 3, 2 Cond ▸ 3 Simp 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: AdieMichelle on May 12, 2022 Content hidden
|