Questão de Raciocínio Lógico

Sobre analogias, inferências, deduções, equivalência e implicação lógica, e argumentos válidos, analise as cinco afirmativas abaixo e assinale V para verdadeiro e F para falso: (__) Uma inferência dedutiva válida tem a propriedade de preservar a verdade: se todas as premissas são verdadeiras em um modelo, a conclusão também será verdadeira nesse modelo. (__) A prova por contradição (redução ao absurdo) consiste em assumir a negação da conclusão e, a partir dessa assunção, derivar uma contradição; assim é um método legítimo de dedução indireta. (__) Duas proposições são logicamente equivalentes quando cada uma implica logicamente a outra; nesse caso, em contextos formais clássicos, podem ser substituídas uma pela outra sem alterar a validade de argumentos. (__) Basta encontrar um caso concreto em que todas as premissas e a conclusão de um argumento sejam verdadeiras para afirmar que o argumento é logicamente válido. (__) Se duas situações são análogas e a mesma conclusão é plausível em um dos casos, então essa conclusão está logicamente comprovada para a outra situação. Marque a alternativa que apresenta a sequência CORRETA: