Deducao

1 INTRODUÇÃO À LÓGICA MATEMÁTICA 1. Dedução. Como vimos, então, o método das Tabelas Verdade pode ser utilizado para mostrar que um argumento é válido ou inválido. No entanto, esse método apresenta dois sérios inconvenientes; em primeiro lugar, o número de linhas cresce muito rapidamente, à medida que aumenta o número de proposições simples envolvidas no argumento; com 10 proposições a tabela necessita de 1024 linhas, e com 11, o numero de linhas vai a 2048. Com mais umas poucas proposições, sua construção se torna impraticável. A segunda restrição é ainda pior; no Cálculo de Predicados, que veremos a seguir, muitas vezes não existe um procedimento que permita estabelecer o valor lógico de uma dada afirmação, o que torna impossível a construção da Tabela Verdade. Por esse motivo foram desenvolvidos outros métodos para que se possa mostrar a validade de um argumento. Tais métodos são chamados métodos dedutivos, e sua aplicação chama-se dedução. Em termos mais formais, o conceito de dedução pode ser apresentado da seguinte forma: Dado um argumento P1 ∧ P2 ∧ ... ∧ Pn → Q chama-se demonstração ou dedução de Q a partir das premissas P1 , ... Pn, a seqüência finita de proposições X1, X2, ... Xk, tal que cada Xi ou é uma premissa ou decorre logicamente de proposições anteriores da seqüência, e de tal modo que a última proposição Xk seja a conclusão Q do argumento dado. Cada proposição Xi que incluímos na seqüência deve decorrer logicamente das anteriores; isso significa…

DEDUÇÃO, INDUÇÃO E ABDUÇÃO Na dedução, tem-se uma conclusão com base nas regras que já existiam. Na indução, a conclusão enuncia algo que supera a informação contida na premissa, o raciocínio objetiva ampliar os conhecimentos do pesquisador/leitor. Ex: Raciocínio dedutivo: Todo mamífero tem coração Todos os cavalos são mamíferos Logo, todos os cavalos têm coração Raciocínio indutivo: Todos os cavalos até hoje observados tinham coração Logo, todos os…

Dedução natural é um dos sistemas dedutivos utilizados para construir demonstrações formais na Lógica. Foram introduzidos pela primeira vez, nos anos 30, por Gentzen. Para poder realizar uma derivação formal, é necessário formalizar a expressão que queremos demonstrar. Formalizar significa traduzir da forma lingüística usual para uma notação lógica, uma forma que é entendível para qualquer um, independente da língua que fala, e que também reduz o espaço ocupado pela frase escrita, tendo…

Dedução é uma forma de raciocínio científico o qual se deve partir do geral para o particular. Assim, é preciso primeiro criar uma regra ou pensamento lógicos e depois tentar relacioná-las com situações factíveis e conhecidas pra buscar uma conclusão. Para os praticantes da dedução, o cientista não precisa de mil experimentos científicos, para provar sua teoria. Basta apenas uma única prova dedutiva para que a teoria possa ser considerada válida. Um exemplo de dedução seria: • Em um…

dispêndio pelo valor total pago e fornecerá aos demais profissionais um recibo mensal devidamente autenticado, correspondente ao ressarcimento que lhe cabe de cada um, escriturando como receita o valor total dos ressarcimentos recebidos; b) os demais consideram como despesa mensal o valor do ressarcimento, constante do comprovante recebido, que servirá como documento comprobatório. 6- Guarda dos documentos 5 anos a contar do primeiro dia do exercício seguinte (6 anos da…

DEDUÇÃO E INDUÇÃO Campus Campo Novo do Parecis DEDUÇÃO E INDUÇÃO.  Alunos: Dyemy Dym e João Gabriel.  Professora: Cristiane.  Matéria: metodologia da pesquisa – Dedução e Indução. Campos Campo Novo do Parecis INTRODUÇÃO. Raciocinar ou argumentar é um ato característico da inteligência humana. Trata-se de um tipo de operação discursiva do pensamento que consiste em extrair uma conclusão. A forma de raciocínio é a primeira definição da metodologia de uma pesquisa,…

todo homem é mortal´. Se Sócrates é homem. Logo, Sócrates é mortal.’ Agora podemos entender melhor o argumento dedutivo e lógico sobre os gansos: ‘Se todos os gansos são brancos. E se irei receber um ganso enviado por um colega. Logo, este ganso é branco.’. Portanto, podemos chegar a seguinte conclusão: o raciocínio dedutivo, partindo de uma hipótese geral, não tem referência com o mundo real, mas tem referência com o que o cientista, filósofo ou pensador imagina sobre o…

Exercícios de Dedução Natural 2.6 Usando Dedução Natural, apresentar demonstrações para as seguintes fórmulas: (a) C = (A  (B  C))  (B  (A  C)) ├ (A  (B  C))  (B  (A  C)) sse A  (B  C) ├ B  (A  C) 1. A  (B  C) P 2. A H 3. B  C 1,2 MP 4. B H 5. C 3,4 MP 6. A  C 2-5 RPC 7. B  (A  C) 4-6 RPC (b) W = (A  (A  B))  (A  B) ├ (A  (A  B))  (A  B) sse A  (A  B) ├ A  B 1. A  (A  B) P 2.…

I – Dedução Natural Existem muitos métodos que servem de procedimentos de dedução (provas, derivação, demonstração). A escolha de um desses métodos deve ter em conta diversas características como por exemplo a simplicidade de execução. O método mais usado pelos lógicos desde a criação da lógica formal, e por um longo período de tempo foi o método axiomático. Talvez se possa justificar esta situação pelo facto de que muitos dos lógicos e matemáticos até 1931 trabalhavam no projeto…

Indução e Dedução A indução e a dedução são formas opostas de raciocínio. Os argumentos dedutivos são aqueles em que as premissas fornecem um fundamento definitivo da conclusão, enquanto nos indutivos as premissas proporcionam somente alguma fundamentação da conclusão. Uma outra maneira de expressar essa diferença é dizer que numa dedução é impossível que as premissas sejam verdadeiras e a conclusão falsa, mas no raciocínio indutivo no sentido forte isso é possível. Num raciocínio…