Trata-se de um exemplo de tautologia a proposição:
A
Se dois é par então é verão em Gramado.
B
É verão em Gramado ou não é verão em Gramado.
C
Maria é alta ou Pedro é alto.
D
É verão em Gramado se e somente se Maria é alta.
E
Maria não é alta e Pedro não é alto.