Professional Documents
Culture Documents
ND Rules Prop
ND Rules Prop
ND Rules Prop
∧ α β α∧β α∧β
∧i ∧e1 ∧e2
α∧β α β
∨ α α
∨i1 ∨i2 α. β
α∨β β∨α .. ..
.
α∨β γ γ
∨e
γ
→ α. α α→β
.. →e
β
β
→i
α→β
¬ α ¬α
α.
.. ¬e
⊥
⊥
¬α ¬i
⊥ (same as ¬e) ⊥
α ⊥e
¬¬ (derived) ¬¬α
¬¬e
α