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