![[userpic]](http://localhost:4000/images/none.gif)
Re: Недостающий интерфейс текущей реализации логики сч ↑
bavi в посте Metapractice (оригинал в ЖЖ)
--ты ищешь кэрролловские-"гриндеровские" схемы более емкого и простого прочтения "исходного правила"
--а я ищу рабочий коммуникативный интерфейс, для текущей пофразовой реализации навыка счисления предикатов в текущую речь/экспрессию
Хорошо. Продолжу, что делал, для облегчения прочтения/запоминания
3 комментария
сначала старые сначала новые
Ладно, но ты указывай мне какие слайды в первую очередь ты хотел бы увидеть в моей эээ системе подачи.
А я буду пробовать их сделать чисто формально.
А я буду пробовать их сделать чисто формально.
Ладно, но ты указывай мне какие слайды в первую очередь ты хотел бы увидеть в моей эээ системе подачи.
Как работать с отрицаниями, например:
Все Х есть M' (как это будет отражено на слайде?)
Или
Ни один M' не есть X
Ни один M' не есть X'
Или, как изобразить на слайде этот силлогизм:
П1 - Все m суть x'.
П2 - Ни одно m не есть y.
В - Ни один Х' не есть Y'
Как работать с отрицаниями, например:
Все Х есть M' (как это будет отражено на слайде?)
Или
Ни один M' не есть X
Ни один M' не есть X'
Или, как изобразить на слайде этот силлогизм:
П1 - Все m суть x'.
П2 - Ни одно m не есть y.
В - Ни один Х' не есть Y'