MATA150 Logic (4 cr)

Study level:
Intermediate studies
Grading scale:
0-5
Language:
English, Finnish
Responsible organisation:
Department of Mathematics and Statistics
Curriculum periods:
2024-2025, 2025-2026, 2026-2027, 2027-2028

Description

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

Learning outcomes

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

Study materials

Kurittu: Propositio- ja predikaattilogiikka (luentomoniste)
Salminen ja Väänänen: Johdatus logiikkaan (luvut 1-3)

Completion methods

Method 1

Evaluation criteria:
Course exam and exercises
Select all marked parts

Method 2

Evaluation criteria:
Final exam
Select all marked parts
Parts of the completion methods
x

Teaching (4 cr)

Type:
Participation in teaching
Grading scale:
0-5
Language:
Finnish

Teaching

x

Exam (4 cr)

Type:
Exam
Grading scale:
0-5
Language:
Finnish

Teaching