Students translate their own thesis arguments into symbolic notation to mathematically verify that their conclusions follow from their premises.

Similar Lessons