Slovenčina
Angličtina
Informatika
Vieme to
Nemčina
Biológia
Zemepis
Chémia
Fyzika
Aritmetika
Zlomky, percentá, desatinné čísla
Geometria
Elementárna algebra
Funkcie
Jednotky, miery
Diskrétna matematika
Finančná gramotnosť
Rozhodovačka
Pexeso
Krok za krokom
Počítanie
Grafár
Porozumenie
Označovanie
Presúvanie
Mriežkovaná
Rozdeľovačka
Pokazená kalkulačka
Roboti
Strieľačka
Príšerky
Preteky
Územia
Tipovačka
Tímovka
Môj účet
Odhlásiť saVýpis prehľadov
Logika: pojmy
Prechádzate súhrny informácií k určitým témam. Systémy Vieme sa zameriavajú hlavne na ich precvičovanie. K cvičeniam k jednotlivým podtémam sa dostanete pomocou odkazov nižšie.
Podkapitoly
Logika: pojmy
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.
Hore
