Doubt with quantifiers.

Oct 6, 2015 at 9:44 AM
Hi all,
    How to use the \forall quantifier with variables of different types? Please help.
Developer
Oct 7, 2015 at 1:40 PM
\forall T1 v1; \forall T2 v2; ....
Oct 8, 2015 at 3:57 AM
Thank You Sir. Can we use the \exists quantifier along with the \forall quantifier similarly? Sorry, I cannot get the syntax right.