Logické výroky slovy – 1. střední škola

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.