teoreetilisi eesmärke ja definitsioone. Kasutatavad mõisted: 2. Optimaalsusteooria on formaalne keeleteooria, mille esimese versiooni esitasid 1990ndate aastate algul Alan Price ja Paul Smolensky. Olulise panuse OT standardse versiooni kujunemisele on andnud ka John McCarthy. Meetodit kasutatakse selleks, et uurida seda, mis on maailma keeltes ühist ja millised keeleteadmised on sünnipärased. Kuid OT loobub täielikult tuletusreeglitest. Korrektsete keelendite produtseerimisel kasutatakse ainult kitsendusi (piiranguid, mis keelavad teatavate omadustega pindvormid), kusjuures varasematest teooriatest erinevalt pole kitsendused absoluutsed. OT põhiprintsiipid: 1) ainult kitsendused, transformatsioonireegleid pole 2) ei produtseerita pind- ja süvavormide vahepealseid vorme 3) kitsendused on universaalsed, aga neid võib rikkuda 4) keeltevahelisi erinevusi põhjustavad erinevused kitsenduste hierarhias.
J: Prille ei saanud varastada varas. 31_fl_vi-x (L8a) LOOMULIK TULETUSSÜSTEEM (ik system of natural deduction) Sümboleid: eeldustest saab tuletada, samasus (loogiline samaväärsus); ¬ eitus; & konjunktsioon; V disjunktsioon; implikatsioon; ekvivalents; Tuletussüsteem koosneb tuletusreeglitest ja teisendusreeglitest. Tuletusreeglid näitavad mida saab mingist väitest (oletusest) või väidetest tuletada. Nende reeglite endi põhjendamine osutub aga tõsiseks filosoofiliseks probleemiks. Nagu loogikaid nii on ka tuletussüsteeme mitmesuguseid, nt predikaatarvutuse tuletussüsteem. Järgnevalt käsitleme nö loomulikku tuletussüsteemi võttes aluseks Copi ja Coheni raamatu, mis pole mõeldud matemaatikutele. Esitatud süsteem on täielik ja kasutab lausearvutust
Lausearvutuse materjalis mainiti, et ka lausearvutus on omaette keel ning defineeriti lausearvutuse süntaks (D.7.5), predikaaltloogikas defineeriti predikaatarvutuse süntaks (D.8.7). Tuletussüsteemi kuuluvad alati ka süntaksireeglid, mille põhjal saab otsustada, kas vaadeldav objekt kuulub antud tuletussüsteemi või mitte. Nt saab üles ehitada lausearvutusel põhineva tuletussüsteemi, milles tuleb järgida lausearvutuse süntaksit. Tuletussüsteem koosneb tuletusreeglitest, teisendusreeglitest ja süntaksireeglitest. Oskussõna tuletussüsteem sünonüümideks (mõnetiste kontekstuaalsete eripäradega) on terminid formaalne aksiomaatiline süsteem; arvutus; tõestussüsteem. Tuletus koosneb 2 tuletussammudest. Üks tuletussamm on mingi konkreetse väite tuletamine eelduste või varem saadud vahetulemuste põhjal. Tuletusreeglid näitavad, mida saab mingi kujuga lausena
Lausearvutuse materjalis mainiti, et ka lausearvutus on omaette keel ning defineeriti lausearvutuse süntaks (D.7.5), predikaaltloogikas defineeriti predikaatarvutuse süntaks (D.8.7). Tuletussüsteemi kuuluvad alati ka süntaksireeglid, mille põhjal saab otsustada, kas vaadeldav objekt kuulub antud tuletussüsteemi või mitte. Nt saab üles ehitada lausearvutusel põhineva tuletussüsteemi, milles tuleb järgida lausearvutuse süntaksit. Tuletussüsteem koosneb tuletusreeglitest, teisendusreeglitest ja süntaksireeglitest. Oskussõna tuletussüsteem sünonüümideks (mõnetiste kontekstuaalsete eripäradega) on terminid formaalne aksiomaatiline süsteem; arvutus; tõestussüsteem. Tuletus koosneb 2 tuletussammudest. Üks tuletussamm on mingi konkreetse väite tuletamine eelduste või varem saadud vahetulemuste põhjal
annaabi.ee 
