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. Osajaatav otsustus ja osaeitav otsustus on osavastupidised ehk subkontraarsed (subcontraries): nad mõlemad võivad olla tõesed, kuid ei saa olla koos väärad. Kui üks neist on väär, siis teine peab olema tõene. Kui üks neist on tõene, siis teine võib olla nii tõene kui väär. Alluvus ehk subordinatsioon (subalternation) loogilises ruudus: Osajaatav otsustsus on üIdjaatava otsustuse suhtes alluv (subaltern) ehk subordinaarne: kui üldotsustus on tõene, siis on tõene ka vastav osaotsustus, ning kui osaotsustus on väär, siis on väär ka vastav üldotsustus
Kontraarsuse korral on olemas juhtum, mil mõlemad üldväited on korraga väärad, ent pole juhtumit, kus nad oleks korraga tõesed. 17 D5.10 Loogilise ruudu alumine serv kujutab väidete osavastupidisust ehk subkontraarsust: kui üks väide on väär, siis teine on ilmtingimata tõene, ent kui üks väide on tõene, siis teine väide võib olla tõene ja võib olla väär. Joonis 5.8. Osajaatav väide ja osaeitav väide on osavastupidised ehk subkontraarsed (ik subcontraries): nad mõlemad võivad olla tõesed, kuid ei saa olla koos väärad. Kui üks neist on väär, siis teine peab olema tõene. Kui üks neist on tõene, siis teine võib olla tõene ja võib olla väär. Siingi peab rõhutama, et ka osavastupidised väited võivad tõepoolest esineda vastupidiste tõeväärtustega, ent see on garanteeritud ainult siis, kui üks vastupidistest väidetest on väär.
juhtumit, kus nad oleks korraga tõesed. 17 D5.10 Loogilise ruudu alumine serv kujutab väidete osavastupidisust ehk subkontraarsust: kui üks väide on väär, siis teine on ilmtingimata tõene, ent kui üks väide on tõene, siis teine väide võib olla tõene ja võib olla väär. Joonis 5.8. Osajaatav väide ja osaeitav väide on osavastupidised ehk subkontraarsed (ik subcontraries): nad mõlemad võivad olla tõesed, kuid ei saa olla koos väärad. Kui üks neist on väär, siis teine peab olema tõene. Kui üks neist on tõene, siis teine võib olla tõene ja võib olla väär. Siingi peab rõhutama, et ka osavastupidised väited võivad tõepoolest esineda vastupidiste tõeväärtustega, ent see on garanteeritud ainult siis, kui üks vastupidistest väidetest on väär.
annaabi.ee 
