Sentenças e equações de adição