A frase “Se Carlos trabalha, então ganha dinheiro” eqüivale logicamente à frase:
“Carlos trabalha e ganha dinheiro”
“Carlos trabalha ou ganha dinheiro”
“Carlos trabalha ou não ganha dinheiro”
“Carlos não trabalha ou ganha dinheiro”