跳至內容

邏輯斷言

維基百科,自由的百科全書

斷言(英語:judgement或assertion)在邏輯學中是斷定一個特定前提為真的陳述,並且對在證明中的陳述有用。它等價於有空前件相繼式

例如,如果p=「x是偶數」,則蘊涵因此為真。還可以使用斷定號寫為