[sholnik71]

Доброго утра, прошу помочь разобраться в номерах 1-7, возможно за некоторую плату:

1.Следующее высказывание о натуральных числах запишите на языке
предикатов, используя кванторные операции. Определите область истинности
высказывания:
«Для любого натурального числа существует большее его натуральное число»
2. Представьте следующее предложение формулой логики предикатов,
определив подходящую сигнатуру.
Только один студент сдал все экзамены на отлично.
3. Проверить истинность формул методом резолюций



4. Выразите множества истинности сложного предиката через множества
истинности входящих в него элементарных предикатов:
(((-R(x)→-P(x))→(Q(x)v-P(x)))v(-Q(x)v-P(x))-R(x)
5. Определите, является ли один из следующих предикатов, заданных на
множестве действительных чисел, следствием другого: «x2 < y», «y  0»
6. Используя теорему дедукции (если F1,...,Fm 1,Fm G,  − то
Fm− Fm →G  F1,..., 1 ) докажите, что справедлива следующая выводимость:
Ex(G→F(x))|→G→Ex(F(x))
7. Найти все возможные резольвенты следующих дизъюнктов:

@темы: Математическая логика

Comments

[All_ex]

Картинка это хорошо, но условие надо набирать текстом... (согласно правилам сообщества)

sholnik71, прошу помочь разобраться
предъявляйте свои попытки решения....