Course

Logic I

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.