axiomatisierung der graphen in der modallogik |
| 10.01.2007, 00:19 | penizillin | Auf diesen Beitrag antworten » |
| axiomatisierung der graphen in der modallogik hab ein paar fragen zur axiomatisierung der graphen in der modallogik: 1. die behauptung ist, dass die menge die klasse der transitiven graphen axiomatisiert. warum? warum gilt das für alle formeln aus ML? verstehe ich es richtig, dass ein graph transitiv ist, falls es für alle knoten a, b und c mit kanten zwischen a-b und b-c immer eine kante a-c existiert? 2. welche klasse von graphen wird von axiomatisiert? bedeutet das, das für alle graphen dieser klasse gilt: jeder knoten hat mind. einen nachfolger? 3. um einen euklidischen graphen zu axiomatisieren, muss ich doch zwischen zwei nachfolgern unterscheiden, was i.a. in der modallogik nicht möglich ist. wie kann man diese eigenschaft sonst formulieren? vielen dank und schönen abend! |
||
|
|
Verwandte Themen
| Die Beliebtesten » |
| Die Größten » |
|
| Die Neuesten » |
|
