Source: /cirosantilli/propositional-logic

= Propositional logic
{wiki}

This is the part of the <formalization of mathematics> that deals only with the propositions.

In some systems, e.g. including <Metamath>, <modus ponens> alone tends to be enough, everything else can be defined based on it.