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