Prejsť na cvičenie:
Rozhodovačka
Prejsť na tému:
Logika: pojmy
Zobraziť na celú obrazovku
Zobraziť súhrn témy
EZT
Zdieľať
Zobrazit nastavenie cvičení

QR kód

QR kód je možné naskenovať napr. mobilným telefónom a tak sa dostať priamo k danému cvičeniu alebo sade príkladov.

Kód / krátka adresa

Trojznakový kód je možné napísať do vyhľadávacieho riadka, tiež je súčasťou skrátenej adresy.

Skopírujte kliknutím.

EZT
viemeto.eu/EZT

Nastavenie cvičení


Pozor, nastavenie je platné iba pre toto cvičenie a predmet.

viemeto.eu/EZT

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

Ďakujeme za vašu správu, bola úspešne odoslaná.

Napíšte nám

Neviete si rady?

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

Čoho sa správa týka?

Odkaz Obsah Ovládanie Prihlásenie Licencia