Python Not.equateNegatedToFalseの例

コード例 #1

ファイル: eqFalseRevFromNegation.py プロジェクト: wdcraft01/Prove-It

from proveit.basiclogic import Implies, Not
from proveit.common import A

# Not(Not(A)) assuming A
notNotA = Not(Not(A)).concludeViaDoubleNegation()
Implies(A,
        notNotA.equateNegatedToFalse().deriveReversed()).generalize(A).qed(
            __file__)

コード例 #2

ファイル: eqFalseFromNegation.py プロジェクト: wdcraft01/Prove-It

from proveit.basiclogic import Implies, Not
from proveit.common import A

# Not(Not(A)) assuming A
notNotA = Not(Not(A)).concludeViaDoubleNegation()
Implies(A, notNotA.equateNegatedToFalse()).generalize(A).qed(__file__)