– „x ja y vahel on z”, a – Eesti, b – Leedu. Vastus: ∃!x (Rx & V3abx). Märkus. Predikaatloogikas on kasutusel rohkem kvantoreid, neid defineeritakse olemasolevate kvantorite kaudu. Valemit ∃!x tuleb lugeda „leidub täpselt üks x” ja ∃!x Px tähendab ∃x (Px & ∀y (Py → x = y)). N8.1.6. Kui elektrit pole, siis Ats loeb raamatut või ajakirja. Interpretatsioon: E – „elekter on sees”, Rx – „x on raamat”, Jx – „x on ajakiri”, Lxy – „x loeb y”, a – Ats. Vastus: ¬E → ∃x [Lax & (Rx ∨ Jx)]. Saab kasutada ka kolmekohalist predikaati L3xyz – „x loeb y-it hetkel z”, ning vaja läheb veel unaarset predikaati Ex – „hetkel x on elekter sees”. Vastus: ∀x [¬Ex → ∃y [Layx & (Ry ∨ Jy)]. 14 TEIST JRKU PREDIKAATARVUTUSEST Seni oli jutt esimest järku predikaatarvutusest, milles saab kvantoreid rakendada üksnes indiviidimuutujatele (x, y, …).
) riik. Interpretatsioon: Rx ,,x on riik", V3xyz ,,x ja y vahel on z", a Eesti, b Leedu. Vastus: !x (Rx & V3abx). Märkus. Predikaatloogikas on kasutusel rohkem kvantoreid, neid defineeritakse olemasolevate kvantorite kaudu. Valemit !x tuleb lugeda ,,leidub täpselt üks x" ja !x Px tähendab x (Px & y (Py x = y)). N8.1.6. Kui elektrit pole, siis Ats loeb raamatut või ajakirja. Interpretatsioon: E ,,elekter on sees", Rx ,,x on raamat", Jx ,,x on ajakiri", Lxy ,,x loeb y", a Ats. Vastus: ¬E x [Lax & (Rx Jx)]. Saab kasutada ka kolmekohalist predikaati L3xyz ,,x loeb y-it hetkel z", ning vaja läheb veel unaarset predikaati Ex ,,hetkel x on elekter sees". Vastus: x [¬Ex y [Layx & (Ry Jy)]. 14 TEIST JÄRKU PREDIKAATARVUTUSEST Seni oli jutt esimest järku predikaatarvutusest, milles saab kvantoreid rakendada üksnes
annaabi.ee 
