vastastikku teineteist eitavaid, välistavaid (alternatiivseid). Vasturääkivad on järgmised otsustuse vormid: a) Kõik S on P & Mõni S ei ole P b) Ükski S ei ole P & Mõni S on P c) See S on P & See S ei ole P Viimase paari puhul on tegemist täismahulise subjektiga üldises otsustuses. Teatavasti üldised otsustused (A & E) on omavahel kontraarsed (vt. loogilist ruutu). Kolmandat välistav reegel ei toimi kontraarsete seoste puhul, vaid "töötab" kontradiktoorsete otsustuste juures. Näiteks, Kõik metallid on tahked - A otsustus, ei kehti; Ükski metall pole tahke - E otsustus, samuti ei kehti. Seega, kontraarsete otsustuste puhul võivad mõlemad olla mittekehtivad, kuid ei saa mõlemad üheaegselt olla kehtivad. Sellest johtuvalt kolmandat välistav reegel nimetatud otsustuste juures ei toimi. Küll aga toimib juhtumil, mil A & E otsustuste subjektiks on üksik, konkreetne mõiste, sest
sooterminiga terminite kolmiku. Sel juhul eristatakse traditsiooniliselt kolm võimalust (vt joonis 3.3), kusjuures teine ja kolmas võimalus on esimese võimaluse erijuhtumid. 10 Joonis 3.3. Euleri diagrammidega on esitatud traditsioonilised näited ühisosata (ühitamatute) terminite mahtude kohta. Vasakul on kujutatud kaasalluvuse üldjuhtum, kusjuures kaasalluvad võivad koos täita ka kogu allutava termini mahu. Keskel on kujutatud vastupidiste ehk kontraarsete terminite erijuhtum, selle kujutamiseks sobib ka vasakpoolne joonis, ent keskmisel joonisel on püütud rõhutada terminite vastupidisust. Paremal on kujutatud vasturääkivate terminite erijuhtum, kus alluvad terminid täidavadki kogu allutava termini mahu. Tähised vastavad näidetele definitsiooni 3.8.2 alldefinitsioonides. Katkendjoonte kasutamine on illustreeriva tähendusega, sageli kasutatakse nende asemel pidevaid jooni. D3.8.2.1
3.3), kusjuures teine ja kolmas võimalus on esimese võimaluse erijuhtumid. 10 Joonis 3.3. Euleri diagrammidega on esitatud traditsioonilised näited ühisosata (ühitamatute) terminite mahtude kohta. Vasakul on kujutatud kaasalluvuse üldjuhtum, kusjuures kaasalluvad võivad koos täita ka kogu allutava termini mahu. Keskel on kujutatud vastupidiste ehk kontraarsete terminite erijuhtum, selle kujutamiseks sobib ka vasakpoolne joonis, ent keskmisel joonisel on püütud rõhutada terminite vastupidisust. Paremal on kujutatud vasturääkivate terminite erijuhtum, kus alluvad terminid täidavadki kogu allutava termini mahu. Tähised vastavad näidetele definitsiooni 3.8.2 alldefinitsioonides. Katkendjoonte kasutamine on illustreeriva tähendusega, sageli kasutatakse nende asemel pidevaid jooni. D3.8.2.1
annaabi.ee 
