Čeština
Angličtina
Informatika
Biologie
Umíme to
Němčina
Zeměpis
Chemie
Dějepis
Fyzika
Aritmetika
Zlomky, procenta
Geometrie
Elementární algebra
Funkce
Jednotky, míry
Diskrétní matematika
Finanční gramotnost
Rozhodovačka
Pexeso
Krok po kroku
Psaná odpověď
Grafař
Porozumění
Přesouvání
Mřížkovaná
Rozdělovačka
Rozbitá kalkulačka
Roboti
Střílečka
Příšerky
Závody
Územíčka
Tipovačka
Týmovka
Přejít na cvičení:
Rozhodovačka
Rozhodovačka
Přejít na téma:
Logika: pojmy a značení
Logika: pojmy a značení
Zobrazit na celou obrazovku
Zobrazit souhrn tématu
Sdí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í)
Vyřešeno:
