Alex' Garden
アレックスの庭
Search
Search
Dark mode
Light mode
Explorer
Home
❯
5_Archive
❯
3_Resources
❯
Uni
❯
Modules
❯
ItL
❯
VL
❯
VL09
❯
Sentence (Predicate Calculus)
1 min read
☑️ Sentence (Predicate Calculus)
=== a
🔸 Term
that is
complete
/
closed
==
Properties
Satisfiability
Graph View
Table of Contents
☑️ Sentence (Predicate Calculus)
Properties
Backlinks
Formula
Reason (Predicate Calculus)
Satisfiability (Predicate Calculus
3⃣ Tertium non datur (TND)