This website is dedicated to Propositional Logic, a part of Mathematical Logic. In Propositional Logic, we build general laws of reasoning that are applicable to all knowledge domains. For instance, the rules of syllogism, de Morgan rules, Peirce law and others can be formulated and proven in Propositional Logic.

There are several approaches for proving semantically valid formulas in Propositional Logic:

• Axiomatic approach;
• Tableau method;
• Truth table method;
• Pure intuition.

I started studying Mathematical logic in University of Latvia, and provided some of my research results in Bachelor's thesis. I have a hobby project, that I call the opposite direction to modern Computer Science with its Artificial Intelligence. The idea is to algorithmize the experience of 19-20^th century logicians, into a C++ code.

Don't be afraid if you don't understand most of what I say here, all but one my University professors didn't as well.