0 %
Zhrnutie? Tu je!
Definícia je čo najpresnejšie ohraničenie alebo vymedzenie pojmu.
Matematická veta je tvrdenie, ktorého pravdivosť musí byť dokázaná pomocou dôkazu.
Axióm je tvrdenie, ktoré sa prijíma za pravdivé bez dôkazu.
Dôkaz je úvaha, ktorá zdôvodňuje platnosť matematickej vety. Existujú štyri typy dôkazov:
Priamy dôkaz je sústava pravdivých implikácií, pomocou ktorých dokážeš pravdivosť danej vety.
Nepriamy dôkaz sa dokazuje pomocou obmeny implikácie (t. j. \( A \Rightarrow B \rightarrow \neg B \Rightarrow \neg A \) ).
Dôkaz sporom dokazuje nepravdivosť negácie pôvodného výroku.
Dôkaz matematickou indukciou.