& Q) ≡ ~Q t t v v v v v v v t v t t t v t v t v t v v t t t t v v v v t v t v v t Vastus: Laused on tõeväärtuseliselt ekvivalentsed. 3. Kas lausehulk on tõeväärtuseliselt kooskõlaline? {R, (P v Q) (Q & R), Q & P} R P Q R (P v Q) (Q & Q& R) P t t t v t v v v v t v t t v v t t t t v v v
t v v v t t t v v t v v t v t t v v v t t t t t Lause on tv väär 2. Kas laused on tv ekvivalentsed? P Q and (P & Q) v (P & Q) P Q (P&~Q)v(~P&Q) P~Q t t v v v v v v v t v t v t v v t t v t v v t t t t v v v v t v t v v t Laused on tõeväärtuseliselt ekvivalentsed 3. Kas lausehulk on tv kooskõlaline? {R, (P v Q) (Q & R), Q & P} P Q R R (P v ~Q) (Q & R) Q & P t t T V T V t v t V V t t V T T V t t v V V T v t V T T t t v V V t v V T T T t t v V V V t t V V V v v t T T v t V T V V t t v T T
Mari abikaasa Jüri loeb igal hommikul ajalehest horoskoopi. Igaüks, kes loeb igal hommikul horoskoopi, võtab astroloogiat tõsiselt. Lause loogikas Jüri on näljane. Kui lause on tõene, siis ütleme, et selle lause tõeväärtus on T. Kui lause on väär, siis selle lause tõeväärtus on V. Arutlused Arutlus on lausehulk, mille üks liige (järeldus) arvatavalt tuleneb ülejäänutest (eeldustest). Igaüks, kes kõvasti töötab, saavutab edu. Jaan töötab kõvasti. Jaan saavutab edu. Deduktiivne kehtivus Arutlus on deduktiivselt kehtiv parajasti siis, kui ei ole võimalik, et tema kõigi eelduste tõesuse korral on järeldus väär (st ei ole võimalik kooskõlaliselt jaatada tema eeldusi ja eitada järeldust). Vastasel juhul on arutlus deduktiivselt mittekehtiv.
Oletame, et keegi usub kõike järgnevat: Igaüks, kes võtab astroloogiat tõsiselt, on hullumeelne. Mari on minu õde ja ükski minu õdedest ei ole abielus hullumeelsega. Mari abikaasa Jüri loeb igal hommikul ajalehest horoskoopi. Igaüks, kes loeb igal hommikul horoskoopi, võtab astroloogiat tõsiselt. Lause loogikas Jüri on näljane. Kui lause on tõene, siis ütleme, et selle lause tõeväärtus on T. Kui lause on väär, siis selle lause tõeväärtus on V. Arutlused Arutlus on lausehulk, mille üks liige (järeldus) arvatavalt tuleneb ülejäänutest (eeldustest). Igaüks, kes kõvasti töötab, saavutab edu. Jaan töötab kõvasti. Jaan saavutab edu. Deduktiivne kehtivus Arutlus on deduktiivselt kehtiv parajasti siis, kui ei ole võimalik, et tema kõigi eelduste tõesuse korral on järeldus väär (st ei ole võimalik kooskõlaliselt jaatada tema eeldusi ja eitada järeldust). Vastasel juhul on arutlus deduktiivselt mittekehtiv. Näited Iga kurt on muusikaliselt andekas.