Tingimused 1. Välistatud kolmanda seadus. Iga lause on kas tõene või väär. 2. Mittevasturääkivuse seadus. Ükski lause pole korraga tõene ja väär. Lausearvutuse valemid on parajasti need, mida saab koostada alltoodud reeglite järgi: 1. Iga lausemuutuja on lausearvutuse valem. 2. Kui F on lausearvutuse valem, siis ka F on lausearvutuse valem. 3. Kui F ja G on lausearvutuse valemid, siis ka (F&G), (FVG),(F->G) ja (F<->G) on lausearvutuse valemid. Osavalem : Kõiki antud valemi konstrueerimise käigus tekkinud valemeid nimetatakse selle valemi osavalemiteks ehk alamvalemiteks, konstrueerimise viimasel sammul kasutatud suhet aga peatehteks. Kokkulepped sulgude kohta: 1. Tehete prioriteet kõrgemast madalamani on , &, V, ->, <->. 2. Vasakassotsiatiivsus: kui mitme liikme konjuktsioonis või disjunktsioonis sooritatakse. tehteid vasakult paremale, siis võib tehete järjekorda täpsu...
hulgateoreetilisi paradokse või uurida teatavate matemaatiliste probleemide põhimõttelist lahenduvust/ mittelahenduvust. *Võrdsed hulgad- Kahte hulka loeme võrdseks, kui nad koosnevad täpselt samadest elementidest. Elementide järjekord hulgas ei ole oluline. *Alamhulk/ülemhulk- Hulka A nimetatakse hulga B alamhulgaks (e. osahulgaks), kui kõik hulga A elemendid sisalduvad ka hulga B koossesisus. Sellisel juhul on hulk B ka muuseas hulga A ülemhulk. Tähistaktakse: ning . Tehted: Hulkade ühend- Kahe hulga ühendiks on ,,kõik hulga A elemendid + kõik hulga B elemendid". (Tähistatakse ) Hulkade ühisosa- Kahe hulga ühisosaks on ,,kõik elemendid, mis sisalduvad samaaegselt nii hulgas A kui ka hulgas B". (Tähistatakse ) Hulkade vahe- Kahe hulga vahe A/B on defineeritud kui ,,hulk, mis koosneb kõigist niisugustest elementidest, mis kuuluvad hulka A ent ei kuulu hulka B" (Tähistatakse /)
Diskreetse matemaatika elemendid 2013/2014 LAUSEARVUTUS. TÕESTUSED. 1. Lausearvutuse lausetele esitatavad tingimused. [1] o Välistatud kolmanda seadus. Iga lause on kas tõene või väär. o Mittevasturääkivuse seadus. Ükski lause ei saa olla nii tõene kui ka väär. o Nende nõuete põhjal kuuluvad vaadeldavate hulka ainult nii sugused laused, mis midagi väidavad, kusjuures sellel väitel on olemas ühene tõeväärtus. o . Välistatud kolmanda seaduse nõudel jäävad kõrvale kõik küsilaused ja paljud hüüdlaused, samuti kõik käsud ning mõttetud sõnaühendid. Mitte-vasturääkivuse seadus välistab mitmesugused paradoksid, näiteks „See lause siin on väär“, ja muud taolised väited, mille tõeväärtust pole võimalik üheselt määrata. o Tehte tulemuseks saadud lause tõeväärtus sõltub ainult komponentlausete tõeväärtustest. 2. Lausearvutuse tehted. Tehete järjekord. Lausearvutuse valem. [1] Tehted o Eitus (märk ¬). Igapäevake...
annaabi.ee 
Sisene Facebook'ga
Sisene Google'ga
Sisene LinkedIn'ga
