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 v t t v t v v v t v v v
märk: ⇔; • sümbol, millega tähistatakse ühe lause loogilist järeldumist teisest lausest (formaalset implikatsiooni) ehk metakeelset seost „kui … siis …”: ⇒ või ╞. Samasuse märk, nt p ≡ q, võib tähistada asjaolu, et antud arutluse kontekstis leiab võrdus aset muutujate kõigi väärtuste korral. LAUSETE KVALIFITSEERIMINE (LIIGITAMINE) JA LOOGILINE JRELDUVUS (FORMAALNE IMPLIKATSIOON) Lausearvutuse lauseid saab liigitada samaselt tõesteks, samaselt vääradeks ning kontingentseteks ehk sattumuslikeks. Analoogiliselt traditsioonilises loogikas käsitletud kategooriliste väidetega on samaselt tõene lause tõene lausemuutujate mis tahes interpretatsiooni korral, samaselt väär lause on väär lausemuutujate mis tahes interpretatsiooni korral ning sattumuslik lause võib olla kas tõene või väär sõltuvalt lausemuutujate interpretatsioonist. D7.6.1 Lause on samaselt tõene ehk loogiliselt tõene ehk tautoloogia (tautology) parajasti
· sümbol, millega tähistatakse ühe lause loogilist järeldumist teisest lausest (formaalset implikatsiooni) ehk metakeelset seost ,,kui ... siis ...": või . Samasuse märk, nt p q, võib tähistada asjaolu, et antud arutluse kontekstis leiab võrdus aset muutujate kõigi väärtuste korral. LAUSETE KVALIFITSEERIMINE (LIIGITAMINE) JA LOOGILINE JÄRELDUVUS (FORMAALNE IMPLIKATSIOON) Lausearvutuse lauseid saab liigitada samaselt tõesteks, samaselt vääradeks ning kontingentseteks ehk sattumuslikeks. Analoogiliselt traditsioonilises loogikas käsitletud kategooriliste väidetega on samaselt tõene lause tõene lausemuutujate mis tahes interpretatsiooni korral, samaselt väär lause on väär lausemuutujate mis tahes interpretatsiooni korral ning sattumuslik lause võib olla kas tõene või väär sõltuvalt lausemuutujate interpretatsioonist. D7.6.1 Lause on samaselt tõene ehk loogiliselt tõene ehk tautoloogia (tautology) parajasti
annaabi.ee 
