igazságfüggvény

Rövid szöveges bemutatás: 
A logikában léteznek összetett állítások, melyek elemi állítások valamilyen logikai kapcsolatából épül fel. Ahhoz, hogy az összetett kifejezés igazságértékét meg tudjuk határozni, először meg kell tudnunk mondani az alkotórészeinek igazságértékét. Ezt a kiértékelési rekurziót nevezzük igazságfüggvénynek. Például, ahhoz, hogy az (A és B) /logikai "és" kapcsolat/ igazságértékét meg tudjuk határozni, előbb tudnunk kell az "A" és a "B" állítás igazságértékét.