Learning objectives
# <br />
Teach how to formulate logical and rational arguments.
Prerequisites
none
Course unit content
<br />
Propositional logic: formal system; theorems of deduction, <br />
<br />
correctness and completeness.
Full programme
- - -
Bibliography
# <br />
J.W. Robbin, "Mathematical Logic, a first course" Benjamin Inc.1969.
Teaching methods
Classroom instruction and exercises.
Assessment methods and criteria
- - -
Other information
- - -