Marcs Notes
Suche
Search
Dunkler Modus
Heller Modus
Explorer
Home
❯
university
❯
Logic
❯
Logical System
❯
First Order Predicate Logic
❯
Alphabetical Variant
Alphabetical Variant
10. Juni 2025
1 min read
Alphabetical Variant
A formula where a
Bound Variable
has been renamed.
Graphansicht
Backlinks
First-Order Predicate Logic