Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Automated truth-table based AEG theorem checking. #324

Open
James-Oswald opened this issue Dec 16, 2023 · 0 comments
Open

Automated truth-table based AEG theorem checking. #324

James-Oswald opened this issue Dec 16, 2023 · 0 comments
Labels
Enhancement New feature No API-Break Will not break test results or backwards compatibility. Middle number in semantic versioning
Milestone
PMH 2.0.0

Comments

@James-Oswald
Copy link
Member

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.
@James-Oswald James-Oswald added the Enhancement New feature label Dec 16, 2023
@James-Oswald James-Oswald added this to the PMH 2.0.0 milestone Dec 16, 2023
@RyanR712 RyanR712 added the No API-Break Will not break test results or backwards compatibility. Middle number in semantic versioning label Jan 3, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Enhancement New feature No API-Break Will not break test results or backwards compatibility. Middle number in semantic versioning
Projects
None yet
Milestone
PMH 2.0.0
Development

No branches or pull requests
2 participants
@James-Oswald @RyanR712