Swedish-Polish dictionary »

lärosats meaning in Polish

SwedishPolish
lärosats [~en ~er] substantiv

teoremat(logika, logiczny) twierdzenie pochodne, który występuje w obrębie systemu dedukcyjnego i jest wyprowadzone za pomocą wnioskowania dedukcyjnego z aksjomatów tego systemu
noun