Vastasel juhul on valem lahtine (pole tõeväärtust, lõpetamata lause). Predikaat on samaselt tõene, kui ta muutub tõeseks lauseks iga indiviidi xeX korral. (kõik indiviidid mis kuuluvad baashulka). Tautoloogia Predikaat on samaselt väär, kui ta muutub vääraks lauseks iga indiviidi korral. Kontradiktsioon Predikaat on kehtestatav, kui ta muutub tõeseks lauseks väh. ühe indiviidi korral Predikaadid Ax ja Bx(samal baashulgal) on samaväärsed, kui nende indiviidide hulgad ja tõehulgad on samaväärsed. Sattumuslik - kontingentne Predikaatide Px ja Qx disjunktsioon on predikaat Px v Qx, mis muutub tõeseks lauseks nende ja ainult nende indiviidide korral, mille korral muutub tõeseks lauseks vähemalt üks predikaatidest Px v Qx. Predikaatide konjunktsioon – predikaat, mis muutub tõeseks lauseks nende indiviidide korral, mille korral muutuvad tõeseks lauseks nii Px kui ka Qx.
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 „–”). Traditsioonilises loogikas peab sageli arutlema väidete konteksti üle. Predikaatarvutuses on see tegevus ilmutatud ning valemite tähenduse mõistmiseks peab arvestama mitte üksnes formaalsete valemitega, vaid ka kontekstiga. Öeldakse, et predikaatarvutuse valemi tähendus 6 sõltub interpretatsioonist. Nt defineerime predikaadi Txy, tõlgime selle loomulikku keelde x
· 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 ,,"). Traditsioonilises loogikas peab sageli arutlema väidete konteksti üle. Predikaatarvutuses on see tegevus ilmutatud ning valemite tähenduse mõistmiseks peab arvestama mitte üksnes formaalsete valemitega, vaid ka kontekstiga. Öeldakse, et predikaatarvutuse valemi tähendus 6 sõltub interpretatsioonist
annaabi.ee 
