Prednášky: Matematika 1 (teória a príklady)

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é)...