Docsity
Log inSign up
Docsity
Prepare for your exams
Prepare for your exams

Study with the several resources on Docsity

Earn points to download
Earn points to download

Earn points by helping other students or get them with a premium plan

Guidelines and tips
Guidelines and tips
Sell on Docsity
Sell on Docsity
Log inSign up

Prepare for your exams

Study with the several resources on Docsity

Find documents

Prepare for your exams with the study notes shared by other students like you on Docsity

Search Store documents

The best documents sold by students who completed their studies

Search through all study resources
Docsity AINEW

Summarize your documents, ask them questions, convert them into quizzes and concept maps

Explore questions

Clear up your doubts by reading the answers to questions asked by your fellow students

Earn points to download

Earn points by helping other students or get them with a premium plan

Share documents
download point icon20 Points

For each uploaded document

Answer questions
download point icon5 Points

For each given answer (max 1 per day)

All the ways to get free points
Get points immediately

Choose a premium plan with all the points you need

Study Opportunities

Choose your next study program

Get in touch with the best universities in the world. Search through thousands of universities and official partners

Community

Ask the community

Ask the community for help and clear up your study doubts

University Rankings

Discover the best universities in your country according to Docsity users

Free resources

Our save-the-student-ebooks!

Download our free guides on studying techniques, anxiety management strategies, and thesis advice from Docsity tutors

From our blog

Exams and Study
Go to the blog

Propositional Logic Questions, Exercises of Mathematical logic

Veeb Nassau County School of Practical NursingMathematical logic

32 Unsolved Practice Problems.

Typology: Exercises

2021/2022

Uploaded on 02/24/2022

photon
photon 🇺🇸

4.6

(5)

223 documents

1 / 6

Toggle sidebar

This page cannot be seen from the preview

Don't miss anything!

bg1
1 Propositional Logic Questions
1. Suppose that the statement p→ ¬qis false. Find all combinations of truth values of
rand sfor which (¬q→r)∧(¬p∨s) is true.
2. If the statement q∧ris true, determine all combinations of truth values for pand s
such that the statement (q→[¬p∨s]) ∧[¬s→r] is true.
3. Find all combinations of truth values for p, q and rfor which the statement ¬p↔
(q∧ ¬(p→r)) is true.
4. Is (p→q)→[(p→q)→q] a tautology? Why or why not?
5. (a) Show that (p→q)↔(q→p) is neither a tautology nor a contradiction. What
does that tell you about possible relationships between the truth values of a
statement and its converse?
(b) Suppose ¬[(p→q)↔(q→p)] is false. Can p↔qhave both possible truth
values? Explain.
6. Show that [(p∨q)∧(r∨ ¬q)] →(p∨r)] is a tautology by making a truth table, and
then again by using an argument that considers the two cases “qis true” and “qis
false”.
7. Write each of the following statements, in English, in the form “if p, then q”.
(a) I go swimming on Mondays.
(b) In order to be able to go motorcycling on Sunday, the weather must be good.
(c) Eat your vegetables or you can’t have dessert.
(d) You can ride a bicycle only if you wear a helmet.
(e) Polynomials are continuous functions.
(f) A number nthat is a multiple of 2 and also a multiple of 3 is a multiple of 6.
(g) You can’t have any pudding unless you eat your meat.
(h) The cardinality of a set is either finite or infinite.
8. Write in English the converse, contrapositive and negation of each statement.
(a) If I had $1,000,000, I’d buy you a fur coat.
(b) If it is not raining and not windy, then I will go running or cycling.
(c) A day that’s sunny and not too windy is a good day for walking on the waterfront.
(d) If 11 pigeons live in 10 birdhouses, then there are two pigeons that live in the
same birdhouse.
1
pf3
pf4
pf5

Partial preview of the text

Download Propositional Logic Questions and more Exercises Mathematical logic in PDF only on Docsity!

1 Propositional Logic Questions

  1. Suppose that the statement p → ¬q is false. Find all combinations of truth values of r and s for which (¬q → r) ∧ (¬p ∨ s) is true.
  2. If the statement q ∧ r is true, determine all combinations of truth values for p and s such that the statement (q → [¬p ∨ s]) ∧ [¬s → r] is true.
  3. Find all combinations of truth values for p, q and r for which the statement ¬p ↔ (q ∧ ¬(p → r)) is true.
  4. Is (p → q) → [(p → q) → q] a tautology? Why or why not?
  5. (a) Show that (p → q) ↔ (q → p) is neither a tautology nor a contradiction. What does that tell you about possible relationships between the truth values of a statement and its converse? (b) Suppose ¬[(p → q) ↔ (q → p)] is false. Can p ↔ q have both possible truth values? Explain.
  6. Show that [(p ∨ q) ∧ (r ∨ ¬q)] → (p ∨ r)] is a tautology by making a truth table, and then again by using an argument that considers the two cases “q is true” and “q is false”.
  7. Write each of the following statements, in English, in the form “if p, then q”.

