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

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

a. p ∨ q → p
b. p → p ∧q
c. p → p ∨ q
d. p ∧q → p
e. p ∧q → p ∨ q