Проверьте, пожалуйста, правильность моего решения.
Какие ошибки?
Формализация высказывания.
Формализация высказывания.
Последний раз редактировалось gabd144 27 ноя 2019, 20:18, всего редактировалось 1 раз.
Причина: test
Причина: test
Формализация высказывания.
На мой взгляд лучше рассматривать предикат Комфортабельна(x) определенный на тачках сократим до K(x) тогда
Ни одна не комфортабельна ~(Ex.K(x))
Все комфортабельны Ax.~K(x)
Первое выражение в задаче будет эквивалентность этих выражений. (Но эквивалентность это не импликация)
Ни одна не комфортабельна ~(Ex.K(x))
Все комфортабельны Ax.~K(x)
Первое выражение в задаче будет эквивалентность этих выражений. (Но эквивалентность это не импликация)
Последний раз редактировалось folk 27 ноя 2019, 20:19, всего редактировалось 1 раз.
Причина: test
Причина: test
Вернуться в «Дискретная математика»
Кто сейчас на форуме
Количество пользователей, которые сейчас просматривают этот форум: нет зарегистрированных пользователей и 19 гостей