доля выполнимости предложение

[SashaChe]

ребят, помогите сделать такие вот 2 задачки по мат.логике.:
найти долю выполнимости предложений:
1) $\forall x \exists y \forall z[S(x,y,z)]$
2) $\forall x \forall y [R(x,y)\oplus $\overline{R(y,x)}$ ]$
решение к первому есть, ноооо не уверена что верное.