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