printsiibi formuleerimisele (modaalsuse apodiktiline tase). 3. 6. Liht- ja liitotsustus. Otsustused on liigitatud: a) lihtotsustus, mis koosneb subjektist, koopulast ja predikaadist (kõik seni käsitletud otsustused ongi lihtotsustused); b) liitotsustus, mis koosneb kahest või enamast lihtotsustusest (võrdluseks keeleteaduses: liht- ja liitlaused). Sõltuvalt lihtotsustusi ühendavatest sõnadest, eristatakse nelja liitotsustuse tüüpi: konjunktiivsed, disjunktiivsed, implikatiivsed ja ekvivalentsed. Konjunktiivne (ühendav) on liitotsustus, milles lihtotsustused on ühendatud sidesõna "ja", "ning" jms., või ka koma abil. Näiteks, Tiiu hakkas tihkuma ja ei soostunud jõuluvanale luuletust lugema. Või teine näide: Inimene, kes on 8 Ilmar Lilleorg
Ei kehti (tähistatakse 0). Mitte p. ___ _ p - kehtiv otsus (tähistatakse 1). 07.10.14 Lihtotsustused ja liitotsustused. 1. Konjunktiivne - on liitotsustus mis koosneb lihtotsustustest mis on omavahel ühendatud siduva sõna ja (˄, &), ning, ega (kui liitotsustus on eitav) abil. Nt ei ole seda ega teist. Lihtotsustusi tähistatakse (p ˄ q). Nt: mina ei anna laene ja pank ei müü sifkasid. _ _ Selle eitus: (p ˄ q ) (p ˄ q ˄ z ˄ x) 2. Disjunktiivne - liitotsustuse tüüp mis koosneb kahest või enamast lihtotsustusest mis on omavahel ühendatud siduva sõna või abil. Tähistuseks on ˅. (p ˅ q) Nt: kas lähed ise enda koopasse või tassime sind enda pessa. Dilemmaline disjunktiivne liitotsustus: (p ˅ ˅ q) 3. Implikatiivne - on liitotsuse tüüp mis koosneb lihtotsustest mis on omavahel ühendatud siduva sõna kui.....siis. Tähis: → . (p → q) Nt: kui p siis q. 4. Ekvlivalentne - seos kus on võrdsus kehtestatud. Tähistuseks on =
¬(PQ) = ¬P&¬ Q ¬(P&Q) = ¬P¬Q Üleval on kujutatud De Morgani reeglid (valemid 8 ja 9 tabel 1.) ja paremal on esitatud implikatsioon normaalkujul (vasakpoolne) ning ekvivalents normaalkujul (parem- poolne, valemid 10 ja 12 tabel 1.) 20_fl_i-v TABEL 1. Liitotsustuse struktuuri teisendamine 1. ¬¬p = p Kahekordne eitus 2. p & q = q & p Kommutatiivsus 3. p & (q & r) = (p & q) & r = p & q & r Assotsiatiivsus 4. p q = q p Kommutatiivsus 5. p (q r) = (p q) V r = p q r Assotsiatiivsus 6. p & (q r) = (p & q) (p & r) Distributiivsus 7. p (q & r) = (p q) & (p r) Distributiivsus 8
annaabi.ee 
