I want to formalize: "If X is less than Y, Then U is equal to Y ", and have been told that $$ \bf [\forall V \sim X=(Y+V)]U=Y $$ does not cover the case X=Y. Therefore I have rewritten it as

$$ \bf [\forall V \sim X=(Y+V)][\sim X=Y]U=Y. $$ Is this okay using basic meta math?

  • $\begingroup$ Your syntax for logical formulas is quite unusual. From context it looks like you're writing $[P]Q$ for "if $P$ then $Q$", which is usually notated $P\Rightarrow Q$ or $P\to Q$ or (slightly old-fashioned) $P\supset Q$? $\endgroup$ – Henning Makholm Mar 30 '16 at 12:03
  • $\begingroup$ Yes, that is correct. It is a bit diffrent but you have understod it correct. $\endgroup$ – ZaoZhen Mar 30 '16 at 12:10

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.