Professor conteudista: Ricardo Holderegger

Tamanho: px
Começar a partir da página:

Download "Professor conteudista: Ricardo Holderegger"

Transcrição

1 Lógica

2 Professor conteudista: Ricardo Holderegger

3 Sumário Lógica Unidade I 1 SISTEMAS DICOTÔMICOS Proposições Proposições lógicas Símbolos da lógica matemática A negação Interruptores... 2 OPERAÇÕES LÓGICAS SOBRE PROPOSIÇÃO CONSTRUÇÃO DA TABELA-VERDADE Exemplo de p q Exemplo de p q Exemplo de p q Exemplo de p q Tautologia Contradição Contingências...12 Unidade II 4 RELAÇÕES DE IMPLICAÇÃO E EQUIVALÊNCIA Implicação lógica Equivalência lógica...13 ARGUMENTO VÁLIDO Definição Argumento válido e inválido Argumento verdadeiro e falso TÉCNICAS DEDUTIVAS...16 Unidade III 7 FLUXOGRAMAS Diagramação Programação estruturada Estrutura de controle QUANTIFICAÇÕES Sentença aberta Sentença aberta com uma variável Conjunto-verdade de uma sentença aberta Sentenças abertas com duas variáveis...23

4 8.1.4 Conjunto-verdade de uma sentença aberta com duas variáveis Sentenças abertas com n variáveis Conjunto-verdade de uma sentença aberta com n variáveis Quantificador universal ( ) Quantificador existencial ( ) Negação de sentenças quantificadas...28 Unidade IV 9 INTRODUÇÃO À ÁLGEBRA DE BOOLE Operador binário O sistema binário de numeração Propriedade cumulativa na adição Propriedade cumulativa na multiplicação Propriedade associativa na adição Propriedade associativa na multiplicação Álgebra booleana Conversão de decimal em binário...33 REPRESENTAÇÃO DAS FUNÇÕES BOOLEANAS FORMAS NORMAIS Forma normal conjuntiva Forma normal disjuntiva...3

