Рассматриваемая история — чуть ли не хрестоматийный пример так называемой лингвистической импликации. В формальной логике импликация является функцией, описывающей следование одного высказывания из другого, однако в лингвистике имплицировать значит "подразумевать", то есть следствие из утверждения подразумевается, но никак дополнительно не выражается. Например, выражение "Бог подаст" подразумевает существование Бога, однако в гуманитарных текстах импликация гораздо шире в силу культурного контекста,...
Еще можно создать, в этом смысле, программы, что предсказывают следующий знак в цепочке, для дизъюнкции и отрицания, и другие можно не писать. Коль скоро к этим трем связкам можно свести все остальные. Или антиконюънкция, и все. Четыре возможных оператора, для двух формул, или две формулы, для четырех возможных операторов, или скорее, исходным образом, две формулы для двух. Желание- это желание другого. И сильна как смерть любовь. Последнее никак не дается все еще многим современникам, кроме прочего и потому, что вопрос: зачем столько любви, обращенный к т...