Výborne, je dosiahnutý %% štít
Logika: pojmy a značenie » Rozhodovačka »
Prejsť na tému:
Logika: pojmy a značenie
Logika: pojmy a značenie
Prejsť na cvičenie:
Rozhodovačka
Rozhodovačka
Zobraziť na celú obrazovku
Zobraziť súhrn témy
EZTZdieľať
Zobrazit nastavenie cvičení
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.
EZT
viemeto.eu/EZT
Nastavenie cvičení
Pozor, nastavenie je platné iba pre toto cvičenie a predmet.
Logika: pojmy a znač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.
Logika: pojmy a značenie (stredné)
Teraz sa už môžu opakovať už vyriešené zadania.