П.З. Логика предикатов Задание №1. Из предложенных ниже выделите предикаты и для каждого из них определите область

Задание №1:

1. Предикат: \(x + 5 = 1\)
Область истинности: нет такого значения \(x\), при котором уравнение \(x + 5 = 1\) выполняется.

2. Предикат: если \(x = 2\), то \(x^2 - 1 = 0\)
Область истинности: при \(x = 2\) выполняется уравнение \(x^2 - 1 = 0\), а именно \(2^2 - 1 = 0\).

3. Предикат: \(x^2 - 2x + 1 = 0\)
Область истинности: существует такое значение \(x\) (равное 1), при котором уравнение \(x^2 - 2x + 1 = 0\) выполняется.

4. Предикат: существует такое значение \(x\), что \(x^2 - 2x + 1 = 0\)
Область истинности: уравнение \(x^2 - 2x + 1 = 0\) имеет один корень, поэтому существует такое значение \(x\), при котором оно выполняется.

5. Предикат: \((x + 2) < (3x - 4)\)
Область истинности: для любых значений \(x\), для которых неравенство \((x + 2) < (3x - 4)\) выполняется.

6. Предикат: число \(x\) является однозначным и кратно 3
Область истинности: для любого значения \(x\), которое является однозначным (от 0 до 9) и кратным 3.

7. Предикат: \((x + 2) - (3x - 4)\)
Область истинности: для любых значений \(x\), для которых данный предикат выполняется.

Задание №2:

1. Предикат: все студенты данной группы являются жителями Подмосковья.
Область истинности: для всех студентов данной группы, которые являются жителями Подмосковья.

2. Предикат: некоторые москвичи являются студентами данной группы.
Область истинности: для некоторых москвичей, которые являются студентами данной группы.

3. Предикат: все студенты данной группы либо москвичи, либо не москвичи.
Область истинности: для всех студентов данной группы, которые либо являются москвичами, либо не москвичами.