Nella logica proposizionale, che cosa indica il simbolo ∧?