PHIL 2000

Formal Logic I. ((3 Credits))

Utah Valley University · UGRD · Fall 2026

1 section

Catalog description

Introduces the basic elements of categorical logic as well as formalized propositional logic and formalized first-order quantificational logic. Includes Venn diagrams, proofs, truth tables, tableaux and translations from natural language.

Sections

Current meeting, instructor, credit, and enrollment details

Updated 4 hours ago

001

Availability not recently verified

Class #utah_valley-3592Fall 2026UGRD

Days & times: No scheduled meeting time
Meeting dates: —
Location: —
Instructor: Staff

Class numbers and section codes come from the registrar.

Spot missing or incorrect course data?