propositional logic
Artifacts that teach this idea, ranked by trust: tier, then passing built-in checks and accessibility, then likes.
- 1Interactive✓ Checks passAccessibleGraduate
What is Truth?
A conceptual companion on logical sentences, tautologies, contradictions, consistency, and why R's == is not logical equivalence.
Alex Korablev · ♥ 0
- 2InteractiveGraduate
The Complexity of Negation
A formal-logic companion on negating sentences precisely: connectives, a truth-table builder, De Morgan's laws and the meaning of "unless".
Alex Korablev · ♥ 0