MathProblemsBank

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

условие: Привести формулу логики предикатов к пренексной нормальной форме. Является ли формула на множестве \( M= \) \( \{1,2\}: 1) \) выполнимой, 2) опровержимой, 3) общезначимой, 4) невыполнимой? Вычислить значение истинности формулы на множестве \( M \) со следующими предикатами: \begin{tabular}{|c|c|c|} \hline\( x \) & 1 & 2 \\ \hline\( P(x) \) & 1 & 0 \\ \hline\( R(x) \) & 0 & 1 \\ \hline \end{tabular} \begin{tabular}{|c|c|c|} \hline\( Q(x, y) \) & 1 & 2 \\ \hline 1 & 1 & 0 \\ \hline 2 & 0 & 0 \\ \hline \end{tabular} \[ \forall x P(x) \rightarrow(R(x) \rightarrow \exists y Q(x, y)) \]