| ||||||||||||||||||||||||||||||
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?
|
|
 |
Print this page |
 |
 |