User:Hppavilion1/Extended truth-table demo

From Esolang
Jump to navigation Jump to search

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