Alex' Garden
アレックスの庭
Search
Search
Dark mode
Light mode
Explorer
Home
❯
5_Archive
❯
3_Resources
❯
Uni
❯
Modules
❯
ItL
❯
VL
❯
VL10
❯
Negation (minimal logic)
1 min read
Negation (minimal logic)
Introduction Rule
[
A
]
i
⋮
¬
A
⊥
i
Elimination Rule
⊥
A
¬
A
Graph View
Table of Contents
Negation (minimal logic)
Introduction Rule
Elimination Rule
Backlinks
Calculus of natural reasoning
2⃣ Rule of double negation (DN)
Reductio ad absurdum (KR)