Logika: pojmy a značení

F1R

umime.to/F1R

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í.

Souhrn je skryt.

Rozhodovačka

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

Logika: pojmy a značení

Rozhodovačka • střední

Pexeso

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

Logika: pojmy a značení

Pexeso • střední

Předcházející

Navazující

Cvičení

Logika: pojmy a značení

umime.to/F1R

Výroky

Logické spojky

Tautologie a kontradikce

Rozhodovačka