„Igazhalmaz” változatai közötti eltérés

Megjegyzés: ne keverjük össze e fogalmat egy formula [[igazsághalmaz]]ának fogalmával, mely nem formulák, hanem kiértékelések vagy individuumrendszerek halmaza.

 

* Egy formula logikai törvény, ha minden igazhalmaznak eleme;

* Egy formula kielégíthető, ha valamelyik igazhalmaznak eleme;