2. lógica

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.