Lukas' Notes
Search
Search
Dark mode
Light mode
Disjunction (Tableaux)
May 01, 2026
1 min read
tableaux
Definition
Disjunction
t
:
A
∣
t
:
B
t
:
(
A
∨
B
)
f
:
A
f
:
B
f
:
(
A
∨
B
)
Graph View
Backlinks
Tableaux