Засновок

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

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

Див. також

Література і джерела
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.