5 LÓGICA Unidade I TABELA DE SÍMBOLOS Símbolo ou não e ou se..., então somente se se, e somente se tal que implica equivalente existe Definição existe um, e somente um qualquer que seja pertence não pertence intersecção (só entra o que é comum nos dois) união dos conjuntos contém. Ex.: B A (B contém A) ou { } { } não está contido está contido. Ex.: A B (A está contido em B) conjunto vazio conjunto unitário { x x... x tal que x... diferente 1

6 Unidade I INTRODUÇÃO O que é lógica? A lógica ensina a colocar ordem no pensamento. Breve histórico da lógica A lógica começou a se desenvolver principalmente com Aristóteles ( a.c.), filósofo grego nascido na cidade de Estagira, na Calcídica, Macedônia, distante 320 quilômetros de Atenas. Além dele, também outros antigos filósofos gregos passaram a usá-la em suas discussões, sentenças enunciadas nas formas afirmativa e negativa, resultando, assim, numa grande simplificação e clareza, com efeito de grande valia em toda a matemática. As obras de Aristóteles abordam vários ramos do saber: política, zoologia, botânica, física, metafísica, filosofia e outros. A lógica é tratada por Aristóteles no livro Orgânon Na era moderna, o matemático alemão Gottfried Wilhelm von Leibniz ( ), em 1666, publicou seu principal trabalho relacionado à lógica. Já no século XVIII, Euler ( ) introduziu a representação gráfica das relações entre as sentenças ou as proposições, mais tarde ampliada por Venn ( ), Veitch, em 192, e Karnaugh, em 193. O diagrama Veitch-Karnaugh permite a simplificação de expressões matemáticas complexas. 2 Adiante, George Boole ( ), matemático inglês que se tornou o pai da álgebra booleana, utilizou símbolos e operações para representar proposições e suas inter-relações. A álgebra de Boole, apesar de ter existido há mais de cem anos, não teve uma utilização prática até 1937, quando foi aplicada pelas primeiras vezes à análise de circuitos e relés. 2

7 LÓGICA 1 SISTEMAS DICOTÔMICOS 1.1 Proposições As proposições são sentenças declarativas, que satisfazem três princípios fundamentais. 1 Princípio da identidade: se qualquer proposição é verdadeira, então, ela é verdadeira. Princípio do terceiro excluído: uma proposição só pode ser verdadeira ou falsa. Princípio da não contradição: uma proposição não pode ser ao mesmo tempo verdadeira e falsa. Uma proposição verdadeira possui o valor lógico V (verdade) e uma proposição falsa possui o valor lógico F (falso). Esses valores também podem ser representados por 0 para as proposições falsas e por 1 para as proposições verdadeiras. Sendo assim, a representação (0 ou F) e (1 ou V) são corretas. As proposições simples são indicadas pelas letras minúsculas latinas p, q, r, s, t, u, v, x etc.; por exemplo: 20 p: Júpiter é um planeta ; q: a somatória dos ângulos internos de qualquer triângulo é 180º Proposições lógicas Expressões do tipo + 7, o dia está nublado ou x + 8 = 23 não são proposições lógicas, já que não se pode associar a elas um valor lógico definido (V ou F). Desta forma, essas sentenças declarativas abertas dependem de um qualificador para se tornarem proposições; por exemplo, x + 8 = 23 será uma proposição lógica quando for definido o valor de x. Nesse 3

8 Unidade I caso, se x = 1, a sentença será verdadeira, ou, se x 1, a sentença será falsa. Abaixo seguem algumas proposições e seus respectivos valores lógicos: p: o estado do Paraná faz divisa com o Equador (F) ou (0); q: São Paulo é uma metrópole (V) ou (1); r: todas as árvores são frutíferas (F) ou (0); s: + = (V) ou (1); t: 3! = 6 (V) ou (1); u: 1/0 = 1 (F) ou (0) Símbolos da lógica matemática Símbolo Definição ou não e ou se..., então somente se se, e somente se tal que implica equivalente existe existe um, e somente um qualquer que seja A negação A negação da proposição p será p, que se lê não p. p: dois pontos determinam uma reta ; 4

9 LÓGICA p: dois pontos não determinam uma reta. Duas negações equivalem a uma afirmação. Desta forma, ( p) = p. Acompanhe a tabela abaixo: (p) Verdadeiro (V) Falso (F) ( p) Falso (F) Verdadeiro (V) 1.2 Interruptores O interruptor é um dispositivo ligado a um circuito elétrico, que pode assumir dois estados: 1 (ligado) e 0 (desligado). Quando o circuito está fechado, o interruptor está ligado e permite que a corrente passe de um ponto para outro. Quando aberto, os pontos estão desconectados e nenhuma corrente passa através dos mesmos. A C D R Figura 1 Circuito de chaveamento simplificado. Nos circuitos em paralelo, é utilizada a soma, e para circuitos em série, é utilizada a multiplicação. Com base na figura 1, um exemplo pode ser: (A + B). (C + D + E). Com os interruptores, monta-se as portas lógicas, que são utilizadas na computação para tomar decisões e fazer cálculos matemáticos. F

10 Unidade I 2 OPERAÇÕES LÓGICAS SOBRE PROPOSIÇÃO As proposições lógicas simples, por exemplo, p e q, podem ser combinadas através dos operadores lógicos,, e, e passarem a formar proposições compostas, do tipo p q, p q, p q e p q. Assim, as proposições compostas recebem as seguintes definições: conjunção: p q ( p e q ); disjunção: p q ( p ou q ); condicional: p q ( se p, então q ); bicondicional: p q ( p se, e somente se q ). 3 CONSTRUÇÃO DA TABELA-VERDADE Conhecendo-se os valores lógicos de duas proposições simples p e q, com o uso da tabela-verdade é possível determinar os valores lógicos das proposições compostas decorrentes. 1 Desta forma, sejam p e q duas proposições simples, de valores lógicos 0 quando falsas (F) e 1 quando verdadeiras (V), pode-se construir a tabela-verdade conforme segue: p q p q p q p q p q V V V V V V V F F V F F F V F V V F F F F F V V Se os valores lógicos V e F forem substituídos por 1 e 0, respectivamente, então obteremos: 6

11 LÓGICA p q p q p q p q p q Se uma proposição composta é formada por n proposições simples, a sua tabela-verdade possuirá 2 n linhas. Das tabelas acima, é possível inferir que: a conjunção é verdadeira somente quando ambas as proposições são verdadeiras; a disjunção é falsa somente quando ambas as proposições são falsas; a condição é falsa somente quando a primeira proposição é verdadeira e a segunda é falsa; a bicondicional é verdadeira somente quando as proposições possuem valores lógicos iguais. Veja o exemplo. Dadas as proposições simples: p: o Brasil não é um país (F) ou (0); 1 q: + 7 = 13 (V) ou (1). Sendo assim, baseado na tabela-verdade, tem-se: p q tem valor lógico F ou 0; p q tem valor lógico V ou 1; p q tem valor lógico V ou 1; 20 p q tem valor lógico F ou 0. 7

12 Unidade I Deste modo, a proposição composta p q, que significa se o Brasil não é um país, então + 7 = 12, é verdadeira, apesar de ser um absurdo. 3.1 Exemplo de p q Situação hipotética: um homem chega tarde em casa e a sua esposa, muito brava, pergunta o que houve?. O homem responde: trabalhei até tarde, o carro não quis pegar e tive que chamar o socorro mecânico do seguro. Sendo: p: trabalhei até tarde; q: carro não quis pegar e tive que chamar o socorro mecânico do seguro. p q p q Explicação V V Situação 1: V O homem realmente trabalhou até tarde (p é verdadeiro), e o carro apresentou problema de fato, havendo a necessidade de se chamar o socorro mecânico (q é verdadeiro). V F Situação 2: F O homem realmente trabalhou até tarde (p é verdadeiro), mas o carro não apresentou problema (q é falso). F V Situação 3: F O homem não trabalhou até tarde (p é falso), mas o carro apresentou problema de fato, havendo a necessidade de se chamar o socorro mecânico (q é verdadeiro). F F Situação 4: F O homem não trabalhou até tarde (p é falso), e o carro não apresentou problema (q é falso). A disjunção p ou q será falsa somente quando p e q forem falsos. 8

13 LÓGICA 3.2 Exemplo de p q Situação hipotética: uma mulher que está fazendo compras em um supermercado chega aos caixas para pagar pelas suas mercadorias e percebe que o único caixa livre é o que tem a seguinte informação: caixa reservado para gestantes e deficientes físicos. Sendo: p: reservado para gestante; q: reservado para deficientes físicos. Quando essa mulher poderá passar suas compras por esse caixa? p q p q Explicação V V Situação 1: V A mulher é gestante (p é verdadeiro) e é deficiente (q é verdadeiro). V F Situação 2: V A mulher é gestante (p é verdadeiro) e não é deficiente (q é falso). F V Situação 3: V A mulher não é gestante (p é falso) e é deficiente (q é verdadeiro). F F Situação 4: F A mulher não é gestante (p é verdadeiro) e não é deficiente (q é verdadeiro). A condição somente será falsa quando p e q forem falsos. 3.3 Exemplo de p q Situação hipotética: uma mãe diz ao seu filho: se fizer sol amanhã, iremos ao parque do Ibirapuera. p: fazer sol; 1 q: ir ao parque do Ibirapuera. 9

14 Unidade I p q p q Explicação V V Situação 1: V V F Situação 2: F F V Situação 3: V F F Situação 4: V No dia seguinte fez sol (p é verdadeiro), e a mãe levou o filho ao parque do Ibirapuera (q é verdadeiro). No dia seguinte fez sol (p é verdadeiro), mas a mãe não levou o filho ao parque do Ibirapuera (q é falso). No dia seguinte não fez sol (p é falso), e a mãe levou o filho ao parque do Ibirapuera (q é verdadeiro). No dia seguinte não fez sol (p é verdadeiro) e a mãe não levou o filho ao parque do Ibirapuera (q é verdadeiro). A condição somente será falsa quando p for verdadeiro e q for falso. 3.4 Exemplo de p q Situação hipotética: Marquinho não foi um aluno aplicado neste semestre, suas notas foram baixas e o número de faltas muito elevado em todas as disciplinas, em especial matemática, na qual ele será aprovado se não faltar às duas últimas aulas e somente se conseguir tirar uma nota superior a 8, na última prova. p: se não faltar nas duas últimas aulas; q: e somente se conseguir tirar uma nota superior a 8, na última prova. p q p q Explicação V V Situação 1: V V F Situação 2: F F V Situação 3: F F F Situação 4: V Não faltou às duas últimas aulas (p é verdadeiro) e conseguiu nota superior a 8, (q é verdadeiro). Não faltou às duas últimas aulas (p é verdadeiro) e não conseguiu nota superior a 8, (q é falso). Faltou às duas últimas aulas (p é falso) e conseguiu nota superior a 8, (q é verdadeiro). Faltou às duas últimas aulas (p é falso) e não conseguiu nota superior a 8, (q é falso).

15 LÓGICA 3. Tautologia Ocorre quando, para qualquer valor lógico das proposições simples, a proposição composta s é sempre verdadeira. Por exemplo, observe s: (p q) (p q), como segue: p q p q p q (p q) (p q) V V V V V V F F V V F V F V V F F F F V Dize-se então que s é uma tautologia. Veja também este exemplo: p V F p p V V A A é uma tautologia. Assim como: p p é uma tautologia. 3.6 Contradição p p p p V F V F V V É uma proposição composta que sempre tem valor F. Logo, p é uma contradição se, e somente se p é uma tautologia, e p é uma tautologia se, e somente se p é uma contradição. Sabemos que a proposição composta t: p p é uma contradição, então vejamos a seguir: 11

16 Unidade I p p p p V F F F V F Também são contradições os exemplos a seguir: p p é uma contradição. p p p p V F F F V F p p p p V F F F V F p p é uma contradição. 3.7 Contingências São proposições compostas em que os valores lógicos independem dos valores das proposições simples. 12

Unidade I LÓGICA. Profa. Adriane Paulieli Colossetti

Unidade I LÓGICA. Profa. Adriane Paulieli Colossetti Unidade I LÓGICA Profa. Adriane Paulieli Colossetti O que é lógica A lógica ensina a colocar ordem no pensamento. Sistemas Dicotônicos Proposições: São sentenças declarativas, que satisfazem três princípios

Leia mais

aula 01 (Lógica) Ementa Professor: Renê Furtado Felix Site:

aula 01 (Lógica) Ementa Professor: Renê Furtado Felix   Site: aula 01 (Lógica) Ementa Professor: Renê Furtado Felix E-mail: rffelix70@yahoo.com.br Site: http://www.renecomputer.net/pdflog.html Plano de Ensino CURSO: Tecnologia em Análise e Desenvolvimento de Sistemas

Leia mais

Introdução à Automação

Introdução à Automação Núcleo de Mecânica Introdução à Automação Prof. Wander Gaspar wandergaspar@gmail.com Sistemas Analógicos Um sistema analógico contém dispositivos que manipulam quantidades físicas que variam de forma contínua

Leia mais

Prof. João Giardulli. Unidade I LÓGICA

Prof. João Giardulli. Unidade I LÓGICA Prof. João Giardulli Unidade I LÓGICA Introdução A primeira qualidade do estilo é a clareza. Aristóteles Introdução Aristóteles é considerado o precursor da lógica. Aristóteles (384-322 a.c.) Introdução

Leia mais

UNIP Ciência da Computação Prof. Gerson Pastre de Oliveira

UNIP Ciência da Computação Prof. Gerson Pastre de Oliveira Aula 6 Lógica Matemática Álgebra das proposições e método dedutivo As operações lógicas sobre as proposições possuem uma série de propriedades que podem ser aplicadas, considerando os conectivos inseridos

Leia mais

Introdução ao Curso. Área de Teoria DCC/UFMG 2019/01. Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG /01 1 / 22

Introdução ao Curso. Área de Teoria DCC/UFMG 2019/01. Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG /01 1 / 22 Introdução ao Curso Área de Teoria DCC/UFMG Introdução à Lógica Computacional 2019/01 Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG - 2019/01 1 / 22 Introdução: O que é

Leia mais

Como primeira e indispensável parte da Lógica Matemática temos o Cálculo Proporcional ou Cálculo Sentencial ou ainda Cálculo das Sentenças.

Como primeira e indispensável parte da Lógica Matemática temos o Cálculo Proporcional ou Cálculo Sentencial ou ainda Cálculo das Sentenças. NE-6710 - SISTEMAS DIGITAIS I LÓGICA PROPOSICIONAL, TEORIA CONJUNTOS. A.0 Noções de Lógica Matemática A,0.1. Cálculo Proposicional Como primeira e indispensável parte da Lógica Matemática temos o Cálculo

Leia mais

Apostila de Sistemas Digitais e Computadores MÓDULOS I & II: REVISÃO ÁLGEBRA DE BOOLE.

Apostila de Sistemas Digitais e Computadores MÓDULOS I & II: REVISÃO ÁLGEBRA DE BOOLE. INSTITUTO SUPERIOR POLITÉCNICO METROPOLITANO DE ANGOLA DEPARTAMENTO DE CIÊNCIAS TECNOLÓGICAS E ENGENHARIAS Apostila de Sistemas Digitais e Computadores MÓDULOS I & II: REVISÃO ÁLGEBRA DE BOOLE. SDC LCC1N

Leia mais

Unidade IV. Unidade III. Na álgebra booleana, estão todos os fundamentos da eletrônica digital.

Unidade IV. Unidade III. Na álgebra booleana, estão todos os fundamentos da eletrônica digital. Unidade IV 9 INTRODUÇÃO À ÁLGEBRA DE BOOLE Na álgebra booleana, estão todos os fundamentos da eletrônica digital 91 Operador binário O sistema numérico surgiu ao longo da história do desenvolvimento humano

Leia mais

22. Análise Combinatória - Permutação - Repetição - Circular - Condicional Análise Combinatória - Combinação e Arranjo

22. Análise Combinatória - Permutação - Repetição - Circular - Condicional Análise Combinatória - Combinação e Arranjo Conteúdo 1. Conceitos Iniciais... 6 2. Proposições [1]... 7 3. Proposições [2] Tautologia - Contradição - Contigência... 8 4. Não são Proposições... 9 5. Lógica argumentativa Negação... 10 6. Lógica argumentativa

Leia mais

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/53 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional

Leia mais

Matemática discreta e Lógica Matemática

Matemática discreta e Lógica Matemática AULA 1 - Lógica Matemática Prof. Dr. Hércules A. Oliveira UTFPR - Universidade Tecnológica Federal do Paraná, Ponta Grossa Departamento Acadêmico de Matemática Ementa 1 Lógica Sentenças, representação

Leia mais

Lógica Proposicional (cont.)

Lógica Proposicional (cont.) Lógica Proposicional (cont.) Conectivos lógicos Conjunção (e: ^) Disjunção (ou: v) Negação (não : ~) Condicional (se...então: ) Bicondicional (se somente se: ) 1 Negação de um proposição composta Negar

Leia mais

Lógica Matemática UNIDADE I. Professora: M.Sc. Juciara do Nascimento César

Lógica Matemática UNIDADE I. Professora: M.Sc. Juciara do Nascimento César Lógica Matemática UNIDADE I Professora: M.Sc. Juciara do Nascimento César 1 A Lógica na Cultura Helênica A Lógica foi considerada na cultura clássica e medieval como um instrumento indispensável ao pensamento

Leia mais

DISCIPLINA: MATEMÁTICA DISCRETA I PROFESSOR: GISLAN SILVEIRA SANTOS CURSO: SISTEMAS DE INFORMAÇÃO SEMESTRE: TURNO: NOTURNO

DISCIPLINA: MATEMÁTICA DISCRETA I PROFESSOR: GISLAN SILVEIRA SANTOS CURSO: SISTEMAS DE INFORMAÇÃO SEMESTRE: TURNO: NOTURNO DISCIPLINA: MATEMÁTICA DISCRETA I PROFESSOR: GISLAN SILVEIRA SANTOS CURSO: SISTEMAS DE INFORMAÇÃO SEMESTRE: 2018-2 TURNO: NOTURNO ALUNO a): 1ª Lista de Exercícios - Introdução à Lógica Matemática, Teoria

