"liitotsuse" - 1 õppematerjal

Loogika konspekt

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 =. Ekvivalentne otsustus ↔. Omavahel ekvivalentsed (p ↔ q). Õpetaja Ilmar Lilleorg Maria Sillandi RP 121-T Defineeri kodus: 1