Dobrý den, v příkladu č. 13 je podle mého názoru chyba: v úloze A v řešení je vytvořena ekvivalence implikací a⇒b a a⇒c a ta je považována za řešení (nejde o tautologii). Podle zadání však má být tautologií ekvivalence [a⇒(b∨c)] a [(a⇒b)∨(a⇒c)]. V úloze B pak nerozumím znaku b′. Děkuji.
Omlouvám se za pozdni reakci. Nějak jsem to v létě přehlédl. Zobrazuje se Vám v bodě a) tabulka celá? U mě končí sloupcem[]ekvivalence[], který je výsledným výrokem (tautologie nevyjde). Znak b′ znamená negaci, přepsal jsem to a opravil (ačkoliv konečný výsledek byl dobře po cestě byly chyby).
Pro přidání komentáře se přihlašte.
Zde si můžete vytvořit účet - registrace.