Prednášky: Matematika

Premenné sú symboly, ktoré vyjadrujú možnosť dosadzovania nejakých objektov a po ich dosadení dostaneme pravdivý alebo nepravdivý výrok.

Kvantifikátory sú slová alebo krátke slovné spojenia, ktoré vyjadrujú vo vete údaje o počte objektov.

Všeobecný kvantifikátor vyjadruje to, že každý množinový objekt má vlastnosti o ktoré sa jedná. (používajú sa aj slová všetky alebo ľubovoľný).

Existenčný kvantifikátor vyjadruje to, že aspoň jeden možný objekt má požadované vlastnosti, o ktoré sa jedná.

Axióma – základná veta, je to veta, ktorá sa nedokazuje, jej pravdivosť je apriórna, t.j. platí bez akéhokoľvek dôkazu, resp. jej pravdivosť sa dokazuje pomocou inej vednej disciplíny.

Definícia – podobne ako v prípade axiómy, nedokazuje sa jej pravdivosť. Korektné vysvetlenie nejakého pojmu pomocou základných pojmov sa nazýva definícia pojmu.

Veta – pravdivý výrok o pravdivosti ktorého sa presvedčíme pomocou dôkazu.
Pomocná veta (lemma) – pravdivosť sa dokazuje.
Dôsledok - vyplýva z tvrdenia viet.