21.2.1 Prädikatenlogik, Einführung

Question	Answer
Was ist hauptsächlicher Gegenstand der Prädikatenlogik?	Die Prädikate (Eigenschaften) , die bestimmten Objekten zugeordnet werden.
Was sind die sog. Prädikate in der Prädikatenlogik?	Eigenschaften
Welche fünf Elemente enthalten prädikatenlogische Formeln?	Variablen, Konstantensymbole, Funktionssymbole, Prädikatssymbole und Quantoren.
Welche Aufgabe kommt den Variablen in der Prädikatenlogik zu?	Diese bezeichnen die Objekte des jeweiligen Universums
Welche Rolle spielen die Funktionen in der Prädikatenlogik?	Diese ordnen Objekten andere Objekte zu.
Was ist ein n-Tupel?	Eine geordnete Menge von Variablen: \(\M^n\) := {(m1, . . . , mn) \| mi ∈ M für alle 1 ≤ i ≤ n}
Was ist eine n-stellige Funktion auf einer Menge M?	eine Abbildung f : \(M^n\) → M
Was ist eine n-stellige Relation auf \( M_1,...M_n\) ?	Eine Teilmenge R von \(M_1×· · ·× M_n \)
Wann stehen \( m_1, m_2, .. m_n\) in Relation ?	wenn \( (m_1, m_2, ... m_n) \) \epsilon R und R ⊆\( M_1 x ... x M_n \)

Resource summary

	Created by David Bratschke almost 7 years ago