| Autor |
Beitrag |
    
maria
| | Veröffentlicht am Dienstag, den 29. Mai, 2001 - 18:48: | 
|
Erzeugt die Aussageform "x hat das entgegengesetzte Vorzeichen von y" eine Relation in der Menge Z?
Beschreiben Sie den Graphen der Relation. |
Matroid (Matroid)
| | Veröffentlicht am Dienstag, den 29. Mai, 2001 - 21:37: |
|
In einer Relation R muß für jedes Paar a,b e M (das ist hier Z) entscheidbar sein, ob es in aRb gilt oder nicht.
Aber für a=0eZ und b beliebig ist das nicht entscheidbar. Denn hat 0 das gleiche oder ein anderes Vorzeichen wie (z.B.) 1?
Ich weiß es nicht, also: keine Relation.
Gruß
Matroid |
|
