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