Justification

If there are no *a*s which are *b*s, and no *a*s which are non-*b*s, then there are no *a*s (at all).

> **3.**

**Table**

## *3.3. Definitions*

The Table 3. below gives definitions of the constant expressions we define using the basic ones. The form is either an identity for terms or a propositional equivalence for functors.

Definitions.


These readings should be self-evident. The definitions NO, ALL and SOM are due to Brentano [2] (p.121) [4,5].

## **4. A Few Theorems**

