"teooriati" - 1 õppematerjal

SML kordamisküsimustele vastused.

· Funktsionaalsümbolid f,g,h jne. Need tähistavad vaadeldaval hulgal määratud f-oone. Pannes mitmesugused väiteid kirja pvalemiga, võivad väidete tüübist sõltumatud sümbolid, nagu ltehtemärgid, kvantorid, sulud ja indiviidmuutujad, esineda ükskõik millistes valemites, olgu siis tegemist valemitega, mis puudutavad naturaal-,reaalarve, vektoreid, alamhulki või muid objekte. Seevastu C-,funktsionaal- ja predikaatsümbolid võivad teooriati erineda. Tihtipeale fikseeritakse need kolm sübmolite klassi eelnevalt ning lubatakse valemites kasutada ainult sümboleid, mis kuuluvad kindlasmääratud klassidesse. Kolmikut =< ; ; >, kus C on Csümbolite, F funktsionaalsümbolite ja P predikaatsümbolite hulk, nim signatuuriks. Signatuuri interpretatsioonid (algebralised süsteemid, mudelid). Kehtestatav, samaselt tõene ja samaselt väär predikaatarvutuse valem. Def 7. Predikaatarvutuse valemit F nim