Засновок

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук

Засновок - термін, який використовується в логіці та математиці.

  • У логіці - судження, яке є підставою для висновку і необхідною частиною будь-якого умовиводу.
  • У математиці - формула, яка лежить в основі визначеного виводу і в межах цього виводу не доводиться.

Див. також[ред.]

Література і джерела[ред.]

  • «Філософський словник» / За ред. В. І. Шинкарука. — 2.вид., перероб. і доп. — К.: Голов. Ред. УРЕ, 1986.