Výrokové formy, kvantifikované výroky
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
Read moreVý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
Read moreNaučí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é,
Read moreZlož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
Read moreVýrok je oznamovacia veta, o ktorej má zmysel hovoriť, či je pravdivá alebo nepravdivá. Pravdivý výrok označujeme znakom 1, nepravdivý výrok
Read moreČíslica: je grafický znak, pomocou ktorého zapisujeme číslo a vyjadrujeme množstvo. Napr. v desiatkovej sústave sa používajú arabské číslice, znaky,
Read more