介紹蘊含移位規則(shifting rule of implication推理規則的一種.由P~q一二q~二P可知，如果已知前提P~q為真，則刁q~刁P為真.由此可得推理規則:這個推理規則稱為蘊含移位規則.
