Objectives

After this chapter you should be able to

• Describe the components of a logic and exemplify them for a given logic.
• Formalize natural language statements in PROP.
• Prove theorems of PROP using the tableaux method.
• Show whether a given sentence is semantically entailed by a set of sentences or not by set semantics and/or propositional resolution.
• Explain the terms "correct" and "complete".

Key words:	Complete, correct, entailment, model, forcing relation, provability relation, resolution, sound, semantic consequence, syntactic consequence, tableau
Key symbols: