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 . Filosoofia terminibaas. Eesti Keele Instituut, Sõnaveeb 2026. https://sonaveeb.ee/search/unif//fil/predikaatarvutus/1/est (04.07.2026)
Muuttüüp 11
