Exercise · ZW-LOGICAL-COMPLETENESS-002 · ★☆☆ Basic

In a complete calculus, a valid formula can...

Choose one option.

Show answer
  • A. Be proved formally

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-001 ZW-LOGICAL-COMPLETENESS-003 →