ЦитироватьВозьмем для примера фразу: «Рыжий пес вдовы поручика Пшебысского загрыз бродячую кошку». При записи на языке логики эта фраза разложится на несколько высказываний, которые неявно в ней содержатся, выражаясь с помощью грамматической категории определения. Их можно объединить с помощью знака конъюнкции в одно высказывание, однако запись получится более привычной и обозримой, когда все делаемые утверждения просто выписываются, каждое с новой строчки, разделяясь запятыми вместо знаков конъюнкции. Полагая, что смысл вводимых свойств и отношений ясен из контекста, получаем следующий эквивалент указанной фразы:
«пес»(a),
«рыжий»(a),
«принадлежит»(a, b),
«вдова»(b, c),
«поручик Пшебысский»(c),
«загрыз»(a, d),
«кошка»(d),
«бродячая»(d).
Страница создана за 0.020 сек. Запросов: 21.