Stap 1: Bereid de genegeerde formule voor

Bewijs geldigheid van logische uitspraken door negatie en vervulbaarheidcontrole. Als de negatie onvervulbaar is, is de oorspronkelijke uitspraak geldig. Anders wordt een tegenvoorbeeld geretourneerd.

Bron: github.com/Z3Prover/z3/tree/master/.github/skills/prove · Licentie: Other