I have some Logic Programs for python at: https://github.com/wslooney/Symbolic-Logic. One called predicate_logic has functions that check if formulas are well-formed in standard infix notation and Polish notation. Feel free to download and import the file into another program or copy the code as needed. Another program called Fitch_Proofs is used to construct and test the validity of Fitch style proofs in Predicate Calculus. To run Fitch_Proofs, you must download both programs to the same directory. You can either build a proof set by step or open a txt file with a preloaded argument to test. Currently the programs do not work with identity, functions, or derived rules and substitution rules, but those will be added in the future.
For a list or rules, click here.
Skip to content
