Lukas' Notes

Search titles, aliases and note text. Use # for tags.

Monotonicity of Deductive Closure (Propositional Hilbert Calculus)

1 min read

Definition

Monotonicity of Deductive Closure (Propositional Hilbert Calculus)

For all propositional theories , deductive closure preserves inclusion:

Adding assumptions cannot remove derivable formulas.

Backlinks