Knowee
Questions
Features
Study Tools

Suppose the domain of the propositional function ๐‘ƒ(๐‘ฅ, ๐‘ฆ) consists of pairs ๐‘ฅ and ๐‘ฆ, where ๐‘ฅ is 2, or 5and ๐‘ฆ is 1, 2, or 3. Write out these propositions using disjunctions and conjunctions.a) โˆ€๐‘ฅโˆ€๐‘ฆ๐‘ƒ (๐‘ฅ, ๐‘ฆ) b) โˆƒ๐‘ฅโˆƒ๐‘ฆ๐‘ƒ (๐‘ฅ, ๐‘ฆ) c) โˆƒ๐‘ฅโˆ€๐‘ฆ๐‘ƒ (๐‘ฅ, ๐‘ฆ) d) โˆ€๐‘ฆโˆƒ๐‘ฅ๐‘ƒ (๐‘ฅ, ๐‘ฆ)

Question

Suppose the domain of the propositional function ๐‘ƒ(๐‘ฅ, ๐‘ฆ) consists of pairs ๐‘ฅ and ๐‘ฆ, where ๐‘ฅ is 2, or 5and ๐‘ฆ is 1, 2, or 3. Write out these propositions using disjunctions and conjunctions.a) โˆ€๐‘ฅโˆ€๐‘ฆ๐‘ƒ (๐‘ฅ, ๐‘ฆ) b) โˆƒ๐‘ฅโˆƒ๐‘ฆ๐‘ƒ (๐‘ฅ, ๐‘ฆ) c) โˆƒ๐‘ฅโˆ€๐‘ฆ๐‘ƒ (๐‘ฅ, ๐‘ฆ) d) โˆ€๐‘ฆโˆƒ๐‘ฅ๐‘ƒ (๐‘ฅ, ๐‘ฆ)

๐Ÿง Not the exact question you are looking for?Go ask a question

Solution

a) โˆ€๐‘ฅโˆ€๐‘ฆ๐‘ƒ (๐‘ฅ, ๐‘ฆ) translates to (P(2,1) โˆง P(2,2) โˆง P(2,3)) โˆง (P(5,1) โˆง P(5,2) โˆง P(5,3)). This means that for all x and y, the proposition P(x, y) is true.

b) โˆƒ๐‘ฅโˆƒ๐‘ฆ๐‘ƒ (๐‘ฅ, ๐‘ฆ) translates to (P(2,1) โˆจ P(2,2) โˆจ P(2,3)) โˆจ (P(5,1) โˆจ P(5,2) โˆจ P(5,3)). This means that there exists some x and y such that the proposition P(x, y) is true.

c) โˆƒ๐‘ฅโˆ€๐‘ฆ๐‘ƒ (๐‘ฅ, ๐‘ฆ) translates to (P(2,1) โˆง P(2,2) โˆง P(2,3)) โˆจ (P(5,1) โˆง P(5,2) โˆง P(5,3)). This means that there exists some x for all y such that the proposition P(x, y) is true.

d) โˆ€๐‘ฆโˆƒ๐‘ฅ๐‘ƒ (๐‘ฅ, ๐‘ฆ) translates to (P(2,1) โˆจ P(5,1)) โˆง (P(2,2) โˆจ P(5,2)) โˆง (P(2,3) โˆจ P(5,3)). This means that for all y, there exists some x such that the proposition P(x, y) is true.

This problem has been solved

Similar Questions

Suppose the domain of the propositional function ๐‘ƒ(๐‘ฅ, ๐‘ฆ) consists ofpairs ๐‘ฅ and ๐‘ฆ, where ๐‘ฅ is โˆ’1, 0 or 1 and ๐‘ฆ is 0 or 2. Write out the propositions usingdisjunctions and conjunctions:a) ยฌโˆ€๐‘ฅ๐‘ƒ(๐‘ฅ, 2) (1 POINT)b) โˆ€๐‘ฆโˆƒ๐‘ฅ๐‘ƒ(๐‘ฅ, ๐‘ฆ)

Let ๐ถ(๐‘ฅ, ๐‘ฆ) mean that student ๐‘ฅ is enrolled in class ๐‘ฆ, where the domain for ๐‘ฅ consists of all students inyour school and the domain for ๐‘ฆ consists of all classes being given at your school. Express each of thesestatements by a simple English sentence.a) ๐ถ(๐‘…๐‘Ž๐‘›๐‘‘๐‘ฆ ๐บ๐‘œ๐‘™๐‘‘๐‘๐‘’๐‘Ÿ๐‘”, ๐ถ๐‘† 252)b) โˆƒ๐‘ฅ๐ถ(๐‘ฅ, ๐‘€๐‘Ž๐‘กโ„Ž 695)c) โˆƒ๐‘ฆ๐ถ(๐ถ๐‘Ž๐‘Ÿ๐‘œ๐‘™ ๐‘†๐‘–๐‘ก๐‘’๐‘Ž, ๐‘ฆ)d) โˆƒ๐‘ฅ(๐ถ(๐‘ฅ, ๐‘€๐‘Ž๐‘กโ„Ž 222) โˆง ๐ถ(๐‘ฅ, ๐ถ๐‘† 252))e) โˆƒ๐‘ฅโˆƒ๐‘ฆโˆ€๐‘ง((๐‘ฅ โ‰  ๐‘ฆ) โˆง (๐ถ(๐‘ฅ, ๐‘ง) โ†’ ๐ถ(๐‘ฆ, ๐‘ง)))f) โˆƒ๐‘ฅโˆƒ๐‘ฆโˆ€๐‘ง((๐‘ฅ โ‰  ๐‘ฆ) โˆง (๐ถ(๐‘ฅ, ๐‘ง) โ†” ๐ถ(๐‘ฆ, ๐‘ง)))

Determine the truth value of each of these statements if the domain of each variable consists of all real numbers. [4 marks] a)โˆƒx(x2 =2) b)โˆƒx(x2 =โˆ’1) c) โˆ€x (x2 + 2 โ‰ฅ 1) d) โˆ€x (x2 =x)

Let ๐‘ and ๐‘ž be the proposition variables denoting๐‘: It is below freezing.๐‘ž: It is snowing.Write the following propositions using variables, ๐‘ and ๐‘ž, and logical connectives.a. It is below freezing and snowingb. It is below freezing but not snowingc. 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 itis below freezing.g. That it is below freezing is necessary and sufficient for it to besnowing

Let ๐‘ƒ(๐‘ฅ, ๐‘ฆ) be the statement โ€œ๐‘ฅ enjoys playing ๐‘ฆ,โ€ where the domain for๐‘ฅ consists of all Ashesi students and that of ๐‘ฆ consists of all sports.Express each of these statements by a simple English sentence.a) ๐‘ƒ(Paul, football)b) โˆƒ๐‘ฆ๐‘ƒ(Carol, ๐‘ฆ)c) โˆƒ๐‘ฅ(๐‘ƒ(๐‘ฅ, basketball) โˆง ๐‘ƒ(๐‘ฅ, badminton))d) โˆƒ๐‘ฅโˆ€๐‘ฆ((๐‘ฅ โ‰ Ben) โˆง (๐‘ƒ(Ben, ๐‘ฆ) โ†’ ๐‘ƒ(๐‘ฅ, ๐‘ฆ))

1/3

Upgrade your grade with Knowee

Get personalized homework help. Review tough concepts in more detail, or go deeper into your topic by exploring other relevant questions.