Lukas' Notes
Search
Search
Dark mode
Light mode
Quantifier
Jan 27, 2026
1 min read
logic
todo
Graph View
Backlinks
De Morgan's Rules
Existential Quantifier
First-Order Logic
Floyd's Rule (Hoare Calculus)
Universal Quantifier
Variable (Logic)
Variable Assignment (Logic)