An operation on inferential rules, called H-operation, is used to minimize the axiom basis for classical logic.

We attempt to define the classical propositional logic by use of appropriate derivability conditions called Cn-definitions. The conditions characterize basic properties of propositional connectives.