definícia vety
Vety sú potrebou a osobitným záujmom matematiky a keď už o nich hovoríme, odkazuje sa na tie výroky, ktoré sa môžu v logickom rámci preukázať ako pravdivé.
Všeobecne platí, že vety sú skladá sa z niekoľkých stavov, ktoré je možné vopred vymenovať alebo predvídať a na ktoré sa nazývajú reakcie. Po nich sa objaví záver alebo matematické tvrdenie, ktoré bude samozrejme vždy pravdivé v podmienkach predmetnej práce, to znamená predovšetkým v informatívnom obsahu vety, čo sa zistí, je vzťah, ktorý existuje medzi hypotéza a téza alebo dokončenie práce.
Ale pre matematiku je niečo, čomu sa nedá vyhnúť, keď je určité tvrdenie pravdepodobné, že sa stane teorémou, a to, že musí byť dostatočne zaujímavé pre matematickú komunitu a pre matematické spoločenstvo, inak a bohužiaľ to môže byť jednoducho motto, dôsledok alebo jednoducho výrok. , nikdy sa nemohol stať teorémou.
A aby sme si túto otázku ešte trochu objasnili, je tiež potrebné rozlišovať pojmy, ktoré sme spomenuli vyššie, aby sme aj keď nie sme súčasťou matematickej komunity, mohli rozpoznať, keď ide o vetu, lemmu, dôsledok alebo propozícia.
Lemma je tvrdenie, áno, ale je súčasťou dlhšej vety. Dodatok k tejto časti je tvrdenie, ktoré nasleduje za vetou a nakoniec je návrh výsledkom, ktorý nie je spojený so žiadnou konkrétnou vetou.
Na začiatku sme naznačili, že veta je tvrdenie, ktoré je možné dokázať iba v logickom rámci, zatiaľ čo s logickým rámcom sa odvolávame na množinu axiómov alebo axiomatického systému a na inferenčný proces, ktorý nám umožní odvodiť vety z axiómy a vety, ktoré už boli odvodené skôr.
Na druhej strane, konečná postupnosť dobre vytvorených logických vzorcov sa bude nazývať dôkazom tejto vety.
Aj keď nie matematika venuje osobitnú pozornosť vetám, disciplíny ako fyzika alebo ekonómia zvyčajne vytvárajú výroky, ktoré sú odvodené od ostatných a ktoré sa tiež nazývajú vety.
