из дискуссии аввы с арбатом
Jan. 19th, 2020 09:20 amСогласитесь, изысканная фраза.
A="to know intimately"
B="to know intimately" понято в сексуальном смысле.
С=может быть B
D=не C
E=я утверждаю D
F=верно ли E
G(x)=x может там ответить на вопрос F
H(x)=x ознакомился с двумя моими длинными комментариями там
I(x)=H(x)=>G(x)
J(x)=x имеет проблемы с чтением
K(x)=x имеет проблемы с пониманием
L=∀x (¬(K(x)∧J(x)) => I(x)
M=я считаю, что L
В эту теорему я нарочно вставил ошибку. И не записал это в форме Фитча, потому что лень.
И вот лежу думаю сейчас, давать ли такого рода задачи, найти ошибку в этой херне, своим студентам, или хрен с ним, с аввой.
Другая задача - сформулировать это в PDNF, prenex disjunctive normal form.
In English:"I think that any human who does not have special problems with reading and understanding can, based on my two long comments, answer the question whether it is true that I state that "to know intimately" cannot be understood in the sense of sex."