Lista de Símbolos:
? Conector e
? Conector ou
? Conector ou exclusivo
? Conector Se...então...
? Conector Se e somente se
? Negação de uma proposição
O diagrama lógico que pode representar a proposição Ser morador de Imbé é ser morador do Rio Grande do Sul é mostrado na alternativa: