Lesley's Digital Garden

Tag: logic/property

8 items with this tag.

Jan 05, 2025
contradiction
- logic/property
Nov 22, 2024
logical consistency
- logic/property
Nov 22, 2024
satisfiability
- logic/property
Oct 05, 2024
contraries
- logic/property
Sep 30, 2024
entailment and provability
- logic/property
Sep 29, 2024
tautology
- logic/propositional
- logic/property
Sep 29, 2024
valid formula
- logic/property
Sep 25, 2024
logical equivalence
- logic/property

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

GitHub Repository
Mastodon