Lukas' Notes

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

Double Negation Elimination Inference Rule (Propositional Hilbert Calculus)

1 min read

Definition

Double Negation Elimination Inference Rule (Propositional Hilbert Calculus)

In the propositional Hilbert calculus, double negation elimination is the following derived elimination inference rule, for any formula :

Backlinks