Matematická logika
Matematická logika je odvetvie matematiky, ktoré skúma správnosť uvažovania a pravidlá dokazovania. Pomáha určiť, či je nejaké tvrdenie pravdivé alebo nepravdivé. Základom matematickej logiky sú výroky. Výrok je veta, o ktorej možno jednoznačne povedať, či je pravdivá alebo nepravdivá. Príklady výrokov• 2 + 2 = 4 ✔ (pravdivý výrok)• 5 je párne číslo ✘ (nepravdivý … Čítať viac