Está en la página 1de 4

zeveawd zxeze zihnzn dwibel

zexcbde ze`gqep sc

2010 x`epia 24

k
.ak n + . . . + a1 n + a0 -l deey ak . . . a1 a0 xtqnd n qiqaa dhiya .1

⊕, ↔, →, ∧, ∨ mixywd ly zn`d ze`lah.2
P Q P ∨Q P ∧Q P →Q P ↔Q P ⊕Q
1 1 1 1 1 1 0
1 0 1 0 0 0 1
0 1 1 0 1 0 1
0 0 0 0 1 1 0

.1 md ely zn`d zlaha mikxrd lk m` ,dibelehe`h `xwp akxen weqt .3

.dibelehe`h A↔B eyexit (A ⇔ B) B weqtl lewy A weqt .4

.dibelehe`h A→B eyexit (A ⇒ B) B weqt xxeb A weqt .5

mixywd xear miiwzn wegd .P ∗Q ⇔ Q∗P `ed ∗ xyw xear seligd weg .6
.⊕, ↔, ∧, ∨

xear miiwzn wegd .(P ∗ Q) ∗ R ⇔ P ∗ (Q ∗ R) `ed ∗ xyw xear ueaiwd weg .7
.⊕, ∧, ∨ mixywd

md ∗, ♦ mixyw bef xear belitd iweg .8
.(P ∗ Q)♦R ⇔ (P ♦R) ∗ (Q♦R) ,(P ♦Q) ∗ R ⇔ (P ∗ R)♦(Q ∗ R)
.∧, ∨ mixywd bef xear miniiwzn miwegd ipy

.¬(P ∧ Q) ⇔ ¬P ∨ ¬Q ,¬(P ∨ Q) ⇔ ¬P ∧ ¬Q md obxen dc iweg .9

.P → Q ⇔ ¬P ∨ Q .10

.P + 1 = P · 2 + ¬P f` ,(weqt) ip`ilea dpzyn P m` .11

.P + Q = (P ∧ Q) · 2 + (P ⊕ Q) f` ,(miweqt) miip`ilea mipzyn Q, P m` .12

1

