Ponha em prática…

Formalize as seguintes proposições simples, reescrevendo a forma canónica das

proposições – caso seja necessário -, o dicionário, as conectivas e a sua forma lógica:

1. Deus não existe.

2. Deus existe e é bom.
3. Deus é perfeito ou infinito.
4. Se Deus existe, então a vida tem sentido.
5. Não é o caso que o cão do vizinho seja agressivo.
6. Se Alice sabe Lógica, é capaz de pensar com rigor.
7. Platão nasceu em França ou no Egito.
8. Lógica e Ética, a Alice gosta ao menos de uma delas.
9. O número de ovelhas do nosso rabanho é par ou ímpar.
10. A vida é pensada pelos filósofos, mas a morte também o é.
11. Ou a moral depende apenas das intenções ou depende só das consequências.
12. É falso que o Tomás gosta de peixe.
13. Na hipótese de haver desejo, há sofrimento.
14. Quer o chocolate é bom quer os vegetais são bons.
15. Um argumento é sólido somente se for válido.
16. A existência é bela, apesar de a vida o ser também.
17. Uma condição suficiente para o Sol ser perecível é o facto de haver buracos negros.
18. O animal tem corpo se, e somente se, for mortal.
19. Pedro estuda medicina ou Teologia, mas não as duas coisas.
20. O facto de seres rico é condição necessária e suficiente para seres invejado.
21. Se a Alice tem classificação positiva no teste, então tem pelo menos 10 valores, e vice-
versa.
22. A água é vital, mas a água não é preciosa.
23. Platão e Aristóteles são filósofos.
24. Se não está sol, então vou ao cinema.
25. Camões ou Bocage eram de Setúbal.
26. A verdade nunca é simples e raramente é óbvia.
27. Se Sócrates era filósofo, então era grego.
28. Deus perdoa se, e só se for bom.
29. Se a Ana estuda, não terá problemas.
30. Raimundo é estudioso e não gosta de Florbela.
31. Florbela não gosta de Raimundo nem é estudiosa.
32. Raimundo não é trabalhador mas é divertido.
33. A inflação vai subir, a menos que o desemprego se mantenha acima do 10%”.
34. Se não é verdade que a vida tem sentido, então Deus existe.
35. Se a morte é o fim, não há divindades.
Ponha em prática…
B - Formalize as seguintes proposições complexas, reescrevendo a forma canónica das
proposições – caso seja necessário -, o dicionário, as conectivas e a sua forma lógica:

1- O bem e o mal são faces, sim, mas de moedas diferentes

2- Raimundo admira Platão se, e apenas se, não admira Aristóteles nem Hume.
3- Platão e Aristóteles são ambos filósofos, mas Aristófanes não é.
4- Deus existe, e se a vida tem sentido, então há entrega ativa a projetos de valor.
5- Se Deus existe e a vida tem sentido, então há entrega ativa a projetos de valor.
6- A Clara está na biblioteca, e está a ler ou a ouvir música.
7- Se a Clara e a Joana estão na biblioteca, o Artur não ficou em casa.

Correção da ficha de trabalho – proposições simples.

1. Deus não existe.

Expressão canónica: Deus não existe.
Dicionário - P – Deus existe.
Conectivas – negação
Forma lógica -  P

2. Deus existe e é bom.

Expressão canónica: Deus existe e é bom.
Dicionário - P – Deus existe; Q – Deus é bom.
Conectivas – conjunção
Forma lógica - (P  Q)
3. Deus é perfeito ou infinito.
Expressão canónica: Deus é perfeito ou Deus é infinito.
Dicionário - P – Deus é perfeito; Q – Deus é infinito.
Conectivas – disjunção inclusiva.
Forma lógica - (P  Q)

4. Se Deus existe, então a vida tem sentido.

Expressão canónica: Se Deus existe, então a vida tem sentido.
Dicionário - P – Deus existe; Q – A vida tem sentido.
Conectivas – condicional
.
Forma lógica - P  Q)
5. Não é o caso que o cão do vizinho seja agressivo.
Expressão canónica: o cão do vizinho não é agressivo
Dicionário - P – O cão do vizinho é agressivo.
Conectivas – negação
Forma lógica -  P

6. Se Alice sabe Lógica, é capaz de pensar com rigor.

Expressão canónica: Se Alice sabe Lógica, então é capaz de pensar com rigor.
Dicionário - P – Alice sabe Lógica; Q – Alice é capaz de pensar com rigor.
Conectivas – condicional
Forma lógica - (P  Q)
7. Platão nasceu em França ou no Egito.
Expressão canónica: Ou Platão nasceu em França ou Platão nasceu no Egito.
Dicionário - P – Platão nasceu em França; Q – Platão nasceu no Egito.
Conectivas – disjunção exclusiva.
.
Forma lógica - (P  Q)

8. Lógica e Ética, a Alice gosta ao menos de uma delas.

