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


Normal Form Predicate Calculus Predicate Logic Conjunctive Normal Form Disjunctive Normal Form 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


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