Доказ

Из пројекта Википедија

Доказ је расуђивање током којег се установљава истинитост или погрешност неког тврђења (суда, исказа, теореме). У доказу теореме се ослањамо на аксиоме, или на раније доказане теореме позивајући се при томе на дефиниције појмова. Зависно од метода докази се деле на:

  • аналитичке (анализа);
  • синтетичке (синтеза);
  • индуктивне (индукција, математичка индукција);
  • дедуктивне(аксиоматске, дедукција);
  • доказ од супротног, свођење на противречност (апсурд, контрадикција).