In this article I present and explain a graphical method of logical proof - truth tree. I limited my presentation to the formal sentential logic. The article is also a proposal of Polish translation of concepts used in this method. I selected a Polish terminology so that, by invoking the emotional images, the method will become more understandable and easier to remember.
Download files
Citation rules
Licence
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.