Filosofia 11.

º ano
Lógica proposicional

1. Seleciona a única opção que permite obter uma afirmação correta.

As conectivas verofuncionais da lógica proposicional clássica são:

a) sim; não; e; ou; ou…ou; se… então; se e somente se.

b) não; e; ou; ou…ou; se… então; se e somente se.
c) não; e; ou; ou… ou; se… então; se e claro que.
d) não; e; ou; ou…ou; se… então.

2. Seleciona a única opção que permite obter uma afirmação correta.

A diferença, em termos de valores de verdade, entre a disjunção exclusiva e
a disjunção inclusiva é:

a) a disjunção inclusiva é verdadeira se, e só se, todas as frases disjuntas

forem verdadeiras e a exclusiva se pelo menos uma das frases disjuntas
for verdadeira.
b) a disjunção inclusiva é verdadeira se, e apenas se, pelo menos uma das
frases disjuntas for verdadeira e a exclusiva é verdadeira se, e só se,
apenas uma das suas frases disjuntas for verdadeira.
c) a disjunção inclusiva é verdadeira se pelo menos uma das frases
disjuntas for falsa e a exclusiva é verdadeira se, e só se, apenas uma das
suas frases disjuntas for verdadeira.
d) a disjunção inclusiva é verdadeira se pelo menos uma das frases
disjuntas for verdadeira e a exclusiva é verdadeira se todas as frases
disjuntas forem falsas.

3. Seleciona a única opção que permite obter uma afirmação correta.

Uma fórmula (_________) se, e somente se, existem atribuições de valores
de verdade às variáveis proposicionais que a tornam falsa e outras
atribuições que a tornam verdadeira.

a) diz-se tautológica.
b) diz-se contraditória.
c) diz-se traumatológica.
d) diz-se contingente.

4. Seleciona a única opção que permite obter uma afirmação correta.

A fórmula P → Q → R é uma:
a) condicional.
b) disjunção inclusiva.
c) disjunção exclusiva.
d) negação
 Filosofia 11.º ano
5. Seleciona a única opção que permite obter uma afirmação correta.
Formaliza o argumento seguinte de forma correta:
«Se não houvesse testes de lógica então todos passariam. Há testes de
lógica. Logo, nem todos passam.»
a) ¬P→Q P ∴¬Q.
b) ¬P→Q ¬P ∴¬Q
c) ¬P↔Q P ∴¬Q
d) P→¬Q P ∴¬Q

6. Estabelece a correspondência entre os operadores e as respetivas definições

das colunas abaixo.

1. A conjunção A. Tem o valor de verdade oposto ao da frase de

2. A negação
3. A condicional
4. A bicondicional
partida.
B. Só será verdadeira se, e apenas se, todas as
proposições simples que a compõem forem também
verdadeiras.
C. É falsa se, e apenas se, a antecedente for
verdadeira e a consequente falsa.

D. É verdadeira quando as proposições que a

compõem assumem em simultâneo o mesmo valor
de verdade.

7. Estabelece a correspondência entre os conceitos e as respetivas definições

das colunas abaixo.

1. Se A, então B. A. Logo, B. A. Modus ponens.

2. Se A, então B. B. Logo, A. B. Modus tollens.

3. Se A, então B. Não B. Logo, não A. C. Falácia da afirmação do

consequente.
4. Se A, então B. Não A. Logo, não B.
D. Falácia da negação do antecedente

8. Classifica as seguintes afirmações como verdadeiras (V) ou falsas (F).

A. Na lógica proposicional clássica, um dicionário transforma a linguagem

simbolizada na linguagem natural.
B. Na ausência de parênteses, há, ainda assim, uma ordem de conectivas
principais e secundárias a seguir.
C. Num inspetor de circunstâncias em que haja uma circunstância em que
todas as premissas são verdadeiras e a conclusão é também verdadeira
retira-se a conclusão de que o argumento é verdadeiro.
D. Ao construir um inspetor de circunstâncias devo verificar se existe
alguma linha em que as premissas são verdadeiras e a conclusão falsa,
de modo a determinar a invalidade do argumento.
 Filosofia 11.º ano
