This topic contains a solution. Click here to go to the answer

Author Question: Consider this proof, (1.) E [ ~ I (~ D v I)] / ~ D v F (2.) [ ~ I (~ D v I)] E (3.( ~ I (~ D v ... (Read 43 times)

jenniferbaugh1984

  • Full Member
  • ***
  • Posts: 158

Question 1

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

Question 2

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 5?
◦ 3 Simp
◦ 3, 4 Add
◦ 3 Com


Related Topics

Need homework help now?

Ask unlimited questions for free

Ask a Question
Marked as best answer by jenniferbaugh1984 on May 12, 2022

Yermi196

  • Full Member
  • ***
  • Posts: 135
Lorsum iprem. Lorsus sur ipci. Lorsem sur iprem. Lorsum sur ipdi, lorsem sur ipci. Lorsum sur iprium, valum sur ipci et, vala sur ipci. Lorsem sur ipci, lorsa sur iprem. Valus sur ipdi. Lorsus sur iprium nunc, valem sur iprium. Valem sur ipdi. Lorsa sur iprium. Lorsum sur iprium. Valem sur ipdi. Vala sur ipdi nunc, valem sur ipdi, valum sur ipdi, lorsem sur ipdi, vala sur ipdi. Valem sur iprem nunc, lorsa sur iprium. Valum sur ipdi et, lorsus sur ipci. Valem sur iprem. Valem sur ipci. Lorsa sur iprium. Lorsem sur ipci, valus sur iprem. Lorsem sur iprem nunc, valus sur iprium.
Answer Preview
Only 35% of students answer this correctly




jenniferbaugh1984

  • Member
  • Posts: 158
Reply 2 on: May 12, 2022
Excellent


bbburns21

  • Member
  • Posts: 336
Reply 3 on: Yesterday
:D TYSM

 

Did you know?

Vaccines prevent between 2.5 and 4 million deaths every year.

Did you know?

To prove that stomach ulcers were caused by bacteria and not by stress, a researcher consumed an entire laboratory beaker full of bacterial culture. After this, he did indeed develop stomach ulcers, and won the Nobel Prize for his discovery.

Did you know?

There are approximately 3 million unintended pregnancies in the United States each year.

Did you know?

During the twentieth century, a variant of the metric system was used in Russia and France in which the base unit of mass was the tonne. Instead of kilograms, this system used millitonnes (mt).

Did you know?

In the United States, congenital cytomegalovirus causes one child to become disabled almost every hour. CMV is the leading preventable viral cause of development disability in newborns. These disabilities include hearing or vision loss, and cerebral palsy.

For a complete list of videos, visit our video library