O argumento p ⊢ p ∨ q é conhecido como regra da adição (AD). Para demonstrá-lo, basta provar a tautologia da proposição: p → p V q p ∨ q → p p → p ...

O argumento p ⊢ p ∨ q é conhecido como regra da adição (AD). Para demonstrá-lo, basta provar a tautologia da proposição:
p → p V q
p ∨ q → p
p → p ∧ q
p → p V q
p ∧ q → p
p ∧ q → p V q
a.
b.
c.
d.
e.