Перевести выражения естественного языка на язык исчисления предикатов:
Между любыми двумя различными точками на прямой лежит, по крайней мере, одна точка, с ними не совпадающая;
Все люди, посещающие зоопарк, вежливы;
Некоторые судьи - старики, но бодрые;
Все старые члены конгресса - юристы;
Ни одна женщина не является одновременно политиком и домашней хозяйкой;
Некоторые юристы восхищаются женщинами;
Все судьи восхищаются только судьями;
Нет столь великой вещи, которую не превзошла бы величиной еще большая;
Существуют два человека такие, что каждый ребенок одного из них состоит в браке с ребенком другого.
ответ:1)43x<=43
x<=1
наименьшее натуральное число,являющееся решением неравенства это число 1
2)2/3х<35
x<35*3/2
x<52 1/2
число 52
3)0,6a-1,2-0,2>=0,8a+1,6+3,5
0,6a-0,8a>=1,4+5,1
-0,2a>= 6,5
a<= -32 1/2
4)60-17х>-19
-17х>-19-60
-17х>-79
х>-79÷(-17)
х>4,65
наименьшее натуральное число будет 5
5
19 - 6x < -5
6x>24
x>24/6
x>4 => наименьшее натуральное число:5 6)-7-30х<5х
-30х-5х<7
-35х<7
х<7÷(-35)
х<-0,2
наименьшего натурального числа нет, так как натуральные числа начинаются с 1