Description:
Formal methods in deductive reasoning. Logic of connectives and quantifiers, including identity, functions, and descriptions.
Semester:
Fall of every year, Spring of every year
Credits:
Total Credits: 4 Lecture/Recitation/Discussion Hours: 4
Description:
Formal methods in deductive reasoning. Logic of connectives and quantifiers including identity, functions, and descriptions.
Semester:
Fall of every year, Spring of every year
Credits:
Total Credits: 4 Lecture/Recitation/Discussion Hours: 4
Not open to students with credit in:
PHL 432
Description:
Formal methods in deductive reasoning. Logic of connectives and quantifiers including identity, functions, and descriptions.
Semester:
Fall of every year, Spring of every year
Credits:
Total Credits: 4 Lecture/Recitation/Discussion Hours: 4
Not open to students with credit in:
PHL 432
Description:
Formal methods in deductive reasoning. Logic of connectives and quantifiers including identity, functions, and descriptions.
Semester:
Fall of every year, Spring of every year
Credits:
Total Credits: 4 Lecture/Recitation/Discussion Hours: 4
Recommended Background:
PHL 130
Description:
Formal methods in deductive reasoning. Logic of connectives and quantifiers including identity, functions, and descriptions.