15 i"r zxcbend A∩B dveaw `edB.28 ∀x. y) ∈ R mewna f` .. y2 ∈ B ((x.A ×B ly dveaw-zz `ed B dveawl A dveawn qgi . y2 ) ∈ R) → y1 = y2 (ii) .R(x) = y minyex (x. y1 . y) ∈ R ∧ (y. P m` .21 ∀x ∈ A ∃y ∈ B (x.B -l A-n dwzrd R idz .B -l A-n dwzrd R m` ∀y ∈ B ∃x ∈ A R(x) = y m` . x) ∈ R−1 ⇔ (x. y) ∈ A × B ⇔ x ∈ A ∧ y ∈ B . z) ∈ S i"r i"r xcbend A-l B -n R−1 qgi `ed B -l A-n R qgil jetdd qgid .16 ∀x ∈ U x ∈ A ∩ B ⇔ x ∈ A ∧ x ∈ B i"r zxcbend A∪B dveaw `edB. z) ∈ SR ⇔ ∃y ∈ B (x. x2 ∈ A.A-l A-n qgi `ed A dveaw lr qgi . A zeveaw ly yxtdd . y ∈ A (x.lr z`xwp B -l A-n R dwzrd .25 ∀x ∈ A x ∈ R−1 (D) ⇔ R(x) ∈ D i"r zxcbend A ly R−1 (D) dveaw-zz `id R-l xcbend C -l A-n SR qgi `id C -l B -n S qgie B -l A-n R qgi ly dltknd .26 ∀x ∈ A. y1 ) ∈ R ∧ (x. A zeveaw ly zifhxwd dltknd .18 ∀x ∈ U x ∈ A\B ⇔ x ∈ A ∧ x ∈ /B i"r zxcbend A×B dveaw `id B.B ly dveaw-zz D .zikxr-cg-cg z`xwp B -l A-n R dwzrd . y) ∈ R i"r xcbend A-l A-n IA qgi `ed A dveaw lr zedfd qgi . A zeveaw ly jezigd . A zeveaw ly cegi`d .(miweqt) miip`ilea mipzyn Q. y) ∈ R (i) ∀x ∈ A.13 ∀x ∈ U x ∈ A ⇔ x ∈ B eyexit (A = B) B dveawl ddf A dveaw . y ∈ B (R(x1 ) = y ∧ R(x2 ) = y) → x1 = x2 `id R-l qgia C ly dpenzd .B -l A-n dwzrd R idz .P +Q+1 = (P ∨Q)·2+¬(P ⊕Q) f` .14 ∀x ∈ U x ∈ A ⇒ x ∈ B eyexit (A ⊂ B) B dveawa zlken A dveaw .B -l A-n dwzrd deedn B dveawl A dveawn R qgi .27 ∀x ∈ A. y ∈ B (y.24 ∀y ∈ B y ∈ R(C) ⇔ ∃x ∈ C R(x) = y i"r zxcbend B ly R(C) dveaw-zz qgia D ly dketdd dpenzd .22 m` .19 ∀x.17 ∀x ∈ U x ∈ A ∪ B ⇔ x ∈ A ∨ x ∈ B i"r zxcbend A\B dveaw `ed B. y ∈ U (x.29 2 .20 m` . z ∈ C (x.23 ∀x1 .A ly dveaw-zz C . y) ∈ IA ⇔ x = y .

A lr iwlg xcq qgi R idi .x. y2 ) ∈ S zitxbewiqwld dltknd . y1 ) ∈ R) ∨ (x1 = y1 ∧ (x2 .zeliwy qgi `xwp A lr R qgi . (y1 .mibivp zveaw z`xwp A ly D dveaw-zz . (y1 . y) ∈ R → (y. R miqgid ∀(x1 . x) ∈ R) → x = y m` . y ∈ A .31 m` .iwlg xcq qgi `xwp A lr R qgi . x2 ). (y1 . y) ∈ R) → (z = x ∨ z = y) (iii) m` . x) ∈ R m` .36 . z ∈ A ((x. x2 ). x2 ). y ∈ A ((x.1-l deey D ∩ [x]R dveawa mixai`d xtqn x ∈ A . y.A lr iwlg xcq qgi R edi .iaihifpxhe ixhniq-ihp` .ix`pil xcq qgi `xwp A lr R iwlg xcq qgi . y2 ) ∈ A × B ((x1 .B lr iwlg xcq qgi S .zxyxy z`xwp A ly B dveaw-zz . y) ∈ R → y = x m` .ilnipin `xwp A ly x xai` . x) ∈ R . ∀x ∈ A (x. y ∈ A (x.39 ∀y ∈ A (x. y) ∈ R i"r zxcbend lkl m` .37 xy`k y -l dhnln cenv x ik mixne` .A R idi .A lr iwlg xcq qgi R idi . R miqgid ly ∀(x1 . y2 )) ∈ R ×L S ⇔ ⇔ (x1 6= y1 ∧ (x1 .iaihifpxhe ixhniq .40 ∀y ∈ A (y.35 ∀y ∈ A y ∈ [x]R ⇔ (x. (y1 . y) ∈ R ∧ (y. y2 ) ∈ S) 3 . x) ∈ R m` . y) ∈ R ∨ (y.x ∈ A .iaihifpxh `xwp A lr R qgi .41 ∀x.A lr iwlg xcq qgi R edi .B lr iwlg xcq qgi S .33 ∀x. z) ∈ R . y2 )) ∈ R ×C S ⇔ ⇔ (x1 .A lr iwlg xcq qgi R idi .iaiqwltx `xwp A lr R qgi .ilniqwn `xwp A ly x xai` .A lr zeliwy qgi R idi .zxyxy `id A m` . y) ∈ R (i) x 6= y (ii) ∀z ∈ A ((x. y) ∈ R ∧ (y. y1 ) ∈ R ∧ (x2 .ixhniq-ihp` `xwp A lr R qgi . y ∈ B (x.30 ∀x. z) ∈ R) → (x.38 lr iwlg xcq qgi (x.32 ∀x. x2 ).ixhniq `xwp A lr R qgi .43 i"r xcbend A × B dveawd lr R ×C S qgi `id S.iaiqwltx R m` .44 i"r xcbend A × B dveawd lr R ×L S qgi `id S.42 ly zifhxwd dltknd . y2 ) ∈ A × B ((x1 . x) ∈ R → y = x m` . z) ∈ R ∧ (z.iaiqwltx R m` .A lr zeliwy qgi R idi .34 A ly [x]R dveaw-zz `id x ly dwlgnd .