# 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-2020
# File name: test_chapter05.py

"""Tests all Chapter 5 tasks."""

from propositions.proofs_test import *
from propositions.deduction_test import *
from propositions.some_proofs_test import *

def pretest_validity(debug=False):
    test_is_valid(debug)

def test_task1(debug=False):
    test_prove_specialization(debug)

def test_task2(debug=False):
    test_inline_proof_once(debug)
    test_inline_proof(debug)

def test_task3(debug=False):
    test_prove_corollary(debug)
    test_combine_proofs(debug)

def test_task4(debug=False):
    test_remove_assumption(debug)

def test_task5(debug=False):
    test_prove_hypothetical_syllogism(debug)

def test_task6(debug=False):
    test_prove_from_opposites(debug)

def test_task7(debug=False):
    test_prove_by_way_of_contradiction(debug)

pretest_validity(False)
test_task1()
test_task2()
test_task3()
test_task4()
test_task5()
test_task6()
test_task7()


