История изменений
Исправление www_linux_org_ru, (текущая версия) :
У меня хватит мозгов послать тебя читать любой школьный учебник по логике, где популярно разжёвывается как выражение ∀x(A(x) → B(x)) звучит на естественном языке.
отсюда вытекает, что мозгов тебе все же не хватило, чтобы понять, что:
1. язык для чтения формул отличается от языка, на котором разумные носители языка самостоятельно высказывают утверждения, соответствующие формулам
2. я говорил о последнем языке
Исправление www_linux_org_ru, :
У меня хватит мозгов послать тебя читать любой школьный учебник по логике, где популярно разжёвывается как выражение ∀x(A(x) → B(x)) звучит на естественном языке.
отсюда вытекает, что мозгов тебе все же не хватило, чтобы понять, что:
1. язык для чтения формул отличается от языка, на котором разумные носители самостоятельно высказывают утверждения, соответствующие формулам
2. я говорил о последнем языке
Исходная версия www_linux_org_ru, :
У меня хватит мозгов послать тебя читать любой школьный учебник по логике, где популярно разжёвывается как выражение ∀x(A(x) → B(x)) звучит на естественном языке.
отсюда вытекает, что мозгов тебе все же не хватило, чтобы понять, что язык для чтения формул отличается от языка, на котором разумные носители самостоятельно высказывают утверждения, соответствующие формулам
очевидно, что я в курсе о том, как это читать