# Protothetic

Protothetic

Leśniewski's protothetic is an extended propositional calculus in which all Boolean functions can be defined. The theory also includes a universal quantifier. In 1922, Alfred Tarski established that by employing functional variables and quantifiers, all the functions of propositional calculus can be defined using equivalence as the sole primitive function.