Expressão canónica: Alice gosta de lógica ou de Ética.
Dicionário - P – Alice gosta de Lógica; Q – Alice gosta de Ética.
Conectivas – disjunção inclusiva.
Forma lógica - (P  Q)

9. O número de ovelhas do nosso rabanho é par ou ímpar.

Expressão canónica: Ou o número de ovelhas do nosso rebanho é par ou o numero de
ovelhas do nosso rebanho é ímpar.
Dicionário - P – O número de ovelhas do nosso rebanho é par; Q – O número de ovelhas
do nosso rebanho é ímpar.
Conectivas – disjunção exclusiva.
.
Forma lógica - (P  Q)

10.A vida é pensada pelos filósofos, mas a morte também o é.

Expressão canónica: A vida é pensada pelos filósofos e a morte é pensada pelos filósofos.
Dicionário - P – A vida é pensada pelos filósofos. Q - A morte é pensada pelos filósofos.
Conectivas – conjunção
Forma lógica - (P  Q)
11. Ou a moral depende apenas das intenções ou depende só das consequências.
Expressão canónica: Ou a moral depende apenas das intenções ou depende só das
consequências.
Dicionário - P – A moral depende apenas das intenções; Q – A moral depende só das
consequências.
Conectivas – disjunção exclusiva.
.
Forma lógica - (P  Q)

12.É falso que o Tomás gosta de peixe.

Expressão canónica: O Tomás não gosta de peixe.
Dicionário - P – O Tomás gosta de peixe.
Conectivas – negação
Forma lógica -  P

13.Na hipótese de haver desejo, há sofrimento.

Expressão canónica: Se há desejo, então há sofrimento.
Dicionário - P – Há desejo; Q – Há sofrimento.
Conectivas – condicional
Forma lógica - (P  Q)

14.Quer o chocolate é bom quer os vegetais são bons.

Expressão canónica: O Chocolate e os vegetais são bons.
Dicionário - P – O Chocolate é bom; Q - Os vegetais são bons.
Conectivas – conjunção
Forma lógica -(P  Q)

15.Um argumento é sólido somente se for válido.

Expressão canónica: Se um argumento é sólido, então é válido
Dicionário - P – Um argumento é sólido; Q – Um argumento é válido.
Conectivas – condicional
Forma lógica - (P  Q)

16.A existência é bela, apesar de a vida o ser também.

Expressão canónica: A existência e a vida são belas.
Dicionário - P – A existência é bela; Q – A vida é bela.
Conectivas – conjunção
Forma lógica - (P  Q)
17.Uma condição suficiente para o Sol ser perecível é o facto de haver buracos negros.
Expressão canónica: Se há buracos negros, então o Sol é perecível.
Dicionário - P – Há buracos negros; Q – o sol é perecível
Conectivas – condicional
Forma lógica - (P  Q)

18.O animal tem corpo se, e somente se, for mortal.

Expressão canónica: O animal tem corpo se, e só se, for mortal
Dicionário - P – O animal tem corpo; Q – o animal é moral
Conectivas – bicondicional
Forma lógica - (P ↔ Q)

19.Pedro estuda medicina ou Teologia, mas não as duas coisas.

Expressão canónica: Ou o Pedro estuda medicina ou estuda Teologia.
Dicionário - P – Pedro estuda medicina; Q – Pedro estuda Teologia.
Conectivas – disjunção exclusiva.
.
Forma lógica - (P  Q)

20.O facto de seres rico é condição necessária e suficiente para seres invejado.
Expressão canónica: És rico, se e só se, és invejado.
Dicionário - P – És rico; Q – És invejado
Conectivas – bicondicional
Forma lógica - (P ↔ Q)

21. Se a Alice tem classificação positiva no teste, então tem pelo menos 10 valores, e vice-
versa.
Expressão canónica: Alice tem classificação positiva no teste se é só se, tem pelo menos 10
valores.
Dicionário - P – Alice tem classificação positiva no teste; Q – Alice tem pelo menos 10
valores.
Conectivas – bicondicional
Forma lógica - (P ↔ Q)
22. A água é vital, mas a água não é preciosa.
Forma padrão: A água é vital e não é preciosa.
Dicionário: P – A água é vital
Q - A água é preciosa
Conectiva: conjunção e negação.
Forma lógica: (P ∧ ⌐Q)
23.Platão e Aristóteles são filósofos.
Dicionário: P – Platão é filósofo.
Q – Aristóteles é filósofo.
Conectiva: conjunção
Forma lógica: (P ∧ Q)

24.Se não está sol, então vou ao cinema.

Dicionário: P – Está sol.
Q – Vou ao cinema.
Conectiva: condicional e negação.
Forma lógica: (⌐P → Q)

25.Camões ou Bocage eram de Setúbal.

Dicionário: P – Camões era de Setúbal.
Q – Bocage era de Setúbal.
Conectiva: disjunção inclusiva
Forma lógica: (P ∨ Q)

