Skip to content
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

jointly consistent

Able to be true together on at least one row.

A set of sentences is (jointly) consistent when at least one valuation makes every sentence in the set true. If no valuation does, the set is inconsistent.

Examples

  • {P ∨ Q, ¬P} is consistent: make P false and Q true.

  • {P, ¬P} is inconsistent.

Read the full section →