pyLogika 0.4.1beta

pyLogika is an educational program collection for practising formal logic. Its exercises are on proposition, modal, and predicate logic, syllogisms, set theory, and relation properties. It also includes games such as Mill's Sluice and Popper's Minesweeper. It includes lessions on the Greek alphabet, and truth tables.

Tags python education terminal english polish
License GNU GPL
State beta

Recent Releases

0.4.1beta20 Nov 2014 11:05 minor bugfix: Alternative notatio of antisymmetric relation and under-the-hood optimization. Locales update and various fixes to content. Properties of Relations overhaul: more compact onscreen legend, additional properties, improvements to formulas. Pre-release updates and clean-ups.