Tractatus Logico-Philosophicus

by Ludwig Wittgenstein

Every proposition of logic is a modus ponens presented in signs. (And the modus ponens can not be expressed by a proposition.)