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, …). Teist järku predikaatarvutus lubab kvantoreid rakendada ka predikaatidele, st kasutatakse predikaadimuutujaid (X, Y, …), nt subjektil a on mingi omadus kirjutatakse ∃X Xa
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 indiviidimuutujatele (x, y, ...). Teist järku predikaatarvutus lubab kvantoreid rakendada ka predikaatidele, st
annaabi.ee 