Leia mais

Prof. Jorge Cavalcanti

Prof. Jorge Cavalcanti Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 01 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav

Leia mais

PRINCÍPIO BOOLEANO E PORTAS LÓGICAS (Unidade 3)

PRINCÍPIO BOOLEANO E PORTAS LÓGICAS (Unidade 3) MINISTÉRIO DA EDUCAÇÃO SECRETARIA DE EDUCAÇÃO PROFISSIONAL E TECNOLÓGICA INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DE SANTA CATARINA BACHARELADO EM CIÊNCIA DA COMPUTAÇÃO DISCIPLINA: ELETRÔNICA

Leia mais

Matemática Discreta - 01

Matemática Discreta - 01 Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 01 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav

Leia mais

Lógica. Cálculo Proposicional. Introdução

Lógica. Cálculo Proposicional. Introdução Lógica Cálculo Proposicional Introdução Lógica - Definição Formalização de alguma linguagem Sintaxe Especificação precisa das expressões legais Semântica Significado das expressões Dedução Provê regras

Leia mais

Atenção: Esse conectivo transmite a ideia de e / ou e não apenas a de exclusão como muitas pessoas imaginam.

Atenção: Esse conectivo transmite a ideia de e / ou e não apenas a de exclusão como muitas pessoas imaginam. CONCEITO DE PROPOSIÇÃO É todo conjunto de palavras ou símbolos que exprimem uma ideia de sentido completo e que, além disso, pode ser julgado como verdadeiro (V) ou falso (F). NÃO SÃO PROPOSIÇÕES Frases

