Вот читаю сайчас тему по дискретке, a примеров там как таковых нет У меня есть одно из заданий на экзамен, если кому не лень, докажите пж-та истинность:
"квантор существования"x(A(x))vB(x))&"квантор всеобщности"x'A(x) c отрицанием'->"квантор всеобщности"B(x)
Предикаты. Помогите c решением.
Предикаты. Помогите c решением.
Последний раз редактировалось Slayer D 30 ноя 2019, 15:32, всего редактировалось 1 раз.
Причина: test
Причина: test
Предикаты. Помогите c решением.
Я так не играю. B формулах от L a T e X M a t h T u t o r i a l нет квантора существования и квантора всеобщности, a без них отвечать не буду.
Последний раз редактировалось Pavlovsky 30 ноя 2019, 15:32, всего редактировалось 1 раз.
Причина: test
Причина: test
Предикаты. Помогите c решением.
Ну пожалуйста. Можно ведь написать словами, типа "кв.сущ" или еще как-то...
Последний раз редактировалось Slayer D 30 ноя 2019, 15:32, всего редактировалось 1 раз.
Причина: test
Причина: test
Предикаты. Помогите c решением.
квантор всеобщности"B(x) я так понял читать
квантор всеобщности"xB(x)
a отрицание относится к '->"
квантор всеобщности"xB(x)
a отрицание относится к '->"
Последний раз редактировалось Pavlovsky 30 ноя 2019, 15:32, всего редактировалось 1 раз.
Причина: test
Причина: test
Предикаты. Помогите c решением.
Pavlovsky писал(а):Source of the post
квантор всеобщности"B(x) я так понял читать
квантор всеобщности"xB(x)
да точно, это я ошибся
a отрицание относится к '->"
не, отрицание относится к A(x)
Последний раз редактировалось Slayer D 30 ноя 2019, 15:32, всего редактировалось 1 раз.
Причина: test
Причина: test
Предикаты. Помогите c решением.
Уточни что надо доказать. Так?
∃x(A(x)vB(x)) & ¬∀xA(x) => ∀xB(x)
И расставь пожалуйста правильно скобки.
∃x(A(x)vB(x)) & ∀x¬A(x) <=> (∃xA(x)v∃xB(x)) & ¬∃xA(x) => ∃xB(x)
Пока у меня получилось так. Жаль нет под рукой трехтомника по мат. логике.
∃x(A(x)vB(x)) & ¬∀xA(x) => ∀xB(x)
И расставь пожалуйста правильно скобки.
∃x(A(x)vB(x)) & ∀x¬A(x) <=> (∃xA(x)v∃xB(x)) & ¬∃xA(x) => ∃xB(x)
Пока у меня получилось так. Жаль нет под рукой трехтомника по мат. логике.
Последний раз редактировалось Pavlovsky 30 ноя 2019, 15:32, всего редактировалось 1 раз.
Причина: test
Причина: test
Предикаты. Помогите c решением.
Pavlovsky писал(а):Source of the post
Уточни что надо доказать. Так?
∃x(A(x)vB(x)) & ¬∀xA(x) => ∀xB(x)
И расставь пожалуйста правильно скобки.
Вот так:
∃x(A(x)vB(x)) & ∀xA(x) -> ∀xB(x)
только A(x) - c отрицанием
Скобки правильные, доказать надо истинность утверждения
-> - это импликация
∃x(A(x)vB(x)) & ∀x¬A(x) <=> (∃xA(x)v∃xB(x)) & ¬∃xA(x) => ∃xB(x)
Пока у меня получилось так.
K сожалению это не соответствует нач. заданному
Жаль нет под рукой трехтомника по мат. логике.
...да, жаль что у меня тоже его нет )
Последний раз редактировалось Slayer D 30 ноя 2019, 15:32, всего редактировалось 1 раз.
Причина: test
Причина: test
Предикаты. Помогите c решением.
Так я и написал A(x) c отрицанием символ (¬)
∃x(A(x)vB(x)) & ∀x¬A(x)
и co скобками у тебя не все OK x(A(x))vB(x)) одна лишняя. Проверь пожалуйста все еще раз и напиши окончательный вариант задания.
∃x(A(x)vB(x)) & ∀x¬A(x)
и co скобками у тебя не все OK x(A(x))vB(x)) одна лишняя. Проверь пожалуйста все еще раз и напиши окончательный вариант задания.
Последний раз редактировалось Pavlovsky 30 ноя 2019, 15:32, всего редактировалось 1 раз.
Причина: test
Причина: test
Предикаты. Помогите c решением.
Slayer D писал(а):Source of the postPavlovsky писал(а):Source of the post
Уточни что надо доказать. Так?
∃x(A(x)vB(x)) & ¬∀xA(x) => ∀xB(x)
И расставь пожалуйста правильно скобки.
Вот так:
∃x(A(x)vB(x)) & ∀xA(x) -> ∀xB(x)
только A(x) - c отрицанием
Скобки правильные, доказать надо истинность утверждения
-> - это импликация∃x(A(x)vB(x)) & ∀x¬A(x) <=> (∃xA(x)v∃xB(x)) & ¬∃xA(x) => ∃xB(x)
Пока у меня получилось так.
K сожалению это не соответствует нач. заданномуЖаль нет под рукой трехтомника по мат. логике.
...да, жаль что у меня тоже его нет )
Может поможет?
Последний раз редактировалось Natrix 30 ноя 2019, 15:32, всего редактировалось 1 раз.
Причина: test
Причина: test
Предикаты. Помогите c решением.
aaa... понятно, извиняюсь
∃x(A(x)vB(x)) & ∀x¬A(x)
и co скобками у тебя не все OK x(A(x))vB(x)) одна лишняя. Проверь пожалуйста все еще раз и напиши окончательный вариант задания.
Ок. Окончательный вариант задания:
∃x(A(x)vB(x)) & ∀x¬A(x)->∀B(x)
Последний раз редактировалось Slayer D 30 ноя 2019, 15:32, всего редактировалось 1 раз.
Причина: test
Причина: test
Вернуться в «Другие разделы математики»
Кто сейчас на форуме
Количество пользователей, которые сейчас просматривают этот форум: нет зарегистрированных пользователей и 11 гостей