Zbadać prawdziwość wzoru - = vs <=>

przemooomax · Post autor: **przemooomax** » 7 cze 2017, o 18:23

Witam!

Mam problem z interpretacją następującego wzoru. Treść zadania: Zbadać prawdziwość wzoru.
a) Atomy i formuła odpowiadają wzorowi
b) Dowód

\(\displaystyle{ A \subset B \Leftrightarrow A \cup B = B}\)

Mianowicie nie wiem co ma większy priorytet: "\(\displaystyle{ =}\)" czy "\(\displaystyle{ \iff}\)"?

Z góry dziękuję za pomoc

Cytryn · Post autor: **Cytryn** » 7 cze 2017, o 18:24

\(\displaystyle{ (A \subseteq B) \iff ((A \cup B) = B)}\).

Post autor: **Jan Kraszewski** » 7 cze 2017, o 18:46

przemooomax pisze:Mianowicie nie wiem co ma większy priorytet: "\(\displaystyle{ =}\)" czy "\(\displaystyle{ \iff}\)"?

To nie jest kwestia priorytetu, tylko sensu tego zapisu - on może być interpretowany tylko w jeden sposób.

JK