Exercı́cio: Apresente um dicionário e a formalização para as s...

Exercı́cio: Apresente um dicionário e a formalização para as seguintes proposições: 1. O Donald mente se e apenas se diz algo falso intencionalmente.
2. A democracia permite desigualdades, mas é o melhor sistema que conhecemos.
3. Os humanos têm companhia no universo, se houver vida inteligente noutros planetas.
4. É falso que há livre-arbı́trio.
5. Se há excepções ao direito à vida, eutanasiar uma pessoa é correcto.
6. Deus existe ou existe mal no mundo.
7. Apesar de Deus existir, existe mal no mundo.

Tenham em atenção o seguinte:

Por vezes as frases têm modos verbais que só fazem sentido no contexto da frase inteira ou em relação com outras frases. Quando isto acontece, no dicionário colocamos o verbo no presente do indicativo. Exemplo:

"Por causa de Évora ser uma cidade, é uma cidade espanhola." ⇒ P: Évora é uma cidade. (não “Évora ser uma cidade.”)