Logika: pojmy

viemeto.eu/F1R

Stiahnuť QR kód

Nadradené	Diskrétna matematika » Logika » Logika: pojmy
Predchádzajúce	Množiny: pojmy, Logické výroky
Nadväzujúce	Vyhodnocovanie logických výrazov, Pravdepodobnosť: pojmy a značenie

Cvičenie

Výroky

Výrok je zdelenie, pri ktorom má zmysel otázka, či je pravdivý, alebo nepravdivý, pričom môže nastať len jedna z týchto možností.

Príklady výrokov:

Mesto Košice leží na Slovensku. (pravdivý výrok)
Košice sú hlavným mestom Slovenskej republiky. (nepravdivý výrok)
Na Marse je zakopaný poklad. (výrok, ktorého pravdivosť nepoznáme)

Príklady viet, ktoré nie sú výroky: Si hladný? Bež do obchodu pre vajíčka.

Logické spojky

Zápis	Názov	Význam
\neg A	negácia	neplatí A
A \wedge B	konjunkcia, a zároveň	A a B platia súčasne
A \vee B	disjunkcia, alebo	platí aspoň jedno z A a B
A \Rightarrow B	implikácia, ak-potom	ak platí A, potom platí aj B
A \Leftrightarrow B	ekvivalencia, práve keď	A platí práve vtedy, keď platí B

Tautológia a kontradikcia

Tautológia je výroková formula, ktorá je vždy pravdivá. Príklady:

A \vee \neg A (zákon vylúčenia tretieho)
(A \Rightarrow B) \Leftrightarrow (\neg B \Rightarrow \neg A)

Kontradikcia je výroková formula, ktorá je vždy nepravdivá. Príkladom je formula A \wedge \neg A (zákon sporu).

Formula je splniteľná ak nie je kontradikciou.

Rozhodovačka

Rýchle precvičovanie výberom z dvoch možností.

Logika: pojmy

Logika: pojmy

Rozhodovačka • stredné

Pexeso

Hľadanie dvojíc, ktoré k sebe patria.

Logika: pojmy

Logika: pojmy

Pexeso • stredné

NAPÍŠTE NÁM

Neviete si rady?

Najprv sa, prosím, pozrite na časté otázky:

Časté otázky

Čoho sa správa týka?

Odkaz Obsah Ovládanie Prihlásenie Licencia