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

Author Question: Consider this proof, (1.) 1. I (I E) (2.)I / I E (3.) [I (I E)] [(I E) I] 4.) I (I E) (5.) ... (Read 64 times)

bubba123

  • Full Member
  • ***
  • Posts: 134

Question 1

Consider this proof, (1.) 1. I ≡ (I ⊃ E) (2.)I /∴ I ⊃ E (3.) [I ⊃ (I ⊃ E)] • [(I ⊃ E) ⊃ I] (4.) I ⊃ (I ⊃ E) (5.) I ⊃ E What is the justification for line 4?
◦ 3 Simp
◦ 3 Bicond
◦ 3, 2 MP

Question 2

Consider this proof, (1.) 1. I ≡ (I ⊃ E) (2.)I /∴ I ⊃ E (3.) [I ⊃ (I ⊃ E)] • [(I ⊃ E) ⊃ I] 4.) I ⊃ (I ⊃ E) (5.) I ⊃ E What is the justification for line 5?
◦ 4, 1 HS
◦ 3 Simp
◦ 4, 2 MP


Related Topics

Need homework help now?

Ask unlimited questions for free

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

lhn821

  • Full Member
  • ***
  • Posts: 168
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




bubba123

  • Member
  • Posts: 134
Reply 2 on: May 12, 2022
YES! Correct, THANKS for helping me on my review


Joy Chen

  • Member
  • Posts: 354
Reply 3 on: Yesterday
Wow, this really help

 

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?

Opium has influenced much of the world's most popular literature. The following authors were all opium users, of varying degrees: Lewis Carroll, Charles, Dickens, Arthur Conan Doyle, and Oscar Wilde.

Did you know?

About 3.2 billion people, nearly half the world population, are at risk for malaria. In 2015, there are about 214 million malaria cases and an estimated 438,000 malaria deaths.

Did you know?

Pope Sylvester II tried to introduce Arabic numbers into Europe between the years 999 and 1003, but their use did not catch on for a few more centuries, and Roman numerals continued to be the primary number system.

Did you know?

All adverse reactions are commonly charted in red ink in the patient's record and usually are noted on the front of the chart. Failure to follow correct documentation procedures may result in malpractice lawsuits.

For a complete list of videos, visit our video library