Засновок

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

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

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

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

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