We don't have ForAll or Exists objects yet. See https://github.com/sympy/sympy/pull/7608.
Aaron Meurer On Mon, Jun 5, 2017 at 6:13 PM, Fernando Ferreira <[email protected]> wrote: > Hi all, > > Im trying to convert a formula do CNF to get the diferent clauses of the > formula. > Imagine this formula: > { a in S : (all s in S all t in S exists u ) a * s = a * u <-> a * t = > u * a } > How doi insert the quantifyers "for all" and "exists" sympy. > I tryed something like prover9 format but with no luck. > Thanks in advance. > > -- > 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 [email protected]. > To post to this group, send email to [email protected]. > Visit this group at https://groups.google.com/group/sympy. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sympy/54e3cdb7-ce52-41d2-83c8-d2690c1f9bdb%40googlegroups.com. > For more options, visit https://groups.google.com/d/optout. -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/CAKgW%3D6Jnh1Me85ebhtnkMEhq%3DPHoU5g43K9ER1V2okjLo%3DT5vA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
