Explicação passo a passo:

Na lógica matemática, esse é o símbolo se ... então. É uma condicional "se p então ~q (não q)", como a frase: "se chover então não vou na piscina".

Ou seja, só terá resultado Falso quando a sua primeira proposição p for Verdadeira e sua segunda proposição q for Falsa.

Veja a seguir a tabela verdade para se ... então para que possa entender melhor.

Fonte da imagem: Canal SaBer em FoCo - SBFC "QUESTÃO DE LÓGICA | TABELA VERDADE | CONDICIONAL [8:12]"