Extensions of the Language, Normal Forms

  • Hans Hermes
Part of the Universitext book series (UTX)


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).


Prefix CuRu 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag, Berlin/Heidelberg 1973

Authors and Affiliations

  • Hans Hermes
    • 1
  1. 1.Mathematisches Institut, Abteilung für mathematische Logik und Grundlagen der MathematikAlbert-Ludwigs-Universität78 Freiburg i. Br.Deutschland

Personalised recommendations