# 4.2.4. Az igazságfeltételek ábrázolása: igazságtáblázatok A (2)-(4) példákban csupán két elemi állítás, paramétereikkel: A és B szerepelt, így igazságfeltételeik megállapításakor csupán négy lehetőséget kellett figyelembe venni: A igaz, B igaz; A igaz, B hamis; A hamis, B igaz; A hamis, B hamis. E lehetőségeket táblázatban ábrázolhatjuk, ezzel még áttekinthetőbbé téve az igazságfeltételek alakulását:
A | B | ha nem B akkor nem A | nem A és nem B | ha (A vagy B) akkor nem (nem A és nem B)
i | i | i | h | i
i | h | h | h | i
h | i | i | h | i
h | h | i | i | i
Bonyolultabb állítások esetében az igazságtáblázatban érdemes az egyre összetettebb részállítások igazságértékeit külön-külön is ábrázolni:
A | B | A vagy B | nem A | nem B | nem A és nem B | nem (nem A és nem B) | ha (A vagy B) akkor nem (nem A és nem B)
i | i | i | h | i | i | h | i
i | i | i | h | h | h | h | i
h | i | i | h | i | i | h | i
h | i | i | h | h | i | i | i
Az a) példához tartozó táblázatban már nyolc esetet kell ábrázolni:
A | B | C | B vagy C | ha A akkor (B vagy C)
i | i | i | i | i
i | i | h | i | i
i | h | i | i | i
i | h | h | h | h
h | i | i | i | i
h | i | h | i | i
h | h | i | i | i
h | h | h | h | i