Математички доказ

Из Википедије, слободне енциклопедије

Математички доказ, у математичком смислу, је логичко-математички поступак којим се доказује теорема. У њему се смеју користити само аксиоми и претходно доказане теореме.

Једна од метода доказивања теорема је метода „претпоставимо супротно“. У тој методи, у којој се покушава да докаже тврдња А, претпостави се да вреди тврдња „не А“ и тражи се контрадикција (тврдња која је у супротности с већ претходно доказаним теоремом или аксиомом). Међу другим начинима се налази и извођење.

Креће се од претпоставке теореме па се сви услови теореме примене на појам на који се теорема односи и тврдња теореме се логично-математички изведе.

Спољашње везе[уреди]