将下列命题改写成“若p则q”的形式，并写出否命题.a>o时，函数y=ax+b的值随x值的增加而增加.

马这个物种，在分类上从小到大隶属于________、马科、_________、_________、脊索动物亚门、__________。