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.
