Lesley's Digital Garden

Tag: logic/predicate

6 items with this tag.

Nov 09, 2025
translate English to predicate logic
- logic/predicate
Oct 28, 2025
quantifier raising
- logic/predicate
Nov 16, 2024
predicate logic
- logic/predicate
Oct 31, 2024
Prenex normal form
- logic/predicate
- logic/NormalForm
Oct 16, 2024
the identity predicate
- logic/predicate
Sep 23, 2024
substitution
- computing/PL
- logic/predicate

Created with Quartz v4.5.2 © 2026. All notes are written in Obsidian.

GitHub Repository
Mastodon