Matematika matice, vektory, limity - ťahák

3. Výrok - vyslovená alebo napísaná myšlienku (konštatovanie), o kt. má zmysle hovoriť, či je pravdivá alebo nepravdivá. V mat. sa vyjadrujeme vo výrokoch. Postup, ktorým sa o pravdivosti výroku presvedčujeme sa volá dôkaz. Veta - je výrokom o ktorom pomocou dôkazov (priamych, nepriamych, matemat indukcia) vieme presvedčiť či veta platí alebo neplatí. Konjukcia (a súčasne) , Disjunkcia (alebo) , implikácia (potom) , ekvivalencia (vtedy a len vtedy) . Výroková forma - obsahuje 1 alebo viac premenných, pričom premenné sú symboly ktoré nám umožnia dosadzovať namiesto nich nejaké objekty a ako výsledok dostaneme pravdivý alebo nepravdivý výrok. (patrí, nepatrí, : pre ktoré). Kvantifikátor - logický pojem označujúci rozsah platnosti nejakého tvrdenia. Sú slová alebo krátke slovné spojenia, kt. vo vete vyjadrujú údaje o počte objektov. Existenčný kvantifikátor