Disjunktsioon kahe lause vahel on väär täpselt siis, kui mõlemad tema osalaused on väärad. Implikatsioon -, IF...THEN... Implikatsioon kahe lause vahel on väär täpselt siis, kui tema vasakpoolne osalause on tõene ja parempoolne osalause on väär. Ekvivalents - Ekvivalents kahe lause vahel on tõene täpselt siis, kui mõlemad tema osalaused on ühesuguse tõeväärtusega. Eitus- , NOT Tõese lause eitus on väär ja vastupidi. Tõeväärtustabelid p q p&q pVq pq pq 1 1 1 1 1 1 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 1 Arutluse tõestamine 30.01.2014 Arutlust saab loogikas esitada kujul: E1 E2 E3 … En J kus E1 … En on lausearvutuse avaldistena esitatud eeldused ja J (kontrollimist ootav) järeldus.
Lihtlausetest koostatakse kindlate sidesõnade ja loogiliste konstruktsioonide abil liitlauseid. Lihtlaused seotakse liitlauseks 5 loogikatehte abil, millest 4 on binaarsed, 1 on unaarne ja selleks on eitus. Millised on lausearvutuse loogikatehted? Nende tähistused ja verbaalsed tähendused? Verbaalne esitus: Formaalne tähistus: Eitus: Mitte P, pole õige, et P. ~P, on ka teisi alternatiive. Ühe alternatiivi kehtimise nõue: PvQ P või Q Tingimuste samaaegse kehtimise nõue: P &Q P ja Q Järeldumine: P->Q Kui P siis Q Samaväärsus: P<->Q P ainult siis, kui Q Millist tehet nimetatakse binaarseks? Millised loogikatehted on binaarsed? Binaarsed tehted seovad kahte lauset, nendeks on konjuktsioon, disjunktsioon, ekvivalents ja implikatsioon. Millist tehet nimetatakse unaarseks? Millised loogikatehted on unaarsed?
liigitavad, alternatiivi väljendavad väited (ik disjunctive syllogism). Tavaliselt on jutt liigitav- kategoorilisest süllogismist. Liigitav-kategoorilisel süllogismil on kaks kehtivat moodust: modus ponendo tollens (jaatav-eitav moodus) ja modus tollendo ponens (eitav-jaatav moodus). 1. Modus ponendo tollens: üks eeldus on liigitav väide, teine - kategooriline. Võimalikud on kaks varianti: pvq Ma sõidan Rooma kas laeva lõi lennukiga. p Ma sõidan Rooma laevaga. ¬q Järelikult ei sõida ma Rooma lennukiga. pvq Ma sõidan Rooma kas laeva lõi lennukiga. q Ma sõidan Rooma lennukiga. ¬p Järelikult ei sõida ma Rooma laevaga. 2. Modus tollendo ponens'i struktuuri väiksemas eelduses eitatakse kõiki alternatiive peale ühe, mida järelduses jaatatakse. Esineb kaks varianti:
------ ------ ------ ------ ------ Pp, Pv, Pc, Pa, Pq, Psk, Pku, PSm, ------ ------ ------ ------ Pq, Pmr(c), Pc, Pmr, Ppq, Pvq, Pmq ------ ------ ------ ------ R, AR, Rx, W, AW, Wx, Wte ------ 15 / Pt 1,6 ------ ------ U 0.008- /Pt 1.5 m (in) m m m (or in.) m mm (inch) mm mm mm (or in
vajadus selliste, pisut kohmakate lausekonstruktsioonide järele. Näiteks,Teadusliku kirjanduse kirjastamisega saab ilma riikliku totatsioonita toime tulla vaid siis ja ainult siis, kui on piisavalt palju seesuguse kirjanduse tarbijaid. Ekvivalentsed otsustused ei leia rakendamist üldloogika kursuses. Kokkuvõtteks: 1. nimetus 2. tähendus 3. ühendused 4. sümbol 5. näide konjunktiivne ühendav ja, ning, & pq disjunktiivne liigitav või, kas ..või v pvq implikatiivne tingiv kui...siis.... pq ekvivalentne võrdväärne siis ja ainult siis, kui p q 9 Ilmar Lilleorg Loogika vihik 2006 3. 7. Loogiline ruut. Otsustusõpetuses üks olulisemaid probleeme on
annaabi.ee 
