 |
| Onde eu vivo... |
Lógica Proposicional
Questões de Exame
1.
A tradução de «Platão é filósofo e grego» é P ˄ Q, em que
P é «Platão é filósofo» e Q é «Platão é grego».
Recorrendo ao dicionário apresentado, traduza as proposições seguintes:
a) Caso Platão seja filósofo, é grego.
b) Platão é filósofo ou não é grego.
2. Considere que a proposição seguinte é a conclusão de uma inferência com uma única premissa.
Se Joana Schenker é campeã mundial de bodyboard, então treina intensamente.
Escreva a premissa que, mediante a aplicação de uma das formas de inferência válida estudadas, permite
obter a conclusão apresentada.
Na sua resposta, identifique a forma de inferência válida aplicada.
3. No texto seguinte, encontra-se um argumento que tem uma das formas lógicas válidas estudadas.
Tomé da Fonseca, um velho general reformado, revive com frequência a atividade militar. À
sua maneira, foi desde a infância uma pessoa sociável e enérgica, e o universo militar sempre
lhe deu muito prazer. Ora, o velho general não revive com frequência a atividade militar se não
jogar muitas vezes jogos de estratégia. Portanto, Tomé da Fonseca joga muitas vezes jogos de estratégia.
Formalize o argumento que se encontra no texto, indicando o dicionário utilizado.
Recorrendo ao dicionário apresentado, traduza as proposições seguintes:
a) Caso Platão seja filósofo, é grego.
b) Platão é filósofo ou não é grego.
2. Considere que a proposição seguinte é a conclusão de uma inferência com uma única premissa.
Se Joana Schenker é campeã mundial de bodyboard, então treina intensamente.
Escreva a premissa que, mediante a aplicação de uma das formas de inferência válida estudadas, permite
obter a conclusão apresentada.
Na sua resposta, identifique a forma de inferência válida aplicada.
3. No texto seguinte, encontra-se um argumento que tem uma das formas lógicas válidas estudadas.
Tomé da Fonseca, um velho general reformado, revive com frequência a atividade militar. À
sua maneira, foi desde a infância uma pessoa sociável e enérgica, e o universo militar sempre
lhe deu muito prazer. Ora, o velho general não revive com frequência a atividade militar se não
jogar muitas vezes jogos de estratégia. Portanto, Tomé da Fonseca joga muitas vezes jogos de estratégia.
Formalize o argumento que se encontra no texto, indicando o dicionário utilizado.
2017 1ª fase
A formalização de «Se Freud é cientista, então não
recusa as hipóteses especulativas mas usa o método científico» poderia ser
10. A partir de «Se a acrobacia é uma arte, então
exprime sentimentos» e de «A acrobacia não exprime sentimentos», por modus
tollens, infere-se que
(A) a acrobacia é uma arte, mas não exprime
sentimentos.
(B) a acrobacia nunca poderá exprimir sentimentos.
(C) é falso que a acrobacia seja uma arte.
(D) se algo exprime sentimentos, então é arte.
2012 Época especial
Teste a validade do seguinte argumento, aplicando o
método das tabelas de verdade ou outro método.
Emanuel orienta o seu comportamento tendo em conta os
seus deveres ou orienta o seu comportamento prevendo as consequências das suas
ações. Se Emanuel orienta o seu comportamento prevendo as consequências das
suas ações, é omnisciente. Mas Emanuel não é omnisciente. Logo, Emanuel orienta
o seu comportamento tendo em conta os seus deveres.
2016 1ª fase
Atente na proposição complexa expressa pela frase
seguinte.
Quer Schubert quer Schumann eram compositores.
Identifique a conectiva que liga as duas proposições
simples que a constituem.
2. B. Recorrendo ao dicionário apresentado, formalize
a proposição seguinte.
Se Cristiano Ronaldo ganhar quatro Botas de Ouro ou
três Ligas dos Campeões, ficará na história do desporto.
Dicionário:
P: Cristiano Ronaldo ganha quatro Botas de Ouro.
Q: Cristiano Ronaldo ganha três Ligas dos Campeões.
R: Cristiano Ronaldo fica na história do desporto.
3. B. Mostre que a forma argumentativa seguinte é
inválida, recorrendo ao método das tabelas de verdade.
A V B
A
Logo, ¬B
2012 2ª fase
Teste a validade do seguinte argumento, aplicando o
método das tabelas de verdade ou outro método.
Se Cícero é um orador persuasivo, então utiliza um
discurso sedutor e cativa o auditório. Cícero é um orador persuasivo. Logo,
Cícero cativa o auditório.
2015 2ª fase
Identifique a consequente da proposição seguinte.
A mentira é errada e indesejável se tiver maus
resultados ou for desnecessária.
2. B. Identifique a falácia que ocorre na inferência
seguinte. Justifique a identificação feita.
Se vive no Funchal, o Luís não vive no continente.
Ora, ele não vive no Funchal. Portanto, vive no continente.
2014 1ª fase
Complete o enunciado seguinte, escrevendo a premissa
em falta, de modo a construir um argumentoválido.
Ao completar o enunciado, aplique uma das formas de
inferência válida estudadas.
O Tiago é jornalista ou não usa microfone.
Logo, o Tiago não usa microfone.
Identifique a forma de inferência válida aplicada.
2. B. Admitindo que a proposição «A Joana está sentada»
é verdadeira, será possível determinar o valor de verdade da proposição
seguinte?
Se a Joana não está sentada, então está a correr.
Apresente a justificação completa da sua resposta.
2014 2ª fase
1. B. Formalize a proposição seguinte. Comece por apresentar
um dicionário apropriado. Se Colombo nasceu no Alentejo, então é português e
não nasceu em Itália.
2. B. Teste a validade da seguinte forma
argumentativa, por meio da construção e da interpretação de uma tabela de
verdade. ¬P → Q Logo Q → ¬P
Considere o enunciado seguinte.
«Se os cientistas não criarem novas teorias e não
criarem novos modelos de explicação da vida, então não poderemos provar que há
vida em Marte».
Simbolize o enunciado apresentado.
Comece por criar um dicionário apropriado.
Considere a forma argumentativa seguinte:
(P Ʌ Q) → Q
Q
P Ʌ Q
Teste a validade da forma argumentativa, através do
método das tabelas de verdade ou de outro adequado.
Caso seja inválida, identifique a falácia cometida.
2013 2ª fase
Considere a fórmula seguinte.
(P Ʌ Q) → ¬R
Traduza em linguagem natural a fórmula apresentada.
Comece por criar um dicionário apropriado.
3. B. Considere as proposições seguintes.
«Se Espinosa tem razão, então tudo está determinado ou
não há livre-arbítrio. Ora, Espinosa tem razão.»
Apresente a conclusão que se segue logicamente das
duas proposições anteriores, aplicando uma das formas de inferência válida
estudadas.
Indique a forma de inferência válida aplicada.
2012 1ª fase
Teste a validade do seguinte argumento, aplicando o
método das tabelas de verdade ou outro método.
Se o António é um intelectual português contemporâneo,
então leu Eduardo Lourenço e leu José Gil. O António não leu Eduardo Lourenço
nem José Gil. Logo, o António não é um intelectual português contemporâneo.
2015 1ª fase
1. B. Traduza as fórmulas seguintes para a linguagem
natural, com base no dicionário apresentado.
a) ¬Q → ¬P
b) P Ʌ Q
Dicionário:
P: A Sandra tem bons hábitos alimentares.
Q: A Sandra come legumes com regularidade.
2. B. Identifique a antecedente da proposição expressa
a seguir.
A Catalunha separar-se-á da Espanha se o governo
espanhol for autoritário e reduzir os apoios à indústria catalã.
3. B. Construa um argumento, com a forma modus ponens,
cuja conclusão seja «O Luís vai ao cinema».
 |
| Onde eu gostava de viver... |
Sem comentários:
Enviar um comentário