Introduction to Logic: Level Three Exercises

Untitled Document

Exercise Contents

Exercise Three: 3.1 - 3.2 - 3.3

More Exercises

One

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?