лекції по мат.логике / L2-tex
.pdfТаким чином
² 8x 2 A - це обмежений квантор, який розумi¹ться як для всiх елементiв множини A .
² 9x 2 A це обмежений квантор, який розумi¹ться якiсну¹ елемент x в множинi A .
ßêùî P (x) предикат i A - множина, то iз збереженням змiсту можна замiнити
8x 2 A P (x) íà 8x(x 2 A ) P (x));
9x 2 A P (x) íà 9x((x 2 A) ^ P (x)):
Отже, наступнi два записи
8x 2 Q(x 2 R); 8x(x 2 Q ) x 2 R)
означають одне i те ж.
21
Покажчик
дiаграма |
операцiя |
Âåíà, 9 |
навiшування квантора, 6 |
доповнення, 20 |
пiдмножина, 8 |
доведення |
порожня, 8 |
методом вiд протилежного, |
предикат |
8 |
одномiсний, 6 |
iндукцiя |
унарний, 6 |
повна, 6 |
рiвносильностi |
повна математична, 7 |
основнi, 6 |
трансфiнiтна, 7 |
тотожностi |
iñòèíiñòü |
теоретико-множиннi, 21 |
äèç'þíêöi¨, 3 |
висловлення, 2 |
iìïëiêàöi¨, 4 |
рiвносильнi, 5 |
êîí'þíêöi¨, 2 |
закон |
круги |
контрапозицi¨¨, 5 |
Ойлера, 9 |
перевертання кванторiв, 8 |
квантор |
подвiйного запереченя, 5 |
загальностi, 6 |
закони |
квантори |
асоцiативностi, 22 |
обмеженi, 23 |
де Моргана, 22 |
множин |
дистрибутивностi, 22 |
об'¹днання, 11 |
iдемпотентностi, 21 |
перетин, 13 |
комутативностi, 21 |
рiзниця, 17 |
поглинання, 22 |
симетрична рiзниця, 18 |
|
множина |
|
багатосортна, 23 |
|
порожня, 8 |
|
область |
|
предметна, 6 |
|
22