證人可能會說謊，所以，并非證人必然會說謊。

正確答案：模態(tài)對當推理，推理形式：可能P→并非必然P，推理形式無效，因為可能P與必然P之間是差等關(guān)系，從一個命題為真不能邏輯地推出另一個命題為假。