I'm not sure if I fully follow what you are saying, but the logic classes and the translation to/from English should be completely separate. The quantifiers should just be symbolic classes, something like
>>> ForAll(x, S.Naturals, x**2 > 3) ∀ x∈N, x**2 > 3 Aaron Meurer On Wed, Apr 24, 2013 at 10:03 PM, Marsci <estebanm...@gmail.com> wrote: > In your opinion would you consider that task to be too challenging for a > first year? > > All I can for see is adding a quantifier class under the symbol module.it > would then need to check if what its being imputed is either an English word > or a symbol then convert it to the opposite and return. Then from the actual > translator you would need to restructure the statement/sentence in a way that > has meaning. This might be the most difficult part. > > -- > 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.