korolar (HOL)
korolar (lat.), u logici, dodatak odn. zaključak koji proizlazi iz kakva već dokazanoga stava.
...
HE HOL2 HOL
upit: korolar; pronađenih odgovora: 1; vrijeme izvršavanja upita: 136 ms
korolar (HOL)
korolar (lat.), u logici, dodatak odn. zaključak koji proizlazi iz kakva već dokazanoga stava.
...
HE HOL2 HOL