User:Hppavilion1/Extended truth-table demo

Note that  is interpreted as "false unless otherwise shown" in the closed-world assumption and as "undefined unless otherwise shown" in the open-world assumption.

This uses intuitionistic logic for the purpose of the demonstration.