Loogika konspekt 1-5
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. Üldjaatav otsustus on osajaatava suhtes allutav (superaltern).
Samasugune vahekord on osaeitava otsustuse (alluv) ja üldeitava otsustuse (allutav)
vahel.
SUHTEOTSUSTUSED
Suhteotsustused on väited suhete kohta mingite objektide vahel, nt Tartu asub
Tallinnast lõuna pool