Free public beta until December 4, 2026: every course is open, no card needed. After that, the first chapter of each course stays free and full access is a one-time $39 ($19 for up to 100 founding members chosen for helpful feedback). Your progress is kept. How the beta works

negation elimination

From A and ¬A, write ⊥.

Negation elimination (¬E) lets you write the contradiction symbol ⊥ when a sentence and its negation are both available.

Examples

From 3 P and 4 ¬P, write 5 ⊥ (¬E 3, 4).