STW124MS – Logic and Sets

Assignment Title:
Coursework- Assignment I

Intake:
SEPTMEBER/NOVEMBER 2019

Importantnotes
• Please refer to the Assignment PresentationRequirements for advice on how to
set out your assignment.These can be found on theSoftwarica’s Moodle
Course Page.
• You are expected to use the CUHarvard referencing format on any written
work. For support and advice on how this students can contact Centre for
Academic Writing (CAW).
• Please notify your registry course support team and module leader for disability
support.
• Any student requiring an extension should follow the university process as
outlined at here
• The College cannot take responsibility for any coursework lost or corrupted on
disks, laptops or personal computer. Students should therefore regularly
back-up any work and are advised to save it on external media or system.
• If there are technical or performance issues that prevent students submitting
Coursework through the online coursework submission system on the day of
a coursework deadline, an appropriate extension to the coursework submission
deadline will be agreed. This extension will normally be 24 hours or the next
working day if the deadline falls on a Friday or over the weekend period. This
will be communicated via email and as a Softwarica’s Moodle announcement.
• You must complete the ‘Assessment Submission and Declaration
Form’.The form is available on Softwarica’s Moodle Course Page.
• Please make a note of there commended word count.You could lose marks if
you write 10%more or less than this.
• You must submit a paper copy and digital copy(on disk or similarly acceptable
medium).Media containing viruses, or media that cannot be run directly,will
result in a fail grade being awarded for this assessment.
• All electronic media will be checked for plagiarism.
Assignment Brief: 2019/20

Module Title: Ind Cohort Module Code

Logic and Sets
Sept 2019 STW124MS

Coursework Title Handout Date:

Assignment I
09/12/2019
Lecturer: Due Date
Shanta Rayamajhi Basnet
27/12/2019

(Before 5 PM)

Estimated Time(hrs): 5 Coursework % of Module

Word Limit: Type: Mark
Written 40%
Assignment

Submission arrangement To Softwarica Assigned Department

File types and method of recording: Submission should be with one file
Mark and Feedback date: 06/03/2020
Mark and Feedback method: Mark and Feedback file will be released on Moodle

Module Learning Outcomes Assessed:

1. Understanding of Propositional Logic

2. Understanding of Predicate Logic
3. Set , Relation and Function . Its Application and Database
Section: A [40 Marks]
There are (EIGHT) 8 questions in this section, attempt ALL questions. Each
question carries (FIVE) 5 marks.
Q.N.1
a.
i. Find the truth value of ¬(X ∧ Y) ⇒ Z if X and Z are false, and Y is true.
ii. What is the truth value if the brackets are removed?
b.
Let p and q be the proposition
p: Swimming is allowed.
q: Sharks have been spotted near the shores
Express each of the following compound propositions as an English sentence.
i.
q :
ii. pq:
iii.
p  q :
iv.
p  q :

c. Write the following statement in its equivalent converse, inverse and contrapositive form “if it
rains, then I buy a new umbrella”. (CLO1)
Q.N.2
Using laws of logic, prove that the following propositions are tautologies.
a. [(p ʌ ¬q) ᴠ ¬p] ᴠ q
b. [p ᴠ (¬ p ʌ q)] ᴠ (¬ p ʌ ¬ q) (CLO1)

Q.N.3
A directory contains a set of large files, L = {f 1, f 2, f 3}, and set of data files,
D = {d1, f 2, a1000}, and a set of text files T = {t1, t2, f 1, f 2}.
a. Give a set expression for the set of large data files, and write the set out.
b. Repeat for the set of text files which are not large.
c. Repeat for the set of large data files which are plain text.
d. Construct for the set of text files which are neither large nor data files (CLO2)
Q.N.4

Given that universal set U = {x: x ≤ 15, x is a positive integer}

 A = {4, 6, 7, 8, 9, 13}, B = {the multiple of 4}, C = {6, 8, 9, 10, 12, and 15}. Then find

a. A ∩ C

b. B ∪ C

c. .̅̅̅̅̅̅̅̅̅̅̅̅̅̅
∩ ∩

d. A

e. (A∪ B) ∩C

(CLO2)

Q.N.5

