Cześć, nie wiem jak zabrać się za to zadanie
Zbadać czy następujące formuły są tautologiami i czy są spełnialne:
a) \(\displaystyle{ \forall y(\exists xR(x,y) \rightarrow R(y,y)) \rightarrow \forall yR(y,y)}\)
b) \(\displaystyle{ (\forall yP(y) \rightarrow Q(x)) \rightarrow \exists y(P(y) \rightarrow Q(x))}\)