et

predikaatloogika

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

Sõnavormid

Muuttüüp 1

predikaatloogika predikaatloogikad
predikaatloogika predikaatloogikate
predikaatloogikat predikaatloogikaid

Päritolu andmed puuduvad

Sõna seosed

Ühendid puuduvad

Liitsõnad järelosaga puuduvad

Liitsõnad esiosaga puuduvad

Sarnased sõnad puuduvad

Võimalikud vasted puuduvad

Otsin lisanäiteid...
Otsin tõlgitud näiteid...