Wolak, Zbigniew
(Instytut Teologiczny w Tarnowie, 1999)
This paper presents a method of the graphic proofs in propositional calculus. We can use diagrams, similar to Venn’s diagrams to draw premisses and inferences. Then we can check their validity. The diagrams enable us to ...