Skvěle, štít %% dosažen
Logika: pojmy a značení » Rozhodovačka »
Přejít na téma:
Logika: pojmy a značení
Logika: pojmy a značení
Přejít na cvičení:
Rozhodovačka
Rozhodovačka
Zobrazit na celou obrazovku
Zobrazit shrnutí tématu
EZTSdílet
Zobrazit nastavení cvičení
QR kód
QR kód lze naskenovat např. mobilním telefonem a tak se dostat přímo k danému cvičení nebo sadě příkladů.
Kód / krátká adresa
Tříznakový kód lze napsat do vyhledávacího řádku, také je součástí zkrácené adresy.
Zkopírujte kliknutím.
EZT
umime.to/EZT
Nastavení cvičení
Pozor, nastavení je platné pouze pro toto cvičení a předmět.
Logika: pojmy a značení
Výroky
Výrok je sdělení, u kterého má smysl otázka, zda je pravdivý, nebo nepravdivý, přičemž může nastat jen jedna z těchto možností.
Příklady výroků:
Město Brno leží v České republice. (pravdivý výrok)
Brno je hlavní město České republiky. (nepravdivý výrok)
Na Marsu je zakopán poklad. (výrok, jehož pravdivost neznáme)
Příklady vět, které nejsou výroky: Máš hlad? Běž do obchodu pro vajíčka.
Logické spojky
| Zápis | Název | Význam |
|---|---|---|
| \neg A | negace | neplatí A |
| A \wedge B | konjunkce, a zároveň | A a B platí současně |
| A \vee B | disjunkce, nebo | platí alespoň jedno z A a B |
| A \Rightarrow B | implikace, jestliže-pak | pokud platí A, pak platí i B |
| A \Leftrightarrow B | ekvivalence, právě když | A platí právě tehdy, když platí B |
Tautologie a kontradikce
Tautologie je výroková formule, která je vždy pravdivá. Příklady:
- A \vee \neg A (zákon vyloučení třetího)
- (A \Rightarrow B) \Leftrightarrow (\neg B \Rightarrow \neg A)
Kontradikce je výroková formule, která je vždy nepravdivá. Příkladem je formule A \wedge \neg A (zákon sporu).
Formule je splnitelná pokud není kontradikcí.
Logika: pojmy a značení (střední)
Nyní se mohou opakovat už vyřešená zadání.