Boa tarde! Abaixo, excelente explicação do professor Hugo Lima do Estratégia Concursos. Melhor ir desenhando ao acompanhar a explicação dele!
A resolução sai fácil por diagramas lógicos. Construa dois círculos com uma intersecção entre eles. Um deles é o conjunto dos softwares livres e o outro é o conjunto dos softwares gratuitos. É isso que podemos entender com "alguns softwares gratuitos são livres,mas nem todos,e existem softwares livres que não são gratuitos".
O segredo vem agora: "todo software que não é livre é proprietário". Ou seja, tudo que estiver de fora do círculo que representa os softwares livres deve ser considerado proprietário. Veja que nessa região externa ao conjunto dos livres estão aqueles softwares que são gratuitos mas não são livres, além de outros softwares que não são nem gratuitos nem livres. Portanto, esses softwares que são gratuitos e não são livres são proprietários. Em outras palavras, "existe um software proprietário que é gratuito.
Natália.