Jedná se o tautologii?
Výrok zní:
Není-li vozidlo v předepsaném technickém stavu, nevjíždí řidič do silničního provozu.
Mně vyšlo, že výrok tautologií není... Ale nevím, jestli jsem to pochopila správně. Jednoduše jsem si udělala tabulku podle výchozího vzorce:
(¬b => ¬a) <=> (a=>b)
a v posledním sloupci jsem dostala kombinaci: 1 0 0 1, což není tautologie... Mám to správně, prosím?
Není-li vozidlo v předepsaném technickém stavu, nevjíždí řidič do silničního provozu.
Mně vyšlo, že výrok tautologií není... Ale nevím, jestli jsem to pochopila správně. Jednoduše jsem si udělala tabulku podle výchozího vzorce:
(¬b => ¬a) <=> (a=>b)
a v posledním sloupci jsem dostala kombinaci: 1 0 0 1, což není tautologie... Mám to správně, prosím?