Keel (loogika): erinevus redaktsioonide vahel
Eemaldatud sisu Lisatud sisu
Resümee puudub |
Resü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]] valda.
| |||