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:

Status badges

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

comment:1 Changed 3 years ago by galois

Commit: b946abca4478a8b21944b7fb677a2fcb7d6ec32701b679a811ed45d9e9fd49e405f0000d551cf2ee

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 3 years 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 3 years ago by Frédéric Chapoton

Status: needs_reviewneeds_work

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

comment:4 Changed 3 years ago by Erik Bray

Milestone: sage-8.9sage-9.1

Ticket retargeted after milestone closed

comment:5 Changed 2 years ago by Matthias Köppe

Milestone: sage-9.1sage-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 Matthias Köppe

Milestone: sage-9.2sage-9.3

comment:7 Changed 20 months ago by Matthias Köppe

Milestone: sage-9.3sage-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 Matthias Köppe

Milestone: sage-9.4sage-9.5

Setting a new milestone for this ticket based on a cursory review.

comment:9 Changed 13 months ago by Samuel Lelièvre

Component: PLEASE CHANGEbasic 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 CHANGEenhancement

Tickets about sage.logic, e.g. #543, #545, had component "basic arithmetic".

comment:10 Changed 13 months ago by Dima Pasechnik

Component: basic arithmeticcalculus

comment:11 Changed 13 months ago by Dima Pasechnik

Branch: u/galois/mrs/23/masteru/dimpase/logic/boolf
Commit: 01b679a811ed45d9e9fd49e405f0000d551cf2eebe6acd66fc23198d46c482cfc1aba601bfbd4177
Reviewers: Dima Pasechnik

fixed spacing and rebased


New commits:

be6acd6fix spacing, rebase

comment:12 Changed 10 months ago by Matthias Köppe

Milestone: sage-9.5sage-9.6

comment:13 Changed 6 months ago by Matthias Köppe

Milestone: sage-9.6sage-9.7

comment:14 Changed 10 days ago by Matthias Köppe

Milestone: sage-9.7sage-9.8
Note: See TracTickets for help on using tickets.