Biology Forums - Study Force

Humanities Religion and Philosophy Topic started by: blankship on May 12, 2022



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