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 <javascript:>> > 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 <javascript:>. > > To post to this group, send email to sy...@googlegroups.com<javascript:>. > > > 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.