mittetühi pärisalamhulk. Ei leidu Turingi masinat, mis kontrolliks argumendi x järgi, kas Turingi masina Tx poolt arvutatav funktsioon kuulub hulka A. III. Predikaatarvutus Predikaadid ja indiviidid. Kvantorid. Predikaadid: · Seoseid elementide vahel väljendavad predikaadid. · Predikaate tähistame predikaatsümbolitega A, B, C, koos argumentidega; argumentideks on termid. · Predikaate võib omavahel kombineerida lausearvutuse tehete ja kvantoritega 7 Indiviidid: · objektid, mille kohta midagi väidetaks · Hulka M nimetatakse indiviidide piirkonnaks, see fikseerib objektid, mille kohta predikaat midagi väidab Kvantorid: Term. Predikaatarvutuse valem. Vabad ja seotud muutujad. Keele signatuur: konstant-, funktsionaal- ja predikaatsümbolid. Term. Def. 2 Termid on parajasti need, mida saab koostada alltoodud reeglite abil:
sooritajat. Modus on grammatiline kategooria, mis väljendab kõneviisi. Genus on grammatiline kategooria, mis väljendab tegumoodi: isikuline/ umbisikuline. Aspekt grammatiline kategooria, mis seostub verbiga ja väljendab seisundi ajalist perspektiivi. Polaarsus grammatiline kategooria, mis väljendab jaatust või eitust. Arvuklassifikaatorid substantiivide klassifitseerijad, mida kasutatakse koos numeraalide või kvantoritega, harva ka demostratiividega. Semantiline roll lauses verbiga märgitud tegevuse, sündmuse, situatsiooni osalejad. Agent semantiline roll, mis väljendab tavaliselt elusat osalejat, kes sooritab tegevust. Nt ma jooksen. Patsient lause osaline, kes või mis on mingis situatsioonis või teeb midagi. Nt mulle tuli kiri. Teema semantiline roll, mis viitab esemele või olendile, kes või mis paikneb kusagil või on kellegi omanduses või mille omanik muutub. Nt kris andis raamatu ellale
annaabi.ee 
