Deducao

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 que…

Computa¸˜o (DC) ca Universidade Federal de S˜o Carlos (UFSCar) a 2012/1 Objetivos An´lise formal de mecanismos de dedu¸˜o de conhecimento a ca Principal problema Verificar validade de uma conclus˜o l´gica a o Como? Conceito fundamental: Consequˆncia l´gica e o Defini¸˜o de regras de inferˆncia b´sicas ca e a Verifica¸˜o da validade de argumentos ca OBS: Dentro deste contexto, nas pr´ximas unidades, veremos a rela¸˜o entre Formas Normais e o processo de o…

Básicas de Lógica argumento, premissas, conclusão Definição. Um ARGUMENTO é um par de coisas:  um conjunto de sentenças, que são as PREMISSAS.  uma sentença, que é a CONCLUSÃO. Comentário. Todos os argumentos têm conclusões, mas nem todos os argumentos têm premissas: o conjunto de premissas pode ser um conjunto vazio! Mais tarde examinaremos esta ideia em detalhe. Comentário. Se as sentenças envolvidas pertencem ao português (ou a qualquer outra linguagem natural), é…

EQUIVALÊNCIAS LÓGICAS Duas proposições, p e q, são ditas equivalentes, em símbolos p ⇔ q, quando possuem tabelas-verdade idênticas (idênticas no sentido de idênticas, exceto talvez pela última entrada da primeira linha). Dizer que duas proposições, p e q, são equivalentes (p ⇔ q), é o mesmo que dizer que elas sempre assumem o mesmo valor lógico, que é o mesmo que dizer que a bicondicional lógica p ↔ q é sempre verdadeira. Cabe notar a diferença entre o significado de p ↔ q e o de p ⇔ q.…

Pergunta 1 ------------------------------------------------- Indique o argumento inválido: | a. | p ∧ q ⊢ p | | b. | p ∧ q ⊢ q | | c. | p, q ⊢ p ∧ q | | d. | p → q ⊢ p → (p ∧ q) | | e. | p → q, p ⊢ ~q | Pergunta 2 ------------------------------------------------- Ou lógica é fácil, ou Artur não gosta de lógica. Por outro lado, se geografia não é difícil, então lógica é difícil. Daí, segue-se que, se Artur gosta de lógica, então: | a. | Se geografia é…

escrito, do editor. Os infratores serão punidos péla Lei n° 9.610/98. Impresso no BrasiliPrm ted in Brazil Indice Capítulo 1 PROPOSIÇÕES. CONECTIVOS 1. 2. 3. 4. 5. 6. Conceito dc proposição . .............................................................. Valores lógicos cias prop o siçõ es.......................................................................... Proposições simples e proposições c o m p o stas...................................................…

escrito, do editor. Os infratores serão punidos péla Lei n° 9.610/98. Impresso no BrasiliPrm ted in Brazil Indice Capítulo 1 PROPOSIÇÕES. CONECTIVOS 1. 2. 3. 4. 5. 6. Conceito dc proposição . .............................................................. Valores lógicos cias prop o siçõ es.......................................................................... Proposições simples e proposições c o m p o stas...................................................…

..................................................................... 52 11.2 PRINCÍPIO DA DUALIDADE: ........................................................................................... 52 AULA 8 ................................................................................................................................ 54 12. RACIOCÍNIO LÓGICO – TEORIA DA ARGUMENTAÇÃO: ................................................... 54 12.1 PENSAMENTO LÓGICO FORMAL:…

conclusão e essa lista de proposições formada pelas premissas e a conclusão é chamada de Argumento Válido. Existem várias técnicas dedutivas que podem ser utilizadas para demonstrar que uma proposição é formalmente dedutível. Nesse texto são mostrados dois tipos de técnicas dedutivas: Prova Direta e Prova Indireta. 1. Prova Direta É um método de provar que uma proposição é formalmente dedutível a partir de outras proposições, chamadas premissas, sem utilizar tabela-verdade.…

Nome: Lista de exercícios para a segunda avaliação Entregar 1 semana antes da P2, feita a mão Listas atrasadas não serão aceitas! 1. Construir a condicional associada de cada um dos argumentos a. ~p, ~qp Ⱶ q b. p ^ ~q, p ~r, q v ~s Ⱶ r v s c. O criminoso é primário, ou cometeu um descuido. Se o criminoso for primário, então terá sua pena diminuída. O criminoso não é primário. Logo, sua pena não será diminuída. 2. Usar o método das tabelas-verdade para avaliar a validade dos argumentos:…