„8. Elsőrendű logika” változatai közötti eltérés
Felsorolás helyrerakva |
Nincs szerkesztési összefoglaló |
||
| 117. sor: | 117. sor: | ||
Utód-állapot axióma: Összekombináljuk a hatás axiómákat és a keret axiómákat egyetlen axiómába, amely leírja hogyan számítsuk a Birtokol predikátumot a következő lépésben, ha adott az értéke a pillanatnyi lépésben. Egy ilyen axióma szükséges minden egyes predikátumhoz, amely változhat az idők során. Egy utód-állapot axiómának fel kell sorolnia, minden lehetséges módját a predikátum igazzá válásának és minden módot, amikor hamissá válik | Utód-állapot axióma: Összekombináljuk a hatás axiómákat és a keret axiómákat egyetlen axiómába, amely leírja hogyan számítsuk a Birtokol predikátumot a következő lépésben, ha adott az értéke a pillanatnyi lépésben. Egy ilyen axióma szükséges minden egyes predikátumhoz, amely változhat az idők során. Egy utód-állapot axiómának fel kell sorolnia, minden lehetséges módját a predikátum igazzá válásának és minden módot, amikor hamissá válik | ||
Igaz utána <math> \Leftrightarrow </math> [bármely cselekvés, amely igazzá tette <math> \lor </math> már igaz volt és nem volt olyan cselekvés, ami hamissá tette volna] | |||
===8.7. A világ rejtett tulajdonságai=== | ===8.7. A világ rejtett tulajdonságai=== | ||