在两个命题中，如果一个命题的条件是第二个命题的结论，而第一个命题的结论又是第二个命题的条件，那么这两个命题叫做，其中一个命题是另一个命题的.