Nastavenie cvičení


Pozor, nastavenia sú platné iba pre toto cvičenie a systém.

viemeto.eu/EZT


Stiahnuť QR kód

Logika: pojmy

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.

Zatvoriť

Logika: pojmy (stredné)

Vyriešené:

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