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