|
Mar 10, 2025
|
|
|
|
PHIL 2010 Symbolic Logic I (3) This is a General Education course. Classical propositional and first-order predicate logic; syntax and semantics of formal languages; translation between formal languages and English; formal methods of proof.
Add to Portfolio (opens a new window)
|
|