armastab kõiki saareelanikke”. Predikaatarvutuse tähestik: • predikaadisümbolid: A, B, C, P, A1, B2, A6, … (suurtähed, võivad olla alaindeksitega); • predikaadisümbolile lisatud ülaindeks näitab predikaadi aarsust, unaarsete ja binaarsete predikaatide aarsuse võib märkimata jätta; • indiviidimuutujad: x, y, z, x1, z2, y6, … (tähestiku viimased tähed, võivad olla alaindeksitega); • indiviidikonstantide sümbolid: a, b, c, h, a1, j6, … (tähestiku esimesed tähed, võivad olla alaindeksitega); • loogiliste tehete sümbolid: ¬, &, ∨, →, ↔; • kvantorid ∀, ∃; • metasümbolid: o=; o ≡; o ∈ – kuuluvusseos (a ∈ X – element a kuulub hulka X); o ⇒ või ╞ ‒ järeldumine; o ⇔ – vastastikune järeldumine; o kirjavahemärgid: (), [ ]; • funktsionaalsümbolid, mis tähistavad baashulgal määratud funktsioone (nt naturaalarvude hulga N puhul „+” ja „–”).
armastab kõiki saareelanikke". Predikaatarvutuse tähestik: · predikaadisümbolid: A, B, C, P, A1, B2, A6, ... (suurtähed, võivad olla alaindeksitega); · predikaadisümbolile lisatud ülaindeks näitab predikaadi aarsust, unaarsete ja binaarsete predikaatide aarsuse võib märkimata jätta; · indiviidimuutujad: x, y, z, x1, z2, y6, ... (tähestiku viimased tähed, võivad olla alaindeksitega); · indiviidikonstantide sümbolid: a, b, c, h, a1, j6, ... (tähestiku esimesed tähed, võivad olla alaindeksitega); · loogiliste tehete sümbolid: ¬, &, , , ; · kvantorid , ; · metasümbolid: o =; o ; o kuuluvusseos (a X element a kuulub hulka X); o või järeldumine; o vastastikune järeldumine; o kirjavahemärgid: (), [ ]; · funktsionaalsümbolid, mis tähistavad baashulgal määratud funktsioone (nt
annaabi.ee 
