Is this a correct expression of the aramuseum.orgematical statement, "Every confident real number has precisely two square roots.";

expression: ∀x∃a∃b((x>0) → (a!=b)∧(x=$a^2$)∧(x=$b^2$)).

You are watching: Every positive number has two square roots


*

*

The explain as written is true, yet doesn"t capture the indigenous "exactly". Additionally, her quantification is a little odd: I"d have expected that to review $$(\forall x)(x>0 \to \exists a \exists b \dots)$$because (while yours is true) it"s a bit much more work to check that yours yes, really is true in the instance that $x \leq 0$.

I"m going to use several various shapes of base to shot to make this much easier to read, yet they"re all simply brackets.To record "exactly", you want $$(\forall x)\left 0 \to \left<(\exists a)(\exists b) \(a \not = b) \wedge (a^2 = x) \wedge (b^2 = x) \colorred \wedge (\forall c) \colorred \left((c^2 = x) \to \right) \ \right> \right>$$


*

Thanks because that contributing solution to aramuseum.orgematics ridge Exchange!

Please be sure to answer the question. Carry out details and share your research!

But avoid …

Asking for help, clarification, or responding to various other answers.Making statements based upon opinion; ago them up with referrals or personal experience.

Use aramuseum.orgJax to layout equations. Aramuseum.orgJax reference.

See more: What Does Yoi Mean In Japanese, Meaning Of Yoi, What Does Yoi Mean

To find out more, check out our tips on writing an excellent answers.


post Your price Discard

By clicking “Post your Answer”, girlfriend agree come our terms of service, privacy policy and also cookie plan


Not the price you're spring for? Browse various other questions tagged predicate-logic logic-translation or ask your own question.


*

site style / logo © 2021 ridge Exchange Inc; user contributions licensed under cc by-sa. Rev2021.9.16.40224


aramuseum.orgematics stack Exchange works ideal with JavaScript enabled
*

your privacy

By click “Accept every cookies”, you agree stack Exchange deserve to store cookie on your device and disclose details in accordance v our Cookie Policy.