Source: wikibot/implicational-propositional-calculus

= Implicational propositional calculus
{wiki=Implicational_propositional_calculus}