20.01.2015 Views

Príklady

Príklady

Príklady

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Príklady z Logických systémov<br />

RNDr. Peter Kaprálik, PhD.<br />

Riešenie.<br />

a = p e (q . r) { p - (q . r) { p . (q . r) { p . (q - r) { p . (q e r) = b<br />

Príklad 7. Zistite, či relácia = (x, y); x 2 − x = y 2 − y na množine R je reflexívna, symetrická,<br />

antisymetrická, tranzitívna.<br />

Riešenie.<br />

Pre každé x c R platí x 2 − x = x 2 − x, preto x x. Relácia je teda reflexívna.<br />

Nech x y t.j. x 2 − x = y 2 − y. Potom aj y 2 − y = x 2 − x a teda y x, čo znamená, že relácia<br />

je symetrická.<br />

Nech x y, y z. Potom x 2 − x = y 2 − y, y 2 − y = z 2 − z, odkiaľ vyplýva x 2 − x = z 2 − z, teda<br />

x z. To ale znamená, že je tranzitívna relácia.<br />

Nech x y, y x t.j. x 2 − x = y 2 − y. Upravme túto rovnosť:<br />

x 2 − y 2 + y − x = 0<br />

(x − y)(x + y) − (x − y) = 0<br />

(x − y)(x + y − 1) = 0<br />

Vidíme, že táto rovnosť je splnená pre x = y ale aj pre y= 1 − x. Potom však napr. pre x= 3,<br />

y = 1 − 3 =−2 platí (3, −2) c , (−2, 3) c , ale 3 ! −2. Preto relácia nie je antisymetrická.<br />

Príklad 8. Na množine A = 1, 2, 3, 4, 5, 6 je daný rozklad T = 2, 5, 6 , 1, 3 , 4 .<br />

Napíšte reláciu ekvivalencie, ktorá je indukovaná rozkladom T.<br />

Riešenie. Reláciu indukovanú rozkladom T označme . Dvojica (x, y) c A patrí do relácie <br />

práve vtedy, keď x, y patria do tej istej triedy rozkladu. Teda<br />

= (2, 2), (5, 5), (6, 6), (2, 5), (5, 2), (2, 6), (6, 2), (5, 6), (6, 5), (1, 1), (3, 3), (1, 3), (3, 1), (4, 4)<br />

1.2. Cvičenia<br />

Zobrazenia a operácie<br />

1. Zistite, či dané zobrazenia sú injektívne, surjektívne alebo bijektívne.<br />

a) h 1 : Z t Z, h 1 (x)=2x,<br />

b) h 2 : R t R, h 2 (x)=2x,<br />

c) h 3 : R t R, h 3 (x)=x 2 ,<br />

d) h 4 : R + t R, h 3 (x)=x 2 ,<br />

e) h 5 : R t R + 4 {0}, h 5 (x)=x 2 ,<br />

f) h 6 : R + t R + , h 6 (x)=x 2<br />

g) h 7 : R # {2} t R, h 7 (x)= 3x + 1 ,<br />

x − 2<br />

h) h 7 : R # {2} t R # {3}, h 7 (x)= 3x + 1 .<br />

x − 2<br />

2. Zistite, či dané operácie sú komutatívne, asociatívne a či majú neutrálny prvok.<br />

a) ' : (R + ) 2 t R + , a ' b = a b ,<br />

b) ± : N 2 t N, a ± b = b,<br />

c) ¿ : N 2 t N, a ¿ b = a,<br />

d) f : R 2 t R, f (x, y)=x + y + 1.<br />

3

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!