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.
Věta daná má formu (p→q). Její přímou negací je ¬(p→q). Platí zákon ¬(p→q) ↔ (p∧¬q) (tj. "negovaná implikace je konjunkce s negací"). Formu (p∧¬q) má věta a).
Řešení - podrobně
Pro určení správné odpovědi této úlohy nám plně postačí poznatky z výrokové logiky. Máme zjistit negaci (správný opak) věty dané.
Logickou formou věty dané je "jestliže p, pak q", tj. (p→q). Nejprve provedeme přímou negaci věty dané, čímž získáme větu tvaru "není pravda (či: neplatí), že jestliže p, pak q", tj. ¬(p→q).
Správnou odpovědí je pak ta věta, která nabývá stejného průběhu pravdivostí pro příslušné hodnoty p a q jako věta negovaná. Nejvýhodnější je uplatnění transformační tautologie pro převod implikace na konjunkci, tj. ¬(p→q) ↔ (p∧¬q) ("negovaná implikace je konjunkce s negací"). Přímé negaci věty dané, tj. ¬(p→q), je tedy ekvivalentní věta s formou (p∧¬q). Takže správnou odpovědí je možnost a), "Máš pauzu a nejíš svou svačinu".
cz
