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 siis, kui lause on tõene oma komponentlausete mis tahes tõeväärtusjaotuse korral, nt: A A ∨ ¬A A B A ∨ ¬A ∨ B 11111 01101 011 001 1 Väljendid „... siis ja ainult siis, kui ...” ja „ … parajasti siis, kui …” on loogikas sünonüümid. Kas neid lugeda metakeelsena või mitte, sõltub kontekstist. 14 D7.6.2 Lause on samaselt väär ehk loogiliselt väär ehk vastuolu ehk kontradiktsioon (contradiction) parajasti siis, kui lause on väär oma komponentlausete mis tahes tõeväärtusjaotuse korral, nt: A A & ¬A A B A & ¬A & ¬B 10110 00100 010 000 D7.6.3 Lause on kontingentne ehk sattumuslik (contingent) parajasti siis, kui lause omandab erinevaid tõeväärtusi vastavalt oma komponentlausete tõeväärtusjaotustele, nt: A A & A A B ¬A ∨ A & ¬B 11110
1 1 1 1 1 0 1 1 0 1 0 1 1 0 0 1 1 Väljendid ,,... siis ja ainult siis, kui ..." ja ,, ... parajasti siis, kui ..." on loogikas sünonüümid. Kas neid lugeda metakeelsena või mitte, sõltub kontekstist. 14 D7.6.2 Lause on samaselt väär ehk loogiliselt väär ehk vastuolu ehk kontradiktsioon (contradiction) parajasti siis, kui lause on väär oma komponentlausete mis tahes tõeväärtusjaotuse korral, nt: A A & ¬A A B A & ¬A & ¬B
annaabi.ee 
