Ficha 3 - Logica Proposicional

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.

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.

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.

A fórmula P → Q → R é uma:
a) condicional.
b) disjunção inclusiva.
c) disjunção exclusiva.
d) negação
Filosofia 11.º ano
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

partida.
2. A negação
B. Só será verdadeira se, e apenas se, todas as
3. A condicional proposições simples que a compõem forem também
verdadeiras.
4. A bicondicional
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.
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).
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.
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.

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

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.

Ficha 3 - Logica Proposicional

Enviado por

Direitos autorais:

Formatos disponíveis

Ficha 3 - Logica Proposicional

Enviado por

Dados do documento

Descrição original:

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Ficha 3 - Logica Proposicional

Enviado por

Direitos autorais:

Formatos disponíveis

Filosofia 11.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Você também pode gostar