Základy matematiky

Výrok – oznamovacia veta s jednoznačnou pravdivostnou hodnotou
Axióma – základná poučka, výrok matematickej teórie, ktorý sa v jej rámci považuje za správny bez toho, aby sa jeho správnosť dokazovala
Definícia – definovanie alebo určenie vzťahu / výrazu na základe axióm alebo predom dokázaných viet
Úsudok – rozhodnutie o pravdivosti predpokladu
Matematická veta – vymedzuje a určuje vlastnosti
Hypotéza – výrok u ktorého nevieme určiť, či pravdivostná hodnota existuje
Tvrdenie – niečo čo sa o objekte tvrdí
Pravdivostná hodnota – pravdivostnú hodnotu výroku rozumieme jeho pravdivosť alebo nepravdivosť
- pravdivosť – označujeme číslom 1 (alebo iným kladným číslom)
- nepravdivosť – označujeme symbolom 0
Logické spojky – prostriedky na získanie zložitých výrokov
- logickú spojku definujeme ako funkciu jedného alebo dvoch výrazov do množiny (0, Ą)
- 0 – znamená že zložený výrok neplatí
- N – znamená že zložený výrok platí