"sifkasid" - 1 õppematerjal

Loogika konspekt

p, kui jaatav otsustus. Kehtiv otsustus (tähistatakse 1) _ p; ‫ ד‬p - kui eitav otsustus. 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: →