Aufgabe zur Typenlogik |
| 19.06.2010, 19:24 | Tokiomonsta | Auf diesen Beitrag antworten » |
| Aufgabe zur Typenlogik 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) S(a,b) Könnte mir bitte jemand die Lösung verraten? Und das bitte Schritt-für-Schritt.... |
||
| 20.06.2010, 17:44 | Tokiomonsta | Auf diesen Beitrag antworten » |
Könnte mir zumindestens jemand verraten, für was der Typ <e,e> steht? |
||
|
|
Verwandte Themen
| Die Beliebtesten » |
|
| Die Größten » |
|
| Die Neuesten » |
|
