Description
This course is an introduction to symbolic logic. By means of truth tables, consistency trees and derivations, we will study the two fundamental tools for logical calculus: propositional calculus and first order predicate calculus.
Credits
3
Language
en
Faculty
Philosophy
Professor
Iva Apostolova
Course code
DPHY 1103
Room number
219
Academic year
2022-23
Semester
Fall
Level
Undergraduate
Time
Wednesday, 1:30p.m.-4:20p.m.