Decision procedures and their limits

The truth table as a procedure that always halts, the theorem that no such procedure exists for first-order validity, what semi-decidability gives instead, and how a reduction carries a result from one question to another.

About 25 minutes7 activities Paper packet