University of Southern California · Philosophy

USC Logic Web

Interactive exercises to accompany the course. Select a unit below.

Reason and Argument

I Reason and Argument

Propositional Logic

II Syntax
III Truth Tables
IV Translation
V Natural Deduction

Quantificational Logic

VI Syntax
VII Models
VIII Translation
IX Natural Deduction
X Identity