https://bookem.ir/books/2911903-Propositional-and-predicate-calculus-a-model-of-argument