1 / 8

Kvantifikované výroky

Kvantifikované výroky. Logika. Rozdelenie výrokov. Podľa špecifikácie, pre koho je výrok platný alebo neplatný ich rozdeľujeme na Kvantifikované Nekvantifikované. Druhy kvantifikovaných výrokov. Všeobecné – je použitý všeobecný kvantifikátor

meriel
Télécharger la présentation

Kvantifikované výroky

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Kvantifikované výroky Logika

  2. Rozdelenie výrokov Podľa špecifikácie, pre koho je výrok platný alebo neplatný ich rozdeľujeme na • Kvantifikované • Nekvantifikované

  3. Druhy kvantifikovaných výrokov • Všeobecné – je použitý všeobecný kvantifikátor - pre všetky, pre každý prvok súboru platí výrok - žiadny, nikto - zápis  x M : V(x) pre všetky prvky x z množiny M platí výrok • Existenčný – je použitý existenčný kvantifikátor - existuje aspoň jeden, pre ktorý platí výrok - zápis  x M : V(x) existuje prvok x množiny M, pre ktorý platí výrok

  4. Precvičenie A) Zapíšte pomocou matematických značiek: • Pre každé dve reálne čísla a, b platí, že a + b = b + a • Existujú čísla a, b, pre ktoré platí, že a – b = b – a • Pre všetky reálne čísla x menšie ako 1 platí • Každé prirodzené číslo deliteľné 6 je párne. • Všetky trojuholníky sú pravouhlé. • Existuje trojuholník, ktorý je pravouhlý.

  5. Precvičenie B) Prečítajte správne zápisy • xN: x>1 • xN: 6|x 2|x 3|x • xZ: •  x,yR: •  xN: x je prvočíslo deliteľné 2

  6. Negácia kvantifikovaného výroku • Všeobecný má negáciu existenčný  x M : V(x)(pre všetky prvky x z množiny M platí výrok negácia:  x M : ¬V(x) • Existenčný má negáciu všeobecný  x M : V(x) (existuje prvok x množiny M, pre ktorý platí výrok) negácia:  x M : ¬ V(x)

  7. Precvičenie Negujte výroky • Existuje párne prvočíslo. Každé prvočíslo je nepárne. • Niektorí hráči dnes neprišli na tréning. Všetci hráči dnes prišli na tréning. • Každé prirodzené číslo deliteľné 6 je párne. Existuje prirodzené číslo, ktoré je deliteľné 6 a nie je párne. • Každý občan SR má právo zúčastniť sa na referende. Existuje občan SR, ktorý nemá právo zúčastniť sa na referende.

  8. koniec

More Related