2 Ülaindeks näitab predikaadi aarsust. Termini baashulk asemel kasutatakse ka termineid põhihulk või indiviidide piirkond või ka universum. Terminitega põhihulk või universum tuleb olla ettevaatlik, need on kasutusel ka muus tähenduses, nt seoses signatuuriga, vt allpool, D8.6.3. 3 Mõnes õpikus lubatakse siinkohal kasutada mitut baashulka, st x X ja y Y, nt kalade ja kalameeste hulk. Sellisest käsitlusviisisit tuleb vähemalt loogika algkursusel hoiduda, sest see viib mitmesordilisse (many-sorted) loogikasse, mis on märksa keerulisem kui klassikaline predikaatloogika. 3 teada, et Jüri armastab Marit ja rohkem keegi kedagi ei armasta. Ainus tõene lause oleks ,,Jüri armastab Marit" ning kahekohalise predikaadi Rxy tõehulgaks on indiviidide paar (Jüri; Mari) ning just nimelt sellises järjekorras ja mitte vastupidi.
2 Ülaindeks näitab predikaadi aarsust. Termini baashulk asemel kasutatakse ka termineid põhihulk või indiviidide piirkond või ka universum. Terminitega põhihulk või universum tuleb olla ettevaatlik, need on kasutusel ka muus tähenduses, nt seoses signatuuriga, vt allpool, D8.6.3. 3 Mõnes õpikus lubatakse siinkohal kasutada mitut baashulka, st x∈ X ja y∈ Y, nt kalade ja kalameeste hulk. Sellisest käsitlusviisisit tuleb vähemalt loogika algkursusel hoiduda, sest see viib mitmesordilisse (many-sorted) loogikasse, mis on märksa keerulisem kui klassikaline predikaatloogika. 3 teada, et Jüri armastab Marit ja rohkem keegi kedagi ei armasta. Ainus tõene lause oleks „Jüri armastab Marit” ning kahekohalise predikaadi Rxy tõehulgaks on indiviidide paar (Jüri; Mari) ning just nimelt sellises järjekorras ja mitte vastupidi. Analoogiliselt saab defineerida ka 3-aarse (ternaarse) predikaadi ning ka n-aarse
annaabi.ee 
