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. 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.
kusjuures vasturääkiv väidete paar kokku täidab kõik võimalikud Euleri diagrammid. D5.9 Loogilise ruudu ülemine serv kujutab väidete vastupidisust ehk kontraarsust: kui üks väide on tõene, siis teine on ilmtingimata väär, ent kui üks väide on väär, siis teine väide võib olla nii tõene kui ka väär. 16 Joonis 5.7. Üldjaatav väide ja üldeitav väide on vastupidised ehk kontraarsed (ik contraries): nad mõlemad saavad olla koos väärad, kuid ei saa olla koos tõesed. Siin peab rõhutama, et vastupidised väited võivad esineda tõepoolest vastupidiste tõeväärtustega, ent see on garanteeritud ainult siis, kui on teada, et üks vastupidistest väidetest on tõene. Kui aga on teada, et üks kontraarsetest väidetest on väär, siis ei saa loogilise ruudu abil midagi öelda teise väite tõeväärtuse kohta. Võib öelda, et teise väite tõeväärtus jääb määramatuks
D5.9 Loogilise ruudu ülemine serv kujutab väidete vastupidisust ehk kontraarsust: kui üks väide on tõene, siis teine on ilmtingimata väär, ent kui üks väide on väär, siis teine väide võib olla nii tõene kui ka väär. 16 Joonis 5.7. Üldjaatav väide ja üldeitav väide on vastupidised ehk kontraarsed (ik contraries): nad mõlemad saavad olla koos väärad, kuid ei saa olla koos tõesed. Siin peab rõhutama, et vastupidised väited võivad esineda tõepoolest vastupidiste tõeväärtustega, ent see on garanteeritud ainult siis, kui on teada, et üks vastupidistest väidetest on tõene. Kui aga on teada, et üks kontraarsetest väidetest on väär, siis ei saa loogilise ruudu abil midagi öelda teise väite tõeväärtuse kohta. Võib öelda, et teise väite tõeväärtus jääb määramatuks
annaabi.ee 
