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:
- A V, F, V, V, F.
- B V, V, V, V, F.
- C F, V, F, V, F.
- D V, V, V, F, F.