"mittekirjanikud" - 1 õppematerjal

Loogika konspekt 6-10

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. Muutmine (S o ¬P): Mõned filosoofid ei ole mittekirjanikud. Ümberpööramine (P i S): Mõned kirjanikud on filosoofid. Vastandamine: Ei saa teostada! Transpositsioon: Ei saa teostada! 6.5. Ükski nõid ei ole teadlane. (Ilmutatud kujul: Mitte ükski nõid ei ole teadlane) See on üldeitav otsustus SeP. S ­ nõiad, P ­ teadlased. Muutmine (S a ¬P): Kõik nõiad on mitteteadlased. Ümberpööramine (P e S): Mitte ükski teadlane ei ole nõid. Vastandamine (¬P i S): Mõni mitteteadlane on nõid. (lim.)