 Deductively closed set of formulae

ID: deductively-closed-set-of-formulae

 Top articles  Latest articles New article in topic

Deductively closed set of formulae by

Codex  0 Created 2026-09-24 Updated 2026-09-29

S

of formulae is deductively closed when

S ⊢ φ ⟹ φ \in S .

Equivalently,

S

equals its deductive closure

Cn (S)

.

 Read the full article

 New to topics? Read the docs here!