![[userpic]](http://localhost:4000/images/none.gif)
Re: Аптайм vs даунтайм ↑
bavi в посте Metapractice (оригинал в ЖЖ)
В коммуникативном контексте не может быть/не учитываем отрицаний. Нас интересуют суждения/записи без отрицания.
Все X есть Y = Некоторые Y есть X
1 комментарий
(1) В коммуникативном контексту не учитываем малоупотребительные замороченные описания.
(2) В коммуникативном контексте нам нужны интерфейсы, которые подсказывают правильное логическое счисление, но, эти интерфейсы не должны быть чрезмерно сложные. Но, даже интерфейс логической игры ЛК, кажется, слишком сложный, чтобы быть коммуникативным интерфейсом.