Az igazság-érték, a logika, igazság (T vagy 1) vagy a hamis (F vagy 0) az egy adott szabály vagy utasítás. A logikai összeköttetéseket, mint például a diszjunció (∨, „vagy” szimbolizálva) és tagadást (symbol szimbolizálva), igazságfüggvényeknek tekinthetjük, mivel az összetett javaslat igazságértékének függvénye vagy mennyisége függ, alkotóelemeinek igazságértékei.
Az összetett állítás igazságértékét könnyen meg lehet vizsgálni egy igazságtáblának nevezett diagram segítségével. A táblázat minden sora az igazság-értékek lehetséges kombinációját képviseli a vegyület komponens-állításaival kapcsolatban, a sorok számát a lehetséges kombinációk száma határozza meg. Például, ha az összetett csak két komponens-javaslatot tartalmaz, akkor négy lehetőség lesz, tehát négy sor a táblázathoz. A közös csatlakozók logikai tulajdonságai az alábbiak szerint jeleníthetők meg az igazságtáblákkal:
amelyben · jelentése „és”, és ⊃ jelentése „ha… akkor." (Például a „vagy” táblázatban a második sor a következő: „Ha p igaz, és q hamis, akkor p ∨ q igaz.”) Sokkal bonyolultabb igazságtáblák, amelyekben sok igazságfüggvény található, számítógéppel meg lehet építeni. Olyan absztrakt logikai rendszereket építettek fel, amelyek három igazságértéket (pl. Igaz, hamis és meghatározatlan) vagy akár sokot is alkalmaznak, mint a fuzzy logikában, amelyben az állítások értéke 0 és 1 között van.
