[userpic]

Следующие суждения 

bavi в посте Metapractice (оригинал в ЖЖ)

Ладно, но ты указывай мне какие слайды в первую очередь ты хотел бы увидеть в моей эээ системе подачи.
Как работать с отрицаниями, например:
Все Х есть M' (как это будет отражено на слайде?)
Или
Ни один M' не есть X
Ни один M' не есть X'
Или, как изобразить на слайде этот силлогизм:
П1 - Все m суть x'.
П2 - Ни одно m не есть y.
В - Ни один Х' не есть Y'