Saame valemi Rjy, mis on jätkuvalt lahtine, sest muutuja y on ikka veel vaba. Kui me seome selle nt üldisuskvantoriga, pole meil enam vabu muutujaid – saadud kinnine valem ∀y Ajy on lause, mida saab interpreteerida „Jüri 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;
Saame valemi Rjy, mis on jätkuvalt lahtine, sest muutuja y on ikka veel vaba. Kui me seome selle nt üldisuskvantoriga, pole meil enam vabu muutujaid saadud kinnine valem y Ajy on lause, mida saab interpreteerida ,,Jüri 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);
annaabi.ee 
