|
Jan 02, 2025
|
|
|
|
PHIL 307 - Introduction to Formal Logic Description: An introduction to formal logic, focusing on propositional and predicate calculus. Logical operators, symbolization, truth functions, truth tables, natural deduction (including conditional and direct proofs), and quantifiers.
Credits: (5)
Add to Portfolio (opens a new window)
|
|