Oh, we currently don't have any quantifier support, so that would have to be added first.
Aaron Meurer On Tue, Apr 23, 2013 at 8:36 PM, Marsci <estebanm...@gmail.com> wrote: > An example of this would be given the parameters > Domain: The set of programs, P. > Let S(x) represent x has a syntax error. > Let C(x) represent x will compile > > and the the logic statement ForAll(p) Element(P); S(p) => !C(p) > > And it would return the English sentence: “If a program has a syntax error, > then the program will not compile.” > It might also be able to do it backwards (i.e. Given a sentence return a > logic statement) > > (Unfortunately the post did not allow me to add the symbolic symbols but you > can view it from the site I got it off of see Q12) > http://www.cdf.toronto.edu/~heap/165/W13/SampleQuestions/A65_Practice_Questions_Solns.pdf > > > > On Monday, 22 April 2013 18:29:58 UTC-4, Aaron Meurer wrote: >> >> Can you give a concrete example of this? I suppose it would just be >> implemented as a printer. >> >> Aaron Meurer >> >> On Mon, Apr 22, 2013 at 2:49 PM, Marsci <esteb...@gmail.com> wrote: >> > I have not been able to find anything in the SymPy for a logic statement >> > translator. I was wondering if this would this be a good module to >> > implement >> > or would it veer too far from the "symbolic" aspect that is SymPy? The >> > translator would take a logic statement given in symbolic notation and >> > would >> > then try to translate the sentence into plain English. I understand this >> > would be an extremely hard task but a foundation needs to start from >> > somewhere. >> > >> > -- >> > You received this message because you are subscribed to the Google >> > Groups >> > "sympy" group. >> > To unsubscribe from this group and stop receiving emails from it, send >> > an >> > email to sympy+un...@googlegroups.com. >> > To post to this group, send email to sy...@googlegroups.com. >> > Visit this group at http://groups.google.com/group/sympy?hl=en-US. >> > For more options, visit https://groups.google.com/groups/opt_out. >> > >> > > > -- > You received this message because you are subscribed to the Google Groups > "sympy" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sympy+unsubscr...@googlegroups.com. > To post to this group, send email to sympy@googlegroups.com. > Visit this group at http://groups.google.com/group/sympy?hl=en-US. > For more options, visit https://groups.google.com/groups/opt_out. > > -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to sympy+unsubscr...@googlegroups.com. To post to this group, send email to sympy@googlegroups.com. Visit this group at http://groups.google.com/group/sympy?hl=en-US. For more options, visit https://groups.google.com/groups/opt_out.