„Igazhalmaz” 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 szerkesztési összefoglaló
15. sor:
Hiszen hogy logikai törvény, az pontosan azt jelenti, hogy minden interpretációban minden megengedett változókiértékelésre igaz, tehát hogy mindegyik kiértékelés igazhalmazának eleme, ha kielégíthető, az pontosan azt jelenti, hogy van olyan interpretációban olyan változókiértékelés, melyre a formula igaz, tehát hogy a formula eleme eme kiértékelés igazhalmazának; hogy kielégíthetetlen, az azt jelenti, hogy nincs olyan interpretáció, mely igazzá tenné, tehát olyan igazhalmaz sincs, melynek eleleme lenne.
 
[[Kategória:Matematika]] [[Kategória:Matematikai logika]]
A lap eredeti címe: „https://hu.wikipedia.org/wiki/Igazhalmaz