例8 ■α→β、α推出β是有效的 nαB、-c推出β是有效的例8 „ α → β、 α推出β是有效的。 „ α ∨ β、 ¬ α推出β是有效的