Slovenčina
Angličtina
Informatika
Vieme to
Nemčina
Biológia
Zemepis
Chémia
Aritmetika
Zlomky, percentá
Geometria
Elementárna algebra
Funkcie
Jednotky, miery
Diskrétna matematika
Finančná gramotnosť
Rozhodovačka
Pexeso
Krok po kroku
Počítanie
Grafár
Porozumenie
Presúvanie
Mriežkovaná
Rozdeľovačka
Pokazená kalkulačka
Roboti
Strieľačka
Príšerky
Preteky
Územia
Tipovačka
Tímovka
Predchádzajúce
Cvič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.
Vysvetlenie mi pomohlo
Vysvetlenie mi nepomohlo
