Predicate: - https://github.com/sympy/sympy/blob/master/sympy/assumptions/assume.py#L90
Logical deduction: - https://github.com/sympy/sympy/blob/master/sympy/logic/inference.py And I wouldn't be so sure that modal logic isn't of interest. There are many forms that are still of quite a high interest (LTL being a prime example). Cheers, Christian On Fri, Mar 23, 2012 at 11:27 AM, Cullen Seaton <[email protected]>wrote: > Alright, then in the interest of working towards proving theorems, it > seems like an appropriate starting place might be to implement > predicates (something of the form l(x, y) that reads as "x has > property l with respect to y") and then begin working on adding > quantifiers. After all the absolute logic is in place, I would be be > interested in working more on logics with multiple truth values (which > I am admittedly a little less familiar with). I would also like to > begin by adding functions that can perform logical deduction. Does > this seem like an appropriate amount of work for the summer? Best > regards, > -Cullen > > On Mar 23, 2:19 am, Saptarshi Mandal <[email protected]> wrote: > > Hi, > > > > > I'm a third year undergraduate at the University of Chicago studying > > > Mathematics. I read through the logic module documentation and it seems > > > like sympy is currently limited to sentential logic. How much (if any) > > > support is there for more advanced systems like Quantified Predicate > Logic? > > > > Since you read the code, you should know that there is currently no > > support > > beyond propositional logic. There is a dpll SAT solver implemented and > > that's > > about it. The logic stuff is handled by Christian Muise, my mentor for > > GSoC > > 2011 and an all round nice guy. I contributed a few small patches as > > well. > > > > The idea is to develop it further, add support for higher order logic, > > BDDs > > and get it into a state so that we can do mechanical theorem proving > > with it > > (this is obviously a long term vision). I think the ideas page also > > mentions > > non classical logic like fuzzy logic. > > > > > I would be interested in expanding the logic module to include > Quantifiers, > > > predicate logic, modal logic etc. Is there anyone with whom I can speak > > > > I am not sure how useful modal logic will be. They have very little > > use in > > axiomatizing mathematical statements. > > -- > You received this message because you are subscribed to the Google Groups > "sympy" group. > To post to this group, send email to [email protected]. > To unsubscribe from this group, send email to > [email protected]. > For more options, visit this group at > http://groups.google.com/group/sympy?hl=en. > > -- You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.
