"010110" - 1 õppematerjal

LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK Loogika määratlemisest

tõesuse korral on tõene ka q. Nt m ∨ n ╞ m. Loogilise järelduvuse kohta öeldakse veel ka, et see on formaalne implikatsioon. Sellest tuleb pikemalt juttu teema all „Süllogismid liitväidetega”. NÜ. Näidake tõeväärtustabeli abil, kas lause on samaselt tõene või samaselt väär või kontingentne: E & (E → A) ↔E & A. Lahendus: 2. 1. 4. 3. E A E & (E → A) ↔ E & A 111111 100010 010110 000110 Vastus: lõpptulemuse veerg on märgitud poolpaksus kirjas. Lause on samaselt tõene ehk tautoloogia. 15 LAUSETE SAMAVRSUS D7.7 Kaks lauset p ja q on loogiliselt samaväärsed (p⇔q või p ≡ q või p = q) parajasti siis, kui nende tõeväärtused langevad kokku komponentlausete mis tahes tõeväärtusjaotuse korral. Lausete samaväärsust saab kontrollida tõeväärtustabelite meetodil. Kaks lauset p ja q on