Formal Proofs in Maths: Establishing Equivalence

  • Context:
  • Thread starter Thread starter solakis1
  • Start date Start date
  • Tags Tags
    Equivalence Proofs
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
2 replies · 2K views
solakis1
Messages
407
Reaction score
0
From the book "FORMAL PROOFS IN MATHS "(Amazon.com),page 101 ,exercise19 ,Iread:

Establish the equivalence between:

$$0<1$$,.........$$0<A\Longrightarrow 0<\frac{1}{A}$$,............$$AC<BC\wedge 0<C\Longrightarrow A<B$$
 
Physics news on Phys.org
solakis said:
From the book "FORMAL PROOFS IN MATHS "(Amazon.com),page 101 ,exercise19 ,Iread:

Establish the equivalence between:

$$0<1$$,.........$$0<A\Longrightarrow 0<\frac{1}{A}$$,............$$AC<BC\wedge 0<C\Longrightarrow A<B$$

Please post the solution you have ready.
 
MarkFL said:
Please post the solution you have ready.

I am sorry but the book where i took that inequality does not give a solution, so let that be an unsolved challenge question