ítéletszimbólum

Kapcsolódó fogalmak: 
ítéletkalkulus
Rövid szöveges bemutatás: 
Az ítéletlogika szimbólumokon végez műveleteket. Tehát szimbólumnak minősül minden amely egy lehetséges konstanst vagy változót jelöl. Így szimbólumnak minősülnek a megoldás során használt (x, y, z, stb...) változók és a (Tamás, János, Király, Superman, stb...) konstansok.