célpredikátum

Kapcsolódó fogalmak: 
döntési fa
Rövid szöveges bemutatás: 
A célpredikátum egy olyan logikai állítás, melyek eldöntésre várnak. Az eldöntése több lépésből áll, szükség van hozzá attribútumlistára, döntési fára és logikai következtetésre. A döntési fa segítségével a célpredikátumot mindig egyértelműen el tudjuk dönteni. Tehát a célpredikátum eldöntésére a döntési fa segítségével egy bizonyítást tudunk adni.