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
Presúvanie
Mriežkovaná
Rozdeľovačka
Roboti
Strieľačka
Príšerky
Preteky
Územia
Tipovačka
Tímovka
Prejsť na
Rozhodovačka
Rozhodovačka
Prejsť na
Logika: pojmy
Logika: pojmy
Zobraziť na celú obrazovku
Zobraziť vysvetlenie témy
EZT
Krátka adresa: viemeto.eu/EZT
Ukázať QR kód
Zobrazit nastavenie cvičení
Nastavenie cvičení
Pozor, nastavenia sú platné iba pre toto cvičenie a systém.
Logika: pojmy
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.
Logika: pojmy (stredné)
Vyriešené:
