Scribd
Upload
234 views4 pages

Propositional Logic and Predicates Exercises.34.1504491318.3195

This document contains exercises on propositional logic and predicates from Rosen's 6th edition textbook. It includes questions about identifying propositions and their truth values, expressing compound propositions using logical connectives, constructing truth tables, translating statements into logical expressions using predicates and quantifiers, and determining logical equivalences between statements.

Uploaded by

samuraiz00
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
234 views4 pages

Propositional Logic and Predicates Exercises.34.1504491318.3195

This document contains exercises on propositional logic and predicates from Rosen's 6th edition textbook. It includes questions about identifying propositions and their truth values, expressing compound propositions using logical connectives, constructing truth tables, translating statements into logical expressions using predicates and quantifiers, and determining logical equivalences between statements.

Uploaded by

samuraiz00
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/ 4

Propositional Logic and Predicates Exercises

(From Rosen 6th edition)

Propositional Logic
1. Which of these sentences are propositions? What are the truth values of those that are
propositions?

a) Boston is the capital of Massachusetts.

b) Miami is the capital of Florida.

c) 2 + 3 = 5.

d) 5 + 7 = 10.

e) x + 2 = 11.

f) Answer this question.

6. Let p and q be the propositions "The election is decided" and "The votes have been counted,"
respectively. Express each of these compound propositions as an English sentence.

a)

b)

c)

d)

e)

f)

g)

h)
7. 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.

a) It is below freezing and snowing.

b) It is below freezing but not snowing.

c) It is not below freezing and it is not snowing.

d) It is either snowing or below freezing (or both).

e) If it is below freezing, it is also snowing.

f) It is either below freezing or it is snowing, but it is not snowing if it is below freezing.

g) That it is below freezing is necessary and sufficient for it to be snowing.

32. Construct a truth table for each of these compound propositions.

a)

b)

c)

d)

e)

34. Construct a truth table for .

45. Each inhabitant of a remote village always tells the truth or always lies. A villager will only
give a "Yes" or a "No" response to a question a tourist asks. Suppose you are a tourist visiting
this area and come to a fork in the road. One branch leads to the ruins you want to visit; the other
branch leads deep into the jungle. A villager is standing at the fork in the road. What one
question can you ask the villager to determine which branch to take?
14. Determine whether is a tautology.

15. Determine whether is a tautology.

22. Show that and are logically equivalent.

25. Show that and are logically equivalent.

32. Show that and are not equivalent.

Predicates
8. Translate these statements into English, where is " is a rabbit" and is " hops"
and the domain consists of all animals.

a)

b)

c)

d)

10. Let be the statement " has a cat:' let be the statement " has a dog," and let
be the statement " has a ferret." Express each of these statements in terms of , , ,
quantifiers, and logical connectives. Let the domain consist of all students in your class.

a) A student in your class has a cat, a dog, and a ferret.

b) All students in your class have a cat, a dog, or a ferret.

e) Some student in your class has a cat and a ferret, but not a dog.
d) No student in your class has a cat, a dog, and a ferret.

e) For each of the three animals, cats, dogs, and ferrets, there is a student in your class
who has one of these animals as a pet.

25. Translate each of these statements into logical expressions using predicates,
quantifiers, and logical connectives.

a) No one is perfect.

b) Not everyone is perfect.

c) All your friends are perfect.

d) At least one of your friends is perfect.

e) Everyone is your friend and is perfect.

f) Not everybody is your friend or someone is not perfect.

43. Determine whether and are logically equivalent.


Justify your answer.

44. Determine whether and are logically equivalent.


Justify your answer.

45. Show that and are logically equivalent.

You might also like