Introduction to Logic, Spring 2025

On this page, you’ll find the worksheets we use during TA sessions.

TA worksheets

• TA session 1 (Truth tables)
• TA session 2 (Truth tables bis and beyond)
• TA session 3 (Of sets and formulae)
• TA session 4 (natural deduction; borrowed from Quentin Blomet)
• TA session 5 (in whole class)
• TA session 6 (models; borrowed from Q. Blomet)