[Predicate logic] There are centain arguments which are intuitively valid,but which cannot be shown to be valid by the methords of sentential logic.

• [谓词逻辑] 某些论证，任凭知觉似乎是有效的，但却不能通过句子逻辑的方法来证实起有效性。