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