Matematická logika – výklad učiva

Výroková forma je výraz obsahujúci premenné, po dosadení ktorých sa z neho stane výrok. Príkladom výrokovej formy je x2–2x>0. Všimnite

Naučíte sa negovať kvantifikované výroky a robiť negácie výrokov s údajom o počte.
Negáciu kvantifikovaného výroku častejšie formulujeme tak, že zmeníme kvantifikátor: napr. negácia výroku „Pre každý … platí, že je …“ je výrok „Existuje … , ktorý nie je …“

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é,

Zložené výroky vytvárame z jednoduchých výrokov použitím výrokových (logických) operácií pomocou logických spojok: ∧, ∨, ⇒, ⇔ Pojmy logické operácie

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

Číslica: je grafický znak, pomocou ktorého zapisujeme číslo a vyjadrujeme množstvo. Napr. v desiatkovej sústave sa používajú arabské číslice, znaky,