Leia mais

UNIVERSIDADE DO ESTADO DE MATO GROSSO CAMPUS UNIVERSITÁRIO DE SINOP FACULDADE DE CIÊNCIAS EXATAS E DA TERRA BACHARELADO EM SISTEMAS DE INFORMAÇÃO

UNIVERSIDADE DO ESTADO DE MATO GROSSO CAMPUS UNIVERSITÁRIO DE SINOP FACULDADE DE CIÊNCIAS EXATAS E DA TERRA BACHARELADO EM SISTEMAS DE INFORMAÇÃO UNIVERSIDADE DO ESTADO DE MATO GROSSO CAMPUS UNIVERSITÁRIO DE SINOP FACULDADE DE CIÊNCIAS EXATAS E DA TERRA BACHARELADO EM SISTEMAS DE INFORMAÇÃO Álgebra de Boole Disciplina: Lógica Professora Dr.ª: Donizete

Leia mais

ORIENTAÇÃO. Leia o Guia Logístico de Avaliação UNITINS publicado no site

ORIENTAÇÃO. Leia o Guia Logístico de Avaliação UNITINS publicado no site !"#$%&"$!'!'"& '&()**+,(,-$%.!! /)(,-$'(),*0)**+ /'$/1'"%%!2%/! )**+, ORIENTAÇÃO Leia o Guia Logístico de Avaliação UNITINS publicado no site www.educon.br/unitins ATENÇÃO: 1. Verifique se a numeração

Leia mais

Disciplina: Lógica Matemática Prof. Etelvira Leite

Disciplina: Lógica Matemática Prof. Etelvira Leite Disciplina: Prof. Etelvira Leite A álgebra de Boole é um conjunto de postulados e operações lógicas com variáveis binárias desenvolvido pelo matemático e filósofo inglês George Boole (1815-1864). O inglês

Leia mais

DISCIPLINA: Lógica. CONTEÚDO: Circuitos Lógicos. PROFESSORA Dr.ª Donizete Ritter

DISCIPLINA: Lógica. CONTEÚDO: Circuitos Lógicos. PROFESSORA Dr.ª Donizete Ritter ESTADO DE MATO GROSSO SECRETARIA DE ESTADO DE CIÊNCIAS E TECNOLOGIA FUNDAÇÃO UNIVERSIDADE DO ESTADO DE MATO GROSSO PRÓ-REITORIA DE ADMINISTRAÇÃO CAMPUS DE SINOP BACHARELADO EM SISTEMAS DE INFORMAÇÃO DISCIPLINA:

Leia mais

CONTINUAÇÃO DE SISTEMAS DE NUMERAÇÃO (Unidade 6)

CONTINUAÇÃO DE SISTEMAS DE NUMERAÇÃO (Unidade 6) MINISTÉRIO DA EDUCAÇÃO SECRETARIA DE EDUCAÇÃO PROFISSIONAL E TECNOLÓGICA INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DE SANTA CATARINA TÉCNICO EM ELETROMECÂNICA DISCIPLINA: ELETRÔNICA GERAL CONTINUAÇÃO

Leia mais

O que é lógica? Lógica é a análise de métodos de raciocínio. Lívia Lopes Azevedo

O que é lógica? Lógica é a análise de métodos de raciocínio. Lívia Lopes Azevedo Apresentação Plano de ensino Curso Conceitos básicos de lógica lógica proposicional Comportamento analógico e digital Álgebra booleana e circuitos lógicos Circuitos combinacionais Circuitos sequenciais

Leia mais

Introdução à Programação I

Introdução à Programação I Introdução à Programação I Programação Estruturada Álgebra Booleana e Expressões Compostas Material da Prof. Ana Eliza Definição: Chama-se proposição todo o conjunto de palavras ou símbolos que exprimem

Leia mais

CAPÍTULO I. Lógica Proposicional

CAPÍTULO I. Lógica Proposicional Lógica Proposicional CAPÍTULO I Lógica Proposicional Sumário: 1. Lógica proposicional 2. Proposição 2.1. Negação da proposição 2.2. Dupla negação 2.3. Proposição simples e composta 3. Princípios 4. Classificação

Leia mais

Lógica Matemática. Prof. Gerson Pastre de Oliveira

Lógica Matemática. Prof. Gerson Pastre de Oliveira Lógica Matemática Prof. Gerson Pastre de Oliveira Programa da Disciplina Proposições e conectivos lógicos; Tabelas-verdade; Tautologias, contradições e contingências; Implicação lógica e equivalência lógica;

Leia mais

Introdução à Computação: Álgebra Booleana

Introdução à Computação: Álgebra Booleana Introdução à Computação: Álgebra Booleana Beatriz F. M. Souza (bfmartins@inf.ufes.br) http://inf.ufes.br/~bfmartins/ Computer Science Department Federal University of Espírito Santo (Ufes), Vitória, ES

Leia mais

Matemática Régis Cortes. Lógica matemática

Matemática Régis Cortes. Lógica matemática Lógica matemática 1 INTRODUÇÃO Neste roteiro, o principal objetivo será a investigação da validade de ARGUMENTOS: conjunto de enunciados dos quais um é a CONCLUSÃO e os demais PREMISSAS. Os argumentos

Leia mais

Argumentação em Matemática período Prof. Lenimar N. Andrade. 1 de setembro de 2009

Argumentação em Matemática período Prof. Lenimar N. Andrade. 1 de setembro de 2009 Noções de Lógica Matemática 2 a parte Argumentação em Matemática período 2009.2 Prof. Lenimar N. Andrade 1 de setembro de 2009 Sumário 1 Condicional 1 2 Bicondicional 2 3 Recíprocas e contrapositivas 2

Leia mais

Lógica formal. A) Sentenças I) Expressão II) Subdivisão 1. Aberta 2. Fechada III) Representação IV) Simbolização 1. Simples 2.

Lógica formal. A) Sentenças I) Expressão II) Subdivisão 1. Aberta 2. Fechada III) Representação IV) Simbolização 1. Simples 2. Lógica formal A) Sentenças I) Expressão II) Subdivisão 1. Aberta 2. Fechada III) Representação I) Simbolização 1. Simples 2. Composta B)Leis do pensamento I) Princípio da Identidade II) Principio do não-contraditório