E. Um argumento é inválido se é impossível que as premissas sejam
verdadeiras e a conclusão falsa.

9. Classifica as seguintes afirmações como verdadeiras (V) ou falsas (F).

A. Um argumento é inválido se incorre numa falácia informal.

B. Um argumento é válido se é impossível que as premissas sejam
verdadeiras e a conclusão falsa.
C. Numa tabela de verdade não se pode inscrever o valor de verdade.
D. A diferença entre proposições simples e proposições complexas é que as
primeiras não podem ser decompostas e as segundas podem.
E. Quando realizamos o cálculo de uma fórmula, começamos por resolver
as operações de maior força (âmbito).

10. Classifica as seguintes afirmações como verdadeiras (V) ou falsas (F).

A. A formalização A → B , ¬ A ∴ ¬ Bcorresponde à falácia da negação do

antecedente.
B. A função dos parênteses é criar ambiguidades.
C. A formalização AB , A ∴ ¬ B corresponde ao argumento válido
denominado silogismo disjuntivo.
D. A formalização ¬( A ˄ B)↔ ¬ A ˅¬ B corresponde a um argumento
segundo as Leis de De Morgan.
E. Tabela de verdade é uma representação num diagrama que mostra todos
os valores de verdade possíveis para uma determinada fórmula
proposicional.

11. Classifica as seguintes afirmações como verdadeiras (V) ou falsas (F).

A. A formalização A → B ∴ ¬ A →¬ B corresponde a um argumento por

contraposição.
B. Numa fórmula com três proposições simples, construímos uma tabela de
verdade a partir de seis combinações de valores verdade.
C. A formalização A → B , B → C ∴ A →C corresponde ao argumento válido
denominado silogismo hipotético.
D. A formalização A → B , B ∴ A corresponde à falácia de afirmação do
consequente.
E. A lógica proposicional não permite a simbolização das proposições.

12. Classifica as seguintes afirmações como verdadeiras (V) ou falsas (F).

Na proposição:

A. «Nenhuma nuvem é amarela», o predicado está distribuído.

B. «Alguns desportistas não são saudáveis», o sujeito está distribuído.
C. «Alguns carteiros são barbudos», o predicado está distribuído.
D. «Todos os navegantes são aventureiros», o sujeito não está distribuído.
E. «Todos os cachecóis são pirosos», o sujeito está distribuído.
 Filosofia 11.º ano

13. Classifica as seguintes afirmações como verdadeiras (V) ou falsas (F).

Na proposição:

A. «Nenhuma flor é comestível», o sujeito está distribuído.

B. «Alguns estudantes são brilhantes», o sujeito não está distribuído.
C. «Algumas cadeiras não são confortáveis», o predicado está distribuído.
D. «Todos os unicórnios são bailarinos», o predicado não está distribuído.
E. «Nenhuma camisola é azul», o predicado não está distribuído.

14. Completa os espaços com as opções corretas de modo a obteres afirmações

verdadeiras.

Na lógica proposicional, a unidade mínima são as proposições. Estas ligam-se

através conectivas. Simbolizando quaisquer duas proposições com as letras P
e Q, então posso sintetizar as conectivas:
- não P é, obviamente, uma _______________;
- P e Q, é uma _______________;
- P ou Q, é uma _______________;
- Se P então Q, é uma _______________;
- P se e somente se Q, é uma _______________.

Opções: bicondicional; disjunção; negação; conjunção; condicional

 Filosofia 11.º ano
Lógica proposicional Soluções

1. b)

2. b)

3. d)

4. a)

5. a)

6. 1 – B; 2 – A; 3 – C; 4 – D.

7. 1 – A; 2 – C; 3 – B; 4 - D.

8. A – F; B – V; C – F; D – V; E – F.

9. A – F; B – V; C – F; D – V; E – F.

10. A – V; B – V; C – F; D – F; E – F.

11. A – F; B – V; C – V; D – V; E – F.

12. A – V; B – F; C – F; D – F; E – V.

13. A – V; B – V; C – V; D – V; E – F.

14. negação; conjunção; disjunção; condicional; bicondicional.