**Abstract**

``Mathematicians care no more for logic than logicians for mathematics.'' [*Augustus de Morgan, 1868*]

Proofs are traditionally syntactic, inductively generated
objects. This paper presents an abstract mathematical formulation of
propositional calculus (propositional logic) in which proofs are
combinatorial (graph-theoretic), rather than syntactic. It defines a
** combinatorial proof** of a proposition