„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
Nincs szerkesztési összefoglaló |
nincs bevezető |
||
1. sor:
{{nincs bevezető}}
Egy formula '''Prenex-alakúvá''' tételéhez előszőr változó tiszta alakra kell hozni a formulát.
|