Logické výroky slovy

Důležitou součástí logického myšlení je schopnost určit, zda určitý výrok platí, nebo neplatí. Zde procvičujeme tuto dovednost se slovně zapsanými výroky. Toto téma je rozdělené na několik podtémat:

• Určování pravdivosti – Zahrnuje výroky obsahující základní logické spojky (a, nebo, není), kvantifikátory (každý, některý) a nerovnosti (alespoň, nejvýše, stejně, různě). Např. „Mám v ruce alespoň tři esa nebo právě jednoho žolíka.“
• Implikace a ekvivalence – Výroky typu „pokud – pak“ a „právě tehdy, když“, které bývají méně intuitivní. Např. „Pokud nemám eso, pak mám žolíka.“
• Negace tvrzení – Tvorba tvrzení s opačnou pravdivostní hodnotou. Např. „Není pravda, že mám eso i žolíka.“ → „Nemám eso nebo nemám žolíka.“
• Logické důsledky – Vyvozování logického zavěru z dvou výroků. Např. „Pokud mám eso, mám i žolíka. Mám eso. → Mám žolíka.“

Určování pravdivosti výrazů s formálním značením si můžete procvičit v následujícím tématu nazvaném Logické výrazy.