Leia mais

LÓGICA PROPOSICIONAL

LÓGICA PROPOSICIONAL FACULDADE PITÁGORAS Curso Superior em Tecnologia Redes de Computadores e Banco de dados Matemática Computacional Prof. Ulisses Cotta Cavalca LÓGICA PROPOSICIONAL Belo Horizonte/MG

Leia mais

Lógica. História da Lógica

Lógica. História da Lógica 1 Lógica História da Lógica A história da lógica começa com os trabalhos do filósofo grego Aristóteles (384-322 a.c.) de Estagira (hoje Estavro), na Macedônia, não se conhecendo precursores de sua obra,

Leia mais

Lógica Formal. Matemática Discreta. Prof. Vilson Heck Junior

Lógica Formal. Matemática Discreta. Prof. Vilson Heck Junior Lógica Formal Matemática Discreta Prof. Vilson Heck Junior vilson.junior@ifsc.edu.br Objetivos Utilizar símbolos da lógica proposicional; Encontrar o valor lógico de uma expressão em lógica proposicional;

Leia mais

Lógica Proposicional Parte I. Raquel de Souza Francisco Bravo 11 de outubro de 2016

Lógica Proposicional Parte I. Raquel de Souza Francisco Bravo   11 de outubro de 2016 Lógica Proposicional Parte I e-mail: raquel@ic.uff.br 11 de outubro de 2016 Lógica Matemática Cáculo Proposicional Uma aventura de Alice Alice, ao entrar na floresta, perdeu a noção dos dias da semana.

Leia mais

Matemática discreta e Lógica Matemática

Matemática discreta e Lógica Matemática AULA 1 - Lógica Matemática Prof. Dr. Hércules A. Oliveira UTFPR - Universidade Tecnológica Federal do Paraná, Ponta Grossa Departamento Acadêmico de Matemática Ementa 1. Lógica proposicional: introdução,

Leia mais

Campos Sales (CE),

Campos Sales (CE), UNIERSIDADE REGIONAL DO CARIRI URCA PRÓ-REITORIA DE ENSINO E GRADUAÇÃO PROGRAD UNIDADE DESCENTRALIZADA DE CAMPOS SALES CAMPI CARIRI OESTE DEPARTAMENTO DE MATEMÁTICA DISCIPLINA: Tópicos de Matemática SEMESTRE:

Leia mais

MDI0001 Matemática Discreta Aula 01

MDI0001 Matemática Discreta Aula 01 MDI0001 Matemática Discreta Aula 01 e Karina Girardi Roggia karina.roggia@udesc.br Departamento de Ciência da Computação Centro de Ciências Tecnológicas Universidade do Estado de Santa Catarina 2016 Karina

Leia mais

Matemática discreta e Lógica Matemática

Matemática discreta e Lógica Matemática AULA 2 - Proposicionais Prof. Dr. Hércules A. Oliveira UTFPR - Universidade Tecnológica Federal do Paraná, Ponta Grossa Departamento Acadêmico de Matemática Lógicas Proposições compostas - Definição 1

Leia mais

Fundamentos de Lógica e Algoritmos. Aula 1.2 Introdução a Lógica Booleana. Prof. Dr. Bruno Moreno

Fundamentos de Lógica e Algoritmos. Aula 1.2 Introdução a Lógica Booleana. Prof. Dr. Bruno Moreno Fundamentos de Lógica e Algoritmos Aula 1.2 Introdução a Lógica Booleana Prof. Dr. Bruno Moreno bruno.moreno@ifrn.edu.br Você está viajando e o pneu do seu carro fura! 2 Quais são os passos para se trocar

Leia mais

Unidade II. A notação de que a proposição P (p, q, r,...) implica a proposição Q (p, q, r,...) por:

Unidade II. A notação de que a proposição P (p, q, r,...) implica a proposição Q (p, q, r,...) por: LÓGICA Objetivos Apresentar regras e estruturas adicionais sobre o uso de proposições. Conceituar implicação lógica, tautologias, e as propriedade sobre proposições. Apresentar os fundamentos da dedução,

Leia mais

Eletrônica Digital. Funções lógicas, álgebra de boole e circuitos lógicos combinacionais básicos. Professor: Francisco Ary

Eletrônica Digital. Funções lógicas, álgebra de boole e circuitos lógicos combinacionais básicos. Professor: Francisco Ary Eletrônica Digital Funções lógicas, álgebra de boole e circuitos lógicos combinacionais básicos Professor: Francisco Ary Introdução Vimos na aula anterior conversão de números binário fracionários em decimal;

Leia mais

Lógica Boolena. Aula 05. Prof. Msc. Arthur G. Bartsch

Lógica Boolena. Aula 05. Prof. Msc. Arthur G. Bartsch Lógica Boolena Aula 05 Prof. Msc. Arthur G. Bartsch Departamento de engenharia elétrica DEE Centro de ciências tecnológicas CCT Universidade do estado de Santa Catarina UDESC Álgebra de Boole ALB0001 arthur.bartsch@udesc.br

Leia mais

Lógica Formal. Matemática Discreta. Prof Marcelo Maraschin de Souza

Lógica Formal. Matemática Discreta. Prof Marcelo Maraschin de Souza Lógica Formal Matemática Discreta Prof Marcelo Maraschin de Souza Implicação As proposições podem ser combinadas na forma se proposição 1, então proposição 2 Essa proposição composta é denotada por Seja

Leia mais

Ao utilizarmos os dados do problema para chegarmos a uma conclusão, estamos usando o raciocínio lógico.

Ao utilizarmos os dados do problema para chegarmos a uma conclusão, estamos usando o raciocínio lógico. CENTRO UNVERSITÁRIO UNA NOÇÕES DE RACIOCÍNIO LÓGICO Professor: Rodrigo Eustáquio Borges A disciplina Lógica Matemática tem como objetivo capacitar o aluno a reconhecer e aplicar os conceitos fundamentais

Leia mais

Introdução a computação

Introdução a computação Introdução a computação 0 Curso Superior de Tecnologia em Gestão da Tecnologia da Informação Coordenador: Emerson dos Santos Paduan Autor(a): Daniel Gomes Ferrari São Paulo - 2016 1 Sumário 1. Lógica Matemática...

Leia mais

Sumário. Os Enigmas de Sherazade I Ele fala a verdade ou mente? I I Um truque com os números... 14

Sumário. Os Enigmas de Sherazade I Ele fala a verdade ou mente? I I Um truque com os números... 14 Sumário Os Enigmas de Sherazade... 13 I Ele fala a verdade ou mente?... 13 I I Um truque com os números... 14 Capítulo 1 Lógica de Primeira Ordem-Proposicional... 15 Estruturas Lógicas... 15 I Sentenças...

Leia mais

Proposições. Belo Horizonte é uma cidade do sul do Brasil = 4. A Terra gira em torno de si mesma. 5 < 3

