PHL 390 - Predicate Logic (4)

A study of first-order predicate logic with identity. Focus on symbolization from natural language into formulas and proofs.

Prerequisite(s): PHL 218.
Component(s): 4 hours lecture/recitation.
Minimum/Maximum Units: Total credit limited to 4 units, with a maximum of 2 units per quarter.