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
You are on page 1/ 6
ey Legfe Asha kN
«| waite docon the following, in aapernl eA, amd
. | Indicate hao mony
| examine huthey tt pollacing conditional & a tautology .
{pa an} —> fcpa) > gn}
+] Using. the Laws 9 Logic prove the tepfcal equivalence +
=[Lcpvaaxy sq] = [> fcpvadaq vag] adr
gind its
negation:
“Alt indegovs one api gatimal numbeu and ome. national
numbew weet integers"
Ata sonoaing om
ment ts valict «
aA
+ i
Sits
motos dre NARA for Maa truth tate. of
the compourd proposition (pv79) 9 [C7r4) t]-
Find the tauth alu of Anis pooposition # pandy an tauo
ard q,4-t ane falre-
Give an tndinect proof & proof by contradiction wf the Atatement ¢
* Forel integer, { n&%3 odd then rn Ps edd.”
+) what 73 0 poopetition? kek p and 4 be the panperitian “Aoimmin g inthe
nwo fey ADhore 18 altowed” and ‘sharks have been near tre
400 Ahowre."a)
Ss ®
Expoum each x thr jotpemny compound. Prpesition aA an Sag.lish.
Aunéence « i
D pray ti) apy i) perg
“T] thenome team wofns., then it 6 aintng.” oats the
commeoue, Enverie and contrapestitve of ths above Aerdence,
;ST. the oe [cperaacgear)A (re>p]
ts spelen to [ep»4)Ag>ACr pI].
3.7 the Jollovotn ongurnant ¥ valid
“7 today % Taesdoy, T have a test in Natheradter or Economy
q] ™y Ecoronntes pronfert or is Ait , Twillnot have a test Ih
Economics + Tada ts Taesday and my Economics lexsor TA
Altke “Thowefore Thave a test in M ss
tohak fs the truth vole 9 oe, Otr=2)
i) te domain amsists f Ak Aeal nA
‘Tnvrepens +
wy Uae
N and ermplity +
1) gx, [prov qe]
We. Ppewa 400]
WY Bx, [{ peovgtns x03]a
®»)
“
« tu)
16)
Prove the Jouneng without wing “TT.
» [pvav C7pA74 avn] & (prvyvr)
i [¢-4pv79) —>(paqav)] pry, :
Arne convoue, tnvune. bs contrapesitive of, a condittonal pq.
toart. Me convene, Invuve by comtrag® of the condi fonol
“TL O quadniiatezal a. qanaueropran. then ts Alegerols
bisect each other’,
Hxfine tautology , contradiction & contingntye
gine the begica! connectives + conjunction _disyunctton and
conditional with trun tablet»
| Check the-palldity of the iprawong oogumont aby Ruler
of Tinfeninee !
Ci p—rQaw . {1 pet
93> AP \ \g—r
sr
=
«| Pave tha alld un anathod of contaadiction +
“The squons of dn) even indepen 07 vey rege,”a
oT: forery 3 propositions pqs
(p—>cqary] & [ep>9) alp-3V]
Ft, 1A(t
A.) 7 A= 419.3.4.5) is tee unfvonal seb, chattering the Pruth
cposunes Cyne A, (era <10)
CD Aaea, Cra =10)
cnt) WreA, O&< as)
28] 27. [cpa P=DACQ >] FH a tautology «
BSS T: ot AuNny ‘this Ay temnoon and
rte coldly than yes ", “we wil aotrnroong a 1ets Mam,
a cance taip\ and
“ff wednkes ig auneet* lead oo the
conclusion "we weil be home by° sg
30
watts tht negation of
(x) AM Armurteans eat cheese
Cit) Thine 1s a veoman echohos taken a. jight ona artine (ny
‘the Worlal »
Prove ty wane tau of bogie:
CED poeyaed & Cprgd > cprv)
OD Capacagard] vig mv par] >
J] Wntte the corwense , wavene & constrapositive of
“Tf Gora 13 a compound ~then Org gen fsa qe
qe a Afmect pavof and Petan 1 we of
“Ty Bota odd. then ntsodd.”
Examine whither 5 crvg >7} a> for wep j bo
tautology cornet
coat is thetruth vulue of Bx. per). whire Pla) i ee
Bobet SA>t0) and The tunfvense I cliscoume consists
of the positive Integeu not exceeding yd
3-7. tht Compound pooposittons “TE pvCapaqyy and “pang
ons tapeally equitvatint by usty dnios of tog.+ 3)
» 32
au,
36.
a1.
cc) 9
|
Lek pig. be. propositions having che tntuth values 0,0 and |
sespecttouy . Find he Aneth values 7
¥) Cpva) vx iW) Cpaqar
Waite Lhe convene inverse and contsa positive ie
“TQ wan trleger thin 7 Ts. TrULple Of 3"
hat te untvore be Ve sek yall integous « Constela Aho
Jollactng ‘open Atatemnonts
prs nrs . qtad s W4+I fs even WADE XSO
nite down the truth values of D pla) ti) pavers),
Test whethu the ea is valkd-
Ti Sachin htts a he, gees alates casi Sahin
nibs a Contuny, ve os Balls i Fore cay,
. Negate and seenplity the Jotiaving r
D Fa, [peovgeo]
it) (4x. Cpexv goo) rx)
Give the dinect ard indinect pave 7
Yn ts an odd tedteger , chery NHI is On even rndeger
Yoeg, ht fos ¢ fepe , powe
Copvgacpveqyvg S Pva.