Operação Condicional (→)

A operação condicional, simbolizada por “→”, está presente em proposições compostas pelo conectivo “se... então...”, que expressa a ideia de condição e consequência

Por exemplo:

Se o inventor Santos Dumont nasceu no Brasil, então ele é brasileiro.

p: O inventor Santos Dumont nasceu no Brasil.

q: O Santos Dumont é brasileiro. R: Se o inventor Santos Dumont nasceu no Brasil, então ele é brasileiro.

R: p → q

Esse tipo de declaração condiciona a veracidade de q à ocorrência de p. Assim, a interpretação deve ser iniciada pela avaliação do valor lógico da proposição p.