Logika: pojmy

viemeto.eu/F1R


Stiahnuť QR kód

Nadradené Diskrétna matematika » Logika » Logika: pojmy
Predchádzajúce Množiny: pojmyLogické výroky
Nadväzujúce Vyhodnocovanie logických výrazovPravdepodobnosť: pojmy a značenie

Výroky

Výrok je zdelenie, pri ktorom má zmysel otázka, či je pravdivý, alebo nepravdivý, pričom môže nastať len jedna z týchto možností.

Príklady výrokov:

  • Mesto Košice leží na Slovensku. (pravdivý výrok)
  • Košice sú hlavným mestom Slovenskej republiky. (nepravdivý výrok)
  • Na Marse je zakopaný poklad. (výrok, ktorého pravdivosť nepoznáme)

Príklady viet, ktoré nie sú výroky: Si hladný? Bež do obchodu pre vajíčka.

Logické spojky

Zápis Názov Význam
\neg A negácia neplatí A
A \wedge B konjunkcia, a zároveň A a B platia súčasne
A \vee B disjunkcia, alebo platí aspoň jedno z A a B
A \Rightarrow B implikácia, ak-potom ak platí A, potom platí aj B
A \Leftrightarrow B ekvivalencia, práve keď A platí práve vtedy, keď platí B

Tautológia a kontradikcia

Tautológia je výroková formula, ktorá je vždy pravdivá. Príklady:

  • A \vee \neg A (zákon vylúčenia tretieho)
  • (A \Rightarrow B) \Leftrightarrow (\neg B \Rightarrow \neg A)

Kontradikcia je výroková formula, ktorá je vždy nepravdivá. Príkladom je formula A \wedge \neg A (zákon sporu).

Formula je splniteľná ak nie je kontradikciou.


    

Rozhodovačka

Rýchle precvičovanie výberom z dvoch možností.


Logika: pojmy   


Pexeso

Hľadanie dvojíc, ktoré k sebe patria.


Logika: pojmy   


NAPÍŠTE NÁM

Neviete si rady?

Najprv sa, prosím, pozrite na časté otázky:

Časté otázky

Čoho sa správa týka?

Odkaz Obsah Ovládanie Prihlásenie Licencia