Opened 23 months ago

Last modified 3 months ago

#28080 needs_work PLEASE CHANGE

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

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

Status badges

Description (last modified by gh-kliem)

Medha Sharma (@medha_321) opened a merge request at

Added a function in 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)
sage: g.TautologicallyImplies(f)

Change History (7)

comment:1 Changed 23 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 to check if a list of propositional formulas are consistent, In other words, if a system of formulas is consistent.

comment:2 Changed 17 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 17 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 17 months ago by embray

  • Milestone changed from sage-8.9 to sage-9.1

Ticket retargeted after milestone closed

comment:5 Changed 13 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.

comment:6 Changed 8 months ago by mkoeppe

  • Milestone changed from sage-9.2 to sage-9.3

comment:7 Changed 3 months ago by mkoeppe

  • Milestone changed from sage-9.3 to sage-9.4

Setting new milestone based on a cursory review of ticket status, priority, and last modification date.

Note: See TracTickets for help on using tickets.