假言規範命題

假言規範命題是用聯結詞“如果，那么”（用“一”表示）聯結的規範命題。

它包括三種基本形式：(1)必須假言命題，其形式為：O(p- q)，讀作“必須(如果p，那么q)”。例如：“如果定義能用肯定的，那么就應當不用否定的。”(2)允許假言命題，其形式為P(p—q)，讀作“允許（如果p那么q）”。例如：“如果對應判死刑的罪犯不立即執行，那么在宣判時同時宣告緩期執行，這是允許的。”(3)禁止假言命題，其形式為：F(p—q)，讀作“禁止（如果p那么q）”。例如：“如果因為正當防衛，就超過必要限度造成不應有的危害，這是禁止的。”