Aufgabe zur Typenlogik < Prädikatenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 19:28 Sa 19.06.2010 | | Autor: | Shlomoe |
| Aufgabe | Q, P, S sind Prädikatensymbole mit folgenden Typen:
Q = <<e,t>,t>
P = <e,t>
S = <e,<e,t>>
und a,b Konstanten vom Typ e
Ist unter Berücksichtigung der Typen folgender Ausdruck gültiger Ausdruck der Typentheorie? Falls nein, begründe.
Q(P) [mm] \wedge [/mm] S(a,b)
|
Ich zerbrech mir schon seit gestern abend über folgende Aufgabe den Kopf, aber bin bisher leider zu keinem Ergebnis gekommen...
Könnte mir bitte jemand die Lösung verraten? Und das bitte Schritt-für-Schritt....
|
|
| |
|
| Status: |
(Frage) überfällig | | Datum: | 17:42 So 20.06.2010 | | Autor: | Shlomoe |
Könnte mir zumindestens jemand verraten, für was der Typ <e,e> steht?
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 18:20 Mi 23.06.2010 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig | | Datum: | 20:24 Di 22.06.2010 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig | | Datum: | 20:35 Mi 23.06.2010 | | Autor: | Shlomoe |
| Aufgabe | Bin immer noch an einer Antwort interessiert!
|
Bin immer noch an einer Antwort interessiert!
|
|
|
|
