Sessional Exam-2 (ODDSEM.
-2025-26)
JMSIT, Ghaziabad
Sub Name: DISCRETE STRUCTURE AND THEORY OF LOGIC
Sub Code: BCS-303
Sem/Branch: 3rd sem / CSE-AIML/ CSE
Max. Marks Allotted:50 Time Allotted:2:30Hrs
Note: Attempt question from each section as per instructions.
Section-A
1. Attempt all parts 2x4=8
QN. Question
a Write the contra positive of the implication: “if it is Sunday then it is a holiday”.
for all a b, ∈ Z. Find the identity element of the group <Z,*>
b Let Z be the group of integers with binary operation * defined by a * b = a + b −2,
Show that the propositions 𝑝→𝑞 𝑎𝑛𝑑 ¬𝑝∨𝑞 are logically equivalent.
c Use quantifiers to say that √3 is not a rational number.
d
Section-B
2. Attempt any three parts of the following: 4x3=12
Show that ((P ∨ Q) ∧ ¬(¬ Q∨ ¬ R)) ∨ (¬ P Q ∨ ¬ ) ∨ (¬ P R ∨ ¬ ) is a tautology by
QN. Question
a
using equivalences
b Let A= {1,2,3,4,5,6}. Find the values of (i) (4,1,2,5)∘(3,6,5)
c Explain various Rules of Inference for Propositional Logic
d Translate the following statements in symbolic form
i. The sum of two positive integers is always positive.
ii. Everyone is loved by someone.
iii. Some people are not admired by everyone.
iv. If a person is female and is a parent, then this person is someone’s
mother.
Section-C
3. Attempt any three part of the following: 4x3=12
QN. Question
a Prove the validity of the following argument “if the races are fixed so the casinos are
crooked, then the tourist trade will decline. If the tourist trade decreases, then the
police will be happy. The police force is never happy. Therefore, the races are not
fixed.
b Prove that inverse of an element of a group is unique.
c Define tautology, contradiction and contingency? Check whether (p ˅ q) ˄ ( ~ p ˅ r)
→ (q ˅ r) is a tautology, contradiction or contingency
d Define permutation group. Let A= {1,2,3,4,5,6,7,8}. Find whether the following
permutation of A are even or odd.
(i) (6,4,2,1,5)
Section - D
4. Attempt any three part of the following: 4x3=12
QN
.
= (ac, bc + d) ∀ (a, b), (c, d)ϵ G. Show that (G, *) is a group.
a Let G = {(a, b) | a, b ϵ R, a ≠ 0}. Define a binary operation * on G by (a, b) *(c, d)
b Show that s is valid conclusion, from the premises p⇒q, p⇒r ,∼(q∧r) and s ∨ p.
c Write the properties of Group. Show that the set (1,2,3,4,5) form a group under the
operation X6.
d Prove that (a-1)-1 = a
Section - E
5. Attempt any two part of the following: 2x3=06
QN
.
a Test the validity of the following argument:
If I study then I will pass in Mathematics.
If I do not play basketball then I will study.
But I failed in Mathematics.
Therefore, I must have played basketball.
b Translate the following sentences in quantified expressions
of predicate logic.
i) All students need financial aid.
ii) Some cows are not white.
iii) Suresh will get if division if and only if he gets first div.
c Find the order of element 1,2,3,4 in a group G={0,1,2,3,4}, +5.
Consider the following
schema for institute
library:
Student (RollNo, Name,
Father_ Name, Branch)
Book (ISBN, Title,
Author, Publisher)
Issue (RollNo, ISBN,
Date-of –Issue)
Write the following
queries in SQL and
relational algebra:
(i) List roll number and
name of all students of
the branch ‘CSE’.
(ii) Find the name of
student who has issued
a book published by
‘ABC’
publisher.
(iii) List title of all books
and their authors issued
to a student ‘RAM’.
(iv) List title of all books
issued on or before
December 1, 2020.
(v) List all books
published by publisher
‘ABC
Consider the following
schema for institute
library:
Student (RollNo, Name,
Father_ Name, Branch)
Book (ISBN, Title,
Author, Publisher)
Issue (RollNo, ISBN,
Date-of –Issue)
Write the following
queries in SQL and
relational algebra:
(i) List roll number and
name of all students of
the branch ‘CSE’.
(ii) Find the name of
student who has issued
a book published by
‘ABC’
publisher.
(iii) List title of all books
and their authors issued
to a student ‘RAM’.
(iv) List title of all books
issued on or before
December 1, 2020.
(v) List all books
published by publisher
‘ABC
Consider the following
schema for institute
library:
Student (RollNo, Name,
Father_ Name, Branch)
Book (ISBN, Title,
Author, Publisher)
Issue (RollNo, ISBN,
Date-of –Issue)
Write the following
queries in SQL and
relational algebra:
(i) List roll number and
name of all students of
the branch ‘CSE’.
(ii) Find the name of
student who has issued
a book published by
‘ABC’
publisher.
(iii) List title of all books
and their authors issued
to a student ‘RAM’.
(iv) List title of all books
issued on or before
December 1, 2020.
(v) List all books
published by publisher
‘ABC
Consider the following
schema for institute
library:
Student (RollNo, Name,
Father_ Name, Branch)
Book (ISBN, Title,
Author, Publisher)
Issue (RollNo, ISBN,
Date-of –Issue)
Write the following
queries in SQL and
relational algebra:
(i) List roll number and
name of all students of
the branch ‘CSE’.
(ii) Find the name of
student who has issued
a book published by
‘ABC’
publisher.
(iii) List title of all books
and their authors issued
to a student ‘RAM’.
(iv) List title of all books
issued on or before
December 1, 2020.
(v) List all books
published by publisher
‘ABC