Content atlas · skill

Compute Heyting negation and test classical laws

The learner can compute meet, join, and pseudocomplementary negation in a finite subterminal lattice and test excluded middle and double-negation elimination in its internal logic.

1 published problem

1. The Truth Inside One — Build a complete two-stage presheaf, study the subobjects of its terminal object, and discover how its compatible global truth values behave.