Extensions of the Language, Normal Forms
In Chap. II, we built up the language of predicate logic on the basis of the junctors ⋀ and ┐ and the quantifier ⋀. Other junctors, such as V, →, ↔ (Chap. I, §6.2), and the quantifier V (Chap. I, §7.5) can be defined on this basis (see Chap. II, § 1.5; cf. also Chap. I, § 6, Exercise 5).
Unable to display preview. Download preview PDF.