0 ratings 0% found this document useful (0 votes) 8 views 15 pages 523H0164 Logic2
The document discusses various mathematical statements and predicates related to real numbers, integers, and their properties. It includes true/false evaluations of statements regarding positive and negative numbers, as well as properties of sets and functions. The content appears to be a mix of mathematical logic and problem-solving exercises.
AI-enhanced title and description
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content,
claim it here .
Available Formats
Download as PDF or read online on Scribd
Go to previous items Go to next items
Save 523H0164-Logic2 For Later a) Eury (Nteger is a real number
True
qe Set of BB ts subsed of R
b) OSs cr positive feal nunbe-
False
PoxTNMe ser ig greater pen O anol
Negative Sea VES €ess than °
a) Ley rol number /s an ateger
False
Ros much heater than 2>)
dhet PCx) we the predicate XS 4
5¢
Pca) eS
PC ~
4
»)
prc
ARON Arle
z
Pc") >-4 False
60-42) ‘f> 1/ Cig me
Pc-g c
) 8>-4 fals,
3
C) Interval Co,t) » PCx) +s Lelse
Toaerual 01,0): fle) ,'3 gre
the andh set Pos) is Ci; e)
3 x = OS
=> 0,5 DD qhas p Se a
Counrerecample
AA) wed, ned
ny mn 142.92
thus Me4,-n 71 /s cownrer tam pleAGB a t dino Sar x, XS expr
b t real number x, x /'5 pos/mue
or X ss negative or Xx /'s Dero
CM integers X, st 2147831 gy
A> a ) 3 on exere(se 4 such phot x fas
answer
18 Cer 2D be the Set of
Your school
Mes) be “3 i's a meth mayor
C&G) be “sysq CS student ”
all smdents at
E Cs) _ as rear Engines ting Staclen "
a) 3s €0 such ther CECA Cs)
sao 1Gcene > eG) )
e) Js EP such cher Cees ecsyy 4
Cie & OD Such hor C Cr) A~EG))ae
a) WY computer pegamax, (fx (s 4
Java p? gyro then xXx has co AeasT S Lines
23 a) A. tx, (fa fs an ape (ater |
ariangle tren Lis (s2SCeles
2. ¥ @ quilateral pales, a js
(isosceles
24 ad A. Ja haw x such Thar /'s
mad
2° 3x suchther x is a hatter
and x (Ss Mel
28 by) woe , Real(x)A Neglx) > FosC-x)
Tre
A Fx such ther Real (x) A fn1 Cx)
+r30 bd) wy , Pimelx) 3 ~ S$ pier)
fer any sateger ft (109 agri number
then jp /s POT perfeer Square
Tre
because pont Number only Aig 4
irgelt and 43.2
A
ad 3x COA ~A4G))
Js is a cofreer Negetor
b) tx COCx) > ~fCx))
No
C) Ax CACK)A Dery)
No
a) Ux CPCx)> aACr))
Neo
e) Ix CIC) AAC)
Core of
f) aN CACx) > ~0(r))
No
2 Ar Da Correct megat’on3 a) t fish Ob, 06 has ge Ils
FJ Lh x Suh thar x oes r0 +
have gris
c) SF a mows 9 gach phat mm 15 ower
6 hm Loy
Me mew mM + M's Nor etl é
hours ConsAG et teal number un, fF x72 4 geen xS6
a 3 co Peal nuuber 9 such Fao er
and x SO
Cee ee Gx) ee) ae
(x>0 or xi)
DF a real run x gud ther x(x)
(Ss oe x 1's bemrvren
-1 and O
20 ¢ fategysa ,b ande aus
(a-b ps ever ancl bo /s ever)
qghen a-c 7s even
D3 ees poar a -l, i
RUM ay A hes ever ard a 6 5 ol22 fat n, EF ar psedd prey
nis odd
DF an (a7 n sack ther n*
fsodd ard nis Ren
4S tN | Cdivr schh by 40a) >
Aryew Se 4g 84.)
megaten © Fon suet, thar C dew ble Hata)
Aw dees be Bln)
+ there evars a0 (17 char 7s
diese hy 4 and 5 ror druivbh
by s* x hashagelnceoneCx) 2 /Shopyg))
Alegere?! Ix such than Chas lLaye Lint)
A= sMepeyc)
- Thee €xi'sTt a (Perse rhe has
co large facore and /sn0t hepey
3.3
) aS 46
ma
ere vic Py Py GE enh er
Aty Bq
Ne gare : 3x (A O such ther
Yyin £ , aby pf1) Jv nD such thar ¥y in &
at Y =-y
Negor om = ¥ax ia D, Jy we
sic That Mey & “of
43 a) E very color ¢s ThE color
of at Least ene animal
b) Negar’s
43 «color C gael qhar Y anmels
A, As Not ¢ oloret cal
a) Ther “x8 a hook
ther ekeny per Son bos seat
b> Me ganm
ot beok b,g xX ene
p suc thar » has not nor reat
b
AS 2H ER, J 2 peal nawhe-
4 gad glar XkY =O
a) for xvey real punber
n) qhem €x/S7TS & Feel
Ranher Y sul, Thar Their Sum 1's
2LLO
L) 3 a real nun x gath ler #4
real nuarbes fe asa)
Por every real num ber x ,
there axsts arecll Aum y Sut
Hyer firecr Sum "6 Dero
b)
Je peal yun Fue Nury
a ao) Geo
33 a) tn AP, Jy €P sub thay
Any)
b) Negaden -
Sx CP gu thar My er
ag 7)3
NO) Bee £P sud chet Pye P, LCzy)
b) 4x EP, Fy CP suck that
ve C14)
2? oe (Ca *s £¥en) 3
Jae Er sub tar n:2k))
b) Foe 2 sub tar Cln is even)
A Cake 2,0420)
3%
a) se E frog gut that
C¥qE Ques, CCpa))
b) tp & fg, Clq € Ques sudr
frat AAC (), p)