Introduction to Logic: Logical Operators -- negation, conjunction, disjunction, XOR, conditional, biconditional. Precedence of logical operators. The conditional operator, examples of translating ...

"A group that contains a token with a quantifier must not have a quantifier of its own unless the quantified token inside the group can only be matched with something else that is mutually exclusive ...