Opened 3 years ago
Last modified 10 days ago
#28080 needs_work enhancement
MR23: Check tautological implication of propositional formulas
Reported by: | galois | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-9.8 |
Component: | calculus | Keywords: | logic |
Cc: | Merged in: | ||
Authors: | Medha Sharma | Reviewers: | Dima Pasechnik |
Report Upstream: | N/A | Work issues: | |
Branch: | u/dimpase/logic/boolf (Commits, GitHub, GitLab) | Commit: | be6acd66fc23198d46c482cfc1aba601bfbd4177 |
Dependencies: | Stopgaps: |
Description (last modified by )
Medha Sharma (@medha_321) opened a merge request at https://gitlab.com/sagemath/sage/merge_requests/23:
Added a function in boolformula.py to check if one propositional formula tautologically implies the other.
An example of how the function works is below:
sage: f = propcalc.formula("a")
sage: g = propcalc.formula("a|b")
sage: f.TautologicallyImplies(g)
True
sage: g.TautologicallyImplies(f)
False
Change History (14)
comment:1 Changed 3 years ago by
Commit: | b946abca4478a8b21944b7fb677a2fcb7d6ec327 → 01b679a811ed45d9e9fd49e405f0000d551cf2ee |
---|
comment:2 Changed 3 years ago by
Description: | modified (diff) |
---|
Please specify a component and add some keywords, so people will find it (or look at it).
comment:3 Changed 3 years ago by
Status: | needs_review → needs_work |
---|
does not build, as the code is not even correctly indented
comment:4 Changed 3 years ago by
Milestone: | sage-8.9 → sage-9.1 |
---|
Ticket retargeted after milestone closed
comment:5 Changed 2 years ago by
Milestone: | sage-9.1 → sage-9.2 |
---|
Batch modifying tickets that will likely not be ready for 9.1, based on a review of the ticket title, branch/review status, and last modification date.
comment:6 Changed 2 years ago by
Milestone: | sage-9.2 → sage-9.3 |
---|
comment:7 Changed 20 months ago by
Milestone: | sage-9.3 → sage-9.4 |
---|
Setting new milestone based on a cursory review of ticket status, priority, and last modification date.
comment:8 Changed 15 months ago by
Milestone: | sage-9.4 → sage-9.5 |
---|
Setting a new milestone for this ticket based on a cursory review.
comment:9 Changed 13 months ago by
Component: | PLEASE CHANGE → basic arithmetic |
---|---|
Keywords: | logic added |
Summary: | MR23: Added a function in boolformula.py to check if one propositional formula... → MR23: Check tautological implication of propositional formulas |
Type: | PLEASE CHANGE → enhancement |
comment:10 Changed 13 months ago by
Component: | basic arithmetic → calculus |
---|
comment:11 Changed 13 months ago by
Branch: | u/galois/mrs/23/master → u/dimpase/logic/boolf |
---|---|
Commit: | 01b679a811ed45d9e9fd49e405f0000d551cf2ee → be6acd66fc23198d46c482cfc1aba601bfbd4177 |
Reviewers: | → Dima Pasechnik |
comment:12 Changed 10 months ago by
Milestone: | sage-9.5 → sage-9.6 |
---|
comment:13 Changed 6 months ago by
Milestone: | sage-9.6 → sage-9.7 |
---|
comment:14 Changed 10 days ago by
Milestone: | sage-9.7 → sage-9.8 |
---|
New commits added to merge request. I updated the commit SHA-1. New commits:
Added a function in boolformula.py to check if a list of propositional formulas are consistent, In other words, if a system of formulas is consistent.