Re: Jetzt neu Uebung

ich mache jetzt weiter Ich gucke mir jetzt das Philologieding von der Tuebinger Uni an.

Also, das Thema heisst, Praedikatenlogik

http://ls.informatik.uni-tuebingen.de/psh/lehre/ws0506/logik/elloS7.pdf">

...

https://de.wikipedia.org/wiki/Pr%C3%A4dikat_%28Logik%29">https://de.wikipedia.org/wiki/Pr%C3%A4dikat_(Logik)</URL>
...

Also, ich schreibe das jetzt mal alles raus, was es an Stichworten gibt und lerne es. Praedikatenlogik sieht nicht besonders kompliziert aus. Keine Sorge ich veroeffentliche nichts und wenn dann spaeter, wenn ich gute Beispiele machen kann

Ich habe zum Beispiel eine Uebung, die kann ich gleich mal selber machen, ich lese texte und kann folgendes tun.

Es gibt singulaere Bezeichnungen, das sind einfach die Namen im Text, also "Max Mustermann", aber auch "Der Fluss der durch Tuebingen fliesst". "Der Neckar"

Ich denke, so wie ich das bisher verstehe unterscheidet sich die uebliche AL - Aussagenlogik von der PL - Praedikantelogik dadurch, dass die AL zwar aussagen wie

\begin{verbatim}
A, B, C, D

und deren Verknuepfung

>A AND B OR C

beschreibt, die Aussagenlogik aber keine Ëlementefuer Name, womoegliche Quanteoren, Praedikate und so weiter hat. die Praedikatenlogik versucht das zu loesen

Wir koennten jetzt einfach Texte nehmen und die einzelnen Bestandteile in Symbole umsetzen

Ah ja, ich meine hier schon zu sehen, was Mathematiker unter Praedikaten verstehen.

Ein Praedikat in der Mathematik ist eine Relation

Eine Relation ist eine Untermenge eines karthesischen Produkts von Mengen

M x M x M

R SUBSET M x M x M

Und diese Relation wird Praedikat genannt

Die Elemente

sind

(x, y, z) IN R

Gut, wenn Tuebingen hinter Reutlingen hinter Stuttgart liegt

Liegt Reutlingen zwischen Tuebingen und Stuttgart

damit habe ich zwar eine Transitivitaet erschaffen, ich kann aber auch sagen, ein 3 Stelliges Praedikat

(Tuebingen, Reutlingen, Stuttgart)

Also ist das in Wirklichkeit nicht eine Aussagen, sondern wohl 3.

Vermute ich, aber das kann ich noch nicht genau sagen

Dann unterscheidet man bei singulaeren ausdrueken zwischen

Namen

Tuebingen, Max Musterman Pronomen: er sie es Nicht-bezeichnende singulaere Ausdruecke: Die es nicht gibt:

Der Zar von Russland, Pippi Langstrumpf und die