Witam! Pokażecie jak rozwiązać zdania typu:
a)\(\displaystyle{ \forall x \forall y P(x,y) \Leftrightarrow \forall t \forall s P(t,s)}\)
b)\(\displaystyle{ \neg \exists x \exists y P(x) \Rightarrow \forall x \forall y ( \neg P(x,y))}\)
Robię je rozbijając na zdania, ale średnio wychodzi.