A utility for proofs in the propositional calculus. Currently finished - a way of parsing (most) valid strings in the PC as Sentences which can be added to proofs. Working on a mechanism for machine proof.
logic propositional-logic fitch propositional-calculus fitch-proofs formal-proofs propositional-proof-system formal-logic sentential-calculus
-
Updated
Oct 11, 2022 - Python