Þú getur alveg notað tvíleiðingarmerki (<=>) í seinna tilvikinu. Munurinn felst í því að segja að tveir hlutir séu röklega háðir, þ.e.a.s. ef að 2x = 2y þá gildir að x=y og einnig að ef x=y þá gildir að 2x = 2y. Leiðingarmerkið segir hins vegar aðeins að ef 2x=2y þá er x=y en því fylgir ekki staðhæfing um að hið gagnstæða sé satt. Þetta er ekki gott dæmi því það er svo augljóst að hvorug tveggja gildi, við getum hugsað okkur annað dæmi eins og eftirfarandi: allir Englendingar eru Bretar og allir Bretar tala ensku, þar með tala allir Englendingar ensku. Hins vegar getum við ekki sagt að allir sem tala ensku séu Englendingar eða Bretar, þ.e. leiðingarmerkið fer aðeins í aðra áttina. Í stærðfræði er það oft þannig að við sönnum setningar (reglur) í skrefum. Fyrst sýnum við að 2y = 2x => y=x og síðan að y=x => 2y = 2x, þá höfum við sýnt að 2y=2z <=> y=x. Þetta er aftur afar einfölduð mynd, en ef þú ert að læra eitthvað að viti í stærðfræði þarna úti í Danmörku þá áttu eftir að rekast á þetta. :)

Það sem ég sagði í upphafi er rétt, en það sem Arkímedes vildi benda á er að hið gagnstæða er líka rétt. Það var samt aukaatriði enda skiptir það dæmið sem ég tók engu máli.

A number of scholars[61] prior to Galileo wrote – or showed by experiment – that in a vacuum, bodies which are composed of the same substance but which have different masses, fall through equal distances in equal times

Fyrigefðu þú áttir að lesa aðeins lengra.