0. Ukázky úloh z logiky Matematická logika Mgr. Michal Švarc michal.svarc@oaneveklov.cz
0. Ukázky úloh z logiky Význam implikace Ekvivalence Pepík byl hodný. Pepíku: jestliže budeš zlobit, zůstaneš po škole. Pepík byl hodný. Může Pepík zůstat po škole? Ekvivalence Pouze tehdy a jen tehdy, když budeš zlobit, zůstaneš po škole.
0. Ukázky úloh z logiky Ekvivalentní výroky Jestliže mám jedničku z matematiky, pak budu přijat na VŠ bez přijímaček. Který z následujících výroků říká to samé? Jestliže nemám jedničku z matematiky, pak nebudu přijat na VŠ bez přijímaček. Mám jedničku z matematiky a na VŠ budu přijat bez přijímaček. Jestliže budu přijat na VŠ bez přijímaček, pak mám jedničku z matematiky. Jestliže nebudu přijat na VŠ bez přijímaček, pak nemám z matematiky jedničku. Nemám jedničku z matematiky nebo budu přijat na VŠ bez přijímaček.
0. Ukázky úloh z logiky Ekvivalentní výroky Jestliže mám jedničku z matematiky, pak budu přijat na VŠ bez přijímaček. Který z následujících výroků říká to samé? Jestliže nemám jedničku z matematiky, pak nebudu přijat na VŠ bez přijímaček. Mám jedničku z matematiky a na VŠ budu přijat bez přijímaček. Jestliže budu přijat na VŠ bez přijímaček, pak mám jedničku z matematiky. Jestliže nebudu přijat na VŠ bez přijímaček, pak nemám z matematiky jedničku. Nemám jedničku z matematiky nebo budu přijat na VŠ bez přijímaček.
0. Ukázky úloh z logiky Sylogismy Všichni papoušci jsou ptáci. Někteří papoušci jsou žlutí. Vyplývá z předchozích výroků výrok následující? Někteří ptáci jsou žlutí.
0. Ukázky úloh z logiky Sylogismy Všichni papoušci jsou ptáci. Někteří papoušci jsou žlutí. Vyplývá z předchozích výroků výrok následující? Někteří ptáci jsou žlutí.
0. Ukázky úloh z logiky Sylogismy Všechny hrušky jsou ovoce. Některé ovoce roste na stromech. Vyplývá z předchozích výroků výrok následující? Některé hrušky rostou na stromech.
0. Ukázky úloh z logiky Sylogismy Všechny hrušky jsou ovoce. Některé ovoce roste na stromech. Vyplývá z předchozích výroků výrok následující? Některé hrušky rostou na stromech.