1 / 9

Liitlausete t õeväärtus

Liitlausete t õeväärtus. Loogika tehete prioriteet. ⅂ & ∨ ⇒ ⇔ Liht- ja liitlausete formaalseid esitusi nim. valemiteks. leida valemite tõeväärtused:. 4. ( A ∨ ⅂ B ) ⇒ ⅂ A. 3. 2. 1. leida valemite tõeväärtused:.

marci
Download Presentation

Liitlausete t õeväärtus

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Liitlausete tõeväärtus

  2. Loogika tehete prioriteet • ⅂ • & • ∨ • ⇒ • ⇔ • Liht- ja liitlausete formaalseid esitusi nim. valemiteks.

  3. leida valemite tõeväärtused: 4 • (A∨⅂B) ⇒⅂A 3 2 1

  4. leida valemite tõeväärtused: • Kui liitlauses on n komponentlauset, siis nende tõeväärtuste erinevaid kombinatsioone on 2n . • E ⇔ (Õ ∨ F) – kolm komponentlauset E,Õ,F, siis tõeväärtustabel on järgmine

  5. Kasutamine teatud liiki tekstülesannete lahendamiseks • Ühes perekonnas on lõunasöögi suhtes kujunenud tavaks, et kui süükse suppi, siis süüakse ka praadi. Kui suppi ei sööda, siis süüakse magustoitu, ja kui süüakse salatit, siis ei sööda praadi. Kas lõunasöögiks on ka magustoit, kui salat on juba laual? • (E. Mitt, Matemaatilise loogika elemendid, Tallinn, 1978)

  6. Tähistame komponentlaused: • S – “ süüakse suppi” • P – “ süüakse praadi” • M – “süüakse magustoitu” • A – “ süüakse salatit” • Liitlause • (S ⇒P) & (⅂S ⇒ M) & ( A ⇒⅂P) • Tehete järjekord • 1) eitus; 2 ) sulud; 3)esimene konjuktsioon • 4) teine konjuktsioon

  7. Lahendus: • Kuna ülesandes on antud, et salatit süüakse, siis lause A on tõene (igal juhul).

  8. Ülesanne 1 • Koosta järgmiste liitlausete tõeväärtustabelid: • (P ∨ Q) & ⅂P • ( P ⇒ Q) ∨(P ⇒⅂P) • ⅂(P ∨⅂Q)⇔( P &Q) • (( P ⇒Q)∨(P&R)) ⇒⅂(P ∨R)

  9. Ülesanne 2 • Perekond on puhkuse suhtes otsustanud, et kui nad ei sõida Helsinki, siis nad sõidavad Riiga, ja kui nad sõidavad Helsinki, siis sõidavad ka Turku, ja nad ei sõida Riiga ja Turku või sõidavad Helsinki. • Mitu reisivõimalust on? Kas on võimalik külastada kõiki kolme linna? • Kas na sõidavad ainult Riiga? Ainult Turku?

More Related