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.
0.4.1beta20 Nov 2014 11:05
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.