Kvantoriga võivad olla seotud ka mitu muutujat: ∀ x P ( x) [vale] ∃x ∃ P ( x) [tõene] ∀x ,y P (x, y) ≡ ∀x∀ ∀y P (x, y) Sarnaselt muutujateta lausearvutuslausetega saab ka predikaate siduda liitpredikaatideks nendesamade loogikatehetega: ¯ ¯ ∧ ∨ → ↔ märkus: kui määramispiirkonnaks oleks reaalarvude asemel täisarvud , siis 2ne ja 3mas predikaatvalem lihtsustuksid: Predikaadid on võrdväärsed (ekvivalentsed) , kui nende __ tõeväärtuspiirkonnad langevad kokku
• Atomaarne valem on valem. • Kui p on valem, siis (¬p) on valem. • Kui p ja q on valemid, siis (p & q), (p ∨ q), (p → q) ja (p ↔q) on valemid. • Kui p on valem ja u on indiviidimuutuja, mille kõik esinemised valemis p on vabad, siis ∀u p ja ∃u p on valemid. • Valemi välised sulud võib ära jätta. Lihtsustamaks kirjapilti, kehtestatakse siinse õpiku raames predikaatide märkimiseks täiendav kokkulepe: kui järgnevalt ... … kasutatakse suurtähti ilma indeksite ja muutujateta, siis on need lausemuutujad; … räägitakse predikaadist, kuid ei täpsustata selle kohtade arvu, siis on tegemist ühekohalise predikaadiga; … räägitakse unaarsest või binaarsest predikaadist, siis üldjuhul ei näidata nende aarsust mitte ülaindeksiga, vaid kirjutatakse vahetult predikaatsümboli järele vastavalt üks või kaks indiviidtermi, nt Px või Pxy; … ei täpsustata predikaadi baashulka, siis on selleks universaalhulk.
· Kui p on valem, siis (¬p) on valem. · Kui p ja q on valemid, siis (p & q), (p q), (p q) ja (p q) on valemid. · Kui p on valem ja u on indiviidimuutuja, mille kõik esinemised valemis p on vabad, siis u p ja u p on valemid. · Valemi välised sulud võib ära jätta. Lihtsustamaks kirjapilti, kehtestatakse siinse õpiku raames predikaatide märkimiseks täiendav kokkulepe: kui järgnevalt ... ... kasutatakse suurtähti ilma indeksite ja muutujateta, siis on need lausemuutujad; ... räägitakse predikaadist, kuid ei täpsustata selle kohtade arvu, siis on tegemist ühekohalise predikaadiga; ... räägitakse unaarsest või binaarsest predikaadist, siis üldjuhul ei näidata nende aarsust mitte ülaindeksiga, vaid kirjutatakse vahetult predikaatsümboli järele vastavalt üks või kaks indiviidtermi, nt Px või Pxy; ... ei täpsustata predikaadi baashulka, siis on selleks universaalhulk.
annaabi.ee 
