{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

&ccedil;&not;&not;6&ccedil;&laquo;&nbsp;&auml;&sup1;&nbsp;&eacute;&cent;˜&ccedil;&shy;”&aelig;&iexcl

# ç¬¬6ç« ä¹ é¢˜ç­”æ¡

This preview shows pages 1–3. Sign up to view the full content.

6 ro 1ro X 1 Y 1 S 1 1 11 X={01 11 2}1 Y={01 21 4}1 S={ < x1 y | x+y X Y} 1 21 X={11 21 31 41 5}1 Y={11 21 3}1 S={ < x1 y | x=y 2 1 x X1 y Y} 1 11 S={ < 01 0 < 01 2 < 21 0 } 1 21 S={ < 11 1 < 41 2 } 21 P={ < 11 2 < 21 4 < 31 3 } Q={ < 11 3 < 21 4 < 41 2 } 1 dom1 P1 ran1 P ro b dom1 P Q1 =dom1 P1 1 dom1 Q1 1 dom1 P1 ={11 21 3} ran1 P1 ={21 31 4} rob x x dom1 P Q1 1 y1 1 x1 y P Q1 ⇔5 y1 1 x1 y P ∨< x1 y Q1 ⇔5 y1 1 x1 y P1 1 y1 1 x1 y Q1 x dom1 P1 1 x dom1 Q1 x dom1 P1 1 dom1 Q1 1 dom1 P Q1 =dom1 P1 1 dom1 Q1 31 R 1 S b R S M r o 1 R 1 S 1 A r o 1 R 1 S M A r o b x1 1 x1 x R 1

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
< x1 x S1 < x1 x R S1 R S ι≈♠ 1 R 1 S ♥ 1 x1 y < x1 y R S ⇔< x1 y R ∧< x1 y S ⇔< y1 x R y1 x S ⇔< y1 x R S 1 R S 1 R 1 S 1 x1 y < y1 z < x1 y R S y1 z R S ⇔< x1 y R x1 y S y1 z R y1 z S x1 y R y1 z R1 1 1 < x1 y S y1 z S1 ⇔< x1 z R x1 z S ⇔< x1 z R S 1 R S 4 ≡♠∠ ≠Ε 1 11 R 1 ={ < 11 1 } 1 21 R 2 ={ < 11 2 21 2 } 1 31 R 3 ={ < 11 2 21 3 11 3 21 1 } 1 41 R 4 ={ < 11 1 21 2 31 3 } 1 R 1 1 R 2 1 R 4 R 3 b
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

### Page1 / 9

ç¬¬6ç« ä¹ é¢˜ç­”æ¡

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document
Ask a homework question - tutors are online