2015-10-22
992
Ввести предикаты на соответствующих областях (возможно многоместные) и записать с их помощью высказывания:
1. Через три произвольные точки проходит некоторая плоскость.
2. Через три различные точки проходит некоторая плоскость.
3. Через три различные точки проходит единственная плоскость.
4. Через три точки, не лежащие на одной прямой, проходит некоторая плоскость.
5. Между двумя любыми точками на прямой лежит еще хотя бы одна точка.
6. Любая прямая лежит хотя бы в одной плоскости.
7. Сумма двух любых четных чисел четна.
8. Если сумма трех натуральных чисел не делится на простое число, то на него не делится, по крайней мере, одно из слагаемых.
9. Записать в виде логики предикатов определение простого числа.
10. записать в виде логики предикатов определение непрерывности функции.
