Relações lógicas entre operações: implicação e conjunção