Proposições. Belo Horizonte é uma cidade do sul do Brasil = 4. A Terra gira em torno de si mesma. 5 < 3 Proposições Lógicas Proposições O principal conceito usado nos estudos da lógica matemática é o de uma proposição. Uma proposição é essencialmente uma afirmação, transmite pensamentos completos, afirmando

Leia mais

Bases Matemáticas. Aula 1 Elementos de Lógica e Linguagem Matemática. Prof. Rodrigo Hausen. 24 de junho de 2014

Bases Matemáticas. Aula 1 Elementos de Lógica e Linguagem Matemática. Prof. Rodrigo Hausen. 24 de junho de 2014 Aula 1 Elementos de Lógica e Linguagem Matemática Prof. Rodrigo Hausen 24 de junho de 2014 Definição Uma proposição é uma sentença declarativa que é verdadeira ou falsa, mas não simultaneamente ambas.

Leia mais

Métodos para a construção de algoritmo

Métodos para a construção de algoritmo Métodos para a construção de algoritmo Compreender o problema Identificar os dados de entrada e objetos desse cenário-problema Definir o processamento Identificar/definir os dados de saída Construir o

Leia mais

1 TEORIA DOS CONJUNTOS

1 TEORIA DOS CONJUNTOS 1 TEORIA DOS CONJUNTOS Definição de Conjunto: um conjunto é uma coleção de zero ou mais objetos distintos, chamados elementos do conjunto, os quais não possuem qualquer ordem associada. Em outras palavras,

Leia mais

Aula 4: Álgebra booleana

Aula 4: Álgebra booleana Aula 4: Álgebra booleana Circuitos Digitais Rodrigo Hausen CMCC UFABC 01 de fevereiro de 2013 http://compscinet.org/circuitos Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de 2013

Leia mais

Lógica. Fernando Fontes. Universidade do Minho. Fernando Fontes (Universidade do Minho) Lógica 1 / 65

Lógica. Fernando Fontes. Universidade do Minho. Fernando Fontes (Universidade do Minho) Lógica 1 / 65 Lógica Fernando Fontes Universidade do Minho Fernando Fontes (Universidade do Minho) Lógica 1 / 65 Outline 1 Introdução 2 Implicações e Equivalências Lógicas 3 Mapas de Karnaugh 4 Lógica de Predicados

Leia mais

Prof.Letícia Garcia Polac. 6 de abril de 2017

Prof.Letícia Garcia Polac. 6 de abril de 2017 Fundamentos de Lógica e Conjuntos Prof.Letícia Garcia Polac Universidade Federal de Uberlândia UFU-MG 6 de abril de 2017 Sumário 1 EMENTA 2 BIBLIOGRAFIA 3 AVALIAÇÕES 4 INTRODUÇÃO EMENTA Ementa 1. Lógica

Leia mais

Cálculo proposicional

Cálculo proposicional O estudo da lógica é a análise de métodos de raciocínio. No estudo desses métodos, a lógica esta interessada principalmente na forma e não no conteúdo dos argumentos. Lógica: conhecimento das formas gerais

Leia mais

Lógica para Computação. Álgebra de Boole

Lógica para Computação. Álgebra de Boole Lógica para Computação Álgebra de Boole Formas Normais Definição: diz-se que uma proposição está na forma normal (FN) se e somente se, quando muito, contém os conectivos ~, ^ e v. - Toda proposição pode

Leia mais

MATEMÁTICA 3 MÓDULO 1. Lógica. Professor Renato Madeira

MATEMÁTICA 3 MÓDULO 1. Lógica. Professor Renato Madeira MATEMÁTICA 3 Professor Renato Madeira MÓDULO 1 Lógica SUMÁRIO 1. Proosição. Negação 3. Conectivos 4. Condicionais 4.1. Relação de imlicação 4.. Relação de equivalência 5. Álgebra das roosições 6. Quantificadores

Leia mais

SISTEMAS DIGITAIS ÁLGEBRA BOOLEANA. Professor Carlos Muniz

SISTEMAS DIGITAIS ÁLGEBRA BOOLEANA. Professor Carlos Muniz Professor Carlos Muniz Uma álgebra Booleana pode ser definida com um conjunto de operadores e um conjunto de axiomas, que são assumidos verdadeiros sem necessidade de prova. Em 1854, George Boole introduziu

Leia mais

Expandindo o Vocabulário. Tópicos Adicionais. Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto. 12 de junho de 2019

Expandindo o Vocabulário. Tópicos Adicionais. Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto. 12 de junho de 2019 Material Teórico - Módulo de INTRODUÇÃO À LÓGICA MATEMÁTICA Expandindo o Vocabulário Tópicos Adicionais Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto 12 de junho de 2019

Leia mais

Programação Mestrado Integrado em Engenharia Aeronáutica 1º ano, 1º semestre. T.06 Fundamentos delógica

Programação Mestrado Integrado em Engenharia Aeronáutica 1º ano, 1º semestre. T.06 Fundamentos delógica Programação Mestrado Integrado em Engenharia Aeronáutica 1º ano, 1º semestre T.06 Fundamentos delógica Sumário : Abordagem à logica através da teoria de conjuntos: Operadores lógicos: união (OR), interseção

Leia mais

Cálculo proposicional

Cálculo proposicional Notas de aula de MAC0329 (2003) 9 2 Cálculo proposicional Referências para esta parte do curso: capítulo 1 de [Mendelson, 1977], capítulo 3 de [Whitesitt, 1961]. Proposição Proposições são sentenças afirmativas

Leia mais

Uma proposição é uma frase que pode ser apenas verdadeira ou falsa. Exemplos:

Uma proposição é uma frase que pode ser apenas verdadeira ou falsa. Exemplos: 1 Noções Básicas de Lógica 1.1 Proposições Uma proposição é uma frase que pode ser apenas verdadeira ou falsa. 1. Os sapos são anfíbios. 2. A capital do Brasil é Porto Alegre. 3. O tomate é um tubérculo.

Leia mais

Iniciação a Lógica Matemática

Iniciação a Lógica Matemática Iniciação a Lógica Matemática Faculdade Pitágoras Prof. Edwar Saliba Júnior Julho de 2012 1 O Nascimento da Lógica É lógico que eu vou!, Lógico que ela disse isso! são expressões que indicam alguma coisa

Leia mais

UFMT. Ministério da Educação UNIVERSIDADE FEDERAL DE MATO GROSSO PRÓ-REITORIA DE ENSINO DE GRADUAÇÃO PLANO DE ENSINO

UFMT. Ministério da Educação UNIVERSIDADE FEDERAL DE MATO GROSSO PRÓ-REITORIA DE ENSINO DE GRADUAÇÃO PLANO DE ENSINO UFMT 1) IDENTIFICAÇÃO: Disciplina: Lógica Matemática e Elementos de Lógica Digital Ministério da Educação UNIVERSIDADE FEDERAL DE MATO GROSSO PRÓ-REITORIA DE ENSINO DE GRADUAÇÃO PLANO DE ENSINO Curso:

Leia mais

MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES

MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES Newton José Vieira 21 de agosto de 2007 SUMÁRIO Teoria dos Conjuntos Relações e Funções Fundamentos de Lógica Técnicas Elementares de Prova 1 CONJUNTOS A NOÇÃO

Leia mais

Elementos de Lógica Matemática. Uma Breve Iniciação

Elementos de Lógica Matemática. Uma Breve Iniciação Elementos de Lógica Matemática Uma Breve Iniciação Proposições Uma proposição é uma afirmação passível de assumir valor lógico verdadeiro ou falso. Exemplos de Proposições 2 > 1 (V); 5 = 1 (F). Termos

Leia mais

MD Lógica de Proposições Quantificadas Cálculo de Predicados 1

MD Lógica de Proposições Quantificadas Cálculo de Predicados 1 Lógica de Proposições Quantificadas Cálculo de Predicados Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br http://www.dcc.ufmg.br/~loureiro MD Lógica de Proposições Quantificadas Cálculo de Predicados

Leia mais

Lógica,Linguagem e Comunicação-LLC

Lógica,Linguagem e Comunicação-LLC Lógica,Linguagem e Comunicação-LLC Introdução a Lógica Prof. Fabrício Rossy de Lima Lobato fabriciorossy@ig.com.br Agenda Introdução Lógica Lógica Formal Proposições Implicação Lógica Argumentação Quantificadores

Leia mais

Parte 2 CIRCUITOS COMBINACIONAIS

Parte 2 CIRCUITOS COMBINACIONAIS 1 DEFINIÇÕES Parte 2 CIRCUITOS COMBINACIONAIS DEFINIÇÕES 09/08/2017 1 09/08/2017 2 1 DEFINIÇÕES Formalismo matemático 1 DEFINIÇÕES Tipos de lógica binária Lógica booleana Dois valores Lógica binária Escopo

Leia mais

Sistemas de Numeração. Exemplos de Sistemas de Numeração (1) Exemplos de Sistemas de Numeração (2) Sistemas de Numeração

Sistemas de Numeração. Exemplos de Sistemas de Numeração (1) Exemplos de Sistemas de Numeração (2) Sistemas de Numeração Sistemas de Numeração Sistemas de Numeração (Aula Extra) Sistemas de diferentes bases Álgebra Booleana Roberta Lima Gomes - LPRM/DI/UFES Sistemas de Programação I Eng. Elétrica 27/2 Um sistema de numeração

Leia mais

Unidade II LÓGICA. Profa. Adriane Paulieli Colossetti

Unidade II LÓGICA. Profa. Adriane Paulieli Colossetti Unidade II LÓGICA Profa. Adriane Paulieli Colossetti Relações de implicação e equivalência Implicação lógica Dadas as proposições compostas p e q, diz-se que ocorre uma implicação lógica entre p e q quando

Leia mais

Antonio Paulo Muccillo de Medeiros

Antonio Paulo Muccillo de Medeiros Antonio Paulo Muccillo de Medeiros Conceito É a área da matemática que estuda os argumentos (premissas e conclusão). Estuda os métodos e princípios que permitam distinguir argumentos corretos e incorretos.

Leia mais

Lógica para computação

Lógica para computação Lógica para computação PROPRIEDADES SEMÂNTICAS DA LÓGICA PROPOSICIONAL Professor Marlon Marcon Introdução Esta seção considera a análise de algumas propriedades semânticas da LP que relacionam os resultados

Leia mais

ÁLGEBRA DE BOOLE B.1 - DIAGRAMA DE VENN

ÁLGEBRA DE BOOLE B.1 - DIAGRAMA DE VENN ÁLGEBRA DE BOOLE B.1 - DIAGRAMA DE VENN No século XIX Georges Boole desenvolveu uma teoria matemática com base nas leis da lógica - a Álgebra de Boole - cuja aplicação nos circuitos digitais e computadores

Leia mais

Fundamentos de Lógica Lógica Proposicional

Fundamentos de Lógica Lógica Proposicional Fundamentos de Lógica Lógica Proposicional Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br http://www.dcc.ufmg.br/~loureiro Alguns fatos históricos Primeiros grandes trabalhos de lógica escritos

Leia mais

LÓGICA MATEMÁTICA. Quando a precedência não estiver explicitada através de parênteses, a ordem é a seguinte: RELEMBRANDO 23/02/2016

LÓGICA MATEMÁTICA. Quando a precedência não estiver explicitada através de parênteses, a ordem é a seguinte: RELEMBRANDO 23/02/2016 LÓGICA MATEMÁTICA Prof. Esp. Fabiano Taguchi fabianotaguchi@gmail.com http://fabianotaguchi.wordpress.com RELEMBRANDO Quando a precedência não estiver explicitada através de parênteses, a ordem é a seguinte:

Leia mais

Lógica para Computação

Lógica para Computação Aula 07 - Lógica Proposicional 1 Faculdade de Informática - PUCRS August 27, 2015 1 Este material não pode ser reproduzido ou utilizado de forma parcial sem a permissão dos autores. Sinopse Nesta aula,

Leia mais

ÁLGEBRA DE BOOLE POSTULADOS, TEOREMAS E PROPRIEDADES

ÁLGEBRA DE BOOLE POSTULADOS, TEOREMAS E PROPRIEDADES ÁLGEBRA DE BOOLE POSTULADOS, TEOREMAS E PROPRIEDADES A aplicação principal da álgebra de Boole é o estudo e a simplificação algébrica de circuitos lógicos. As variáveis booleanas podem assumir apenas dois

Leia mais

LÓGICA EM COMPUTAÇÃO

LÓGICA EM COMPUTAÇÃO CEC CENTRO DE ENGENHARIA E COMPUTAÇÃO UNIVERSIDADE CATÓLICA DE PETRÓPOLIS LÓGICA EM COMPUTAÇÃO TAUTOLOGIA - EQUIVALÊNCIA E INFERÊNCIA VERSÃO: 0.1 - MARÇO DE 2017 Professor: Luís Rodrigo E-mail: luis.goncalves@ucp.br

Leia mais

LÓGICA COMPUTACIONAL. Prof. André Aparecido da Silva Disponível em:

LÓGICA COMPUTACIONAL. Prof. André Aparecido da Silva Disponível em: LÓGICA COMPUTACIONAL Prof. André Aparecido da Silva Disponível em: http://www.oxnar.com.br/aulas/logica 1 CODIFICAÇÃO DA CONJECURA DE COLLATZ QUE FALEI NA AULA PASSADA. 2 3 4 A lógica é usada para guiar

Leia mais

Elementos de Matemática

Elementos de Matemática Elementos de Matemática Álgebra de Boole Roteiro no. 10 - Atividades didáticas de 2007 8 de Outubro de 2007- Arq: elementos10.tex Departamento de Matemática - UEL Prof. Ulysses Sodré E-mail: ulysses(at)matematica(pt)uel(pt)br

Leia mais

MATEMÁTICA Questões comentadas Daniela Arboite

MATEMÁTICA Questões comentadas Daniela Arboite MATEMÁTICA Questões comentadas Daniela Arboite TODOS OS DIREITOS RESERVADOS. É vedada a reprodução total ou parcial deste material, por qualquer meio ou processo. A violação de direitos autorais é punível

