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.
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.
|
Links Project Website DownloadSubmitted by freshcodeManageYou can also help out here by:← Update project or flagging this entry for moderator attention. Share project
|