邏輯斷言

邏輯斷言 （ Logical assertion ） 是斷定一個特定前提爲真的陳述 ， 並且對在證明中的陳述有用 。 它等價於有空前件的相繼式 。 例如 ， 如果 p = " x 是偶數 " ， 則蘊涵 因此爲真 。 我們還可以使用邏輯斷言符號寫爲 L