Q*toc wSOfizajDca

(§ dcs08u)2f)g6 ed06^»>c«
©330203825) S^psoScSca
CO«K>S) efQ33C£25)3*G3C3
0<p33(s>'©^ (c03®32D3s) ££33S gO® ©C30 gC© ©626360)32^25) 263003(^3 025)25) oS2cf»€ftc3

2019^23
MAT 111 2.0 Fundamentals of Logic and Set theory

25)3(3C5: &ICS (02) <3^25)3 .

gc£e© Qcsc^eO ® (04) 8^23)6* esacazrte).

01. (a) (i) p too q geft52s ©e« cozftg. 232025) Ocq0 o®g6€® 25)6025?,
(rl) ~(p Aq) = ~p V ~q a)D<;
(r2) ~p V q = p => q 5)0<^
(r3) ~( p A q) V (~p A q) = ~(p A q) 5)0^ eaocDzooa ts)6ts^^. [08 Marks]

P q ~P V A4 ~(P Aq) ~p V ~q -pAq ~p V q P==» Q ~(P A q) V (~p A q)

T T
F
T
F F
(ii) U20Z5) g$0e c^^C^3253^325? 203 (i)®s»0» tooCs)&ossi, (p A (—p ~</)) => ~q = ~(p Aq)
00 033025)03 25) 625?25).
(r4) ~(~p) 2 p.
(r5) p V q = q V p.
(r6) p V q) = ~p A ~q.
[08 Marks]
(b) n j^S^oa caqtoo cst025) csqtozs? 25)625)0 csc^^zj).

n ©cfozsf.
n $>60©0 25)0 000, n2 ®25^©2sf ©25)3©0.
0® zftean, n2 $>60©0.

p WD q ©$25? 232025) gC?3>Z5) 2ft6tC3-€&03 (?D 03^8 C0if}g.

p — n ®Z?©25?.
q — n2 025^25^ .

(i) (J2025) 25)625)05 C3°©25^25)32Sf©23)0 925)303 23)025?23).

(ii) 25)625)05 0CoCQ ^ ©'25)3©D 2; 0325?25) 2ft6-€£>03 25) 625?25).

[09 Marks]

1
(c) (i) Using Venn diagram, show that A\B = A if and only if B\A = B.
[06 Marks]
(ii) Give a counter-example to show that:
(a) (A n B) u C = A n (B u C)
(/?) If B = Au C, then A = B\C.
[07 Marks]

04. Let f(x) = x2 , for all x 6 [0,1) and g(x) = vx + 1 , for all x 6 (—1,3].
(a) Find:

0) / o g and g o f,
(ii) D(f ° ig) the domain of f ° g and D(g ° f) the domain of g ° f.
[10 Marks]

(b) /i:[l,5]\{2) —* [1,2]\{ 1} is defined by

= *6 [1.2)
W U(x- 2) if 16(2,5]

(i) Considering the graphs y = /(*) and y = g(x), draw the graph of y = h(x).
(ii) Show that h is a one to one and onto function.
(iii) Obtain the formula for the inverse of h.Verify that it represents the inverse of h.
(iv) Draw the graph of y = h_1(x).
(v) Find the lim h(x) and h{x). Is limx_2 h(*) exists? Justify your answer.
x *2_ x
[15 Marks]
+**+*+*++**+++++*

3
 02.
(a) a, b,c G E ©eca coato. bweTzsTSsb caqcr>3 g otos> ys*j3 casta eae<5>2Na>.

Al. a+b=b+a A5. ab = ba

A2. a + (b + c) = (a + b) + c A6. n(6c) = (u/>)c

A3. c/ + 0 = u A7. a. 1 = a

A4. a + (-a) = 0 A8. a(b + c) = cib + ac

;
gz>>:o casta tOD a. 0 = 0 gs&dcca toaOzaocazrf,
» 0) -(—a) = a a)D$
I oi)
(Mi)
(—1). a = —a 00<;
a(—/?) = (—a)b = —ab 0Dq
(iv) —(a + £) = (—a) + (—b) 30$ caacDa^ca zadatav
[12 Marks]
(b)

