Begriffsschrift is a notation created in 1879 by Gottlob Frege.
| #2531on PLDB | 146Years Old |
A formula language, modeled on that of arithmetic, for pure thought.
⊢ (a → b) → (¬b → ¬a)
# Represents the logical implication: if a implies b, then not b implies not a.