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.

A	A→B	B
⊥	⊥	∅
⊥	⊤	∅
⊤	⊥	∅
⊤	⊤	⊤