САМОСТІЙНА РОБОТА № 3

ЧИСЛЕННЯ 1-го ПОРЯДКУ

1. Опишіть, вказавши мову та власні аксіоми, теорії 1-го порядку таких математичних
структур:
1) напівгрупи;
2) напівгрупи з одиницею;
3) комутативної групи;
4) кільця;
5) кільця з одиницею;
6) комутативного кільця;
7) поля;
8) частково впорядкованої множини;
9) лінійно впорядкованої множини;
10) цілком впорядкованої множини;
11) ґратки;
12) булевої ґратки.

2. Наведіть виведення в численні предикатів таких формул:

1) |– x(AB)  (хAxB);
2) |– (AxB)  x(AB);
3) |– (xAB)  x(AB);
4) |– x(AB)  (хBxA);
5) |– (хBxA)  x(AB).

3. Зведіть до сколемівської форми із матрицею в КНФ таку формулу:

хq(x, x) & xzy(q(x, y)q(x, z)& q(z, y)) & хyz(q(x, y)& q(y, z)q(x, z)).

4. Доведіть чи спростуйте методом резолюцій:

1) х(G(х)L(х))&x(K(x)&L(х))&х(G(х)E(х)) |= x(K(x)&E(х));
2) хyz(R(х, y)&R(y, z)R(x, z)) |= хyzu(R(х, y)&R(y, z)&R(z, u)R(x, u));
3) хy(B(х, y)P(x, y)) |= y(xP(х, y)xB(x, y)).

5. Наведіть виведення в численні предикатів, або спростуйте, якщо такого виведення

нема:
1) |–xА&xBx(А&В);
2) |–x(А&B)xА&xВ;
3) |–хAxВx(АВ);
4) |–x(АВ)хAxВ;
5) |–x(АВ)(хАxВ);
6) |–x(АВ)(АxВ);
7) |– (хАxВ)  x(AB);
8) |– (AxB)  x(AB);
9) якщо |– AxB, то |– x(AB);
10) |– xA&B  x(A&B);
11) якщо |– xA&B, то |– x(A&B);
12) |– xA&B  x(A&B).
 6. Будуючи виведення в секвенційному численні QCl класичної логіки 1-го порядку
(отримання виведення чи отримання контрмоделі), з’ясуйте, чи вірно:
1) х(A(x)&B(x)) |= хA(x)&хB(x);
2) xA(x)xB(x) |= x(A(x)B(x));
3) |= x(A(x)B(x))(хA(x)хB(x));
4) x(A(x)B(x)) |= (хA(x)хB(x));
5) (xA(x)xB(x)) |= х(A(x)B(x));
6) xA(x)&B(x) |= x(A(x)&B(x));
7) |= x(A(x)&B(x))xA(x)&B(x);
8) xA(x)B(x) |= x(A(x)B(x)).

7. Будуючи виведення в секвенційному численні QEC неокласичної логіки 1-го порядку

(отримання виведення чи отримання контрмоделі), з’ясуйте, чи вірно:
1) |= yxAxyA;
2) x(AB) |= (xAB);
3) |= x(AB)(xAxB);
4) |= x(AB)(xAxB);
5) (xAxB) |= x(AB);
6) (xAxB) |= x(AB);
7) |= х(AB)хAB;
8) |= хA&Bх(A&B).

ФАКУЛЬТАТИВНО

1. Визначіть, вказавши мову та власні аксіоми, теорії 1-го порядку таких структур:
1) алгебраїчно замкненого поля;
2) впорядкованого поля дійсних чисел.

2. Використовуючи секвенційне QEC-числення неокласичної логіки 1-го порядку

(побудова виведення чи отримання контрмоделі), з’ясуйте, чи вірно:
*1) xyAyxA;
2) xy(BP) y(xPxB);
3) uv( Rux,,vy A  Rux B & Rvx B )  uv( Rux,,vy A  Rvx,,uy A ).