et

predikaatarvutus

1 nimisõna

EKI ühendsõnastik 2026

Viimati muudetud 19.06.2025

Tähendused

lauseloogika laienduste klass, kus lisaks lausesümbolitele ja konnektoritele on kasutusel muud sümbolid (nt kvantorid)
Sünonüümid

Tõlkevasted

Sõnavormid

Muuttüüp 11

predikaatarvutus predikaatarvutused
predikaatarvutuse predikaatarvutuste
predikaatarvutust predikaatarvutusi

Päritolu andmed puuduvad

Sõna seosed

Ühendid puuduvad

Liitsõnad järelosaga puuduvad

Liitsõnad esiosaga puuduvad

Sarnased sõnad

Võimalikud vasted

Sama sõna

ELi terminibaasis IATE
Otsin lisanäiteid...
Otsin tõlgitud näiteid...