fil11_bq_00003

Prévia do material em texto

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
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
2. A negação
3. A condicional
4. A bicondicional
	A. Tem o valor de verdade oposto ao da frase de 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.
2. Se A, então B. B. Logo, A.
3. Se A, então B. Não B. Logo, não A.
4. Se A, então B. Não A. Logo, não B.
	A. Modus ponens.
B. Modus tollens.
C. Falácia da afirmação do consequente.
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. 
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 corresponde à falácia da negação do antecedente.
B. A função dos parênteses é criar ambiguidades. 
C. A formalização corresponde ao argumento válido denominado silogismo disjuntivo.
D. A formalização 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 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 corresponde ao argumento válido denominado silogismo hipotético.
D. A formalização 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.
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
1. b)Lógica proposicional		 Soluções
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.