Prejsť na cvičenie:
Pexeso
Prejsť na tému:
Logika: pojmy
Zobraziť na celú obrazovku
Precvičujte neobmedzene

Váš denný počet odpovedí je obmedzený. Pre navýšenie limitu alebo prístup do svojho účtu s licenciou sa prihláste.

Prihlásiť sa
Zobraziť súhrn témy
FE7
Zdieľať

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.

FE7
viemeto.eu/FE7

viemeto.eu/FE7

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é)

Bez chyby





Veľkosť kartičiek: malá | stredná | veľká

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