Логика булевых функций


Формулы логики предикатов. Равносильность формул


Download 1.17 Mb.
bet10/39
Sana07.05.2023
Hajmi1.17 Mb.
#1437992
TuriМетодические указания
1   ...   6   7   8   9   10   11   12   13   ...   39
Bog'liq
Matlog

2.2. Формулы логики предикатов. Равносильность формул


Определение 2.2. Формула логики предикатов определяется индуктивно следующим образом:
1. Любая формула логики высказываний есть формула логики предикатов.
К новым формулам логики предикатов относятся следующие выражения:
2. Если x, y, z, ... – предметные переменные, то предикаты P(x), Q(x, y), ... , а также выражения с кванторами xP(x), xR(x), xyQ(x, y), ... есть формулы.
3. Если A и B – формулы, то A, AÚB, A&B, AB, AB есть формулы, в которых свободные переменные формул A и B остаются свободными, а связанные переменные формул A и B остаются связанными.
4. Ничто, кроме указанного в пунктах 1 – 3, не есть формула.
Пусть A – формула, содержащая свободную переменную x. Тогда xA, xA – формулы, причем в первом случае A является областью действия квантора общности, а во втором – областью действия квантора существования.
Пример 2.5.
1. Следующие выражения являются формулами логики предикатов:
а) A & B C, где A, B, C – высказывания.
б) xyQ(x, y, z) & xyP(x, y, u).
Проанализируем последовательно это выражение.
Предикат Q(x, y, z) – формула;
Выражение xyQ(x, y, z) – формула; переменные x, yсвязанные, переменная z – свободная.
Предикат P(x, y, u) – формула.
Выражение xyP(x, y, u) – формула; переменные x, y – связанные, переменная u – свободная.
Выражение xyQ(x, y, z) & xyP(x, y, u) – формула; переменные x, y – связанные, переменные z, u – свободные.
2. Выражение xyP(x, y, z) Q(x, y, z) формулой не является. Действительно, выражение xyP(x, y, z) есть формула, в которой переменные x и y связанные, а переменная z свободная. Выражение Q(x, y, z) также формула, но в ней все переменные x, y, z свободные.

Download 1.17 Mb.

Do'stlaringiz bilan baham:
1   ...   6   7   8   9   10   11   12   13   ...   39




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling