Pridaj na: Facebook | Twitter | Pošli na vybrali.sme.sk Vybrali.sme

Matematická logika - neriešené príklady

Symboly, konštanty, premenné, prepis slovného textu

Príklady, kde budete zapisovať oznamovacie vety pomocou symbolov, konštánt a premenných. Tiež zápisy vyjadrené symbolmi, premennými a konšantami budete zapisovať slovne. Dokazovanie správnosti tvrdení, rozlišovanie konštánt a premenných v texte a tiež niekoľko slovných úloh.

Čítať viac

Výrok a jeho pravdivostná hodnota, hypotéza

Neriešené príklady, v ktorých budete rozhodovať o pravdivosti či nepravdivosti daného výroku. Budete tiež upravovať jednotlivé vety tak, aby sa stali výrokmi a určíte ich pravdivostnú hodnotu.

Čítať viac

Zložené výroky

Neriešené príklady, v ktorých bude vašou úlohou vytvárať zložené výroky z jednoduchých výrokov pomocou logických spojok: ∧ (konjunkcia), ∨ (disjunkcia), ⇒ (implikácia), ⇔ (ekvivalencia).

Príklady, v ktorých vytvárate negácie jednoduchých výrokov a určujete ich pravdivostnú hodnotu.

Čítať viac

Výroková formula

Nariešené príklady, kde budete zisťovať pravdivostnú hodnotu zložených výrokov.

V príkladoch budete zisťovať, či dané výrokové formuly sú tautológie alebo kontradikcie.

Čítať viac

Výrokové formy, kvantifikované výroky

Neriešené príklady, kde zistíte, ktoré z daných viet predstavujú výrokové formy. Na číselnej osi budete znázorňovať údaje o počte prvkov množín vyjadrených kvantifikátormi.

Príklady zamerané na symbolický zápis výrokov pomocou kvantifikátorov - existenčného a všeobecného kvantifikátora.

Čítať viac

Negácie kvantifikovaných výrokov

Neriešené príklady, v ktorých budete vytvárať negácie kvantifikovaných výrokov.

Čítať viac