This project is read-only.

Doubt with quantifiers.

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