Parte

2 UNidade 3  Lógica proposicional

Testes sumativos

GRUPO I

•  Este grupo é constituído por oito questões de escolha múltipla.

•  Na folha de resposta, indique claramente o número do item a que está a responder e a alínea da alternativa que
considera correta.
•  Em caso de engano, a resposta deve ser rasurada e corrigida de modo bem legível.

1 Uma das ferramentas desenvolvidas pela lógica proposicional é:

a) uma linguagem binária.
b) uma linguagem codificada.
c) uma linguagem informal.
d) uma linguagem formal.

2 «Se chover, vou ao cinema.» é uma proposição que significa que:

a) se estiver a chover, vou ao cinema.
b) só vou ao cinema se chover.
c) se fui ao cinema, é porque choveu.
d) se não chover, não vou ao cinema.

3 O símbolo / corresponde à operação lógica de:

a) disjunção.
b) implicação material.
c) negação.
d) conjunção.

4 Uma das regras de gramática da lógica proposicional determina que:

a) duas premissas universais não podem ter uma conclusão particular.
b) o
 s parênteses são usados para eliminar ambiguidades e distinguir o principal operador lógico de uma
proposição complexa.
c) se uma das premissas é negativa, a conclusão tem de ser negativa.
d) uma inferência silogística não pode ter duas premissas negativas.

5 A
 proposição «Uma teoria científica está justificada apenas no caso de ter confirmação indutiva.»
é uma:
a) bicondicional.
b) condicional.
c) disjunção.
d) conjunção.

90 DESAFIOS  •  Filosofia  •  11.o ano  •  Material fotocopiável  •  © Santillana

520545 083-110.indd 90 04/02/14 15:59

 Parte

2
6 O princípio da equivalência material enuncia que:
a) uma proposição complexa é verdadeira se ambas as proposições simples forem falsas.

Testes sumativos
b) uma proposição complexa é verdadeira se ambas as proposições simples forem verdadeiras.
c) u
 ma proposição complexa é verdadeira se as proposições simples tiverem um valor de verdade
diferente.
d) u
 ma proposição complexa é verdadeira se ambas as proposições simples tiverem o mesmo valor de
verdade.

7 « Se o governo não abrandar com as medidas de austeridade, o povo irá revoltar-se. O governo
abrandou com as medidas. Logo, o povo não se revoltou.» Este silogismo:
a) é válido — forma de inferência válida do modus tollens.
b) é válido — forma de inferência válida do modus ponens.
c) comete a falácia da negação do antecedente.
d) comete a falácia da afirmação do consequente.

8 « Se treinar com disciplina diariamente, vou melhorar o meu desempenho no torneio. Treino com
disciplina diariamente. Logo, vou melhorar o meu desempenho no torneio.» Este silogismo:
a) comete a falácia da afirmação do consequente.
b) é válido — forma de inferência válida do modus ponens.
c) comete a falácia da negação do antecedente.
d) é válido — forma de inferência válida do modus tollens.

GRUPO II

•  Este grupo é constituído por cinco exercícios simples.

1 Formalize a proposição seguinte usando o operador lógico correto.

Só me é possível dar atenção à música no caso de não ter uma vida muito dura.

2 Identifique o operador principal da seguinte fórmula: (P " Q) / J R

3 T
 raduza para a sua linguagem natural (o português) a seguinte forma de uma proposição
complexa: (P " Q) / R
Para isso, tenha em consideração estas proposições simples:
P: O Aníbal possui um cargo muito importante.
Q: O Aníbal gosta do seu trabalho.
R: O Aníbal tem uma ambição desmedida.

4 T
 raduza para a linguagem formal a proposição complexa abaixo apresentada. Identifique cada
uma das proposições simples.
O Rui vai passar no exame de filosofia se e só se conseguir somar pelo menos 100 valores.

DESAFIOS  •  Filosofia  •  11.o ano  •  Material fotocopiável  •  © Santillana 91

520545 083-110.indd 91 04/02/14 15:59

 Parte

2
5 D
 as seguintes fórmulas, identifique as que estão bem e as que estão mal construídas. Identifique
o erro que as fórmulas mal construídas cometem.
a) P (Q " R)
Testes sumativos

b) (P " Q) / R
c) P (0 Q / R)
d) P J Q

GRUPO III

•  Este grupo é constituído por três exercícios com tabelas de verdade.

1 C
 rie uma tabela de verdade para determinar se a proposição seguinte é contingente, tautológica
ou uma contradição.
(P / J P) / Q

2 C
 onstrua uma tabela de verdade para determinar se as proposições do seguinte par são
equivalentes, contraditórias, consistentes ou inconsistentes.
J (P 0 Q)
J P / J Q

3 Considere o seguinte argumento:

(P / Q) " Q
Q
`P/Q
3.1 Teste a validade do argumento através do método das tabelas de verdade. Caso seja inválido,
identifique a falácia cometida.

92 DESAFIOS  •  Filosofia  •  11.o ano  •  Material fotocopiável  •  © Santillana

520545 083-110.indd 92 04/02/14 15:59