Relatorio Pratico Matematica Discreta

Matemática Discreta Celso Henrique Assis Silva Matricula:200920452 Turma: 10A Aula 3 – 01/04/2014 Álgebra de Boole: proposições, conectivos, fórmulas, linguagem lógica e tabelas verdade. Na aula 3, foi mostrado o conceito de Tautologia, que nada mais é que uma constante verdadeira, ou uma proposição composta que sempre da verdadeiro na ultima linha da tabela verdade. Vimos também o conceito de Contradição, que também é considerada uma constante, só que neste caso, é uma constante falsa. O terceiro conceito apresentado em sala foi da Contingência, é toda proposição que não é tautologia e nem contradição, ou seja, tem valores verdadeiros e falsos na ultima linha de sua tabela verdade. Na aplicação em Computação, se você tem uma expressão muito grande, e você sabe que o resultado dela é uma Tautologia ou uma Contradição, você pode substituir toda a formula somente pelo seu resultado, verdadeiro ( 1 ) ou falso ( 0 ). Tem grande aplicabilidade na Eletrônica. As formulas lógicas tem os mesmos componentes das formulas aritméticas, tem conectivos:conjunção, disjunção, negação, parênteses, identificadores ou variáveis, e as constantes. A precedência entre os conectivos serve para reduzir o numero de parênteses e simplificar visualmente. A ordem de precedência varia de : – entre parênteses, dos mais internos para os mais externos; – Negação; – Conjunção e Disjunção; – Condicional; – Bicondicional; A implicação lógica acontece quando uma proposição P implica em

Faculdades Integradas Espírito-Santenses Unidade de Computação e Sistemas Curso de Sistemas de Informação Disciplina: Lógica Matemática - 2009/2 Prof. Henrique Monteiro Cristovão Roteiro de Estudos através de Exercícios (com respostas) Avaliações Prova Conteúdo Referência livro texto Exercícios 1ª prova Representação simbólica cap 1: seções 1.1 e 1.2 1 a 17 Tabela verdade Equiv. Notáveis e regras de dedução 2ª prova Quantificadores, predicados e validade cap…

MATEMÁTICA DISCRETA I TEORIA DA INFERÊNCIA ARGUMENTO: é uma sequência finita de sentenças : A1 A2 A3 . . . An-1 An , onde A1 A2 A3 . . . An-1 são chamadas premissas e An é a conclusão. REGRAS DE INFERÊNCIA: - Regra P : uma premissa pode ser introduzida em qualquer lugar da derivação. - Regra T : uma sentença S' pode ser introduzida na derivação se, na derivação existem ... Sn tais que S' é consequência da junção de algumas delas. S 1 , S2 , - Regra PC : (regra da Prova…

Negativas- Distribuem o predicado T.menor- Distribuem o sujeito T.maior- Distribuem o predicado Compreensão do conceito: Enumeração das suas características; conjunto das qualidades, propriedades ou atributos que definem o conceito. Extensão: Conjunto de objectos (seres ou coisas), (materiais ou imateriais) a que o conceito se aplica. Juízo: Relação estabelecida entre pelo menos dois conceitos de afirmação ou negação. Raciocínio: Relação estabelecida entre pelo menos 2…

Modus ponens, modus tollens, e respectivas falácias formais Jerzy A. Brzozowski 28 de abril de 2011 O objetivo deste texto é apresentar duas formas válidas de argumentos – o modus ponens e o modus tollens – e duas falácias formais – a da afirmação do consequente e a da negação do antecedente. A primeira dessas falácias resulta de uma inversão envolvendo a segunda premissa e a conclusão de um argumento na forma modus ponens. Por sua vez, a falácia de negação do antecedente resulta…

Profa Msc. Helaine Sousa  O que é Lógica? O modo de pensar corretamente.  Proposição? é uma frase declarativa, à qual pode ser atribuído, um dos valores lógicos: verdadeiro (V) ou falso (F).  Simples  Composta  Conectivos Lógicos (ou operadores lógicos)? são palavras ou expressões usadas para formar novas proposições a partir de proposições.  Tabela Verdade? descreve os valores lógicos de uma proposição em termos das possíveis combinações dos valores lógicos das proposições e…

Livro: Aprendizagem e Desenvolvimento 1 citação: O estudo da logica é o estudo dos métodos e princípios usados para distinguir o raciocínio correto do incorreto. O raciocínio logico-dedutivo não deve estar preocupado com o exame da verdade das premissas em um argumento.Silogismo é um tipo de argumento dedutivo que consiste de duas premissas e uma conclusão. Pagina113 1:conclusão; por sua vez o raciocínio traz o método correto e o imcorreto de uma expressão por logo pode-se consiste em…

PROF. RONALDO BARBOSA ALVIM LÓGICA MATEMÁTICA VITÓRIA 2009 Governo Federal Ministro de Educação Fernando Haddad Ifes – Instituto Federal do Espírito Santo Reitor Dênio Rebello Arantes Pró-Reitora de Ensino Cristiane Tenan Schlittler dos Santos Coordenadora do CEAD – Centro de Educação a Distância Yvina Pavan Baldo Coordenadoras da UAB – Universidade Aberta do Brasil Yvina Pavan Baldo Maria das Graças Zamborlini Curso de Licenciatura em Informática Coordenação…

como aconteceu com outras ciências, também a Logica conheceu no seu desenvolvimento várias etapas delineadas a partir de importantes contributos e de ilustre pensadores e manteve conexões íntimas com outras áreas do saber, designadamente, com a Matemática, com a Metafisica, com a Filosofia e com a linguística geral. Enquanto ciências autónoma, a Logica remonta a Aristóteles, grande pensador grego do seculo IV a.C. Nessa altura, a logica era vista com uma forma superior de pensamento e as…

Raciocínio na Ciência da Computacao  Lógica de Predicados/Primeira Ordem  Métodos Formais para Desenvolvimento de Sistemas  Banco de Dados Dedutivo  Inteligência Artificial CIn- UFPE Lógica 2  Já viram com Ruy… • Raciocínio dedutivo (regras de inferência) CIn- UFPE Métodos Formais para Desenvolvimento de Sistemas 3  Alexandre CIn- UFPE Uma pausa... Sistemas Gerenciadores de Banco de Dados 4 CIn- UFPE 5 SGBD Dedutivo  Definição:  Um SGBD Dedutivo é um sistema que…