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

contradiction

A sentence that is false on every row of its truth table.

A contradiction is a sentence that is false on every valuation. Its negation is a tautology. In proofs, a contradiction also means a pair of lines A and ¬A.

Examples

P ∧ ¬P is a contradiction.