Поскольку нельзя нарисовать два совпадающих кружка разных цветов, то я использовал для этого исключительного случая знак тождества.Я так и понял, что это именно у вас СОВПАДАЮЩИЕ кружки.Типа это тождественные кружки, несмотря на разные их цвета. Что означает, что в этих кружках есть еще некие неуказанные свойства, по которым данные кружки различаются.Но кружки типа совпадают. А они не должны совпадать. Все машины (Х) это транспортные средства (М), но не все транспортные средства (М) это машины (Х).
На втором слайде иллюстрации не точные. Ни один Х не есть М — не пересекаются (как и на рисунке)Так, а что здесь не точно?Все М есть Х — кружок М включен в кружок Х (как на второй картинке «некоторые...»)Поскольку нельзя нарисовать два совпадающих кружка разных цветов, то я использовал для этого исключительного случая знак тождества. Типа это тождественные кружки, несмотря на разные их цвета. Что означает, что в этих кружках есть еще некие неуказанные свойства, по которым данные кружки различаются.Некоторые М есть Х — кружки должны пересекаться, не включаясь друг в друга полностью.Извини, ты не прав. С точки зрения буквального обывательского восприятия слова "некоторые M" как раз и означает розовый кружок. Про все другие M, которые не есть Х в данном случае ничего не сказано, поэтому с точки зрения обывательского буквализма их нет никакой необходимости изображать.Ну, с другой стороны, диаграммами Эйлера (пересекающимися кругами) невозможно достаточно точно изобразить эти высказывания.Почему это?Потому что "некоторые М есть Х", например, может в частных случаях означать два взаимоисключающих варианта: либо "все М есть Х",Как это "некоторые" может обозначать "все"? Это, может быть, у математиков такое возможно. А у буквальных обывателей такое невозможно.либо "есть такие М, которые не есть Х".Ааа, теперь я понял эту бесконечную вещь, которую ты и другие представители точного образования демонстрировали в метапрактике годами в наших диалогах."некоторые М есть Х", - означает только то, что сказано. И нет ни слова о "все М есть Х" или "есть такие М, которые не есть Х" :)
Для моей системы супернаглядной записи получилось несколько странно. Я больше не вижу слайдов из твоей презентации. которые мне надо рисовать. Кроме двух, которые я сделал.Потому, что твое "правило" является абстрактной идеей и не выражается/не имеет никакой необходимости быть выраженным наглядным образом.Другими словами, мне нужны конкретные примеры различный вариантов силлогизмов, которые полезно увидеть на слайдах.
На втором слайде иллюстрации не точные.Ни один Х не есть М — не пересекаются (как и на рисунке)Все М есть Х — кружок М включен в кружок Х (как на второй картинке «некоторые...»)Некоторые М есть Х — кружки должны пересекаться, не включаясь друг в друга полностью.Ну, с другой стороны, диаграммами Эйлера (пересекающимися кругами) невозможно достаточно точно изобразить эти высказывания. Потому что "некоторые М есть Х", например, может в частных случаях означать два взаимоисключающих варианта: либо "все М есть Х", либо "есть такие М, которые не есть Х". Поэтому как пересечение кружков точно нарисовать, если известно лишь, что "некоторые...", априори не известно.
Слайд 11, первый пример применения Правила 1:у Кэрролла я не находил представления в символьной форме вида X1Y1. Как это выражение перевести в нормальную форму? (из посылок следует, что заключение будет X1Y0+Y1X0)
--Фактически, я пытаюсь привлечь твое внимание к необходимости некоего наглядного интерфейса.--Мгновенно понимать такую последовательность утверждений можно двумя путями:--строить те или иные схемы - (не важно где и как)--стоить образные аналоги - ... Вот, что выдало мое бессознательное во сне:)Посылка это две двух сторонние фишки, одна из низ средний термин. Подбрасываем и получаем средние термины разного цвета, то другие фишки просто собираем той стороной какой они лежат. Если фишки, средние термины, одного цвета, то вторые фишки берем и переворачиваем.Вот так просто и доступно.В любом случае, их надо сделать.Думаю, делаем с тем, что сейчас уже есть, т.е с переводом в формальные схемы и обратно