Lesley's Digital Garden

Tag: logic

64 items with this tag.

Mar 13, 2026
conditional proofs
- logic/proofs
Mar 13, 2026
denying the consequent
- logic/propositional
Nov 09, 2025
translate English to predicate logic
- logic/predicate
Oct 28, 2025
quantifier raising
- logic/predicate
Jun 09, 2025
exclusive or
- logic
Jan 06, 2025
completeness
- logic/FormalSystem
Jan 05, 2025
conjunctive normal form
- logic/propositional
- logic/NormalForm
Jan 05, 2025
contradiction
- logic/property
Jan 05, 2025
normal forms (logic)
- logic/NormalForm
Dec 28, 2024
Fitch proof system
- logic/proofs
Nov 22, 2024
logical consistency
- logic/property
Nov 22, 2024
satisfiability
- logic/property
Nov 16, 2024
predicate logic
- logic/predicate
Nov 16, 2024
principle of explosion
- logic
Nov 09, 2024
base rate fallacy
- logic/fallacies
- cognitive_bias
Nov 01, 2024
Texas sharpshooter fallacy
- logic/fallacies
Oct 31, 2024
Prenex normal form
- logic/predicate
- logic/NormalForm
Oct 31, 2024
inductive reasoning
- logic
Oct 31, 2024
logic
- logic
- MOC
Oct 31, 2024
truth tree
- logic/proofs
Oct 17, 2024
enthymemes
- logic
Oct 16, 2024
the identity predicate
- logic/predicate
Oct 12, 2024
list of inference rules
- logic
Oct 05, 2024
contraries
- logic/property
Oct 05, 2024
truth table
- logic/propositional
Sep 30, 2024
Hilbert system
- logic/FormalSystem
Sep 30, 2024
direct proofs
- math/proofs
- logic/proofs
Sep 30, 2024
entailment and provability
- logic/property
Sep 30, 2024
formal system
- logic/FormalSystem
Sep 30, 2024
inference rules
- logic
Sep 30, 2024
proof system
- logic/proofs
- logic/FormalSystem
Sep 29, 2024
axiom schemas
- logic/FormalSystem
Sep 29, 2024
deductive reasoning
- logic
Sep 29, 2024
soundness (formal system)
- logic/FormalSystem
Sep 29, 2024
tautology
- logic/propositional
- logic/property
Sep 29, 2024
valid argument
- logic
Sep 29, 2024
valid formula
- logic/property
Sep 28, 2024
Validity
- logic
Sep 25, 2024
logical conditional
- logic/propositional
Sep 25, 2024
logical connective
- logic/propositional
Sep 25, 2024
logical equivalence
- logic/property
Sep 25, 2024
propositional logic
- logic/propositional
Sep 25, 2024
propositional satisfiability problem
- logic/propositional
Sep 23, 2024
substitution
- computing/PL
- logic/predicate
Sep 18, 2024
De Morgan's laws
- math/set_theory
- logic/propositional
Sep 09, 2024
logical fallacies
- logic/fallacies
Aug 16, 2024
logical biconditional
- logic/propositional
Aug 08, 2024
argument
- logic
Aug 08, 2024
deductive soundness
- logic
Aug 07, 2024
necessarily truth-preserving
- logic/propositional
Aug 07, 2024
proposition
- logic/propositional
May 04, 2024
fallacy of composition
- logic/fallacies
Apr 07, 2024
equivocation
- logic/fallacies
Mar 14, 2024
abductive reasoning
- logic
Mar 14, 2024
affirming the consequent
- logic/fallacies
Mar 14, 2024
appeal to popularity
- logic/fallacies
Mar 14, 2024
argument from anecdote
- logic/fallacies
Mar 14, 2024
correlation does not imply causation
- math/statistics/correlation
- logic/fallacies
Mar 14, 2024
false dilemma
- logic/fallacies
Mar 14, 2024
law of excluded middle
- logic
Mar 14, 2024
proof by assertion
- logic/fallacies
- opinion
Mar 14, 2024
questionable cause
- logic/fallacies
Mar 14, 2024
sunk cost
Mar 14, 2024
two wrongs make a right
- logic/fallacies

GitHub Repository
Mastodon

Explorer

Tag: logic