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

课堂上,老师出了一道逻辑试题:有一个正确的三段论，它的小前提是肯定的，试问，这个三段论属于哪一格?

学生甲答:“属于第一格。因为如果它是第-格，那么小前提必然是肯定的;而这个三段论的小前提是肯定的;所以，它属于第一格。”

学生乙同意甲的意见，并补充了一点:“只有小前提是肯定的，才是第一格的正确三段论;现在小前提肯定;那它是第一格无疑了。”

以上学生甲和学生乙的回答（）

• A、都是合乎逻辑的
  
  

• B、都是不合乎逻辑的
  
  

• C、甲合乎逻辑,乙不合乎逻辑
  
  

• D、甲不合乎逻辑,乙合乎逻辑
  
  

联言推理有两种推理式:（）和组合式。