Kui soovid oma küsimusele vastust, jäta meile oma e-posti aadress.
Aitäh, oleme tagasiside kätte saanud.
lauseloogika laienduste klass, kus lisaks lausesümbolitele ja konnektoritele on kasutusel muud sümbolid (nt kvantorid)
predikaatarvutus . Matemaatika terminibaas. Eesti Keele Instituut, Sõnaveeb 2026. https://sonaveeb.ee/search/unif//mat/predikaatarvutus/1/est (01.07.2026)
Muuttüüp 11
