Qual é o significado dos conectivos ∨ ∧ → é ↔ respectivamente