“因为p蕴涵q并且q蕴涵r,所以ρ蕴涵r。”这一推理式是（）

• A、对称关系推理
• B、禁对称关系推理
• C、传递关系推理
• D、禁传递关系推理

如果甲乙两灯都亮，那么丙灯就一定亮;但是丙灯没有亮,由此可见（）

• A、甲乙两灯都没有亮
• B、甲灯亮,但是乙灯没有亮
• C、乙灯亮,但是甲灯没有亮
• D、甲乙两灯至少有一个没有亮

用真值表来证明(p→q)是永真式。