„Prenex-formula” változatai közötti eltérés
[nem ellenőrzött változat] | [nem ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
Új oldal, tartalma: „Egy formula '''Prenex-alakúvá''' tételéhez előszőr változó tiszta alakra kell hozni a formulát. '''Változó tiszta alak:''' - minden kvantor különböző vál...” |
Nincs szerkesztési összefoglaló |
||
7. sor:
- egyik kötött változó sem egyezik meg egyetlen szabad változóval sem
- a legegyszerűbb megoldás, ha a kötött változókat indexeljük!
|