有一个工业公司，组织它下属的甲、乙、丙三个工厂联合试制一项新产品。关于新产品生出来后的鉴定办法，在合同中作了如下规定：(I)如果乙工厂不参加鉴定，那么甲工厂也不参加。(2)如果乙工厂参加鉴定，那么甲工厂和丙工厂也要参加。问：当甲工厂参加鉴定时，丙工厂是否参加?为什么?
【正确答案】：设p代表“甲工厂参加”;q代表“乙工厂参加”;r代表“丙工厂参加”。原已知条件为：(1)┐q→┐p(2)q→(p^r)(3)p(原假定条件)推导过程为：(4)由(1)和(3)作前提，运用充分条件假言推理否定后件式推出“q”，┐p→┐p，pⱵ┐(┐q)(即q)。(5)由(2)和(4)作前提，运用充分条件假言推理肯定前件式推出“p^r”,q→(p^r)，qⱵp^r。(6)由(5)作前提，运用联言推理的分解式推出 “r”,p^rⱵr。所以，当甲工厂参加鉴定时，丙工厂也参加。
