[tex]\forall a\forall b[/tex][( a>0 & b>0)------> (a[tex]\leq b[/tex] <------>[tex]a^{2}[/tex][tex]\leq b^{2}[/tex])].(adsbygoogle = window.adsbygoogle || []).push({});

or in words: for all a and for all b , if a>0 and b>0 then .a[tex]\leq b[/tex] iff [tex]a^{2}[/tex][tex]\leq b^{2}[/tex]

is there a possibility for a proof within the predicate calculus??

**Physics Forums | Science Articles, Homework Help, Discussion**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Proof in predicate calculus

**Physics Forums | Science Articles, Homework Help, Discussion**