Keel (loogika): erinevus redaktsioonide vahel

Eemaldatud sisu Lisatud sisu
Resümee puudub
PResümee puudub
1. rida:
{{See artikkel| räägib mudeliteoorias rakendatavast keele mõistest; keeleks võidakse nimetada ka [[formaalne keel|formaalset keelt]]}}
{{ToimetaAeg|kuu=jaanuar|aasta=2011}}
'''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]]i valda.
 
Antud keeles ''L'' võib olla kui tahes palju [[funktsioonisümbol]]eid ehk funktsionaalsümboleid, [[seosesümbol]]eid ehk relatsioonisümboleid ehk predikaadisümboleid ja [[konstandisümbol]]eid.