Lukas' Notes

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

Derivable Formula

1 min read

Definition

Derivable Formula

A formula is derivable from assumptions in a calculus iff there exists a derivation of from . Notation:

Backlinks