1. Engineering
  2. Computer Science
  3. 2 the following is an attempt to provide a derivation...

Question: 2 the following is an attempt to provide a derivation...

Question details

2. The following is an attempt to provide a derivation for this argument: ~(AvB); therefore, (~A)&(B). 1(AvB) 2 Premise Assumption 4 (AvB) 1, Reiteration 2-4,? Assumption 3, Reiteration 1, Reiteration 6-8,? 7 AvB (AvB) 10? ※ (10%) The above derivation is not just incomplete, but it actually also misapplies a rule. Identify that mistake, and state the rule (in the textbook) that it misapplies (20%) Then correct and complete the derivation, using only primitive rules of inference

Solution by an expert tutor
Blurred Solution
This question has been solved
Subscribe to see this solution