Wikipédia

„Prenex-formula” változatai közötti eltérés

Laptörténet interaktív böngészése
[nem ellenőrzött változat][nem ellenőrzött változat]
← Régebbi szerkesztésÚjabb szerkesztés →
Tartalom törölve Tartalom hozzáadva
VizuálisWikiszöveges
a formázás
5. sor:
 
==Változótiszta alak==
mindenMinden [[kvantor]] különböző [[változó]]t köt, és egyik kötött változó sem egyezik meg egyetlen szabad változóval sem. Az a legegyszerűbb megoldás, hogy indexeljük a kötött változókat.
Ha változótiszta lett a [[formula]], utána alkalmazni kell a kvantorkiemelési törvényeket.
 
A lap eredeti címe: „https://hu.wikipedia.org/wiki/Prenex-formula”