Source: wikibot/propositional-formula

= Propositional formula
{wiki=Propositional_formula}