给出命题“已知abcd是实数,若a≠b c≠d 则a+c≠b+d”,对其原命题、逆命题、否命题、逆否命题而言,真命题有