Děkujeme za Vaše hodnocení.

Logika: pojmy a značení


Nadřazené: Logika

Předcházející: Množiny: pojmy a značení

Navazující: Vyhodnocování logických výrazůPravděpodobnost: 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 \neq A (zákon sporu).

Formule je splnitelná pokud není kontradikcí.



Vysvětlení mi pomohlo   Vysvětlení mi nepomohlo

Rozhodovačka

Rychlé procvičování výběrem ze dvou možností.


Logika: pojmy a značení   


Pexeso

Hledání dvojic, které k sobě patří.


Logika: pojmy a značení   


NAPIŠTE NÁM

Nevíte si rady?

Nejprve se prosím podívejte na časté dotazy:

Časté dotazy Návody pro rodiče Návody pro učitele

Čeho se zpráva týká?

Vzkaz Obsah Ovládání Přihlášení Licence