Zum Inhalt springen

Moderne Termlogik: Termlogik und Prädikatenkalkül: Verbesserungsversuche

Aus Wikibooks

Termlogik und Prädikatenkalkül

[Bearbeiten]

Verbesserungsversuche

[Bearbeiten]

Es ist, wie schon im vorigen Abschnitt angedeutet, naheliegend, die Forderung der Existenz von Elementen mit der Eigenschaft explizit in die Definition von mit aufzunehmen. Da die Negation von sein soll, ergibt sich nun das folgende modifizierte Schema:


Urteil Definition
:=
:=
:=
:=

Mit Hilfe des Kalküls der Aussagen- bzw. Prädikatenlogik lässt sich nun die Formel aus der Formel herleiten (das war ja auch der Sinn der Übung!):

Zeile Aussage Regel angewendet auf
1 Annahme
2 1
3 Annahme
4 3
5 2
6 4,5
7 4,6
8 7

( : Die Tabelle ist noch nicht vollständig!)