Se for verdadeira a afirmação “alguns softwares gratuitos são livres, mas nem todos, e existem softwares
livres que não são gratuitos, porém todo software que não é livre é proprietário”, então também será
verdade que “existe um software proprietário que é gratuito”.
As proposições • “Se o cliente não aprova o website, então o pagamento não é liberado.” • “Se o pagamento é liberado, então o cliente aprova o website.” • “O cliente aprova o website ou o pagamento não é liberado.” não são todas logicamente equivalentes.
O centro de uma cidade é uma região plana, cortada por 5 ruas no sentido leste-oeste e 7 ruas no sentido
norte-sul, como na ilustração, na qual o tracejado representa um trecho em obras fechado para o tráfego.
Se um táxi parte da extremidade noroeste dessa região, seguindo essas ruas, sempre nos sentidos leste
ou sul, há exatamente 140 caminhos distintos que ele pode usar para chegar à extremidade sudeste.