MR23: Check tautological implication of propositional formulas

sagemath / sage

Main repository of SageMath

https://www.sagemath.org

Other

1.38k stars 469 forks source link

MR23: Check tautological implication of propositional formulas #28080

Open f588ca1e-f96a-4dea-804d-c55eab873dab opened 5 years ago

f588ca1e-f96a-4dea-804d-c55eab873dab commented 5 years ago

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

Component: calculus

Keywords: logic

Author: Medha Sharma

Branch/Commit: u/dimpase/logic/boolf @ be6acd6

Reviewer: Dima Pasechnik

Issue created by migration from https://trac.sagemath.org/ticket/28080

f588ca1e-f96a-4dea-804d-c55eab873dab commented 5 years ago

Changed commit from b946abc to 01b679a

f588ca1e-f96a-4dea-804d-c55eab873dab commented 5 years ago

comment:1

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

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

kliem commented 4 years ago

comment:2

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

kliem commented 4 years ago

Description changed:

fchapoton commented 4 years ago

comment:3

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

embray commented 4 years ago

comment:4

Ticket retargeted after milestone closed

mkoeppe commented 4 years ago

comment:5

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.

mkoeppe commented 3 years ago

comment:7

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

mkoeppe commented 3 years ago

comment:8

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

slel commented 3 years ago

Changed keywords from none to logic

slel commented 3 years ago

comment:9

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

dimpase commented 3 years ago

Changed commit from 01b679a to be6acd6

dimpase commented 3 years ago

Changed branch from u/galois/mrs/23/master to u/dimpase/logic/boolf

dimpase commented 3 years ago

comment:11

fixed spacing and rebased

New commits:

be6acd6 fix spacing, rebase

dimpase commented 3 years ago

Reviewer: Dima Pasechnik