Přednost logických spojek

Já bych na tuhle "normální" prioritu teda moc nespoléhal. Buď to musí být z kontextu jasné (což tady není, když o těch prvotních výrocích nic nevíme) a nebo tam musí být aspoň nějak naznačen oddělovač (např. větší mezerou). Tady bych si klidně dokázal představit i variantu $ ( A \lor B ) \Rightarrow (C \Leftrightarrow D) $.

Tak takhle to neni. Na přednášce nebo myslím aspoň Starý na cviku říkal co má přednost. Když je tam konjunkce a disjunkce tak to musí být ozávorkované protože mají stejnou prioritu. Dále si myslím že konjunkce a disjunkce jsou nejsilnější takže sousedy tahají k sobě ale nevím jak to bylo s implikací a ekvivalencí. Ale díky za snahu :)

$\wedge$ a $\vee$ jsou na stejné urovni. Musí se závorkovat (např. v DNT/KNT).

@Tomáš Kalvoda Ok, díky za upřesnění. Bral jsem to jak v boolově algebře, kde má $.$ větší přednost než $+$. Alepsoň se běžně vidí $a.b + c$ a má se za to, že je to $(a.b) + c$ . Nebo i tady je to jinak?

@Greg Psal jsem, že záleží na domluvě, resp. definici, jak to autor myslel. Každopádně na mezery bych se nespoléhal... to se mi nezdá moc exaktní.
Navíc tvoji variantu, že ekvivalence je silnější než implikace si představit nedokážu.

@gondepet V tomto příkladě se nevyskytují oba operátory $\land$ i $\lor$, takže výsledné uzávorkování s implikací a ekvivalencí je správné ;)

Ad booleova algebra: Už je to nějakou dobu, takže na moje vzpomínky není spoleh, ale mám takový matný pocit, že na prioritě operátorů v booleově algebře jsme se (v mém studiu, ne v BI-MLO) domlouvali jako na konvenci. Stejně jako jsme se na tom domlouvali u těles v MI-MPI.