MATA150 Logic (4 cr)

Propositional and predicate logic. Deduction, truth tables, consistency and completeness theorems.

After completing the course successfully the student

• can deduce using rules of propositional and predicate logic
  
• can translate deduction using natural language (e.g. english) to logical language and can check the correctness of these deductions from logical point of view
  
• understands the concepts of syntax and semantics of logical languages and the difference of these
  
• understands the concepts of a valid formula and a theorem and the difference of these
  
• can determine the truth of a formula using a truth table
  
• knows contents of the consistency and completeness theorems of propositional and predicate logic and the principal ideas of their proofs