a E 1R+. eaq^oa S = {na|n E RJ} znc23^ <s>83ga3 eacaScaa-fsa ©a*>Oaa 00

0)
©Oa30a3a3. 00(8 a3, qoz^^Qozrf (g-€&G3 (Archimedean Property)
"Va ER+VbER 3n EN, na > b” CaOT^Sca 6)0 ©caafOata).
Va 6 1+ 3n e N,^ < a 6)0 qeacfaoa^ca z^data).
(ii) / E M ©ec3 a>ata>.
(a)^2 < 3 2T>0 000, an E N, (/ + ^)2 < 3 00<;

(/?) I2 > 3 2D0 00O, 3m E N, |l - -j >3 00 q ©oafOata).

(iii) A = {x\x E R, x2 < 3} ©C“ coata). A z^eaaca qiScganaca ©a*>g $>wQa3 caea^caataa
R ?8 c^^C*5^2^ 00 ®taaf0a3a>. 5up/l = V3 00 caa£)a^ca zadafaj.
[13 Marks]

03. (a) A zoo 5 ca2Q £ caa> ca£0s) 2$<325)©ci C2^ “7l ca^ £ t8 co^cssuazsf ©0"
caa> qdO ^zsfO® "Vx,x E A => x E B" ©cea coa3a>.
(i) 0(503030 caaOaj (prof by contrapositive (qa3caa^ (indirect proof)) W30a)©caaf, ®<&t©
j4 2q}02s>cazsf caqwa (p Q A 00eaoOaxa aadzrta}.
(ii) 0ea«>03^ caDOa> (prof by contradiction) *oa0a)©caa3, /i z^cjz^arf caqwa A n (p £
(p 00caa0a3ca sadafa).
[06 Marks]

(b) /l, £ cajg £ caaa ea&0325) agC233©ca^ c^^C235 tf>afa>. caaaa gzSOc wad wd #
co<5o tO30o©caa3 ca®«®2sf, i4 U (p = /l 00 eaoQaaca aadafa>.
(£1) (pc = £.
(/?2) i4 0 £ = A.
(R3) (Acy = A.
(R4) (A H BY = ACU Bc.
[06 Marks]

2
 E—

(c) (i) eOzrftfic A\B = A 2D® M3 2D0® C3®-«£>zs$ £?\/l = # SO ec^Ocrto.

[06 Marks]
(ii) ^£lC6(<f£j sft^Ccoricisrf 3*®2rf,
(a) Mn/?)uC = /ln(^UC) SO<;
(/?) B = A U C 2dS dCo, y4 = /?\C SO q 3O3^*0s^s>.
[07 Marks]
04. /(x) = x2 Gcsq ©x 6 [0,1) g(x) = vx + 1, Gcag ® x 6 (—1,3] ©»*»>•
(a) t3M25) $i 0t3DC52T^rM

0) f°ff *»9° f.
(ii) f o g & Oes® D(Jog)&»gcf& CC3® D (g ° /).
[10 Marks]

(b) /i:[l,5]\{2} —♦ [ 1 /2]\{ 1}

h(x) = [ /g(x-2)
0-1) if
if
>:e[l,2)
*6(2.5]
©$zr< q£>0 <js<08.
(i) y = fiX) ^ M3 y = 0(x) gc^stodca C3iC2S©‘®2rf y = ft(x) $ gc^Kudca e^25-te>.
(ii) h C?&Q Ctss) ms ©z»0 SO 3B2rJ02rf2D..
(iii) h €> g2D3©2Dc32rf eSDoasrfzft. O® g2£>3ca2DGa h <53 gstaecf®^ SO
CSZ^i33C3ZDC3 2Dd25^2D
(iv) y = /l_1(x) S gC^MDdcA «?^25^2D.
(v) lim_ h(x) M3 limx_2* h(x) ®«3ca2sto. limx_2 ^00 esOz^? 3)cyS Bgzgd ?s)6irt&-

[15 Marks]
*****************