search

RAIRLab / Peirce-My-Heart

A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.
https://rairlab.github.io/Peirce-My-Heart/
MIT License
10 stars 0 forks source link

Automated truth-table based AEG theorem checking. #324

Open James-Oswald opened 10 months ago

James-Oswald commented 10 months ago

From draw mode, immediately decide if an AEG is a theorem or not by constructing its propositional truth table and checking if all Ts are in the final column. Inform the user if the AEG is a theorem or not.