v v t Ekvivalents on tõene ainult siis, kui tema osalausete tõeväärtused on samad. Tautoloogia, kontradiktsioon ja kontingentne valem 1) Kui valem on tõene temasse kuuluvate lausemuutujate kõigi tõeväärtuste kombinatsioonide korral, siis nimetatakse valemit tautoloogiaks ehk samaselt tõeseks valemiks. 2) Kui valem on väär temasse kuuluvate lausemuutujate kõigi tõeväärtuste kombinatsioonide korral, siis nimetatakse valemit kontradiktsiooniks ehk samaselt vääraks valemiks. 3) ülejäänud valemeid nimetatakse kontingentseteks. Tõeväärtustabeli koostamise näide: Arvutada valemi A & ¬(B A C) tõeväärtus. 1) Esimene samm: kanda valem ja kõik tema muutujad tõeväärtustabelisse ning panna kirja muutujate kõik tõeväärtuskombinatsioonid: A B C A & ¬(B A C) tt t t t v t v t t v v
paratamatult väär, selle kohta öeldakse veel ka, et lause on vasturääkiv. Lause sisu uurides võib ilmneda, et lause taandub terminite kokkulepitud tähenduste või konteksti täpsustamisel loogiliselt tõesele või loogiliselt väärale lausele. Nt lauset „Mari ema on naissoost” võib pidada tautoloogiaks, sest termin ema juba sisaldab endas naiseks olemise olemuslikku omadust. Lauset „Mõni poissmees on abielus” võib tavapraktikas pidada kontradiktsiooniks, sest termin poissmees on määratletud kui vallaline (mitteabiellunud) mees. Siiani käsitlesime liht- ehk üksiklauset, mis väljendab ühte propositsiooni ning mida pole võimalik jagada propositsioone väljendavateks osadeks. Lihtlauseid saab omavahel siduda liitlauseteks. Liitlause koosneb lihtlausetest, mis on omavahel sidesõnadega seotud. Liitlausete uurimiseks sobib paremini klassikaline loogika: lausearvutus ja predikaatarvutus. Lausete liike
paratamatult väär, selle kohta öeldakse veel ka, et lause on vasturääkiv. Lause sisu uurides võib ilmneda, et lause taandub terminite kokkulepitud tähenduste või konteksti täpsustamisel loogiliselt tõesele või loogiliselt väärale lausele. Nt lauset ,,Mari ema on naissoost" võib pidada tautoloogiaks, sest termin ema juba sisaldab endas naiseks olemise olemuslikku omadust. Lauset ,,Mõni poissmees on abielus" võib tavapraktikas pidada kontradiktsiooniks, sest termin poissmees on määratletud kui vallaline (mitteabiellunud) mees. Siiani käsitlesime liht- ehk üksiklauset, mis väljendab ühte propositsiooni ning mida pole võimalik jagada propositsioone väljendavateks osadeks. Lihtlauseid saab omavahel siduda liitlauseteks. Liitlause koosneb lihtlausetest, mis on omavahel sidesõnadega seotud. Liitlausete uurimiseks sobib paremini klassikaline loogika: lausearvutus ja predikaatarvutus. Lausete liike
annaabi.ee 
