logo
Elektronny_praktikum_po_MLTA_2014

1. Постройте матрицу одноместного предиката р(X), если:

P(x) = "x кратно 2", где x [1, 14)

x

1

2

3

4

5

6

7

8

9

10

11

12

13

P(x)

Л

И

Л

И

Л

И

Л

И

Л

И

Л

И

Л

2. Изобразите геометрически множество истинности двуместного предиката P(x,y) = 1/4x 1/4y”, если x, y (-2, 5];

Построим график прямой:

1/4y =1/4x; y = x;

x

y

0

0

1

1

Проверим точку выше графика прямой y = x,

например, с координатами (-1; 2).

Подставим координаты в неравенство:

1/4 (-1) 1/4(2) – это ложно, поэтому

Y

5

0 X

-2 5

-2

область истинности предиката расположена ниже прямой, включая ее точки (т.к. нестрогое неравенство).