Еще раз все проверил. Здесь все верно
∃x(A(x)vB(x)) & ∀x¬A(x) <=> (∃xA(x)v∃xB(x)) & ¬∃xA(x) <=> ∃xA(x)& ¬∃xA(x)v∃xB(x)& ¬∃xA(x) <=> ∃xB(x)& ¬∃xA(x) => ∃xB(x)
Сам понимаешь ∃xB(x) и ∀xB(x) вещи совершенно разные
Для справки правила преобразования предикатов
1. ∃x(A(x)vB(x)) <=> (∃xA(x)v∃xB(x))
2. ∀x¬A(x) <=> ¬∃xA(x)
Взято c
[url=http://en.wikipedia.org/wiki/First-order_logic]http://en.wikipedia.org/wiki/First-order_logic[/url]
Предикаты. Помогите c решением.
Предикаты. Помогите c решением.
Последний раз редактировалось Pavlovsky 30 ноя 2019, 15:32, всего редактировалось 1 раз.
Причина: test
Причина: test
Предикаты. Помогите c решением.
Pavlovsky писал(а):Source of the post
Еще раз все проверил. Здесь все верно
∃x(A(x)vB(x)) & ∀x¬A(x) <=> (∃xA(x)v∃xB(x)) & ¬∃xA(x) <=> ∃xA(x)& ¬∃xA(x)v∃xB(x)& ¬∃xA(x) <=> ∃xB(x)& ¬∃xA(x) => ∃xB(x)
A отрицание в ¬∃xA(x) ставится и для квантора и для A(x) или только для квантора?
Последний раз редактировалось Slayer D 30 ноя 2019, 15:33, всего редактировалось 1 раз.
Причина: test
Причина: test
Предикаты. Помогите c решением.
Для всего выражения. ∃xA(x)
¬∃xA(x) словами: не существует такого x для которого A(x) истинно
Кванторы связывают некоторую переменную в логическом выражении.
Запиь ∃x бессмысленна.
¬∃xA(x) словами: не существует такого x для которого A(x) истинно
Кванторы связывают некоторую переменную в логическом выражении.
Запиь ∃x бессмысленна.
Последний раз редактировалось Pavlovsky 30 ноя 2019, 15:33, всего редактировалось 1 раз.
Причина: test
Причина: test
Предикаты. Помогите c решением.
O, спасибо большое. Такими словами и так доходчиво нам не поясняли) He знаю даже чем вас отблагодарить, может репутацию повысить, да не знаю собственно можно ли делать это простым смертным
Последний раз редактировалось Slayer D 30 ноя 2019, 15:33, всего редактировалось 1 раз.
Причина: test
Причина: test
Предикаты. Помогите c решением.
Упс... Или я чето не понимаю или... в оьщем в примере не хватает ->∀B(x).
∃x(A(x)vB(x)) & ∀x¬A(x)->∀B(x)
∃x(A(x)vB(x)) & ∀x¬A(x)->∀B(x)
Последний раз редактировалось Slayer D 30 ноя 2019, 15:33, всего редактировалось 1 раз.
Причина: test
Причина: test
Предикаты. Помогите c решением.
Так в том и проблема не могу я (может быть невозможно) этого доказать. Может в условии задачи ошибка?
Последний раз редактировалось Pavlovsky 30 ноя 2019, 15:33, всего редактировалось 1 раз.
Причина: test
Причина: test
Предикаты. Помогите c решением.
Pavlovsky писал(а):Source of the post
Так в том и проблема не могу я (может быть невозможно) этого доказать. Может в условии задачи ошибка?
He, условие правильное. Значит это формула не истинна, бывают же ведь такие случаи наверно
Последний раз редактировалось Slayer D 30 ноя 2019, 15:33, всего редактировалось 1 раз.
Причина: test
Причина: test
Предикаты. Помогите c решением.
Slayer D писал(а):Source of the postPavlovsky писал(а):Source of the post
Так в том и проблема не могу я (может быть невозможно) этого доказать. Может в условии задачи ошибка?
He, условие правильное. Значит это формула не истинна, бывают же ведь такие случаи наверно
[attachmentid=87]
Если потребуется - попробую откомментировать. Ho, похоже, все доказывается.
Последний раз редактировалось Natrix 30 ноя 2019, 15:33, всего редактировалось 1 раз.
Причина: test
Причина: test
Предикаты. Помогите c решением.
Неверно последнее соотношение
∀x(¬B) v ∀xB может быть и не равно 1
Чуток поржал
∀x(¬B ) v ∀xB может быть и не равно 1
∀x(¬B) v ∀xB может быть и не равно 1
Чуток поржал
∀x(¬B ) v ∀xB может быть и не равно 1
Последний раз редактировалось Pavlovsky 30 ноя 2019, 15:33, всего редактировалось 1 раз.
Причина: test
Причина: test
Предикаты. Помогите c решением.
Pavlovsky писал(а):Source of the post
Неверно последнее соотношение
∀x(¬B) v ∀xB может быть и не равно 1
Ну уж! Для любого х или B или не-B. Всегда истинно.
Последний раз редактировалось Natrix 30 ноя 2019, 15:33, всего редактировалось 1 раз.
Причина: test
Причина: test
Вернуться в «Другие разделы математики»
Кто сейчас на форуме
Количество пользователей, которые сейчас просматривают этот форум: нет зарегистрированных пользователей и 12 гостей