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

Short Truth Table Bug: And Elim Checks out when it should not #57

Closed
Bram28 opened this issue Dec 11, 2021 · 0 comments
Closed

Short Truth Table Bug: And Elim Checks out when it should not #57

Bram28 opened this issue Dec 11, 2021 · 0 comments
Assignees
@charlestian23
Labels
bug Something isn't working short truth table

Comments

@Bram28
Copy link
Member

Bram28 commented Dec 11, 2021

When you have a true Conjunction, with one of the conjuncts being false, then you can set the other Conjunct to false, and the Conjunction (And) Elimination rule will check out:

image

This should not happen: you can only set a conjunct to False if the Conjunction itself is False, and the other conjunct is True.
@Bram28 Bram28 added bug Something isn't working short truth table labels Dec 11, 2021
@charlestian23 charlestian23 self-assigned this Dec 23, 2021
@charlestian23 charlestian23 mentioned this issue Dec 25, 2021
Merged
charlestian23 added a commit that referenced this issue Dec 25, 2021
@charlestian23
Merge pull request #62 from Bram-Hub/truth-table_issue57_and-elim-bug
9126642 
Quick fix for Issue #57
@charlestian23 charlestian23 mentioned this issue Jan 3, 2022
Merged
@charlestian23 charlestian23 mentioned this issue Jan 4, 2022
Merged
@charlestian23 charlestian23 reopened this Jan 14, 2022
@charlestian23 charlestian23 mentioned this issue Jan 15, 2022
Merged
Chase-Grajeda added a commit that referenced this issue Jan 16, 2022
@Chase-Grajeda
Merge pull request #72 from Bram-Hub/truth-table_issue57_and-elim-bug
e8e9b17 
Fixed Reopened Issue #57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@charlestian23 charlestian23

Labels
bug Something isn't working short truth table
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@Bram28 @charlestian23 @Chase-Grajeda