已知：（1)若甲和乙都参加自学考试，则丙不参加自学考试。(2)只有乙参加自学考试，丁才会参加自学考试。(3)甲和丙都参加了自学考试。问：乙和丁是否参加了自学考试？请写出推导过程。
【正确答案】：根据已知条件（1)和（3)，运用充分条件假言推理 的否定后件式，可作如下推理：若甲和乙都参加自学考试，则丙不参加自学 考试；两参加了自学考试;_________________________________________________所以，或者甲不参加，或者乙不参加自学考试。根据“甲不参加，或者乙不参加自学考试”和已知 条件（3)中的“甲参加了自学考试”，运用选言推 理的否定肯定式，可以推出：乙不参加自学考试。 根据已知条件(2)“只有乙参加自学考试，丁才参 加自学考试”和以上推出的“乙不参加自学考 试”，运用必要条件假言推理的否定前件式，可以 推出：丁不参加自学考试。由上述推理可知：乙不参加自学考试，丁不参加自学考试。
