Scribd
Upload
404 views

Course: Engineering Mathematics III Course Code: MA2101 (CCE/CS/IT) Assignment 4 - Propositional and Predicate Calculus

This document contains 10 questions regarding propositional and predicate calculus. The questions cover topics such as: - Using truth tables to determine if statements are tautologies, contradictions, or contingencies - Expressing statements using quantifiers over given domains and predicates - Translating statements into logical expressions using predicates, quantifiers, and logical connectives - Determining if two conditional statements are logically equivalent - Showing that a given statement is a tautology The document provides practice with key concepts in propositional and predicate logic through a variety of question types.

Uploaded by

bruh
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
404 views

Course: Engineering Mathematics III Course Code: MA2101 (CCE/CS/IT) Assignment 4 - Propositional and Predicate Calculus

This document contains 10 questions regarding propositional and predicate calculus. The questions cover topics such as: - Using truth tables to determine if statements are tautologies, contradictions, or contingencies - Expressing statements using quantifiers over given domains and predicates - Translating statements into logical expressions using predicates, quantifiers, and logical connectives - Determining if two conditional statements are logically equivalent - Showing that a given statement is a tautology The document provides practice with key concepts in propositional and predicate logic through a variety of question types.

Uploaded by

bruh
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 7

Course: Engineering Mathematics III

Course Code: MA2101 (CCE/CS/IT)


Assignment 4 – Propositional and Predicate Calculus
Q1. By using truth table, find whether the following is a tautology, contradiction, or contingency
in propositional variables 𝑝, 𝑞 and 𝑟:
((𝑝 → 𝑞) ∧ (𝑝 ∨ 𝑟) ∧ (∼ 𝑞)) → 𝑟

Q2. Over the universe of four wheelers, let 𝐴(𝑥): 𝑥 is a four wheeler, 𝐵(𝑥): 𝑥 is a car and 𝐶(𝑥): 𝑥
is manufactured by Nissan. Express the following statements using quantifiers.
i) Every car is a four-wheeler manufactured by Nissan.
ii) There are cars that are not manufactured by Nissan.
iii) Every four-wheeler is a car.
Q3. By using truth table, find whether the following is a tautology, contradiction or contingency
in propositional variables 𝑝, 𝑞 and 𝑟:
((𝑝 → 𝑞) ∧ (𝑞 → 𝑟)) → (𝑝 → 𝑟)

Q4. Over the universe of students at MUJ, let 𝑃(𝑥): 𝑥 has studied computer programming and
𝑄(𝑥): 𝑥 is an engineer. Express the following statements using quantifiers.
i) Every student has studied computer programming, but some are not engineers.
ii) Atleast one of the students who has studied the computer programming is an engineer.
iii) If there is a student who is engineer, then computer programming must be studied by the
student.
Q5. Let p and q be the propositions
p : It is below freezing.
q : It is snowing.
Write these propositions using p and q and logical connectives (including negations).
(a) It is below freezing but not snowing.
(b) It is not below freezing, and it is not snowing.
(c) It is either snowing or below freezing (or both).
(d) If it is below freezing, it is also snowing.
(e) Either it is below freezing, or it is snowing, but it is not snowing if it is below freezing.
(f ) That it is below freezing is necessary and sufficient for it to be snowing.
Q6. Assume x is a particular real number. Determine whether statement (a) and (b) are logically
equivalent
a) x < 2 or it is not the case that 0 < x < 3.
b) x  0 or either x < 2 or x ≥ 3.
Do this question by letting p, q, r be the 3 statement variables for the 3 statements in a) and b).
Then write out a) and b) in symbols and now construct a truth table and a justifying sentence.
Q7. There are two restaurants next to each other one has sign that says, “Good food is not cheap”
and other has a sign that says, “Cheap food is not good”. Are the signs saying the same thing?
Consider the conditional statement p and verify the result by truth table.

Q8. Let P(x) be the statement “x can speak French” and let Q(x) be the statement “x knows the
computer language C++.” Express each of these sentences in terms of P(x), Q(x), quantifiers, and
logical connectives. The domain for quantifiers consists of all students of MUJ in 2019-20.
(a) There is a student at MUJ who can speak French and who knows C++.
(b) There is a student at MUJ who can speak French but who does not know C++.

Q9. Translate each of these statements into logical expressions using predicates, quantifiers, and
logical connectives. Let C(x) denote the predicate “x is in the correct place”, let E(x) denote the
predicate “x is in excellent condition”, and let T(x) denote the predicate “x is a tool”. and suppose
that the domain consists of all tools.
i) Something is not in the correct place.
ii) All tools are in the correct place and are in excellent condition.

Q10. Show that the following statement is a tautology.

((𝑝 ∨ 𝑞) ∧∼ 𝑝) → 𝑞

You might also like