Exercícios (lógica)

Mostre que a forma argumentativa seguinte é inválida, recorrendo ao método das

tabelas de verdade.
AVB
A
¬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.

-----///-----

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.

-----///-----
Considere o seguinte texto:
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.
Determine a validade do mesmo.
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 validade.
Caso seja inválida, identifique a falácia cometida.
-----///-----
Prove que o argumento seguinte é inválido, construindo e interpretando a tabela de
validade adequada.
Se Antígona é uma tragédia, então a heroína de Antígona morre.
Logo, se Antígona não é uma tragédia, então a heroína de Antígona não morre.
Na sua resposta, comece por formalizar o argumento, utilizando o dicionário
apresentado.
Dicionário
P: Antígona é uma tragédia.
Q: A heroína de Antígona morre.

-----///-----
Um argumento sólido não pode ter conclusão falsa. Porquê?

-----///-----
Considere o argumento seguinte.
Se o Manuel perder o último comboio do dia, então dorme em casa de amigos.
Logo, o Manuel dorme em casa de amigos.
Utilizando uma das regras de inferência estudadas e, em conformidade com essa regra,
introduzindo uma segunda premissa, o argumento anterior torna-se válido.
Escreva a premissa que torna o argumento válido e a regra de inferência usada.

-----///-----
Utilize o dicionário seguinte para formalizar as quatro frases apresentadas.
Dicionário
P: Stuart Mill é liberal.
Q: Stuart Mill é socialista.
I) Stuart Mill não é liberal.
II) Stuart Mill é liberal ou socialista.
III) Se Stuart Mill é liberal, então não é socialista.
IV) É falso que Stuart Mill seja liberal e socialista.

-----///-----
Suponha que um argumento tem a seguinte forma: P ˅ Q, Q ˅ R ⸫ P ˅ R
Determine a validade do mesmo através de uma tabela de validade (inspetor de
circunstâncias).
-----///-----
O Carlos encontrou a Diana numa esplanada sobre o rio Guadiana. A Diana disse-lhe:
‒ Gosto de rios, mas também gosto de lagos rodeados de montanhas.
O Carlos acrescentou:
‒ Nesse caso, gostas de alguns lagos suíços, pois na Suíça há lagos rodeados de
montanhas.
Qual dos dois tipos de argumentos – dedutivo ou não dedutivo – usou o Carlos para
concluir que a Diana
gosta de alguns lagos suíços? Justifique.