Exercise · ZW-LOGICAL-COMPLETENESS-009 · ★★★ Advanced

Select consequences of a complete calculus.

Select all correct answers.

Show answer
  • A. Every valid consequence is derivable
  • B. No valid logical truths remain outside the system

Open the ZWMath map →

Review the concept: Logical completeness

A calculus \(\mathcal{S}\) is complete if every formula \(\varphi\) that is valid under its semantics is provable in \(\mathcal{S}\).

\[\mathcal{S}\models\varphi\Rightarrow\mathcal{S}\vdash\varphi\]

More practice problems: logical completeness

← ZW-LOGICAL-COMPLETENESS-008 ZW-LOGICAL-COMPLETENESS-010 →