-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathtest_chapter10.py
executable file
·67 lines (50 loc) · 1.63 KB
/
test_chapter10.py
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
# This file is part of the materials accompanying the book
# "Mathematical Logic through Python" by Gonczarowski and Nisan,
# Cambridge University Press. Book site: www.LogicThruPython.org
# (c) Yannai A. Gonczarowski and Noam Nisan, 2017-2021
# File name: test_chapter10.py
"""Tests all Chapter 10 tasks."""
from predicates.prover_test import *
from predicates.some_proofs_test import *
def test_skeleton(debug=False):
test_prover_basic(debug)
def test_task1(debug=False):
test_add_universal_instantiation(debug)
def test_task2(debug=False):
test_add_tautological_implication(debug)
def test_task3(debug=False):
test_add_existential_derivation(debug)
def test_task4(debug=False):
test_prove_lovers(debug)
def test_task5(debug=False):
test_prove_homework(debug)
def test_task6(debug=False):
test_add_flipped_equality(debug)
def test_task7(debug=False):
test_add_free_instantiation(debug)
def test_task8(debug=False):
test_add_substituted_equality(debug)
def test_task9(debug=False):
test_add_chained_equality(debug)
def test_task10(debug=False):
test_prove_group_unique_zero(debug)
def test_task11(debug=False):
test_prove_field_zero_multiplication(debug)
def test_task12(debug=False):
test_prove_peano_left_neutral(debug)
def test_task13(debug=False):
test_prove_russell_paradox(debug)
test_skeleton(True)
test_task1(True)
test_task2(True)
test_task3(True)
test_task4(True)
test_task5(True)
test_task6(True)
test_task7(True)
test_task8(True)
test_task9(True)
test_task10(True)
test_task11(True)
test_task12(True)
test_task13(True)