Biology Forums - Study Force

Humanities Religion and Philosophy Topic started by: jtfortwengler 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: 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