AssiGNmENT- 61 Ni

Name Nitish Ranjan

Sec- M
Roll No. - 3 3
St ID - 210 oo
Sub.Diserete Marlhemancal
Sem Structure s.

L i te propositios for the follou iy SentencAS

Se

a3f T plaj fpotballthon T shdy

As P 3 pla
footbo
Tun T S dy.

6) Playin football is Sufficient for me te stu dy.

P: Playin foeall s AtsttoeS uthei nt
T t u dy.
Pa

c) Playing fpotboll i necce$s avy Cine cofieient for me to

Study

() Playjing ootblls sufhceint for e to stud

 2,
Nh
a Wihout construcdirq truth tb she th
e quwo lonc

Ant
PP

) v ~P
V P

LHS AHS

An HS
Paa) a(P>v)
pva)a (~pvr) LPq Pva
by sing distibuti las

(pA?v(qAr)
P()
P (Ar) LP E p yJ
Cc) Cp)(q-v) (rvq)>v
Ant L
( e ) (1)
OLiny P
(pY A(~1VV
Osi diati be tir lau
(PAc) v(YAY)
(pA1)(Y)
Csing Tdenpetpt law
p)vG) De-mo-'s Law7
CPva

G3 waheut ContrucAi truth Aba

DYopoSom ae tavttoloie
shes
4to!lowin
(o (tAo) (pvq)
A ) (Pv)
Jsir >q
V)(P
pP) (~po9)(fP)(~4P)

34 audel e i
) tPAlpv)1q
AnsC PACPwa)J9
Usina is tributi las

AP) v(~P)
f(~pA))-> [Nayahion Las
Oominati om Law
Using CPq

Demogans la

b As coci a H Lc

CP v C v )
PT
ET

S th is huatolagi.
(C) PaCPp)]
Ans Cpn(pv1) P P2qa ~pv]

LFV CPA)]4 1 TNeyai- Law

lp Aa)v
 LPe rg any Lao
() v ( v ) Dis+i butive La]
Cva)v 3dntit La
T Domination Law

tdite predicatrs forthefollosinm Sentenus

(a) Al the Studenhs in the class have visiBee ibror.j
Aust Xiset ostu dents
PCx) x in
t class
(x) x vi'sited lbrary

Po) G(A)
b)Some Studunts in th elast have not visitod t librwy:|
Arng 3 PCx) a(a)

e)No Stueons in
t elass have vicited t ibrory
An t n Po) a)

()A tu stuelents in th clats have not visite

ibrory
Ams

S ChecK ta Jalidit
of the follousing argument "T|
3 tomewyat, hen T uy swt. Tt T g
morkt, then T ul happy.heve fuvt 9t I ,
go to
Mav ket, then I
buy Sweet and fetl
appy.
Ans 9 3oto market
9 buy Swrut

R fel happy
S marlet thun 9 5 wat
nd feel hapPj

P aR P P->R s [tP-sae]H,AMH,A
T T
T

T F F
F T T
T T
FTIF T T
F
F FIT T F
T

So the arqumnt s not -vali,

A6 Shou dhot t[emva)]*«[) v3Oo) vsing

method a thed of contro positi)
Sel et asum ont contrary thet Ha con elojinnis

CP) v e(n))
 pCa)
n G (n)
a(a)
Pla) A~a (a)
t P la) v aa)
Pa) v a[a]
UTe+1 (p (a) v ala]
= P Ca) vGa) n
CPa)vG()
is a Con traclichom.
Thave tov Asomp is iral cmd conclo gioa
ruA