Čeština
Angličtina
Informatika
Biologie
Umíme to
Němčina
Zeměpis
Chemie
Dějepis
Fyzika
Aritmetika
Zlomky, procenta, desetinná čísla
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
Týmovka
Přejít na cvičení:
Pexeso
Pexeso
Přejít na téma:
Logika: pojmy a značení
Logika: pojmy a značení
Zobrazit na celou obrazovku
Procvičujte neomezeněVáš denní počet odpovědí je omezen. Pro navýšení limitu či přístup do svého účtu s licencí se přihlaste.
Přihlásit se
Zobrazit shrnutí tématu
FE7Sdílet
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.
FE7
umime.to/FE7
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:
