"liigitavkategoorilist" - 1 õppematerjal

LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK Loogika määratlemisest

võimaldab kergemini koostada lausearvutust sisaldavaid tuletusskeeme. Allpool käsitletakse mõlemat versiooni. 17 LIIGITAV SÜLLOGISM D10.2. Liigitavaks (välistav-disjunktiivseks) nimetatakse süllogismi, kus üks või mõlemad eeldused on liigitavad, alternatiivi väljendavad väited (exclusive disjunctive syllogism või exhaustive disjunctive syllogism). Tavaliselt käsitletakse liigitava süllogismina liigitavkategoorilist süllogismi, mille esimene eeldus on liigitav väide ning teine eeldus on kategooriline väide. Liigitavates süllogismides esinevad välistavad disjunktsioonid ning seda saab allpool selguse mõttes tähistada sümboliga ⊕. Kirjanduses pole see üldlevinud, sageli kasutatakse valemites mittevälistava disjunktsiooni märki ning see, kumma disjunktsiooniga tegemist on, selgub arutluse käigust, täiendatavatest selgitustest või kontekstist.