a<3，那么a<5，换句话说，a<5是a<3的必要条件。

这是个真命题。找不出反例来证明命题不成立。

逆命题：如果a<5，那么a<3。不成立。

否命题：如果a大于等3，那么a大于等于5。不成立。

逆否命题：如果a大于等于5，那么a大于等于3。成立。

小学数学的数的大小，高中数学的命题与逻辑。