Q.

1 a Show that the compound proposition

[(p>)a(gor)a(rop)]>[(p>q)a(gr)arp)] for

b|Establish

C
Inference:
the validity
pA (p
For the universe of all
)
primitive statements p, q, r is logicallyequivalence.
of the following argument using the Rules of
A(sVr) A(r ~ )}
integers, let p(x), q(x), r(x), s(x)
following open statements: p(x): x>0, q(x): x is even, r(x): x is a perfect
(sVt).
and t(x)denote the

square, s(x): x is divisible by 3, t(x): x is divisible by 7. Write the following

statements in symbolic form: i) At least one integer is even. ii) There exists a
positive integer that is even. iii) If x is even, then 3. iv) No
x is not divisible by
even integer is divisible by 7.v) There exists even integer divisible by 3.

OR
Q.2 Define a tautology. Prove that, for any propositions p, q, r the compound
propositions, {(p-q)A(q-r)}+{(pr)} is tautology.

b|Prove the following using laws of logic: pq-»r)(pA)r.

Give i) direct proof i) indirect proof ii) proof by contradiction for the
following statenment: "ifn is an odd integer then nt9 is an even integer".
Q.1 Define tautology. Show that [(pvq)a(p )a(g r)]r is a
tautology by constructing the truth table.
bProve the following using the laws of logic
bpa(-gAr)]v[(qAr)v(par)] r.
n
For any two odd integers and n, show that ()m+n is even (ii) mn is
odd.

OR
Q.2 a Define i) an open statement ii) Quantifiers

b|Write the following argument in symbolic form and then establish the
validity
If A gets the Supervisor's position and works hard, then he will get a
raise. If he gets a raise, then he will buy a car. He has not purchased a
car. Therefore he did not get the Supervisor's position or he did not
work hard.
For the following statements, the universe comprises all non-zero
integers.
Determine the truth value of each statement.
a) xy [xy = 1] b) = 1]
D xty [xy c) VxDy xy =1]
d) Dx y[(2x + y=5)a(x- 3y =-8)] e) D xy[(3x-y =
7)a(2x +4y =3)]
 Module
that for anypropositions p, q, r the compound
Q.1 a. Define tautology. Prove
proposition.
q-v r) is a tautology
I(p A 19) r][p
[Link] whether the following-is a valid argument:
If Ram studies then he will pass 12
If Ram passes 12then his father gifts him abike.
IfRam doesnt play video game then he will pass 12".
Ram did not get a bike.
Ram plaýed video game.
.:.

C. Give direct proofs of the statements:

i) Ifk andl are odd then k +lis even.
ii) Ifkahd lare odd then k/ is odde
OR
Q.2 a. Define ()Proposition (i) Open statement (ii)Quantifiers

b. Using the laws oflogic, pfove thefollowing logicalquivalence:

[(up vig)A (Fovp)Ap]pA1q
C. Write the
following tatément in symbolic form and find its nogation:
<fall triangles afe right angled then no tiangle is equilateral'
 Module
Q.1 Define Tautology. Show that

r)a(q r)]r is a tautology by constructing the truth

(pvq)a(p
table.

b. Prove the following using the laws of logic:

P(q )(p A q) r

C. Give Direct proof

i) ii) indirect proof ii) proofby contradiction for

the following statement: "If n is an odd integer

then n +
9 is an even
integer".

OR
Q.2 a. Test whether the following arguments are valid:

TS

par)

symbolic form and then establish the

b. Write the following argument in

validity.
Ifa triangle has two equal sides, then it is isosccles.
Ifa triangle is isosceles, then it has two equal angles.
The triangle ABC does not have two equal angles.
.. ABC does not have two equal sides.

C. For the following statements, the universe comprises all non-zero integers.
Determine the truth value of each statement:
i) Bx 3y [xy=1]
Bx Vy [xy=1]
ii) VxBy [xy= 1]
iv) 3x 3y [(2x+y=5) ^(x-3y=-8)]
Bx 3y (3x-y= 7) a (2x + 4y= 3)]
 Module-1
a. Define Tautology and Contradict ion. Show that for
Q.1 any proposition p and q
the compound proposition [lp (p v )]is a tautology and the compound
proposition [p a (pa )]is a contradiction by using truth
table.

b. Prove the following logical equivalence without using truth table:

i) [(p )a qA(rV~)}] qv P)

ii) {pA -qa)]v (qan)v(pAr)} r

C. Prove the following is a valid argument :

p (qar)
IS
-(qas)
a
OR
Q.2 a. For inverse of numbers, let p(x): x >0, q(x): x>0, r(x) : x-3x-4-0
all real

s(x): x*-3 >0. Determine the truth values of thefollowing:

(i) Sx, p(x) ^q(x) (ii) Vx, p(x) q(x)
(ii) Vx,q(x) s(x) (iv) tx,r(x) v s(x)

b. Test the validity of the following arguments:

Ifa triangle has two equalsides, then it is isosceles

Ifa triangle is isosceles, then has two equal angles

it

The triangle ABC does not havetwo equal angles

..ABC does not have two equal sides

C. Give indirect proof for the following statement:

(i) For allintegers k and 1, ifkl is odd, then both k and are odd. l

(i1) For all integers k and 1, if k +

I is even, then k and l are both
even or both odd.

Module -2
 Course outcomes.

Module – 1
Q.1 a. Define Tautology, show that

b.

C.
¬[{(pv )
Prove the following using

Ar} q
(pv)a{(pr)a(q)}r
the laws

Give i) a direct proof ii) an Indirect

of logic

H(pv q)
:

ar]v. qAr.
proof for the following statementIf
n is an odd integer then n +9
is an even integer".

OR
Q.2 . Define i)an open statement ii) quantifiers.

b. Test the validity of the following arguments.

i) ii)

pAq P

rd
Pqr) P~q
NS
NS
C. For the following statements the universe comprises all non-zero integers.

Determine thetruth value of each statement.

i) [xy- 1]
Bx, Ey i) Bx, Vy [xy= 1]
ii) Vx,By [xy = 1] iv) Ex,By [(2x + y =5) ^(*-3y =-8)]
v) x 3y [(3x- y= 17) ^(2x +4y =3)].

Module -2