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 preme...