a. Express the following using the language of predicate calculus, where it is understood that the
people being discussed is in the courtroom. If any sentence is ambiguous, give all possible
symbolic versions.
i. All judges are sober.
ii. There is a dishonest lawyer.
iii. All lawyers are honest.
iv. All defendants are innocent.
v. Some plaintiffs are lawyers.
b. Express the following in normal English:
i. ∀x ∈ C : J(x) ∨ S(x)
ii. ∀x ∈C : H(x) ∧ L(x) ⇒ S(x)
iii. ∃x ∈C : P(x) ∧ D(x)
c.Give the negation of each statement both in symbolic form and in natural English.
i. All judges are sober.
ii. There is a dishonest lawyer
iii. All lawyers are honest.
(CLO2)
Q.N.6
Construct a membership table for each of the following expressions:
(a) ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
∪ ∪ ))
(b) (X ∩ Y) ∪ (X ∩ ̅ ) (CLO2)
Q.N.7
a. What is the negation of the statements ∀ ) )?
b. What is truth value of ∀ ) where P(x) is the statement “ ” and the domain consists
of the positive integers not exceeding 4? (CLO2)
Q.N.8
Three Lecturers Albert, Bertha, Harry are involved in teaching in degree program in
Mathematics. Albert teaches Algebra, calculus and logic. Bertha teaches Algebra, calculus and
Geometry. Harry teaches Algebra, Geometry and Differential Equations. Find the combinations
of projection and inverse projection maps that calculate
a. The courses that Albert teach.
b. The lecturers that teach differential Equations.
c. Those lecturers with course in common with Albert.
d. Those courses taught by anybody who teaches Differential Equations.
e. All those lectures teaching both algebra and Logic. (CLO2)

Section: B [60 Marks]

There are (SIX) 6 questions in this section, attempt ALL questions. Each
question carries (TEN) 10 marks.
Q.N.1

Construct a truth table to establish the following compound propositions tautology,

contradiction or contingency

i. (p ∧ q) ∨ [~p∨ (p∧~q)]
ii. [ ∨r)] ∧~q) ∧~r] (CLO1)

Q.N.2
a. let X= {e, g, h, i} and Y={5,6,7,8,9}. Define function f(e) = 9, f(g)= 6, f(h)=8, f(i)= 7.
write the domain ,codomain and range of f.
b. Given that f(x)=3x+2 and g(x) = .Find
i. fog(x) ii. ) (CLO2)

Q.N.3
Let A= {1, 2, 3} and B = {a, b, c} b and C = {x, y, z} then consider R = {(1, b), (2, a), (2, c)}
and S = {(a, y),(b, x),(c, y),(c, z)}.Then,
a. Find the composition of SoR
b. Find the inverse of SoR
c. Show the relation R on arrow diagram, matrix form and directed graph.
d. Find and compare . (CLO2)

Q.N. 4
a. Following a phone in survey on the use Web browsers and chat rooms of 135 people, the surveyors
conclude that 69 of them use browsers, 84 of them use chat rooms to some extent, while 60 use browsers
but not chat rooms. Do you believe these results?
b. A company who wanted to develop its internet presence had 27 of its employees each investigate at
least one of AOL, Demon, and BT. If 14 investigated AOL, 16 investigated BT, and 8 investigated
Demon, while 1 investigated AOL and Demon, 5 investigated AOL and BT, and 5 investigated BT and
Demon, how many investigated all three? (CLO2)
Q.N.5
a. State which rule of inference is used in the argument:
If it rains today, then we will not have a barbecue today. If we don’t have a barbecue today, then
we will have a barbecue tomorrow .Therefore, if it rains today, then we will have a barbecue
tomorrow.
b. Show that the hypothesis is valid: It is not sunny this afternoon and it is colder than yesterday.
We will go swimming only if it is sunny. If we don’t go swimming, then will take a canoe trip, if
we take a canoe trip, then we will be home by sunset .Therefore we will be home by sunset.
(CLO1)
Q.N.6
a. Sketch each of the following relations on {1, 2, 3, 4} × {a, b, c, d}:
i. {(1, a),(2, a),(3, a),(4, a)}
ii. {(1, a),(1, b),(2, c),(3, a),(4, a)}

Explain which are functions, and classify the functions in terms of injectivity, surjectivity and
bijectivity.
b.Let Q be the set of rational numbers. Prove that the function f: suchthat f(x)= 3x+5
for all x∈ is one to one and onto function.Also find ) (CLO2)

The End