“东风厂的产品是出口免税商品，所以，东风厂的产品是免税商品”，这一推理的逻辑形式可用公式表示为（）。