Tag: logic/propositional | Lesley's Digital Garden

Lesley's Digital Garden

11 items with this tag.

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