MathProblemsBank

6.5.3 Исчисление предикатов

\( \underline{\text { условие: }} \) Определить значения истинности формул в заданной интерпретации a) \( \exists x \forall y(P(x) \Rightarrow Q(y)) \), б) \( \exists x(P(x) \& Q(x)) \) \( D=\{a, b\} \) \begin{tabular}{|c|c|c|} \hline\( x \) & \( P(x) \) & \( Q(x) \) \\ \hline\( a \) & 1 & 0 \\ \hline\( b \) & 0 & 1 \\ \hline \end{tabular}