Carregando...
Carregando...
Ajude a melhorar a plataforma
Adotam-se ferramentas da lógica formal para verificar como chegar a conclusões, a partir de dadas proposições. O sistema envolvido é denominado lógica proposicional, lógica declarativa ou cálculo proposicional. No presente contexto, o termo “cálculo” é utilizado no sentido mais amplo, portanto, muito mais inclinado à avaliação e ao raciocínio do que à diferenciação e à integração. Com base nas informações apresentadas, analise as afirmativas a seguir e assinale V para a(s) verdadeira(s) ou F para a(s) falsa(s). I. ( ) Um argumento válido deveria ser verdadeiro com base integralmente em sua estrutura interna. II. ( ) Para todos os efeitos, uma hipótese de um argumento válido corresponde à conclusão do argumento. III. ( ) Por meio do sistema lógico completo, entende-se que todos os argumentos válidos deveriam ser demonstráveis. Assinale a alternativa que apresenta a sequência correta .
Explique melhor esta questão
Abre o Tutor com o enunciado e as alternativas já no campo — você revisa e envia.
Esta questão foi verificada por um de nossos administradores.
JUSTIFICATIVA A afirmativa I é verdadeira, pois um argumento válido deveria ser verdadeiro com base integralmente em sua estrutura interna (diz-se que ele deveria ser intrinsecamente verdadeiro). Essa é uma das características de um argumento válido. A afirmativa II é falsa, pois hipótese e conclusão são instâncias diferentes. De fato, ambas constituem um argumento válido. Por exemplo, “A ^ B = C”, A e B, como proposições dadas, são as hipóteses do argumento, ao passo que C é a conclusão do argumento. A afirmativa III é verdadeira, pois a interpretação de sistema lógico completo enseja que todos os argumentos válidos deveriam ser demonstráveis, ao passo que um sistema lógico correto pressupõe que apenas argumentos válidos deveriam ser demonstráveis. A ênfase, portanto, para aferir “completo” e “correto” envolve o exame de “apenas” versus “todos”.
