Considere as seguintes proposições simples: L: O cão enco...

Considere as seguintes proposições simples:

L: O cão encontra com o lobo. M: O cão vai em direção à montanha. S: O cão vai para o sul.

A proposição composta, formulada simbolicamente como left parenthesis L logical or M right parenthesis ⟶ S, pode ser escrita como:

a.	

Se o cão encontrar com o lobo ou se ele for em direção à montanha, então o cão irá para o sul.

b.	

Quando o cão encontrar com o lobo e for em direção à montanha, então o cão irá para o sul.

c.	

Se o lobo for em direção ao sul, então o cão irá para a montanha.

d.	

O cão irá em direção à montanha se, e somente se, encontrar com o lobo indo para o sul.

e.	

O cão encontra com o lobo e vai em direção a montanha, desde que seja rumo ao sul.