"0110110" - 1 õppematerjal

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

suvalisele lausele säilitab suvalise lause tõeväärtuse. Suvalise lause ja selle eituse konjunktsioon on väär, sest üks operand peab olema väär ja sellest piisab. Suvalise lause ja selle eituse disjunktsioon on tõene, sest üks operand peab olema tõene ja sellest piisab. Kõiki asendusreegleid on võimalik tõestada tõeväärtustabelite abil. Tõestame ühe De Morgani reegli ¬(p & q) = ¬p ∨ ¬q: 2. 1. 1. 3. 2. p q ¬ (p & q) ¬p ∨ ¬q 1101000 1010011 0110110 0010111 Lausete tõeväärtused langevad kokku kõikides tabeli ridades, seega on uuritava samasuse valemi mõlemad pooled samaväärsed. TEKSTI TÕLGENDAMINE (TÕLKIMINE) LAUSEARVUTUSE KEELDE Lausearvutuse valemite tõlkimine tavakeelde on küllaltki ühene. Nt tähistame A – päike paistab; B – meri läheb soojaks. Eitusi ja konjunktsioone pole raske tõlkida. Valemit ¬(A & ¬B) tuleks lugeda näiteks nii „Pole tõsi, et ühekorraga on nii, et päike paistab,