Repository navigation

Add tautology, contradiction and double negation to Proof Writing - #596

Merged

d-morrison merged 2 commits into

mainfrom

claude/project-thread-aj2ep4-logic-laws

Nov 3, 2026

Merged

Add tautology, contradiction and double negation to Proof Writing#596
d-morrison merged 2 commits into
mainfrom
claude/project-thread-aj2ep4-logic-laws

Commits on Nov 3, 2026
- Add laws of propositional logic to Proof Writing
  claude
  committed
  b6efdf1
- Add examples and narrow #596 to the first four logic laws
  claude
  committed
  68e9c41