Studijní text kolegy Starého (download 18.1.2015 z EDUXu BI-MLO, sekce cvičení), Cvičení 3.1.4:
Přijměme obvyklou konvenci, podle které vazební síla výrokových spojek postupně klesá v pořádí $\neg$, ${\wedge, \vee}$, $\Rightarrow$, $\Leftrightarrow$; tedy konjunkce a disjunkce mají stejnou vazební sílu.
Okolní Cvičení se této problematice věnují dále. Konvence mi přijde standardní, resp. jsem jinou neviděl, jistě bude zmíněna i někde ve skriptech, ale ta nemám k dispozici, tak to nemohu ověřit.
Abychom to uzavřeli, ten příklad v původním dotazu, správně uzávorkován, zní: $((A \vee B) \Rightarrow C) \Leftrightarrow D$.
2 | No.2 Revision |
Studijní text kolegy Starého (download 18.1.2015 z EDUXu BI-MLO, sekce cvičení), Cvičení 3.1.4:
Přijměme obvyklou konvenci, podle které vazební síla výrokových spojek postupně klesá v pořádí $\neg$, ${\wedge, \vee}$, {$\wedge, \vee$}, $\Rightarrow$, $\Leftrightarrow$; tedy konjunkce a disjunkce mají stejnou vazební sílu.
Okolní Cvičení se této problematice věnují dále. Konvence mi přijde standardní, resp. jsem jinou neviděl, jistě bude zmíněna i někde ve skriptech, ale ta nemám k dispozici, tak to nemohu ověřit.
Abychom to uzavřeli, ten příklad v původním dotazu, správně uzávorkován, zní: $((A \vee B) \Rightarrow C) \Leftrightarrow D$.