Matematická logika

Symboly, konštanty, premenné

Konštanta je symbol, ktorý označuje určitý objekt z danej množiny objektov.Napr. 4 (označuje číslo 4), π (označuje Ludolfovo číslo).Premenná je symbol, ktorý označuje ktorýkoľvek objekt z danej množiny objektov. Spravidla je to písmeno x, y, z ...

Výroky

Výrok je oznamovacia veta, o ktorej má zmysel hovoriť, či je pravdivá alebo nepravdivá.Pravdivý výrok označujeme znakom 1, nepravdivý výrok označujeme znakom 0. Hovoríme, že výrok ..

Zložené výroky

Zložené výroky vytvárame z jednoduchých výrokov pomocou logických spojok: ∧ (konjunkcia), ∨ (disjunkcia), ⇒ (implikácia), ⇔ (ekvivalencia).

Výroková formula

Výrokové premenné sú symboly výrokov, ktoré vyjadrujeme malými písmenami p, q, r, ....Výrokovou formulou nazývame zápis, ktorý obsahuje výrokové premenné, logické spojky a zátvorky tak, že po dosadení ľubovolných výrokov za výrokové premenné dostaneme výrok.