“Se... então” – CONDICIONAL – “→” Se João é professor, então Maria é alta.

Essa frase é um exemplo de uma proposição condicional, que é uma afirmação que estabelece uma relação entre duas proposições. Nesse caso, a proposição é "Se João é professor, então Maria é alta" e a relação é de implicação, representada pelo símbolo "→". Isso significa que, se a primeira proposição (João é professor) for verdadeira, então a segunda proposição (Maria é alta) também deve ser verdadeira. Caso contrário, se a primeira proposição for falsa, a segunda proposição pode ser verdadeira ou falsa, sem que isso afete a validade da proposição condicional.