Исходное сообщение gleepkau
А вообще, jusTy, нашёл ты место для черпания знаний о межполовых отношениях ;-)
это не я нашёл, это мне показали.
прикольно, что-то там пишут, даже обсуждают.
лучшее для
черпания знаний о межполовых отношениях - это практика :)
но можно в клюв получить по мере набирания опыта, приходится комбинировать :)
* делает пометку в ежедневнике: "не спорить с девушками с физмата, целее будешь" * :)
Исходное сообщение gleepkau
Да, про логику.
Данное выражение ("Если человек А любит человека Б, то почему у него не может быть ничего с человеком В") преобразовываем в более понятное: "любит(А,Б)->любит(А,В)". Из полученного видно, что для сохранени истинности всего утверждения, "любит(А,В)" должно быть всегда истинным.
ой, тут вы неправы (перечитайте условие):
"Если человек А любит человека Б, то почему у него не может быть ничего с человеком В"
тогда надо построить вот такую фигню:
любит(А,Б)->чтоТоЕсть(А,В)
"чтоТоЕсть(А,В)" может быть истинным, даже если ложное "любит(А,В)"
и вообще, не понятно можно ли ставить знак "->", так как в условии нет ничего похожего.
:)