https://github.com/innovativeinventor/proppy

Proppy is a python propositional logic checker and solver
https://github.com/innovativeinventor/proppy

Last synced: 21 days ago
JSON representation

Proppy is a python propositional logic checker and solver

• Host: GitHub
• URL: https://github.com/innovativeinventor/proppy
• Owner: InnovativeInventor
• Created: 2019-07-25T19:40:09.000Z (almost 7 years ago)
• Default Branch: master
• Last Pushed: 2019-07-25T19:46:30.000Z (almost 7 years ago)
• Last Synced: 2025-11-21T03:35:19.635Z (7 months ago)
• Language: Python
• Homepage:
• Size: 4.88 KB
• Stars: 0
• Watchers: 0
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
## Proppy 

[![Build Status](https://travis-ci.com/InnovativeInventor/Proppy.svg?token=FWCZnQTrUaU6uushKuNx&branch=master)](https://travis-ci.com/InnovativeInventor/Proppy)

Proppy is a propositional logic proving assistant. It can check the validity of statements, form wffs,

Note: I'm trying out README-driven development. This is still a WIP.

## Structure

`proposition.py` contains all the truth-functional connectives. You should be able to represent all first order logic problems with everything contained in `proposition.py`. I could have used fancy metaclasses to shorten the code in proposition.py, but I felt that it would decrease the readability of my code (otherwise why the hell am I writing this in Python).

`tree-solver` contains the tree-searching algo that determines the validity of a given argument

`inference.py` contains all the inference rules

`test_*` contains all the test cases (TDD is awesome)