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
NULL
Course code
DPHY 1103
Room number
219
Academic year
2019-20
Semester
Fall
Level
Undergraduate
Time
Monday, 1:30p.m.-4:20p.m.