Умовивід

форма мислення, завдяки якій з попередньо здобутого знання з одного чи декількох суджень виводиться нове знання теж у вигляді судження.

» Глосарій