排中律：⊨ p∨¬p 有效吗？

p ∨ ¬p 在每一行都为真，且完全不需要前提：任何命题非真即假，没有第三种可能。