subordinatsioon subordinatsioon Mõned S on P (I) (O) Mõned S ei ole P Subkontraarsus A: Kõik varesed on mustad (S+aP); E: Ükski vares ei ole must (S+eP+); I: Mõned varesed on mustad (SiP); O: Mõned varesed ei ole mustad (SoP+). Üldjaatav ja osaeitav otsustus on teineteisele vasturääkivad ehk kontradiktoorsed (ik contradictories): kui üks on tõene, siis on teine väär, ning kui üks on väär, siis on teine tõene. Üldeitav ja osajaatav otsustus on samuti teineteisele vasturääkivad. ÜIdjaatav ja üldeitav otsustus on vastupidised ehk kontraarsed (contraries): nad mõlemad saavad olla koos väärad, kuid ei saa olla koos tõesed. Kui üks neist on tõene, siis teine peab olema väär. Kui üks neist on väär, siis teine võib olla nii tõene kui väär.
15 modaalloogikas, kuid traditsioonilise loogika raames tähistab väljend „loogiline ruut“ alati kategooriliste väidete loogilist ruutu. D5.8 Loogilise ruudu diagonaal kujutab väidete vasturääkivust ehk kontradiktoorsust: kui üks väide on tõene, siis teine on väär ja kui üks väide on väär, siis teine on tõene. Joonis 5.6. Vasturääkivuse ehk kontradiktoorsuse suhteid on loogilises ruudus kaks. Vasturääkivad (ik contradictories) väidetepaarid on üldjaatav ja osaeitav (A ja O) ning üldeitav ja osajaatav (E ja I). Nt: Kahekohalises kupees saab olla kuni kaks inimest. Eeldame, et inimese soo termin on selge ning maht on selgete piiridega (järsk), st iga inimese puhul saab määratleda, kas ta on nais- või meessoost. Määratleme loogilise ruudu nii, et kõikide väidete subjektiks on termin „kupees viibija“ ja predikaadiks on termin „naine“. Loogilisse ruutu saab paigutada järgnevad
modaalloogikas, kuid traditsioonilise loogika raames tähistab väljend ,,loogiline ruut" alati kategooriliste väidete loogilist ruutu. D5.8 Loogilise ruudu diagonaal kujutab väidete vasturääkivust ehk kontradiktoorsust: kui üks väide on tõene, siis teine on väär ja kui üks väide on väär, siis teine on tõene. Joonis 5.6. Vasturääkivuse ehk kontradiktoorsuse suhteid on loogilises ruudus kaks. Vasturääkivad (ik contradictories) väidetepaarid on üldjaatav ja osaeitav (A ja O) ning üldeitav ja osajaatav (E ja I). Nt: Kahekohalises kupees saab olla kuni kaks inimest. Eeldame, et inimese soo termin on selge ning maht on selgete piiridega (järsk), st iga inimese puhul saab määratleda, kas ta on nais- või meessoost. Määratleme loogilise ruudu nii, et kõikide väidete subjektiks on termin ,,kupees viibija" ja predikaadiks on termin ,,naine". Loogilisse ruutu saab paigutada järgnevad
annaabi.ee 
