Ďakujeme za vaše hodnotenie.
Predchádzajúce
Cvičenie
Výroky
Výrok je veta, 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.
Vysvetlenie mi pomohlo
Vysvetlenie mi nepomohlo
Rozhodovačka
Rýchle precvičovanie výberom z dvoch možností.
Logika: pojmy a značenie 
Zobraziť súhrn témy
stredné
Logika: pojmy a značenie (stredné) • EZT
Typicky zaberie: 3 min.
Pexeso
Hľadanie dvojíc, ktoré k sebe patria.
Logika: pojmy a značenie
Zobraziť súhrn témy
stredné
Logika: pojmy a značenie (stredné) • FE7
Typicky zaberie: 3 min.
