Igazságérték

igazságérték
Egy logikai változó vagy állítás igazságértéke a hagyományos logikában i, ha az állítás igaz, és h, ha az állítás hamis.
igazságtáblázat ...

Az igazságérték annak jelzése, hogy a kijelentésben közölt tényállás megfelel-e a valóságnak vagy sem.

Az állításoknak igazságértéket tulajdonít (egy állítás vagy igaz, vagy hamis), de hogy egy állítás nem csak úgy egymagában van, hanem mindig valamiről - egy vagy több dologról, objektumról - szól, azt figyelmen kívül szokás hagyni.

Az eredeti kijelentést felírhatjuk azonban másféle implikáció alakjában is. Az átalakítás nem változtatja meg az állítás értelmét és így igazságértékét sem (vagyis igaz marad, mert más ugyan az alakja, de ugyanazt jelenti): ...

See also: Rendszer, Halmaz, Algebra, Hasonló, Függvény