On selecting a constituent part of MU the "" page will be displayed with information relevant to the selected constituent part. The "" page is not available for non-activated items.
Není to skutečnost naprosto zásadní nebo to zajímá jen mého šéfa.
Jestliže je to skutečnost naprosto zásadní, tak to nezajímá jen mého šéfa.
Je to skutečnost naprosto zásadní a nezajímá to jen mého šéfa.
Jestliže to není skutečnost naprosto zásadní, tak to zajímá jen mého šéfa.
Je to skutečnost naprosto zásadní a zajímá to jen mého šéfa.
Jak úlohu vyřešit?
Řešení - rychle
Forma věty dané je "p nebo q", tj. (p∨q). Tomuto je ekvivalentní (na základě De Morganova zákona) např. ¬(¬p∧¬q), ale to v nabídce není. Ekvivalentní je však i (¬p→q), což je forma d).
Řešení - podrobně
Jak je patrné z nabízených možností, pro určení správné odpovědi nám plně postačí poznatky z výrokové logiky.
Logickou formou věty dané je "p nebo q", tj. (p∨q). Toto "nebo" je jistě nevylučovací, takže věta daná je pravdivá nejen tehdy, když je alespoň jeden z dílčích výroků pravdivý, ale i v případě, kdy jsou oba pravdivé.
Správnou odpovědí je ta věta, která nabývá stejného průběhu pravdivostí pro příslušné hodnoty p a q, tedy za stejných pravdivostních podmínek. Z toho plyne, že nepravdivá je jedině v případě, že výroky p a q jsou oba nepravdivé. Nyní využijeme transformační tautologie, jmenovitě tu, podle níž je "p nebo q" ekvivalentní s "jestliže ne-p, pak q", tj. (p∨q) ↔ (¬p→q). Formu (¬p→q) má z nabízených jedině možnost d). (Kdyby v seznamu a)-e) nebyla možnost d), s vysokou pravděpodobností by se v nabídce vyskytoval výrok formy (¬q→p), neboť ten je ekvivalentní výroku formy (¬p→q).)
cz
