eluliselt vajalik (E). O R; E Ajakirjanik: Tühine osa inimorganismis sisalduvast rauast on organismile eluliselt vajalik. O R E 4.7. Esitage ülesande väited sümbolkujul ja vastake küsimustele kasutades tõeväärtustabelit. Politsei andmetel oli maffiaperekonnas tavaks, et "katusepappi" käisid sisse kasseerimas neli inimest Sam, Mike, Peter ja Andy. Lisaks oli teada, et kui aktsioonis käis Sam, oli temaga kaasas ka Peter, ja kui Sam ei käinud, käis Mike, ja kui käis Andy, siis ei käinud Peter. Kas Mike tuleb täna aktsioonile, kui Andy on juba välja sõitnud? Lahendus: Tingimustest saame liitlause: (SP) & (¬SM) & (A ¬P) ASPM ¬S ¬P (SP) & (¬SM) & (A¬P)
3. Anul on hea tuju, kuid Anu ja Peeter ei vaata filmi. J: Anu ja Peeter joovad koos teed. 1. A P 2. P (F T) 3. A & ¬F £T See kehtib, sest: 4. A (3. põhjal; Simp) Anul on hea tuju. 5. P (1. ja 3. põhjal; MP) Peeter on õnnelik. 6. F V T (2,5; MP) Anu ja Peeter vt. filmi või joovad teed 7. ¬F (3; Simp) Anu ja Peeter ei vaata filmi. 8. T (6,7; DS) Anu ja Peeter joovad koos teed. NÄIDE 2: Politsei andmetel oli maffiaperekonnas tavaks, et "katusepappi" käisid sisse kasseerimas neli inimest Sam, Mike, Peter ja Andy. Lisaks oli teada, et kui aktsioonis käis Sam, oli temaga kaasas ka Peter, ja kui Sam ei käinud, käis Mike, ja kui käis Andy, siis ei käinud Peter. Kas Mike tuleb täna aktsioonile, kui Andy on juba välja sõitnud? (1) Kui aktsioonis käis Sam, käis ka Peter. S P (eeldus) (2) Kui Sam ei käinud, käis Mike. ¬S M (eeldus) (3) Kui käis Andy, siis ei käinud Peter. A ¬P (eeeldus) (4) Andy on juba välja sõitnud
lubatud. Teisendusreegli mõlemad pooled on samaväärsed ja vastastikku teineteisest tuletatavad: p & q ≡ q & p. Tuletusreegel aga toimib vaid ühes suunas. Nt 7. reegel (Simp) p & q ⊢ p, mida ei saa ümber pöörata: ei saa teha tuletussammu kujul p ⊢ p & q, selle asemel tuleb kirjutada p⊬p&q NÜ. (Esitage ülesande väited sümbolkujul ja vastake küsimustele, kasutades loomulikku tuletust. Politsei andmetel oli maffiaperekonnas tavaks, et „katusepappi” käisid sisse kasseerimas neli inimest: Sam, Mike, Peter ja Andy. Lisaks oli teada, et kui täna tuleb aktsioonile Sam, siis on temaga kaasas ka Peter, kui Sam ei tule täna aktsioonile, siis tuleb Mike, ja kui Andy tuleb täna aktsioonile, siis Peter ei tule. Kas Mike tuleb täna aktsioonile, kui Andy on juba välja sõitnud (tuleb täna aktsioonile)? Lahendus: tähistame laused tegelaste eesnimede esitähtedega, nt S tähistab lauset „Sam tuleb täna aktsioonile”. Lahendame ülesande loomuliku tuletuse teel
lubatud. Teisendusreegli mõlemad pooled on samaväärsed ja vastastikku teineteisest tuletatavad: p & q q & p. Tuletusreegel aga toimib vaid ühes suunas. Nt 7. reegel (Simp) p & q p, mida ei saa ümber pöörata: ei saa teha tuletussammu kujul p p & q, selle asemel tuleb kirjutada pp&q NÜ. (Esitage ülesande väited sümbolkujul ja vastake küsimustele, kasutades loomulikku tuletust. Politsei andmetel oli maffiaperekonnas tavaks, et ,,katusepappi" käisid sisse kasseerimas neli inimest: Sam, Mike, Peter ja Andy. Lisaks oli teada, et kui täna tuleb aktsioonile Sam, siis on temaga kaasas ka Peter, kui Sam ei tule täna aktsioonile, siis tuleb Mike, ja kui Andy tuleb täna aktsioonile, siis Peter ei tule. Kas Mike tuleb täna aktsioonile, kui Andy on juba välja sõitnud (tuleb täna aktsioonile)? Lahendus: tähistame laused tegelaste eesnimede esitähtedega, nt S tähistab lauset ,,Sam tuleb täna aktsioonile". Lahendame ülesande loomuliku tuletuse teel
annaabi.ee 
