1. Engineering
  2. Computer Science
  3. 3 20 use only primitive rules of inference to construct...

Question: 3 20 use only primitive rules of inference to construct...

Question details

3. (20%) Use only primitive rules of inference to construct a derivation for this argument: AvB; therefore, ~((~A)&(-B)) .(Hint: Think about what would be the last step you need to derive ~X, and solve backwards.) 4. (20%) Use only primitive rules of inference to construct a derivation for this argument: ( A)&B); therefore (AvB). (Hint: The derivation for this is quite similar to the derivation for the previous problem.)

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