En lógica proposicional, ¿qué significa el símbolo ∧?