ВУЗ:
Составители:
Рубрика:
gLAWA VI
aLGEBRA PREDIKATOW
x 1. pONQTIE PREDIKATA. oPERACII NAD PREDIKATAMI
wYSKAZYWATELXNYE FORMY oPREDELENIE PREDIKATA lOGI^ESKIE WOZMOVNOSTI I TABLICY IS
. . -
TINNOSTI PREDIKATA sPOSOBY ZADANIQ PREDIKATOW pREDIKATNYE PEREMENNYE oB]IE LOGI
. . . -
^ESKIE WOZMOVNOSTI DWUH PREDIKATOW oPERACII NAD PREDIKATAMI kWANTORNYE OPERACII
. .
NAD PREDIKATAMI
.
1.1. wYSKAZYWATELXNYE FORMY.
oPREDELENIE 1. pUSTX M NEKOTOROE MNOVESTWO n NEOTRICATELXNOE CELOE ^ISLO
| , | .
1. n = 0. 0-MESTNOJ WYSKAZYWATELXNOJ FORMOJ NA MNOVESTWE M NAZYWAETSQ WSQKOE WYSKA-
ZYWANIE OB \LEMENTAH \TOGO MNOVESTWA.
2. n > 0. n-MESTNOJ WYSKAZYWATELXNOJ FORMOJ NA MNOVESTWE M NAZYWAETSQ WSQKOE WYSKA-
ZYWANIE S n PEREMENNYMI OB \LEMENTAH MNOVESTWA M.
pRIMER 1. \wSQKOE WE]ESTWENNOE ^ISLO, BOLXEE 1, QWLQETSQ KORNEM URAWNENIQ x2 = 2\ |
LOVNOE WYSKAZYWANIE OB \LEMENTAH MNOVESTWA R, 0-MESTNAQ WYSKAZYWATELXNAQ FORMA NA R.
pRIMER 2. \wE]ESTWENNOE ^ISLO x, WOZWEDENNOE W KWADRAT, DAET ^ISLO 2" | ODNOMESTNAQ WY-
SKAZYWATELXNAQ FORMA.
pRIMER 3. 3. \x2 + y2 = z2" |\TO WYSKAZYWATELXNAQ FORMA OT TREH PEREMENNYH, KOTORU@
MOVNO RASSMATRIWATX NA R, NO MOVNO RASSMATRIWATX I NA L@BOM ^ISLOWOM MNOVESTWE.
oTMETIM, ^TO PRI PODSTANOWKE W WYSKAZYWATELXNU@ FORMU NA MNOVESTWE M WMESTO PEREMEN-
NYH KONKRETNYH \LEMENTOW MNOVESTWA, \TA WYSKAZYWATELXNAQ FORMA OBRA]AETSQ W KONKRETNOE
WYSKAZYWANIE, PRINIMA@]EE ZNA^ENIE 0 ILI 1. tAKIM OBRAZOM WSQKAQ n-MESTNAQ WYSKAZYWA-
TELXNAQ FORMA OPREDELQET NEKOTORU@ FUNKCI@ OT n PEREMENNYH, ZADANNU@ NA MNOVESTWE M SO
ZNA^ENIQMI WO MNOVESTWE f0 1g.
oBOZNA^IM ^EREZ A, P(x) I Q(x y z) FUNKCII, OPREDELQEMYE WYSKAZYWATELXNYMI FORMAMI
p SOOTWETSTWENNO
IZ PRIMEROW 1.1.1, 1.1.2 I 1.1.3 p . tOGDA MOVNO UTWERVDATX, NAPRIMER, ^TO A = 0,
P(1) = 0, P (17) = 0, P( 2) = 1, P (; 2) = 1, Q(1 1 1) = 0, Q(3 4 5) = 1, Q(4 3 5) = 1,
Q(5 3 4) = 0 I T. D.
w DALXNEJEM, W DEJSTWITELXNOSTI, MY BUDEM IZU^ATX n-MESTNYE FUNKCII, ZADANNYE NA MNO-
VESTWAH SO ZNA^ENIQMI WO MNOVESTWE f0 1g, A WYSKAZYWATELXNYE FORMY BUDUT RASSMATRIWATXSQ
NAMI LIX KAK ODIN IZ SPOSOBOW ZADANIQ \TIH FUNKCIJ.
1.2. oPREDELENIE PREDIKATA.
oPREDELENIE 1. pUSTX M NEKOTOROE MNOVESTWO n
| , | NEOTRICATELXNOE CELOE ^ISLO.
1. n = 0. 0-MESTNYM PREDIKATOM NA MNOVESTWE M NAZYWAETSQ WSQKOE KONKRETNOE WYSKA-
ZYWANIE A OB \LEMENTAH MNOVESTWA M.
2. n > 0. n-MESTNYM PREDIKATOM NA MNOVESTWE M NAZYWAETSQ WSQKAQ FUNKCIQ P OT n
PEREMENNYH, ZADANNAQ NA MNOVESTWE M SO ZNA^ENIQMI WO MNOVESTWE f0 1g. oBOZNA^AETSQ
P(x1 : : : xn). pRI \TOM PEREMENNYE x1 : : : xn, U^ASTWU@]IE W ZAPISI PREDIKATA P , NAZYWA-
@TSQ PREDMETNYMI PEREMENNYMI.
101
Страницы
- « первая
- ‹ предыдущая
- …
- 99
- 100
- 101
- 102
- 103
- …
- следующая ›
- последняя »
