Mathematics Asked by starry on December 29, 2020

I was given two predicates $text{Prime}(x)$ and $text{Even}(x)$ and is required to write the following statements:

- For every odd natural number there is a different natural number such that their sum is even.

My attempt: $(forall x):(x in mathbb{N} wedge neg text{Even}(x) to (exists y):(x neq y wedge text{Even}(x+y))).$

and

- The sum of any two prime numbers except the prime number $2$ is even.

My attempt: $(forall x,y):(x neq 2 wedge yneq 2 wedge text{Prime}(x,y) to text{Even}(x+y)).$

Is my attempt correct? And Am I allowed to write $text{Prime}(x,y)$ or should I write $(text{Prime}(x) wedge text{Prime}(y))?$

In the first statement, you wrote $x neq y wedge text{Prime}(x+y)$ but it should be $x neq y wedge text{Even}(x+y).$

Avoid writing $text{Prime}(x,y)$ because the predicate $text{Prime}$ only takes one argument (i.e., $text{Prime}(x)$.)

You could also have written the following.

$(forall x in mathbb{N})(exists y in mathbb{N}):[neg text{Even}(x) to (x neq y wedge text{Even}(x+y))].$

$(forall x in mathbb{N})(forall y in mathbb{N}):[(text{Prime}(x) wedge text{Prime}(y) wedge x neq 2 wedge y neq 2) to text{Even}(x+y)].$

Answered by Air Mike on December 29, 2020

Get help from others!

Recent Answers

- Jon Church on Why fry rice before boiling?
- Joshua Engel on Why fry rice before boiling?
- haakon.io on Why fry rice before boiling?
- Peter Machado on Why fry rice before boiling?
- Lex on Does Google Analytics track 404 page responses as valid page views?

Recent Questions

- How can I transform graph image into a tikzpicture LaTeX code?
- How Do I Get The Ifruit App Off Of Gta 5 / Grand Theft Auto 5
- Iv’e designed a space elevator using a series of lasers. do you know anybody i could submit the designs too that could manufacture the concept and put it to use
- Need help finding a book. Female OP protagonist, magic
- Why is the WWF pending games (“Your turn”) area replaced w/ a column of “Bonus & Reward”gift boxes?

© 2024 TransWikia.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP