The Logical Language

**BPFK Section: Logical Variables**

### General Section Issues

- da, de, di are
**singular**variables when bound by singular quantifier, i.e. they take values one at a time. The quantifier indicates the number of values it can take such that with each of those values the quantified bridi is true. A variable bound by a**plural**quantifier could take more than one value at a time to satisfy a predicate.

Created by xorxes. Last Modification: Thursday 21 of August, 2014 20:21:44 GMT by Ilmen.