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.