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

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.