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!

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.

## 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 