Our website is made possible by displaying online advertisements to our visitors.
Please consider supporting us by disabling your ad blocker.
Prenex-formula
 |
Ennek a szócikknek hiányzik vagy nagyon rövid, illetve nem elég érthető a bevezetője. Kérjük, , ami jól összefoglalja a cikk tartalmát, vagy jelezd észrevételeidet a cikk vitalapján. |
 |
Ez a szócikk nem tünteti fel a független forrásokat, amelyeket felhasználtak a készítése során. Emiatt nem tudjuk közvetlenül ellenőrizni, hogy a szócikkben szereplő állítások helytállóak-e. Segíts megbízható forrásokat találni az állításokhoz! Lásd még: A Wikipédia nem az első közlés helye. |
Egy formula prenex-alakúvá tételéhez először változó-tiszta alakra kell hozni a formulát.
Previous Page Next Page
