コード例 #1
0
def test_negated_lnc():
    prop = Proposition('''~(~(p and ~p))''')
    assert prop.is_contradiction() == True
コード例 #2
0
def test_negated_lem():
    prop = Proposition('''~(p or ~p)''')
    assert prop.is_contradiction() == True