Conectivos lógicos, ou operadores lógicos, são palavras ou símbolos utilizados para combinar ou modificar proposições (sentenças que podem ser classificadas como verdadeiras ou falsas), criando assim proposições mais complexas. A partir dessa premissa, observe o símbolo a seguir:

O símbolo acima representa um dos conectivos lógicos que podem ser utilizados na construção de proposições. Qual das alternativas traz uma proposição que faz uso do que representa o conectivo acima?