Az igazságtáblán alapuló tételbizonyításban elég csak pár interpretációt megvizsgálni, mert ha találunk egy IGAZ interpretációt, akkor igaz a logikai következmény is.

Ha egy B formula logikai következménye egy A formulának, akkor az A és B formulák pontosan ugyanazon interpretációkban vesznek fel IGAZ értéket.

A modus tollens esetében egy feltételes állítás esetén az utótag érvénytelenségéből arra következünk, hogy az előtag sem állhat fenn.

Ha egy formula kielégíthető, akkor tautológia.

Ha kétszemélyes zérusösszegű játékokban kifejtjük teljes mélységben a játékfát, akkor a játékfa leveleihez rendelt hasznosságértékek a játék végeredményét jelentik a MAX játékos szemszögéből.

A sakk egy zérusösszegű kétszemélyes játék. 

A béta levágás esetében egy MIN csúcs alatti kiértékelést nem folytatunk tovább.

A Minimax algoritmus a kiértékelése során a legalsó szintről kezdve felfelé halad a játékfa gyökere felé.

Az alfa-béta vágás algoritmusa során az alfa érték csak növekedhet a béta érték pedig csak csökkenhet a kiértékelés során.

A CLOSED listában a korábban megvizsgált állapotok vannak.