(a) I go swimming on Mondays. (b) In order to be able to go motorcycling on Sunday, the weather must be good. (c) Eat your vegetables or you can’t have dessert. (d) You can ride a bicycle only if you wear a helmet. (e) Polynomials are continuous functions. (f) A number n that is a multiple of 2 and also a multiple of 3 is a multiple of 6. (g) You can’t have any pudding unless you eat your meat. (h) The cardinality of a set is either finite or infinite.

  1. Write in English the converse, contrapositive and negation of each statement.

(a) If I had $1,000,000, I’d buy you a fur coat. (b) If it is not raining and not windy, then I will go running or cycling. (c) A day that’s sunny and not too windy is a good day for walking on the waterfront. (d) If 11 pigeons live in 10 birdhouses, then there are two pigeons that live in the same birdhouse.

(e) If every domino covers a black square and a white square, then the number of black squares equals the number of white squares.

  1. Determine if each statement below is true or false, and explain your reasoning.

(a) It is possible for an implication and its contrapositive to have different truth values. (b) If the statement q is true, then, for any statement p, the statement p → q is true. (c) If s 1 → s 2 is a contradiction, then so is its contrapositive. (d) There are truth values for p and q such that p → q and q → p are both false. (e) (¬p ∨ q) ∧ ¬(¬p ∨ q) is a contradiction. (f) If the statement P is a contradiction, then, for any statement q, the statement P → q is a tautology. (g) If two statements are logically equivalent, then so are their negations.

  1. Consider the statement “if the goods are unsatisfactory, then your money will be refunded”. This was an advertising slogan of the T. Eaton Company. Is the given statement logically equivalent to “goods satisfactory or money refunded”? What about to “if your money is not refunded, then the goods are satisfactory”? And what about to “if the goods are satisfactory, then your money will not be refunded”.
  2. A sign posted outside of Tokyo says “In order to attack the city, you must be green and related to Godzilla. If you are not green and not related to Godzilla, then you can not attack the city”.

(a) Render the two statements on the sign in symbols. Start with: Let a be the assertion “you can attack the city”, and carry on from there. (b) Argue that the two statements on the sign are not logically equivalent, contrary to what the author probably intended. Which is more restrictive on who can attack Tokyo? (c) Correct the second statement so that it is logically equivalent to the first one.

  1. Show that the two statements (p ∧ q) → r and (p → r) ∧ (q → r) are not logically equivalent.
  2. Assume that a and b are integers. Consider the statements: A If c is a prime number such c divides ab, then c divides a or c divides b. B If c is a prime number such c divides ab, and c does not divide b, then c divides a.

(a) Write the statements A and B in symbolic form and then show that they are logically equivalent.

(b) Explain why every statement has a representation using only the logical connective nand.

  1. Repeat question 19 using the logical connective “nor” (not or) defined by p ∨ q ⇔ ¬(p ∨ q).
  2. Referring to questions 19 and 20, prove that ¬(p ∨ q) ⇔ ¬p ∧ ¬q. Guess and prove a similar logical equivalence for ¬(p ∧ q).
  3. (a) Argue that “logically implies” has the property (called transitivity) that if a, b and c are statements such that a ⇒ b and b ⇒ c, then a ⇒ c. (b) Suppose a, b, c and d are statements such that a ⇒ b, b ⇒ c, c ⇒ d, and d ⇒ a. Argue that any two of these statements are logically equivalent.
  4. Determine whether each statement is true or false, and briefly explain your reasoning.

(a) If an argument is valid then it is possible the conclusion to be false when all premises are true. (b) If the premises can’t all be true, then the argument is valid. (c) If p ⇔ q and q ⇔ r, then p ⇔ r.

  1. Show that the argument

p ↔ q q → r r ∨ ¬s ¬s → q ∴ s

is invalid by providing a counterexample.

  1. Use basic inference rules to establish the validity of the argument

p → ¬q q ∨ r p ∨ u ¬r ∴ u

  1. If the argument below is valid, then use any method to prove it. Otherwise, give a counterexample to show that the argument is invalid. ¬r → p q → ¬p ¬(r ∨ t) ∴ q
  1. Use any method to show the following argument is valid.

p ¬q ↔ ¬p ∴ q

  1. Show that the following argument is not valid.

p ∨ r p ∨ q ∴ q ∨ r

  1. Use logical equivalences and the rules of inference to determine whether the following argument is valid.

¬(¬p ∨ q) ¬z → ¬s (p ∧ ¬q) → s ¬z ∨ r ∴ r

  1. Write the argument below in symbolic form. If the argument is valid, prove it. If the argument is not valid, give a counterexample:

If I watch football, then I don’t do mathematics If I do mathematics, then I watch hockey ∴ If I don’t watch hockey, then I watch football

  1. Write the argument below in symbolic form. If the argument is valid, prove it. If the argument is not valid, give a counterexample:

If you are pregnant or have a heart condition, then you can not use the hot tub. You do not have a heart condition. You can use the hot tub. ∴ You are not pregnant.

  1. (a) Show that p → (q → r) is logically equivalent to (p ∧ q) → r.

(b) Establish the validity of the argument

u → r (r ∧ s) → (p ∨ t) q → (u ∧ s) ¬t q ∴ p