Keel (loogika): erinevus redaktsioonide vahel

'''Keele''' all mõistetakse [[matemaatiline loogika|matemaatilises loogikas]] ([[mudeliteooria]]s) [[valem (loogika)|valem]]ite, [[lause (loogika)|lause]]te või muude [[väljend (loogika)|väljend]]ite moodustamiseks teatud [[süntaksireegel|süntaksireeglite]] järgi kasutatavate [[sümbol (loogika)|sümbol]]ite [[hulk]]a. Keele mõiste kuulub [[süntaks (loogika)|süntaks]] valda.