Para compreendermos o operador "se... então...", vamos usar um exemplo de um comerciante que quer adquirir mangas para vender na feira. Ele tem interesse em qualquer manga madura, seja ela pequena ou grande. Todavia, se for verde, ele só vai querer se for grande.
Podemos representar esta preferência do comerciante através da seguinte proposição:
Se for manga verde então tem que ser grande
Confira cada combinação:
Na 1ª linha, a manga é verde e grande. Logo, o comerciante irá aceitá-la (mesmo sendo verde).
Na 2ª linha, a manga é verde e pequena. Neste caso, o comerciante não tem interesse nela.
Na 3ª e 4ª linhas, a manga é madura. Desta forma, não importa se ela é grande ou não. O comerciante terá interesse de qualquer jeito.
Símbolo do operador "se... então...":
Veja a proposição abaixo:
Se for manga verde então tem que ser grande
$p$ |
: |
a manga é verde |
$q$ |
: |
(a manga) é grande |
$\rightarrow$ |
: |
"se... então..." |
Assim, podemos reescrever a proposição da seguinte forma:
$p \rightarrow q$
Tabela-verdade do operador "se... então...":