Формализация высказывания.

gabd144
Сообщений: 7
Зарегистрирован: 25 дек 2014, 21:00

Формализация высказывания.

Сообщение gabd144 » 28 дек 2014, 16:49

Проверьте, пожалуйста, правильность моего решения. 
Какие ошибки?


Изображение
Последний раз редактировалось gabd144 27 ноя 2019, 20:18, всего редактировалось 1 раз.
Причина: test

folk
Сообщений: 4177
Зарегистрирован: 11 сен 2009, 21:00

Формализация высказывания.

Сообщение folk » 28 дек 2014, 20:38

На мой взгляд лучше рассматривать предикат Комфортабельна(x) определенный на тачках сократим до K(x) тогда
Ни одна не комфортабельна  ~(Ex.K(x))
Все комфортабельны  Ax.~K(x)
Первое выражение в задаче будет эквивалентность этих выражений. (Но эквивалентность это не импликация)

 
Последний раз редактировалось folk 27 ноя 2019, 20:19, всего редактировалось 1 раз.
Причина: test


Вернуться в «Дискретная математика»

Кто сейчас на форуме

Количество пользователей, которые сейчас просматривают этот форум: нет зарегистрированных пользователей и 4 гостей