Úloha ID 1775 - Výroky 
Je dáno pět tvrzení:
1. Nejmenuji se Filip.
2. Jmenuji se Martin.
3. Jestliže se nejmenuji Filip, pak se jmenuji Martin.
4. Nejmenuji se Filip právě tehdy, když se nejmenuji Martin.
5. Jmenuji se Martin a nejmenuji se Filip.
Která z těchto tvrzení nemůžou platit současně?
Správná odpověď je: D
Pokud si vytvoříme logickou tabulku, kde F = jmenuji se Filip a M = jmenuji se Martin, tak:
| 1: ¬F | 2: M | 3: ¬F⇒M | 4: ¬F⇔∨M | 5: ¬F∧M |
| 0 | 1 | 1 | 1 | 0 |
| 0 | 0 | 1 | 0 | 0 |
| 1 | 1 | 1 | 0 | 1 |
| 1 | 0 | 0 | 1 | 0 |
Z nabízených možností vyplývá, že pouze pro sloupečky 3, 4 a 5 neexistuje řádek, kde by byla všechna tři tvrzení pravdivá.
Napsat komentář