Перевести выражения естественного языка на язык исчисления предикатов:
Между любыми двумя различными точками на прямой лежит, по крайней мере, одна точка, с ними не совпадающая;
Все люди, посещающие зоопарк, вежливы;
Некоторые судьи - старики, но бодрые;
Все старые члены конгресса - юристы;
Ни одна женщина не является одновременно политиком и домашней хозяйкой;
Некоторые юристы восхищаются женщинами;
Все судьи восхищаются только судьями;
Нет столь великой вещи, которую не превзошла бы величиной еще большая;
Существуют два человека такие, что каждый ребенок одного из них состоит в браке с ребенком другого.

Skapisheva15151515    2   24.05.2020 20:04    32