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