nonequivalent proposition

[ریاضیات] گزاره ی نا هم ارز