Удивило последнее предложение. Что есть плохого в том, чтобы заменять слова кванторами?
Мне не понятно, что конкретно этот
tomasz имел в виду. Если он имел в виду замену отдельных слов на кванторы, как в примере дальше, то мне это тоже не нравится.
Цитата:
Следовательно,
такой, что
.
Не нравится потому, что смешиваются языки с очень разной грамматикой. Формальный язык логики, из которого взят символ
, отличается от естественных языков больше, чем естественные языки отличаются друг от друга. (Поэтому я называю его марсианским.
)
Часто употребляют символы в неправильном смысле. Например, символ импликации употребляют в качестве modus ponens, как в примере дальше.
Цитата:
Употребление символов формального языка создаёт иллюзию точности, но не даёт точность, потому что символы всё равно встроены в неоднозначную грамматику естественного языка.
Я обеими руками поддерживаю вставку цельных корректных формул с кванторами. Особенно для сложных утверждений, где имеет значение порядок кванторов.