Course Details
Country:
Finland
Institution:
University of Helsinki
Course Title:
Introduction to Logic I
Course Number:
MAT21014
Course Description:
Upon completion of the course, students will be familiar with the basic concepts and methods of propositional logic; for example.
- can form and interpret propositional sentences
- be able to examine the truth values obtained by a propositional statement and the logical consequence between propositional statements using a truth table
- understands the relationship between truth functions and propositional statements and can form propositional statements corresponding to a given truth function
- can produce simple formal reasoning by natural deduction and use resolution and semantic trees to investigate or prove tautology and logical consequence
- understand the importance of integrity and completeness in a system of reasoning
Propositional statements, recursive definitions, truth distributions and truth functions, truth functions and disjunctive normal form; natural deduction and its integrity, semantic trees, resolution
Translated with www.DeepL.com/Translator (free version)
Language:
English
Approved Equivalent:
PHIL 173
Course URL:
https://sisu.helsinki.fi/student/courseunit/otm-7da1d084-d261-4266-946d-6b3b55861c6f/brochure
Attachment Files:
