Opened 14 months ago

Last modified 4 months ago

#28080 needs_work PLEASE CHANGE

MR23: Added a function in boolformula.py to check if one propositional formula...

Reported by: galois Owned by:
Priority: major Milestone: sage-9.2
Component: PLEASE CHANGE Keywords:
Cc: Merged in:
Authors: Medha Sharma Reviewers:
Report Upstream: N/A Work issues:
Branch: u/galois/mrs/23/master (Commits) Commit: 01b679a811ed45d9e9fd49e405f0000d551cf2ee
Dependencies: Stopgaps:

Description (last modified by gh-kliem)

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 (5)

comment:1 Changed 14 months ago by galois

  • Commit changed from b946abca4478a8b21944b7fb677a2fcb7d6ec327 to 01b679a811ed45d9e9fd49e405f0000d551cf2ee

New commits added to merge request. I updated the commit SHA-1. New commits:

01b679aAdded 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.

comment:2 Changed 8 months ago by gh-kliem

  • Description modified (diff)

Please specify a component and add some keywords, so people will find it (or look at it).

comment:3 Changed 8 months ago by chapoton

  • Status changed from needs_review to needs_work

does not build, as the code is not even correctly indented

comment:4 Changed 7 months ago by embray

  • Milestone changed from sage-8.9 to sage-9.1

Ticket retargeted after milestone closed

comment:5 Changed 4 months ago by mkoeppe

  • Milestone changed from sage-9.1 to 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.

Note: See TracTickets for help on using tickets.