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
Prejsť na cvičenie:
Pexeso
Pexeso
Prejsť na tému:
Logika: pojmy
Logika: pojmy
Zobraziť na celú obrazovku
Precvičujte neobmedzeneVáš denný počet odpovedí je obmedzený. Pre navýšenie limitu alebo prístup do svojho účtu s licenciou sa prihláste.
Prihlásiť sa
Zobraziť súhrn témy
FE7Zdieľať
QR kód
QR kód je možné naskenovať napr. mobilným telefónom a tak sa dostať priamo k danému cvičeniu alebo sade príkladov.
Kód / krátka adresa
Trojznakový kód je možné napísať do vyhľadávacieho riadka, tiež je súčasťou skrátenej adresy.
Skopírujte kliknutím.
FE7
viemeto.eu/FE7
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.
Logika: pojmy (stredné)
