käsitlusviisi, ent tänapäeval on valdavaks muutunud lausearvutusega kokkusobiv käsitlemine, mis võimaldab kergemini koostada lausearvutust sisaldavaid tuletusskeeme. Lausearvutusel põhinev versioon näib üldjuhul olevat intuitsiooniga paremas kooskõlas kui traditsiooniline versioon. Allpool käsitletakse mõlemat versiooni. Lemmasid, mis põhinevad modus ponens’i tüüpi arutlusel ehk jaataval moodusel, nimetatakse konstruktiivseteks lemmadeks või jaatava moodusega lemmadeks. Lemmasid, mis põhinevad modus tollens’i tüüpi arutlusel, nimetatakse destruktiivseteks lemmadeks või eitava moodusega lemmadeks. Ülalpool fikseeritud kokkuleppe kohaselt vaatleme kõiki tingimuslikke väiteid materiaalsete implikatsioonidena. Juhul kui tegemist oli tingivate väidetega, siis seda saab arvesse võtta lausete tõlgendamise käigus. Selguse mõttes kehtestatakse käesoleva õpiku raames lemmade kohta täiendav kokkulepe. Kui järgnevalt ...
käsitlusviisi, ent tänapäeval on valdavaks muutunud lausearvutusega kokkusobiv käsitlemine, mis võimaldab kergemini koostada lausearvutust sisaldavaid tuletusskeeme. Lausearvutusel põhinev versioon näib üldjuhul olevat intuitsiooniga paremas kooskõlas kui traditsiooniline versioon. Allpool käsitletakse mõlemat versiooni. Lemmasid, mis põhinevad modus ponens'i tüüpi arutlusel ehk jaataval moodusel, nimetatakse konstruktiivseteks lemmadeks või jaatava moodusega lemmadeks. Lemmasid, mis põhinevad modus tollens'i tüüpi arutlusel, nimetatakse destruktiivseteks lemmadeks või eitava moodusega lemmadeks. Ülalpool fikseeritud kokkuleppe kohaselt vaatleme kõiki tingimuslikke väiteid materiaalsete implikatsioonidena. Juhul kui tegemist oli tingivate väidetega, siis seda saab arvesse võtta lausete tõlgendamise käigus. Selguse mõttes kehtestatakse käesoleva õpiku raames lemmade kohta täiendav kokkulepe. Kui järgnevalt ... ..
annaabi.ee 
