将若干只鸡放入若干个笼中,若每个笼中放4只,则有一只鸡无笼可放;若每个笼里放5只,则有一笼无鸡可放,则至少有___只鸡.
命题“对顶角相等”的逆命题是_____________________,是_____命题.
线段垂直平分线性质定理的逆定理是_____________________.
每个命题都有它的________,但每个真命题的逆命题不一定是真命题.
如果一个定理的逆命题能被证明是真命题,那么就叫它是原定理的________,这两个定理叫做_________.
在两个命题中,如果第一个命题的条件是第二个命题的结论,而第一个命题的结论是第二个命题的条件,那么这两个命题叫做________.