equivalent assertions

[ریاضیات] حکم های هم ارز