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í. V této sekci procvičujeme tuto dovednost se slovně zapsanými výroky. (Určování pravdivosti výrazů s formálním značením si můžete procvičit v následující sekci nazvané Logické výrazy.)

V této sekci najdete následující kapitoly:

• 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ě).

• Implikace a ekvivalence – výroky typu „pokud – pak“ a „právě tehdy, když“, které bývají méně intuitivní. („Pokud nemám eso, pak mám žolíka.“ )

• Negace tvrzení – tvorba tvrzení s opačnou pravdivostní hodnotou. („Není pravda, že mám eso i žolíka.“ → „Nemám eso nebo nemám žolíka.“)