UNIT 4-Mathematical Logic (18MAT11)
UNIT 4-Mathematical Logic (18MAT11)
Sez (i) P—>@Yx) 8 False my whon Pu tue k(Avr)a False
(avr) @ False S Wis False & Y I False
*. The Tuk values ¥ Ris, Yate Oh, One
Derpectively.
= Ms
(i) Gi PA (@—> 7) | Tme
> Pis Tame and*(q x) & Tme
(yr) &B True | when is Twe 2 ¥ is Tue
y is False 0 ¥ isTue
vb False 2 is Fabe
Bs Pid, F AO Sy by
2. Tf a propostivon q har the toutk valae 1, determme
all trutk valere ascigomentt for the primitive propositems
PE and £ fey which the tou vakre the follotng
Coupeund pe peGtar ‘s 1.
[a > f Cap) ats a [14 Grae)
det U= q —> f{ Capvy)ATSY |= 15 (r700)a The Hiveet Compard propestton becomes (av) -
Giew (UAV) bah Trt value 2
i 2 US Twel!) & Vv w& Fuels)
ieee SCG tall feihivate fb oF hae tue Wawa 1
a 2. Se CapvyA7A hed the feutk value |
¥ PVE Tee & 7% & Tue
> A bod Tate Valuo © (False)
; Since 18 hes tuk value | & V hol Toul value |
et ne Garaw) net be |
> Tr is Thue (since Wal Tru value 1)
> xy 1s False Co)
ie since v {tS False paapyr Te
oS. DP mkt be Tue
—_— - > P__ tiwdet —be fm False (o)
2. The otk values F Pf, 7, S ohe 0, 0,0 Fedperbuely,
~~ Cor)
Trt duble_5G) ps Ga) W)__—PACr
273
3 _Let P.% and y be paopositions having truth values 3
O10, | SeBpettively . Find the fuk valaes of the
__ fellowsts, compound paopeditions.
Q) Ova) vr (i) Cpag)ar (ii) (pa vy) —>Y
(vi) p> Cy => ar)OC Taadedy, Conteadicten, )
1. Show treet Levan Cernaterr|—or ? 8 a Taudo logy
by comsteucttig he “trultt table. _
The Teule teble & slven by
sr The
CP, — =
|v | x _| (Pvy| > en] Qa (renacyr)] x > yl
Tae aay Zz ve T E=
fe Saar F F e 5 r
els [iz ¥r F i
Ea | T F fis) Fr mean
ae o ite Pe T
rile |r F E T
aa z ne high iam
E lore = = | le ‘ a
a Taudebsy
_#, The ghen Prepesittcn is
show that [L0Pva) At (Ae ACtav7r)) [Crp aze) ve Paty)
2.
ha tanbeledy ating Laws ¢ Myée-
Sele het = (pva) AT L7PACTHVTY)} hi
7 and V = (pATu) V Capaty)
Ten W = ave —> I Dy
' Consider wae eee Cavan f aut is)
= (pve) A {Pv tem vIn $
Ss (pve) ALPV@An)y 5
_ALevo ark _v {eva A@and} — ristipte
Le P V[fvayar sar] celeron late,
u