下列假言推理是否正确?如不正确,违反什么规则?
问题描述：
下列假言推理是否正确?如不正确,违反什么规则?
只有集装箱船才在洋山港停泊；这艘船在洋山港停泊,所以这是一艘集装箱船.
答
正确.
该命题属于纯假言推理题中的必要条件假言易位推理下的充分条件假言易位推理,有效式为：只有P,才Q,所以如果Q,则P.
该题为,只有P：（集装箱船）才Q（在洋山港停泊）；这艘船Q（在洋山港停泊）,所以P（这是一艘集装箱船）.符合其有效式,故正确.