[infostudents] Re: Logik Blatt 7
- From: Alexander Nutz <alex_nutz@xxxxxx>
- To: infostudents@xxxxxxxxxxxxx
- Date: Thu, 11 Dec 2008 21:24:39 +0100
Das komische A ist ne Struktur.
Es gibt da mehrere Schreibweisen, glaube ich. Man kann schreiben
A=(N,M), wobei N die Trägermenge ist und M eine Funktion, die alle
Funktions- Relations- und Konstantensymbole auf echte Funktionen/
Relationen /Konstanten abbildet. Oder man schreibt A=(N, R^A, c^A) oder
so und gibt die Funktionen usw gleich an.
Also ist R^A die Relation (Semantik), die dem Relationssymbol(Syntax) R
zugeordnet wird.
der erste Satz in der Aufgabe wäre:
\exists x \neg P(x)
oder:
\neg \forall x P(x) - vermutlich noch näher am Text
Grüße
alex
don.vito.c@xxxxxx wrote:
Hallo Liste,
weiß einer von euch, was die zweite Formel auf dem Blatt darstellt?
Eine Struktur scheint es ja nicht zu ein, sondern mehr eine Grundmenge
oder sowas... Mir ist leider nicht ganz klar, wie man die eigentlich
einfachen Sätze logisch korrekt aufschreibt. Vielleicht kann ja mal
jemand ein kleines Beispiel geben?
Gruß,
Corni
---
Sent through the Infostudents Mailinglist
List Archive:
//www.freelists.org/archives/infostudents/
Subscribe / Unsubscribe:
//www.freelists.org/list/infostudents
---
Sent through the Infostudents Mailinglist
List Archive:
//www.freelists.org/archives/infostudents/
Subscribe / Unsubscribe:
//www.freelists.org/list/infostudents
Other related posts:
