Určete, které z následujících výroků jsou tautologií (= vždy pravdivý složený výrok):
\( \large \left( a \Leftrightarrow b\right) \Rightarrow \left( \neg a \Rightarrow \neg b\right) \)
a⇔b
¬a⇒¬b
(a⇔¬b)⇒(¬a⇒¬b)
1
1
0
0
1
1
Není zaškrtnuto
a⇔b
¬a⇒¬b
(a⇔b)⇒(¬a⇒¬b)
1
1
1
0
1
1
Není zaškrtnuto
a⇔b
¬a⇒¬b
(a⇒b)⇒(¬a⇒¬b)
1
1
0
0
1
0
Není zaškrtnuto
a⇔b
¬a⇒¬b
(a⇔b)⇒(¬a⇒b)
1
1
0
0
1
0
Není zaškrtnuto
Nápověda
Nápověda
Máš za úkol určit, zda tato implikace ekvivalence a implikace je tautologií, tedy jestli je vždy pravdivá.
🍪 Nastav si svůj neviditelný plášť ⚡
Vítej v kouzelném světě cookies! 🧙♂️ Používáme je, abychom ti přinesli ten nejlepší zážitek a pochopili, jak s naší aplikací kouzliš. Neboj, tyto sušenky nejsou z Bertíkových fazolek 1000x jinak - jsou tu, aby vše kouzelně fungovalo a my mohli naši aplikaci neustále vylepšovat. Tvé preference jsou pro nás jako kouzelná hůlka - můžeš je kdykoli poté změnit. Stačí kliknout na odkaz v patičce s názvem “Upravit cookies 🍪” a vykouzlit si nastavení přesně podle svých představ. Pokud chceš vědět více informací o zpracování cookies, najdeš je na této stránce.