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 samaväärsed ehk ekvivalentsed parajasti siis, kui nende tõeväärtustabelid langevad kokku. Võib öelda ka: kaks lauset p ja q on samaväärsed parajasti siis, kui nende vahel teostatav ekvivalentsitehe on tautoloogia. NÜ. Koostage väidete paari kohta tõeväärtustabelid ning tehke kindlaks, kas paarides olevad väited on loogiliselt samaväärsed (ekvivalentsed): „Anne tuleb töölt, aga tal ei ole pea uimane”; „Pole tõsi, et kui Anne tuleb töölt, siis on tal pea uimane”. Lahendus: tõlgime: A – Anne tuleb töölt; U – tal (Annel) on pea uimane.2 Võrreldavate lausete valemid on: A & ¬U ning ¬(A → U). 2. 1. 2. 1. A U A & ¬U ¬ (A → U) 110001 101110 010001 000101
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 samaväärsed ehk ekvivalentsed parajasti siis, kui nende tõeväärtustabelid langevad kokku. Võib öelda ka: kaks lauset p ja q on samaväärsed parajasti siis, kui nende vahel teostatav ekvivalentsitehe on tautoloogia. NÜ. Koostage väidete paari kohta tõeväärtustabelid ning tehke kindlaks, kas paarides olevad väited on loogiliselt samaväärsed (ekvivalentsed): ,,Anne tuleb töölt, aga tal ei ole pea uimane"; ,,Pole tõsi, et kui Anne tuleb töölt, siis on tal pea uimane". Lahendus: tõlgime: A Anne tuleb töölt; U tal (Annel) on pea uimane.2 Võrreldavate lausete valemid on: A & ¬U ning ¬(A U). 2. 1. 2
annaabi.ee 
