Формализация высказывания.
Добавлено: 28 дек 2014, 16:49
gabd144
Проверьте, пожалуйста, правильность моего решения.
Какие ошибки?
Формализация высказывания.
Добавлено: 28 дек 2014, 20:38
folk
На мой взгляд лучше рассматривать предикат Комфортабельна(x) определенный на тачках сократим до K(x) тогда
Ни одна не комфортабельна ~(Ex.K(x))
Все комфортабельны Ax.~K(x)
Первое выражение в задаче будет эквивалентность этих выражений. (Но эквивалентность это не импликация)