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

1. Деонтическая логика - математическая технология нормы. Соотношение, здесь, может быть то же, что и в любых других технологиях и техниках. Эти логики могут быть уместны для людей в ту меру, в какую люди1...