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

Erialasõnastikud

Filosoofia terminibaas

ID 452975 Viimati muudetud 13.09.2019
Vaata sõnakogu
Vaata sõnakogu

Matemaatika terminibaas

ID 665635 Viimati muudetud 18.01.2024
Vaata sõnakogu
Vaata sõnakogu
Valdkond matemaatika

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...