证人可能会说谎，所以，并非证人必然会说谎。

证人可能会说谎，所以，并非证人必然会说谎。
正确答案：模态对当推理，推理形式：可能P→并非必然P，推理形式无效，因为可能P与必然P之间是差等关系，从一个命题为真不能逻辑地推出另一个命题为假。