Lesley's Digital Garden

Tag: logic/propositional

12 items with this tag.

Mar 13, 2026
denying the consequent
- logic/propositional
Jan 05, 2025
conjunctive normal form
- logic/propositional
- logic/NormalForm
Oct 05, 2024
truth table
- logic/propositional
Sep 29, 2024
tautology
- logic/propositional
- logic/property
Sep 25, 2024
logical conditional
- logic/propositional
Sep 25, 2024
logical connective
- logic/propositional
Sep 25, 2024
propositional logic
- logic/propositional
Sep 25, 2024
propositional satisfiability problem
- logic/propositional
Sep 18, 2024
De Morgan's laws
- math/set_theory
- logic/propositional
Aug 16, 2024
logical biconditional
- logic/propositional
Aug 07, 2024
necessarily truth-preserving
- logic/propositional
Aug 07, 2024
proposition
- logic/propositional

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

GitHub Repository
Mastodon