Loogika konspekt 6-10
6.2. Tõeline õpetlane on tagasihoidlik. (Ilmutatud kujul: Kõik tõelised õpetlased on
tagasihoidlikud) See on üldjaatav otsustus SaP. S tõeline õpetlane, P tagasihoidlikud.
Muutmine (S e ¬P): Mitte ükski tõeline õpetlane ei ole mittetagasihoidlik.
Ümberpööramine (P i S): Mõni tagasihoidlik [inimene] on tõeline õpetlane. (lim.)
Vastandamine (¬P e S): Ükski mittetagasihoidlik [inimene] pole tõeline õpetlane.
Transpositsioon (¬ P a ¬S): Kõik mittetagasihoidlikud [inimesed] on mitte-(tõelised
õpetlased).
6.3. Mõned lõbud ei ole lubatud. See on osaeitav otsustus SoP.
S lõbud, P lubatud [tegevused].
Muutmine (S i ¬P): Mõned lõbud on mittelubatud.
Ümberpööramine (!): Ei saa teostada!
Vastandamine (¬P i S): Mõned mittelubatud [tegevused] on lõbud.
Transpositsioon (¬P o ¬S): Mõned mittelubatud [tegevused] ei ole mittelõbud.
6.4. Mõned filosoofid on kirjanikud. See on osajaatav otsustus SiP.
S filosoofid, P kirjanikud