26. A verdade nunca é simples e raramente é óbvia.

Forma padrão: A verdade não é simples e raramente é óbvia.
Dicionário: P – A verdade é simples.
Q – A verdade raramente é óbvia.
Conectiva: negação e conjunção.
Forma lógica: (⌐P ∧ Q)

27. Se Sócrates era filósofo, então era grego.

Dicionário: P – Sócrates era filósofo.
Q – Sócrates era grego.
Conectiva: condicional
Forma lógica: (P → Q)
28. Deus perdoa se, e só se, for bom.
Dicionário: P – Deus perdoa.
Q – Deus é bom
Conectiva: bicondicional
Forma lógica: (P ↔ Q)

29. Se a Ana estuda, não terá problemas.

Dicionário: P – A Ana estuda.
Q – A Ana terá problemas.
Conectiva: condicional e negação.
Forma lógica: (P → ⌐ Q)

30. Raimundo é estudioso e não gosta de Florbela

Dicionário: P – Raimundo é estudioso.
Q – Raimundo gosta de Florbela.
Conectiva: conjunção e negação.
Forma lógica: (P ∧ ⌐Q)

31. Florbela não gosta de Raimundo nem é estudiosa.

Dicionário: P – Florbela gosta de Raimundo.
Q – Florbela é estudiosa.
Conectiva: negação e conjunção.
Forma lógica: (⌐P ∧ ⌐Q)

32. Raimundo não é trabalhador mas é divertido.

Forma padrão: Raimundo não é trabalhador e é divertido.
Dicionário: P – Raimundo é trabalhador.
Q – Raimundo é divertido.
Conectiva: negação e conjunção.
Forma lógica: (⌐P ∧ Q)

33. A inflação vai subir, a menos que o desemprego se mantenha acima de 10%
Forma padrão: Se o desemprego se mantiver acima de 10%, então a inflação vai subir.
Dicionário: P – O desemprego vai se manter acima de 10%
Q – A inflação vai subir.
Conectiva: condicional
Forma lógica: (P→Q)
 34. Se não é verdade que a vida tem sentido, então Deus existe.
Dicionário: P – A vida tem sentido.
Q – Deus existe
Conectiva: condicional e negação
Forma lógica: (⌐P→Q)

35. Se a morte é o fim, não há divindades.

Dicionário: P – A morte é o fim.
Q – Há divindades.
Conectiva: condicional e negação
Forma lógica: (P→⌐Q)

Correção da ficha de trabalho – proposições complexas.

1. O bem e o mal são faces, sim, mas de moedas diferentes.

Forma padrão: O bem e o mal são faces e, são de moedas diferentes.
Dicionário: P – O bem é uma face.
Q – O mal é uma face.
R – Moedas diferentes.
Conectiva: conjunção.
Forma lógica: (P∧Q) ∧R

2. Raimundo admira Platão se, e apenas se, não admira Aristóteles nem Hume.
Forma padrão: Raimundo admira Platão se, e só se não admira Aristóteles e Hume.
Dicionário: P – Raimundo admira Platão.
Q – Raimundo admira Aristóteles
R – Raimundo admira Hume.
Conectiva: bicondicional, negação e conjunção.
Forma lógica: P↔ (⌐Q∧⌐R)

3. Platão e Aristóteles são ambos filósofos, mas Aristófanes não é.

Forma padrão: Platão e Aristóteles são filósofos e Aristófanes não é.
Dicionário: P – Platão é filósofo.
Q – Aristóteles é filósofo.
R – Aristófanes é filósofo.
Conectiva: negação e conjunção.
Forma lógica: (P∧Q) ∧ ⌐R
4. Deus existe, e se a vida tem sentido, então há entrega ativa a projetos de valor.
Dicionário: P – Deus existe.
Q – A vida tem sentido.
R – Há entrega ativa a projetos de valor.
Conectiva: conjunção e condicional.
Forma lógica: P∧ (Q→R)

5. Se Deus existe e a vida tem sentido, então há entrega ativa a projetos de valor.
Dicionário: P – Deus existe.
Q – A vida tem sentido.
R – Há entrega ativa a projetos de valor.
Conectiva: condicional e conjunção
Forma lógica: (P∧Q) →R

6. A Clara está na biblioteca, e está a ler ou a ouvir música.

Dicionário: P – A Clara está na biblioteca.
Q – A Clara está a ler.
R – A Clara está a ouvir música.
Conectiva: conjunção e disjunção inclusiva.
Forma lógica: P∧ (Q∨R)

7. Se a Clara e a Joana estão na biblioteca, o Artur não ficou em casa.

Forma padrão: Se a Clara e a Joana estão na biblioteca, então o Artur não ficou em casa.
Dicionário: P – A Clara está na biblioteca.
Q – A Joana está na biblioteca.
R – O Artur ficou em casa.
Conectiva: conjunção, condicional e negação.
Forma lógica: (P∧Q)→ ⌐R