NEW
Font size
Worksheets2. lógica
Total questions: 16
Worksheet time: 14mins
No quadrado lógico, a relação lógica entre as proposições universais afirmativas e particulares afirmativas é de:
contraditoriedade.
contrariedade.
sub-contrariedade.
subalternidade.
Considera a afirmação: "Se verdade é libertadora, então é difícil de enfrentar." Aplicando a inferência modus tollens, identifica a segunda premissa e a conclusão:
"A verdade é libertadora. Logo, é difícil de aceitar."
"A verdade não é difícil de aceitar. Logo, a verdade não é libertadora."
"A verdade não é libertadora. Logo, a verdade é difícil de aceitar."
"Se a verdade é difícil de aceitar, então é libertadora. Logo, a verdade não é difícil de aceitar."
Considera a afirmação "As baleias têm inteligência emocional". Identifica a sua negação:
"Algumas baleias têm inteligência emocional."
"Nenhuma baleia tem inteligência emocional."
"Todas as baleias têm inteligência emocional."
"Algumas baleias não têm inteligência emocional."
A proposição "Todas as pessoas são humanas" não pode ser a subalterna de "Algumas pessoas são humanas". Esta afirmação é:
verdadeira, porque a primeira é universal e segunda é particular e são ambas afirmativas.
falsa, porque a subalterna é "Algumas pessoas não são humanas".
verdadeira, porque ambas são afirmativas.
falsa, porque a primeira é universal afirmativa e, por isso, não pode ser subalterna.
A disjunção inclusiva é falsa quando:
P e Q são ambas verdadeiras.
P, Q ou ambas são verdadeiras.
P e Q são ambas falsas.
P é verdadeira e Q é falsa.
A alternativa que traduz corretamente a proposição: "A bondade é uma virtude apenas quando usada de forma adequada" é:
P→Q
P v Q
P ᴧ Q
P↔Q
Uma conectiva verofuncional distingue-se de uma conectiva proposicional porque:
é uma expressão que permite constituir proposições compostas.
é um símbolo que traduz logicamente uma proposição simples.
é uma expressão que exprime o valor de verdade da proposição.
é um símbolo que a representa.
A conclusão do silogismo disjuntivo é:
¬B
B
¬A
A
As condições de verdade de uma forma proposicional podem ser representadas através:
da formalização.
da forma lógica.
de uma tabela de verdade.
da forma canónica.
Usando a forma de inferência válida da contraposição, assinala a conclusão que podemos obter a partir da premissa "Se duvido, então penso":
Se penso, então duvido.
Se penso, então não duvido.
Se não duvido, então não penso.
Se não penso, então não duvido.
A refutação de "Algumas pessoas não são altruístas" é:
"As pessoas são altruístas."
"Algumas pessoas são altruístas."
"Nenhuma pessoa é altruístas."
"Não há pessoas altruístas."
Na frase: "Os imigrantes ilegais pagam impostos sobre vendas e outros, sendo que eles compram bens e serviços a comerciantes, assim como fazem transações financeiras." a conclusão é:
"Os imigrantes ilegais pagam impostos sobre vendas e outros"
"Os imigrantes compram bens e serviços"
"Os imigrantes fazem transações financeiras"
"Os imigrantes compram bens e serviços a comerciantes"
"Se a mente depende inteiramente do cérebro, então não há anjos". Aplicando a regra da contraposição, conclui-se o seguinte da proposição expressa pela frase anterior:
Se há anjos, então não é verdadeiro que a mente depende inteiramente do cérebro.
Se há anjos, então a mente depende inteiramente do cérebro.
Se não há anjos, então a mente depende parcialmente do cérebro.
Se não anjos, então a mente não depende inteiramente do cérebro.
A formalização da proposição "Não é verdadeiro que, se houver decência moral, há políticos corruptos, mas há políticos corruptos, não havendo decência moral." é
(¬P→Q)v¬(Q→P)
¬(PᴧQ)ᴧ(Q ↔¬P)
¬(P→Q)ᴧ(Q→¬P)
¬P→Qᴧ(Q→¬P)
Considerando a proposição: Se a teoria do Big Bang estiver correta, então o Universo tem muitos milhões de anos", como primeira premissa de um argumento modus ponens podemos concluir que:
A teoria do Big Bang está correta.
O universo tem muitos milhões de anos.
A teoria do Big Bang não está correta.
O universo não tem muitos milhões de anos.
Uma variável proposicional é simbolizada por:
um símbolo.
uma conectiva verofuncional.
uma letra.
