Answer to Question #267239 in Discrete Mathematics for Mitra

Question #267239

Let D = {-5, -3, -1, 1, 3, 5}. Write the following statements using only negations, conjunctions and


disjunctions:


a) βˆƒπ‘₯𝑃(π‘₯)


b) βˆ€π‘₯𝑃(π‘₯)


c) βˆ€π‘₯((π‘₯ β‰  1) β†’ 𝑃(π‘₯))


d) βˆƒπ‘₯((π‘₯ β‰₯ 0) ∧ 𝑃(π‘₯))


e) βˆƒπ‘₯(ᅭ𝑃(π‘₯)) ∧ βˆ€π‘₯((π‘₯ < 0) β†’ 𝑃(π‘₯))

1
Expert's answer
2021-11-17T15:08:50-0500

a)Β "\u2203xP(x)=P(-5)\\lor P(-3)\\lor P(-1)\\lor P(1)\\lor P(3)\\lor P(5)"


b)Β "\u2200xP(x)=P(-5)\\land P(-3)\\land P(-1)\\land P(1)\\land P(3)\\land P(5)"


c)

"\u2200\ud835\udc65((\ud835\udc65 \u2260 1) \u2192 \ud835\udc43(\ud835\udc65))=\u2200\ud835\udc65(\\neg(x\\neq 1)\\lor P(x))=(x=1)\\lor P(1)"

d)

"\u2203\ud835\udc65((\ud835\udc65 \u2265 0) \u2227 \ud835\udc43(\ud835\udc65))=((x=1)\\land P(1))\\lor ((x=)\\land P(3))\\lor ((x=5)\\land P(5))"


e)

"\u2203\ud835\udc65(\uffe2\ud835\udc43(\ud835\udc65)) \u2227 \u2200\ud835\udc65((\ud835\udc65 < 0) \u2192 \ud835\udc43(\ud835\udc65)) =\u2203\ud835\udc65(\uffe2\ud835\udc43(\ud835\udc65)) \u2227 \u2200\ud835\udc65(\\neg(\ud835\udc65 < 0) \\lor \ud835\udc43(\ud835\udc65))="

"=\u2203\ud835\udc65(\uffe2\ud835\udc43(\ud835\udc65)) \u2227 \u2200\ud835\udc65((\ud835\udc65 > 0) \\lor \ud835\udc43(\ud835\udc65))="

"=\u2203\ud835\udc65(\uffe2\ud835\udc43(\ud835\udc65)) \u2227 (((\ud835\udc65 =1) \\lor \ud835\udc43(1))\\land ((\ud835\udc65 =3) \\lor \ud835\udc43(3))\\land ((\ud835\udc65 =5) \\lor \ud835\udc43(5)))="


"=(\uffe2\ud835\udc43(-5)) \u2227 (((\ud835\udc65 =1) \\lor \ud835\udc43(1))\\land ((\ud835\udc65 =3) \\lor \ud835\udc43(3))\\land ((\ud835\udc65 =5) \\lor \ud835\udc43(5)))\\lor"

"\\lor (\uffe2\ud835\udc43(-3)) \u2227 (((\ud835\udc65 =1) \\lor \ud835\udc43(\ud835\udc65))\\land ((\ud835\udc65 =3) \\lor \ud835\udc43(3))\\land ((\ud835\udc65 =5) \\lor \ud835\udc43(5)))\\lor"

"\\lor (\uffe2\ud835\udc43(-1)) \u2227 (((\ud835\udc65 =1) \\lor \ud835\udc43(\ud835\udc65))\\land ((\ud835\udc65 =3) \\lor \ud835\udc43(3))\\land ((\ud835\udc65 =5) \\lor \ud835\udc43(5)))\\lor"

"\\lor (\uffe2\ud835\udc43(1)) \u2227 (((\ud835\udc65 =1) \\lor \ud835\udc43(\ud835\udc65))\\land ((\ud835\udc65 =3) \\lor \ud835\udc43(3))\\land ((\ud835\udc65 =5) \\lor \ud835\udc43(5)))\\lor"

"\\lor (\uffe2\ud835\udc43(3)) \u2227 (((\ud835\udc65 =1) \\lor \ud835\udc43(\ud835\udc65))\\land ((\ud835\udc65 =3) \\lor \ud835\udc43(3))\\land ((\ud835\udc65 =5) \\lor \ud835\udc43(5)))\\lor"

"\\lor (\uffe2\ud835\udc43(5)) \u2227 (((\ud835\udc65 =1) \\lor \ud835\udc43(\ud835\udc65))\\land ((\ud835\udc65 =3) \\lor \ud835\udc43(3))\\land ((\ud835\udc65 =5) \\lor \ud835\udc43(5)))"

Need a fast expert's response?

Submit order

and get a quick answer at the best price

for any assignment or question with DETAILED EXPLANATIONS!

Comments

No comments. Be the first!

Leave a comment

LATEST TUTORIALS
New on Blog
APPROVED BY CLIENTS