Любое предложение из логики предикатов может быть записано с помощью логики высказываний в том случае, когда область определения переменных является конечным множеством X.
Опрос
Кто виноват?
совет дня
Самый прочный брак, когда муж — первый мужчина женщины, а жена — последняя женщина мужа. ==К.Мелихан