Skip to content

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

Add examples and narrow #596 to the first four logic laws

68e9c41
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar