Автор сообщения: dist
Дата и время сообщения: 20 December 2001 at 20:22:59:
В ответ на сообщение: Re: Зачет у Ваc? За что мне такое наказание!
Я, вроде, с непонялом общался, а тут вдруг вы на зачет явились?
Треугольником называется многоугольник с тремя вершинами.
Треугольником является многоугольник с тремя вершинами.
Я хоть раз произносил слово - ВСЕ?
Переводим Бакстера на язык теории предикатов.
Мир речи J - множество людей.
И(x) - быть иудеем, И(x)=1, если x - иудей, И(x)=0, если x - не Иудей;
ГГ(x) - говорить по-гречески;
ПП(x) - понимать Писание по-гречески;
Г(x) - быть греком;
Бакстер сказал:
И(x)^ГГ(x)^ПП(x)<==> Г(x)
А вы пытаетесь ему (и мне за компанию) впарить формулу
И(x)^ГГ(x)^ПП(x)==> Г(x)
Студентов, путавших правую импликацию с эквиваленцией, я не допускал до зачета.