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