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

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