Untitled Document
 
Exercise Contents
 Exercise Three: 3.1 - 3.2 - 3.3
More Exercises

Exercise 3.2

 

1.

You formalise an argument and do a tableau for the corresponding syntactic sequent.
  (i) If the tableau closes, what does that show about the original argument?
  (ii) If the tableau finishes without closing, what does that show about the original argument?

2.

You formalise an argument and do a truth-table for the corresponding semantic sequent.
  (i) If the semantic sequent is correct, what does that show about the original argument?
  (ii) If the semantic sequent is incorrect, what does that show about the original argument?

 

 
Answers

 

 

Print this page Print this page
BackNext