Логика. Множества. Вероятность. Лексаченко В.А. - 31 стр.

UptoLike

ВУЗ: 

СПб ГУАП | Санкт-Петербург

Составители: 

Рубрика: 

Pri koneqnyh predmetnyh mnoestvah koliqestvo vozmonyh
predikatov koneqno i znaqeni predikatov mono predstavit~
tablicami s koneqnym qislom strok. V kaqestve primera pos-
troim tablicu dl predikata P
(
y)
∨
(∀x ∈
M
)(
P (x
)
→
Q
)
, gde
M =
{m
1
, m
2
}, P
(x) — proizvol~ny$i predikat, soderawi$i od-
nu svobodnu peremennu x; peremenna y svobodna dl x
v
P
(
x)
;
Q — proizvol~noe vyskazyvanie.
Tablica 5
Predikaty, opredelennye na
M
x A
0
(
x)
A
1
(
x)
A
2
(
x)
A
3
(
x)
m
1
0 0 1 1
m
2
0 1 0 1
Tablica 6
Tablica znaqeni$i predikata
P
(y
) ∨
(∀
x
∈
M
)(P
(
x)
→ Q)
P
(
x) Q y P
(
y) P
(
y)
∨
(∀x ∈
M
)(
P (x
)
→
Q
)
A
0
(x
) 1 m
1
0 1
A
0
(x
)
1 m
2
0 1
A
0
(
x
)
0 m
1
0 1
A
0
(
x
) 0 m
2
0 1
A
1
(
x) 1 m
1
0 1
A
1
(
x) 1 m
2
1 1
A
1
(
x)
0 m
1
0 0
A
1
(
x
)
0 m
2
1 1
A
2
(
x
) 1 m
1
1 1
A
2
(x
) 1 m
2
0 1
A
2
(x
)
0 m
1
1 1
A
2
(x)
0 m
2
0 0
A
3
(x) 1 m
1
1 1
A
3
(x)
1 m
2
1 1
A
3
(x) 0 m
1
1 1
A
3
(x
)
0 m
2
1 1
31

Страницы