Leia mais

FUNDAÇÃO UNIVERSIDADE DO TOCANTINS TADS 2008/1 1º PERÍODO MP1 1º ETAPA 11/07/2008 MATEMÁTICA PARA COMPUTAÇÃO 2008/1

FUNDAÇÃO UNIVERSIDADE DO TOCANTINS TADS 2008/1 1º PERÍODO MP1 1º ETAPA 11/07/2008 MATEMÁTICA PARA COMPUTAÇÃO 2008/1 FUNDAÇÃO UNIVERSIDADE DO TOCANTINS TADS 2008/1 1º PERÍODO MP1 1º ETAPA 11/07/2008 MATEMÁTICA PARA COMPUTAÇÃO 2008/1 Dados de identificação do Aluno: Nome: Login: Cidade: CA: Data da Prova: / / ORIENTAÇÃO

Leia mais

RECEITA FEDERAL ANALISTA

RECEITA FEDERAL ANALISTA SENTENÇAS OU PROPOSIÇÕES São os elementos que expressam uma idéia, mesmo que absurda. Estudaremos apenas as proposições declarativas, que podem ser classificadas ou só como verdadeiras (V), ou só como

Leia mais

Computação e Programação

Computação e Programação Computação e Programação 1ª Aula de 2008-2009 Instituto Superior Técnico, Dep. de Engenharia Mecânica - Sistemas O Visual C++ Para Casa (se possível antes da aula!): Veja o video e o screencast que se

Leia mais

Cálculo proposicional

Cálculo proposicional O estudo da lógica é a análise de métodos de raciocínio. No estudo desses métodos, a lógica esta interessada principalmente na forma e não no conteúdo dos argumentos. Lógica: conhecimento das formas gerais

Leia mais

Resumo aula. Conceituação; Origem; Lógica de programação; Argumentos; Lógica simbólica; Dedutivos; Indutivos;

Resumo aula. Conceituação; Origem; Lógica de programação; Argumentos; Lógica simbólica; Dedutivos; Indutivos; Aula 02 - Lógica Disciplina: Algoritmos Prof. Allbert Velleniche de Aquino Almeida E-mail: allbert.almeida@fatec.sp.gov.br Site: http://www.allbert.com.br /allbert.almeida Resumo aula Conceituação; Origem;

Leia mais

Unidade III. Essa estruturação por meio de diagramas permite uma codificação posterior praticamente em qualquer linguagem de programação.

Unidade III. Essa estruturação por meio de diagramas permite uma codificação posterior praticamente em qualquer linguagem de programação. Unidade III 7 FLUXOGRAMAS O uso da lógica é fundamental para a execução de tarefas do dia a dia de todos os profissionais, em especial para os profissionais de TI. Esses profissionais continuamente se

Leia mais

PORTAS NOR e NAND OR - AND - NOT. Considerando as entradas A e B, teremos na saída a complementação ou negação das mesmas.

PORTAS NOR e NAND OR - AND - NOT. Considerando as entradas A e B, teremos na saída a complementação ou negação das mesmas. PORTAS NOR e NAND As portas NOR e NAND são obtidas a partir da complementação das funções OR e AND. Podemos então dizer que o operador booleano lógico NOR é a negação do operador booleano OR enquanto que

Leia mais

Fundamentos da Computação 1. Aula 03

Fundamentos da Computação 1. Aula 03 Fundamentos da Computação 1 Aula 03 Conteúdo Introdução à Lógica. Definição da Sintaxe. Traduzindo Sentenças. Introdução à Lógica O que é lógica? Introdução à Lógica O que é lógica? Lógica é a análise

Leia mais

INTRODUÇÃO À LÓGICA MATEMÁTICA

INTRODUÇÃO À LÓGICA MATEMÁTICA INTRODUÇÃO À LÓGICA MATEMÁTICA Matemática Aplicada a Computação rofessor Rossini A M Bezerra Lógica é o estudo dos princípios e métodos usados para distinguir sentenças verdadeiras de falsas. Definição

Leia mais

Cálculo de Predicados

Cálculo de Predicados Cálculo de Predicados (Lógica da Primeira Ordem) Prof. Tiago Semprebom, Dr. Eng. Instituto Federal de Educação, Ciência e Tecnologia Santa Catarina - Campus São José tisemp@ifsc.edu.br 18 de maio de 2013

Leia mais

Portas lógicas Arquitetura e Organização de Computadores Curso de Análise e Desenvolvimento de Sistemas

Portas lógicas Arquitetura e Organização de Computadores Curso de Análise e Desenvolvimento de Sistemas Portas lógicas Arquitetura e Organização de Computadores Curso de Análise e Desenvolvimento de Sistemas 1 Componentes Álgebra dos de computadores Boole Vimos anteriormente que os números binários não representam

Leia mais

PCS 3115 (PCS2215) Sistemas Digitais I. Módulo 05 Álgebra Booleana. Prof. Dr. Edison Spina. Sobre o material do Prof. Dr. Marcos A. Simplicio Jr.

PCS 3115 (PCS2215) Sistemas Digitais I. Módulo 05 Álgebra Booleana. Prof. Dr. Edison Spina. Sobre o material do Prof. Dr. Marcos A. Simplicio Jr. PCS 35 (PCS225) Sistemas Digitais I Módulo 5 Álgebra Booleana Prof. Dr. Edison Sobre o material do Prof. Dr. Marcos A. Simplicio Jr. versão: 5 (Mar/28) Conceitos básicos Conteúdo Teoremas de variável Teoremas

Leia mais

Súmario APRESENTAÇÃO DA COLEÇÃO...13

Súmario APRESENTAÇÃO DA COLEÇÃO...13 Súmario APRESENTAÇÃO DA COLEÇÃO...13 CAPÍTULO I LÓGICA PROPOSICIONAL...15 1. Lógica Proposicional...15 2. Proposição...15 2.1. Negação da Proposição...18 2.2. Dupla Negação...19 2.3. Proposição Simples

Leia mais

Conceitos introdutórios

Conceitos introdutórios Aula Conceitos introdutórios Prof. Tecgº Flávio Murilo Aula 2 Portas lógicas e Álgebra Booleana Prof. Tecgº Flávio Murilo 2 Álgebra Booleana Introdução Vimos anteriormente que os números binários não representam

Leia mais

RLM Material de Apoio Professor Jhoni Zini

RLM Material de Apoio Professor Jhoni Zini PRINCÍPIOS LÓGICOS 1. Segundo a lógica aristotélica, as proposições têm como uma de suas propriedades básicas poderem ser verdadeiras ou falsas, isto é, terem um valor de verdade. Assim sendo, a oração

Leia mais

Proposições simples e compostas

Proposições simples e compostas Revisão Lógica Proposições simples e compostas Uma proposição é simples quando declara algo sem o uso de conectivos. Exemplos de proposições simples: p : O número 2 é primo. (V) q : 15 : 3 = 6 (F) r :

Leia mais