User:Hppavilion1/Extended truth-table demo
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
|
---|---|---|
⊥
|
⊥
|
∅
|
⊥
|
⊤
|
∅
|
⊤
|
⊥
|
∅
|
⊤
|
⊤
|
⊤
|