7.6. Question 12

Try these first

1. 1.

   Define what a premise is in logical arguments.

   Hint

   Think about what supports a conclusion.

2. 2.

   What does negating a statement do?

   Hint

   What happens if you say 'It is not true'?

3. 3.

   What is the purpose of negating a conclusion during resolution?

   Hint

   What are we trying to prove by doing this?

4. 4.

   If all premises are true and the conclusion is false, what can we say about the argument?

   • True
   • False

   Hint

   Consider the logical relationship between premises and conclusions.

5. 5.

   Given premises A → B, B → C, and C → D, is the conclusion A → D valid? Use resolution to demonstrate.

   Hint

   Break down each step using your clauses.

6. 6.

   In a complex argument with multiple premises, identify how resolution can simplify the analysis of the validity of the conclusion.

   Hint

   Focus on pairings that eliminate variables.