Source: wikibot/propositional-proof-system

= Propositional proof system
{wiki=Propositional_proof_system}