ANÁLISE MATEMÁTICA I. Curso: EB
|
|
- Maria dos Santos Alcaide Meneses
- 7 Há anos
- Visualizações:
Transcrição
1 ANÁLISE MATEMÁTICA I (com Laboratórios) Curso: EB Lógica - Resumo Ana Matos DMAT
2 Noções básicas de Lógica Consideremos uma linguagem, com certos símbolos. Chamamos expressão a qualquer sequência de símbolos. Uma expressão pode ser uma expressão com significado expressão sem significado designar um objecto Uma expressão com significado pode traduzir uma afirmação Termo ou designação é uma expressão com significado que designa um objecto. Exemplo: 1. Em português, Ana e gato são termos ou designações; Setúbal é uma cidade é uma afirmação. 2. Na linguagem dos reais, 0 e 3 25 são termos ou designações; é uma afirmação. Nota: As aspas permitem distinguir a designação do ente designado; quando não há risco de confusão, dispensamos o seu Ana Isabel Matos - AMI (versão de 6 de Outubro 2010) Resumo de Lógica - 2
3 uso. Na Lógica consideramos apenas afirmações sobre as quais se possa decidir se são verdadeiras ou falsas - a que chamamos proposições. O valor lógico de uma proposição é verdade se a proposição for verdadeira falso se a proposição for falsa denota-se por V ou 1 denota-se por F ou 0 Toda a proposição tem um, e um só, dos valores V ou F. Duas proposições dizem-se equivalentes quando têm o mesmo valor lógico. Ana Isabel Matos - AMI (versão de 6 de Outubro 2010) Resumo de Lógica - 3
4 Cálculo Proposicional Muitas afirmações que fazemos são obtidas a partir de outras afirmações por meio de certas operações, como é o caso de: 1. 3 não é um número par; é múltiplo de 3 eéum número irracional; 3. lne 1 ou 2! 2; 4. se eu sou um ser humano, então sou mortal; 5. vou à praia se e só se estiver bom tempo. De igual modo, as operações lógicas permitem obter novas proposições a partir de outras, de modo que, se soubermos o valor lógico das proposições de que foi obtida, sabemos o valor lógico da nova proposição (independentemente do seu significado). Estas operações lógicas são: negação, conjunção, disjunção, implicação e equivalência, associadas aos símbolos,,,, chamados conectivos lógicos. No Cálculo Proposicional faz-se o estudo destas operações e respectivas propriedades. A tabela de verdade de uma operação lógica (ou de uma proposição) dá-nos o valor de verdade da nova proposição em função do valor de verdade das proposições de que foi obtida. Ana Isabel Matos - AMI (versão de 6 de Outubro 2010) Resumo de Lógica - 4
5 Sejam p e q proposições: a negação de p representa-se por p e lê-se não p. p é verdadeira se e só se p é falsa A sua tabela de verdade é p p V F F V a conjunção de p e q representa-se por p q e lê-se p e q. pqéverdadeira caso p e q sejam ambas verdadeiras e é falsa se pelo menos uma delas for falsa. A sua tabela de verdade é p q pq V V V V F F F V F F F F Ana Isabel Matos - AMI (versão de 6 de Outubro 2010) Resumo de Lógica - 5
6 a disjunção de p e q representa-se por pqelê-se p ou q. pqéverdadeira se pelo menos uma das proposições iniciais for verdadeira e é falsa se ambas forem falsas. A sua tabela de verdade é p q pq V V V V F V F V V F F F a implicação de p por q representa-se por p q e lê-se p implica q ou se p então q. - p é o antecedente e q é o consequente - p é uma condição suficiente para q - q é uma condição necessária para p. O único caso em que a implicação é falsa é quando o antecedente é verdadeiro e o consequente é falso. A sua tabela de verdade é p q p q V V V V F F F V V F F V Ana Isabel Matos - AMI (versão de 6 de Outubro 2010) Resumo de Lógica - 6
7 Nota: O sentido aqui dado ao termo implicação não traduz necessariamente uma relação de causa-efeito entre as afirmações. Estabelece apenas uma relação entre os valores lógicos das duas proposições originais e o valor lógico da nova proposição. Por exemplo, a proposição 2 é par a Terra é um planeta é uma proposição verdadeira, visto que ambas as afirmações são verdadeiras. No entanto, não há qualquer relação de causa-efeito entre as duas afirmações. Saliente-se ainda que, se o antecedente da implicação for falso, a implicação é verdadeira, qualquer que seja o consequente. a equivalência entre p e q representa-se por p q e lê-se p equivale a q ou p se e só se q. p q é verdadeira quando p e q têm o mesmo valor lógico e é falsa caso contrário. A sua tabela de verdade é p q p q V V V V F F F V F F F V Nota: Tal como no caso da implicação, a equivalência entre duas proposições não traduz necessariamente uma relação entre o conteúdo dessas proposições, mas apenas uma relação entre os seus valores lógicos. Usam-se parêntesis para indicar a ordem pela qual se realizam as Ana Isabel Matos - AMI (versão de 6 de Outubro 2010) Resumo de Lógica - 7
8 operações lógicas, sobrepondo-se à seguinte convenção de prioridade das operações: primeiro a negação; depois a conjunção e disjunção; por último a implicação e a equivalência. Por exemplo, a proposição pq p q pode escrever-se simplesmente pq p q. No entanto, certos parêntesis, embora dispensáveis, devem ser mantidos pois tornam a leitura mais clara. Nota: Podem ser definidas outras operações lógicas. Por exemplo, a disjunção exclusiva, cuja tabela de verdade é p q p q V V F V F V F V V F F F O símbolo lê-se ou exclusivo Ana Isabel Matos - AMI (versão de 6 de Outubro 2010) Resumo de Lógica - 8
9 Algumas propriedades das operações lógicas Certas proposições, pelo modo como foram obtidas a partir de outras proposições por meio das operações lógicas, são verdadeiras, qualquer que seja o valor lógico das proposições que a originam. Uma proposição nestas condições diz-se uma tautologia. As propriedades das operações lógicas podem ser expressas por meio de tautologias. Por exemplo, pode-se provar que p é equivalente a p verificando que as proposições p e p têm sempre o mesmo valor de verdade, o que é o mesmo que verificar que p p é uma tautologia (ou seja, que o seu valor lógico é sempre V). Vejamos a tabela de verdade: p p p p p V F V V F V F V Propriedades da conjunção e da disjunção A conjunção e a disjunção são comutativas; são associativas; têm elemento neutro; têm elemento absorvente. Ana Isabel Matos - AMI (versão de 6 de Outubro 2010) Resumo de Lógica - 9
10 A conjunção é distributiva relativamente à disjunção, isto é p q r é equivalente a pqpr. A disjunção é distributiva relativamente à conjunção, isto é p q r é equivalente a pqpr. Tal como no caso anterior, a demonstração destas propriedades é feita recorrendo às tabelas de verdade. Por exemplo, p qr pqr exprime a propriedade associativa da conjunção. Vejamos que é verdadeira. Na tabela de verdade p q r pq p qr q r p q r V V V V V V V V V F V F F F V F V F F F F V F F F F F F F V V F F V F F V F F F F F F F V F F F F F F F F F F F as colunas correspondentes a pqreapqr são iguais, o que garante que a proposiçãopqr pqr é sempre verdadeira (ou seja, é uma tautologia). Ana Isabel Matos - AMI (versão de 6 de Outubro 2010) Resumo de Lógica - 10
11 Em vez desta justificação final, podemos simplesmente acrescentar à tabela anterior a coluna correspondente a pqr p q r e comprovar que o seu valor lógico é sempre V. Primeiras Leis de De Morgan São tautologias: pq p q; pq p q. Propriedades da implicação São tautologias: p q pq; p q p q; p q q p (uma implicação e sua contra-recíproca são equivalentes). Todas estas propriedades podem ser demonstradas por meio de tabelas de verdade. Ana Isabel Matos - AMI (versão de 6 de Outubro 2010) Resumo de Lógica - 11
12 Expressões com variáveis Para estudar uma certa teoria: definimos uma linguagem adequada (que inclua, por exemplo, símbolos para as operações fundamentais); num certo conjunto - a que chamamos Universo - interpretamos devidamente os símbolos da linguagem. Consideramos ainda variáveis, que são símbolos (ou grupos de símbolos) que podem ser substituídos por elementos do universo. Por exemplo, no universo dos reais, temos a expressão x, em que x varia num certo subconjunto de(neste caso os reais não negativos). Da substituição de x por qualquer real não negativo, resulta uma designação (substituindo x por 2, obtemos 2. Considerando a expressão x 4 e substituíndo x por um valor do domínio de x obtemos uma proposição. (Por exemplo, para o valor 5 obtemos 5 4, que é uma proposição falsa; para o valor 16 obtemos 16 4, que é uma proposição verdadeira.) O domínio de uma expressão é constituído pelos valores, do universo, pelos quais faz sentido substituir as suas variáveis. Chama-se expressão proposicional, condição ou propriedade a qualquer expressão com variáveis que se transforma em proposição (verdadeira ou falsa) sempre que se atribuem valores (dos respectivos domínios) às variáveis que nela ocorrem. O conjunto solução de uma condição é constituído pelos valores que a transformam numa proposição verdadeira. Ana Isabel Matos - AMI (versão de 6 de Outubro 2010) Resumo de Lógica - 12
13 Exemplo: No Universo dos reais, consideremos a condição 1 x O seu domínio é x : x \1,1; o seu conjunto solução é 5 2, 5 2. Cálculo com quantificadores As operações lógicas associadas a,,, epermitem obter novas condições a partir de condições mais simples. Trabalhando agora com variáveis, podemos definir três novas operações quantificação universal quantificação existencial quantificação de existência e unicidade por meio das quais obtemos, a partir de uma condição, novas condições: a quantificação universal tem o significado de para todo ou qualquer que seja ; a quantificação existencial tem o significado de existe ; a quantificação de existência e unicidade tem o significado de existe um e um só. Ana Isabel Matos - AMI (versão de 6 de Outubro 2010) Resumo de Lógica - 13
14 Num certo Universo, uma expressão proposicional diz-se: universal, se ao substituirmos as suas variáveis por quaisquer valores dos respectivos domínios obtemos sempre proposições verdadeiras; impossível, se obtemos sempre proposições falsas. Seja px uma condição na variável x. Quantificador universal x, px é uma proposição, que se lê qualquer que seja x, px. Num certo universo, x,px é verdadeira sse a condição px é universal. Quantificador existencial x, px é uma proposição, que se lê existe pelo menos um x tal que px. Num certo universo, x,px é verdadeira sse a condição px tem alguma solução. Quantificador de existência e unicidade 1 1 x, px é uma proposição, que se lê existe um e um só x tal que px. Num certo universo, 1 x,px é verdadeira sse a condição px tem uma única solução. Ana Isabel Matos - AMI (versão de 6 de Outubro 2010) Resumo de Lógica - 14
15 Notação:x D, px, x D, px e 1 x D, px indicam que a variável x varia em D (subconjunto do universo). Convenção: O quantificador abrange a mais pequena expressão proposicional que o segue. Quantificação múltipla A troca de ordem de dois quantificadores consecutivos do mesmo tipo origina uma condição (ou proposição) equivalente. Pelo contrário, a troca de ordem de quantificadores que não são do mesmo tipo, origina condições (ou proposições) que, em geral, não são equivalentes às iniciais. Exemplo: Em, universo dos inteiros, a proposição ba, ab 0 é verdadeira (traduz a propriedade de qualquer inteiro ter simétrico em). A proposição ab, ab 0 é falsa (corresponde a afirmar que existe um inteiro que é simétrico de todos os inteiros, o que não é verdade). Segundas leis de De Morgan Sendo p uma condição tem-se: x,p x, p; x,p x, p. Ana Isabel Matos - AMI (versão de 6 de Outubro 2010) Resumo de Lógica - 15
Noções básicas de Lógica
Noções básicas de Lógica Consideremos uma linguagem, com certos símbolos. Chamamos expressão a uma sequências de símbolos. Uma expressão pode ser uma expressão com significado expressão sem significado
Leia maisNoções básicas de Lógica
Noções básicas de Lógica Consideremos uma linguagem, com certos símbolos. Chamamos expressão a uma sequências de símbolos. uma expressão com significado Uma expressão pode ser expressão sem significado
Leia mais. Um termo ou designação é uma expressão que nomeia ou designa um ente.. Uma proposição é toda a expressão p susceptível de ser verdadeira ou falsa.
Tema 1 Lógica e Teoria dos Conjuntos 1. Proposições e valores lógicos. Um termo ou designação é uma expressão que nomeia ou designa um ente.. Uma proposição é toda a expressão p susceptível de ser verdadeira
Leia maisAlgoritmia e Programação APROG. Algoritmia 1. Lógica Proposicional (Noções Básicas) Nelson Freire (ISEP DEI-APROG 2013/14) 1/12
APROG Algoritmia e Programação Algoritmia 1 Lógica (Noções Básicas) Nelson Freire (ISEP DEI-APROG 2013/14) 1/12 Sumário Lógica Qual é o interesse para a algoritmia? O que é? Cálculo (Noções Básicas) Operações
Leia maisUNIP 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 maisVimos que a todo o argumento corresponde uma estrutura. Por exemplo ao argumento. Se a Lua é cúbica, então os humanos voam.
Matemática Discreta ESTiG\IPB 2012/13 Cap1 Lógica pg 10 Lógica formal (continuação) Vamos a partir de agora falar de lógica formal, em particular da Lógica Proposicional e da Lógica de Predicados. Todos
Leia maisLógica Matemática - Quantificadores
Lógica Matemática - Quantificadores Prof. Elias T. Galante - 2017 Quantificador Universal Seja p(x) uma sentença aberta em um conjunto não-vazio A e seja V p o seu conjunto verdade: V p = {x x A p(x)}.
Leia maisArgumentaçã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 maisLó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 maisIntrodução à Lógica Matemática
Introdução à Lógica Matemática Disciplina fundamental sobre a qual se fundamenta a Matemática Uma linguagem matemática Paradoxos 1) Paradoxo do mentiroso (A) Esta frase é falsa. A sentença (A) é verdadeira
Leia maisAfirmações Matemáticas
Afirmações Matemáticas Na aula passada, vimos que o objetivo desta disciplina é estudar estruturas matemáticas, afirmações sobre elas e como provar essas afirmações. Já falamos das estruturas principais,
Leia maisTema I Introdução à lógica bivalente e à teoria de conjuntos
Tema I Introdução à lógica bivalente e à teoria de conjuntos Unidade 1 Proposições Páginas 13 a 9 1. a) 3 é uma designação. b) 3 = 6 é uma proposição. c) é o único número primo par é uma proposição. d)
Leia maisUnidade 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 maisAtençã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 maisLÓ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 mais2016 / Nome do aluno: N.º: Turma:
Teste de Matemática A 2016 / 2017 Teste N.º 1 Matemática A Duração do Teste: 90 minutos 10.º Ano de Escolaridade Nome do aluno: N.º: Turma: Grupo I Os cinco itens deste grupo são de escolha múltipla. Em
Leia maisPara provar uma implicação se p, então q, é suficiente fazer o seguinte:
Prova de Implicações Uma implicação é verdadeira quando a verdade do seu antecedente acarreta a verdade do seu consequente. Ex.: Considere a implicação: Se chove, então a rua está molhada. Observe que
Leia maisConteúdo. Correção de Exercício Quantificadores Rosen (pg 33) Tradução Português Lógica Rosen (pg 42)
Conteúdo Correção de Exercício Quantificadores Rosen (pg 33) Tradução Português Lógica Rosen (pg 42) Correção exercicios 11) P(x) = x = x 2 P(0) P(1) P(2) 12) Q(x) = x + 1 = 2x Q(0) Q(-1) Q(1) Correção
Leia maisFICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 5
FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 5 Nome: N.º Turma: Apresente o seu raciocínio de forma clara, indicando todos os cálculos que tiver de efetuar e todas as justificações necessárias. Quando,
Leia maisExpoente 10 Dossiê do Professor 2
Expoente 0 Dossiê do Professor Tema I Introdução à lógica bivalente e à teoria de conjuntos Unidade Proposições Páginas a 9. a) é uma designação. b) = 6 é uma proposição. c) é o único número primo par
Leia maisFICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 2
FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão Nome: N.º Turma: Apresente o seu raciocínio de forma clara, indicando todos os cálculos que tiver de efetuar e todas as justificações necessárias. Quando,
Leia mais1 Lógica de primeira ordem
1 Lógica de primeira ordem 1.1 Sintaxe Para definir uma linguagem de primeira ordem é necessário dispor de um alfabeto. Este alfabeto introduz os símbolos à custa dos quais são construídos os termos e
Leia mais1 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 maisProposiçõ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 maisRaciocínio Lógico. Negação da Conjunção e Disjunção Inclusiva (Lei de Morgan) Professor Edgar Abreu.
Raciocínio Lógico Negação da Conjunção e Disjunção Inclusiva (Lei de Morgan) Professor Edgar Abreu www.acasadoconcurseiro.com.br Raciocínio Lógico NEGAÇÃO DE UMA PROPOSIÇÃO COMPOSTA Agora vamos aprender
Leia maisFundamentos 1. Lógica de Predicados
Fundamentos 1 Lógica de Predicados Predicados e Quantificadores Estudamos até agora a lógica proposicional Predicados e Quantificadores Estudamos até agora a lógica proposicional A lógica proposicional
Leia maisLó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 maisLógica Matemática UNIDADE II. Professora: M. Sc. Juciara do Nascimento César
Lógica Matemática UNIDADE II Professora: M. Sc. Juciara do Nascimento César 1 1 - Álgebra das Proposições 1.1 Propriedade da Conjunção Sejam p, q e r proposições simples quaisquer e sejam t e c proposições
Leia maisGestão Empresarial Prof. Ânderson Vieira
NOÇÕES DE LÓGICA Gestão Empresarial Prof. Ânderson ieira A maioria do texto apresentado neste arquivo é do livro Fundamentos de Matemática Elementar, ol. 1, Gelson Iezzi e Carlos Murakami (eja [1]). Algumas
Leia maisOs Fundamentos: Lógica de Predicados
Os Fundamentos: Lógica de Predicados Área de Teoria DCC/UFMG Introdução à Lógica Computacional 2019/01 Introdução à Lógica Computacional Os Fundamentos: Lógica de Predicados Área de Teoria DCC/UFMG - 2019/01
Leia maisLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL Proposições frases AFIRMATIVAS que aceitam julgamento: Verdadeiro - Acontece Falso - Não acontece Há frases que não aceitam valorações lógicas Verdadeiro/Falso Exemplos: 1) Interrogativas:
Leia maisÁ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 maisNome do aluno: N.º: Turma:
Teste de Matemática A 2017 / 2018 Teste N.º 1 Matemática A Duração do Teste: 90 minutos NÃO É PERMITIDO O USO DE CALCULADORA 10.º Ano de Escolaridade Nome do aluno: N.º: Turma: Na resposta aos itens de
Leia mais3 Cálculo Proposicional
3 Cálculo Proposicional O Cálculo Proposicional é um dos tópicos fundamentais da Lógica e consiste essencialmente da formalização das relações entre sentenças (ou proposições), de nidas como sendo frases
Leia maisLó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 maisMatemática para controle:
Matemática para controle: Introdução à Lógica Amit Bhaya, Programa de Engenharia Elétrica COPPE/UFRJ Universidade Federal do Rio de Janeiro amit@nacad.ufrj.br http://www.nacad.ufrj.br/ amit Introdução
Leia maisProposta de teste de avaliação
Proposta de teste de avaliação Matemática A 10. O ANO DE ESCOLARIDADE Duração: 90 minutos Data: Grupo I Na resposta aos itens deste grupo, selecione a opção correta. Escreva, na folha de respostas, o número
Leia maisTeoria dos Conjuntos MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES. Fundamentos de Lógica Técnicas Elementares de Prova A NOÇÃO DE CONJUNTO
SUMÁRIO MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES Teoria dos Conjuntos Relações e Funções Fundamentos de Lógica Técnicas Elementares de Prova Newton José Vieira 21 de agosto de 2007 1 A NOÇÃO DE CONJUNTO
Leia maisFICHA DE TRABALHO N.º 2 MATEMÁTICA A - 10.º ANO CONJUNTOS E CONDIÇÕES
FICHA DE TRABALHO N.º MATEMÁTICA A - 10.º ANO CONJUNTOS E CONDIÇÕES Conhece a Matemática e dominarás o Mundo. Galileu Galilei GRUPO I ITENS DE ESCOLHA MÚLTIPLA 1. Considere a condição px : x é um número
Leia maisAula 1 Aula 2. Ana Carolina Boero. Página:
Elementos de lógica e linguagem matemática E-mail: ana.boero@ufabc.edu.br Página: http://professor.ufabc.edu.br/~ana.boero Sala 512-2 - Bloco A - Campus Santo André Linguagem matemática A linguagem matemática
Leia maisMatemá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 maisDEPARTAMENTO DE MATEMÁTICA E INFORMÁTICA DISCIPLINA:
DEPARTAMENTO DE MATEMÁTICA E INFORMÁTICA DISCIPLINA: Matemática A (10º Ano) METAS CURRICULARES/CONTEÚDOS... 1º Período (18 de setembro a 17 de dezembro) Metas/ Objetivos Conceitos/ Conteúdos Aulas Previstas
Leia maisUniversidade Aberta do Brasil - UFPB Virtual Curso de Licenciatura em Matemática
Universidade Aberta do Brasil - UFPB Virtual Curso de Licenciatura em Matemática Argumentação em Matemática Prof. Lenimar Nunes de Andrade e-mail: numerufpb@gmail.com ou lenimar@mat.ufpb.br versão 1.0
Leia maisFICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 4
FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 4 Nome: N.º Turma: Apresente o seu raciocínio de forma clara, indicando todos os cálculos que tiver de efetuar e todas as justificações necessárias. Quando,
Leia maisMDI0001 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 maisCálculo de Predicados
Matemática Discreta - Departamento de Matemática - EST-IPV - 2003/2004 - II Cálculo de Predicados 1. Predicados e quantificadores Consideremos as afirmações seguintes: x é par (1) x é tão alto como y (2)
Leia maisFICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 6
FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 6 Nome: N.º Turma: Apresente o seu raciocínio de forma clara, indicando todos os cálculos que tiver de efetuar e todas as justificações necessárias. Quando,
Leia maisLógica Computacional
Aula Teórica 5: Semântica da Lógica Proposicional António Ravara Simão Melo de Sousa Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa Departamento de Informática,
Leia maisLó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 maisProposta de teste de avaliação
Proposta de teste de avaliação Matemática A 10º ANO DE ESCOLARIDADE Duração: 90 minutos Data: O teste é constituído por dois grupos, I e II O Grupo I inclui quatro questões de escolha múltipla O Grupo
Leia maisFundamentos de Lógica e Algoritmos
INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO RIO GRANDE DO NORTE CAMPUS SÃO GONÇALO DO AMARANTE Fundamentos de Lógica e Algoritmos #EquivalênciaLógica Eliezio Soares elieziosoares@ifrn.edu.br
Leia maisFICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 1
FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 1 Nome: N.º Turma: Apresente o seu raciocínio de forma clara, indicando todos os cálculos que tiver de efetuar e todas as justificações necessárias. Quando,
Leia maisUniversidade Federal do Espírito Santo Centro de Ciências Agrárias CCA UFES Departamento de Computação. Sentenças Abertas
Universidade Federal do Espírito Santo Centro de Ciências Agrárias CCA UFES Departamento de Computação Sentenças Abertas Lógica Computacional 1 Site: http://jeiks.net E-mail: jacsonrcsilva@gmail.com Sentença
Leia maisMA14 - Aritmética Unidade 1 Resumo. Divisibilidade
MA14 - Aritmética Unidade 1 Resumo Divisibilidade Abramo Hefez PROFMAT - SBM Julho 2013 Aviso Este material é apenas um resumo de parte do conteúdo da disciplina e o seu estudo não garante o domínio do
Leia maisLógica de Predicados
Lógica de Predicados Rosen 47 6) Considere N(x) como o predicado x visitou Dakota do Norte, em que o domínio são os estudantes de sua escola. Expresse cada uma dessas quantificações em português. a) x
Leia maisÁlgebra Linear e Geometria Analítica
Álgebra Linear e Geometria Analítica Engenharia Electrotécnica Escola Superior de Tecnologia de Viseu www.estv.ipv.pt/paginaspessoais/lucas lucas@mat.estv.ipv.pt 2007/2008 Álgebra Linear e Geometria Analítica
Leia maisFICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 3
FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 3 Nome: N.º Turma: Apresente o seu raciocínio de forma clara, indicando todos os cálculos que tiver de efetuar e todas as justificações necessárias. Quando,
Leia maisSímbolo Nome lê-se como Categoria = 10 significa que se se somar 4 a 6, a soma, ou resultado, é 10.
Símbolo Nome lê-se como Categoria adição mais aritmética + 4 + 6 = 10 significa que se se somar 4 a 6, a soma, ou resultado, é 10. Exemplo: 43 + 65 = 108; 2 + 7 = 9 subtração menos aritmética - 9-4 = 5
Leia maisn. 6 Equivalências Lógicas logicamente equivalente a uma proposição Q (p, q, r, ), se as tabelas-verdade destas duas proposições são idênticas.
n. 6 Equivalências Lógicas A equivalência lógica trata de evidenciar que é possível expressar a mesma sentença de maneiras distintas, preservando, o significado lógico original. Def.: Diz-se que uma proposição
Leia maisINE5403 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 maisElementos de Lógica Matemática p. 1/2
Elementos de Lógica Matemática Uma Breve Iniciação Gláucio Terra glaucio@ime.usp.br Departamento de Matemática IME - USP Elementos de Lógica Matemática p. 1/2 Vamos aprender a falar aramaico? ǫ > 0 ( δ
Leia maisBases 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 maisDEPARTAMENTO DE MATEMÁTICA E CIÊNCIAS DA NATUREZA CRITÉRIOS ESPECÍFICOS DE AVALIAÇÃO
DEPARTAMENTO DE MATEMÁTICA E CIÊNCIAS DA NATUREZA CRITÉRIOS ESPECÍFICOS DE AVALIAÇÃO (Aprovados em Conselho Pedagógico de 27 de outubro de 2015) AGRUPAMENTO DE CLARA DE RESENDE CÓD. 152 870 No caso específico
Leia maisLógica Proposicional Métodos de Validação de Fórmulas. José Gustavo de Souza Paiva. Introdução
Lógica Proposicional Métodos de Validação de Fórmulas José Gustavo de Souza Paiva Introdução Análise dos mecanismos que produzem e verificam os argumentos válidos apresentados na linguagem da lógica Três
Leia maisMATEMÁ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 maisINTRODUÇÃ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 mais4 AULA. Regras de Inferência e Regras de Equivalência LIVRO. META: Introduzir algumas regras de inferência e algumas regras de equivalência.
1 LIVRO Regras de Inferência e Regras de Equivalência 4 AULA META: Introduzir algumas regras de inferência e algumas regras de equivalência. OBJETIVOS: Ao fim da aula os alunos deverão ser capazes de:
Leia maisCá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 maisMatemá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 maisMatemática Básica I Notas de aula - versão
1 - Departamento de Matemática Aplicada (GMA) Matemática Básica I Notas de aula - versão 3 2011-1 Marlene Dieguez Fernandez Observações preliminares A disciplina Matemática Básica I é oferecida no mesmo
Leia maisApresentação do curso
Folha 1 Matemática Básica Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Apresentação do curso Parte 1 Parte 1 Matemática Básica 1 Parte 1 Matemática Básica
Leia maisTópicos de Matemática Discreta. mestrado integrado em Engenharia Informática. notas para a unidade curricular. Universidade do Minho 2017/2018
notas para a unidade curricular Tópicos de Matemática Discreta mestrado integrado em Engenharia Informática Universidade do Minho 2017/2018 Cláudia Mendes Araújo Carla Mendes Suzana Mendes Gonçalves Capítulo
Leia maisLógica Proposicional e Álgebra de Boole
Lógica Proposicional e Álgebra de Boole A lógica proposicional remonta a Aristóteles, e teve como objectivo modelizar o raciocínio humano. Partindo de frases declarativas ( proposições), que podem ser
Leia maisAula 1 Aula 2 Aula 3. Ana Carolina Boero. Página:
Elementos de lógica e linguagem matemática E-mail: ana.boero@ufabc.edu.br Página: http://professor.ufabc.edu.br/~ana.boero Sala 512-2 - Bloco A - Campus Santo André Linguagem matemática A linguagem matemática
Leia maisProposiçõ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 maisLógica Computacional
Lógica Computacional Consequência Tautológica e Lógica em Frases Quantificadas Leis de de Morgan Separação de Quantificadores Consequências Analíticas e Método Axiomático 24 Outubro 2017 Lógica Computacional
Leia maisLó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 maisLógica Computacional
Lógica Computacional Consequência Tautológica e Lógica em Frases Quantificadas Leis de de Morgan Separação de Quantificadores Consequências Analíticas e Método Axiomático 3 Novembro 2016 Lógica Computacional
Leia maisComo 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 maisInteligência Artificial IA II. LÓGICA DE PREDICADOS PARA REPRESENTAÇÃO DO CONHECIMENTO
Inteligência Artificial IA Prof. João Luís Garcia Rosa II. LÓGICA DE PREDICADOS PARA REPRESENTAÇÃO DO CONHECIMENTO 2004 Representação do conhecimento Para representar o conhecimento do mundo que um sistema
Leia maisIntroduçã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 maisINE5403 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/81 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional
Leia mais1 Teoria de conjuntos e lógica
1 Teoria de conjuntos e lógica Estes breves apontamentos dizem respeito à parte do programa dedicada à teoria de conjuntos e à lógica matemática. Embora concebidos sem grandes formalismos e com poucas
Leia maisLógica de Predicados
Lógica de Predicados Conteúdo Correção Exercícios Operações Lógicas sobre Predicados Condicional Quantificador de Unicidade (Rosen 37) Quantificadores com Restrição (Rosen 38) Tradução Português-Lógica
Leia maisLógica de Predicados
Lógica de Predicados Conteúdo Correção dos Exercícios (Rosen 47) Prioridade dos Quantificadores (Rosen 38) Ligando Variáveis (Rosen 38) Equivalências lógicas (Rosen 39) Negando expressões com quantificadores
Leia maisLógica Computacional
Aula Teórica 2: da Lógica Proposicional Departamento de Informática 17 de Fevereiro de 2011 Descrição informal Lógica proposicional Objecto Ocupa-se do estudo do comportamento dos conectivos lógicos (negação,
Leia maisLógica Proposicional
Slides da disciplina Lógica para Computação, ministrada pelo Prof. Celso Antônio Alves Kaestner, Dr. Eng. (kaestner@dainf.ct.utfpr.edu.br) entre 2007 e 2008. Alterações feitas em 2009 pelo Prof. Adolfo
Leia maisLógica Proposicional
Lógica Proposicional Equivalências Lógicas Profa. Sheila Morais de Almeida DAINF-UTFPR-PG junho - 2018 Sheila Almeida (DAINF-UTFPR-PG) Lógica Proposicional junho - 2018 1 / 36 Este material é preparado
Leia maisCAPÍ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 maisMÓDULO II - PARTE II LÓGICA DOS PREDICADOS
MÓDULO II - PARTE II LÓGICA DOS PREDICADOS Quantificadores Professora Dr. a Donizete Ritter 26 de julho de 2017 Ritter, D. (UNEMAT/DEAD/SI) LÓGICA 26 de julho de 2017 1 / 18 Sumário 1 INTRODUÇÃO 2 TIPOS
Leia maisCálculo Diferencial e Integral I
Cálculo Diferencial e Integral I Texto de apoio às aulas. Amélia Bastos, António Bravo Dezembro 2010 Capítulo 1 Números reais As propriedades do conjunto dos números reais têm por base um conjunto restrito
Leia maisUma 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 maisMetas/Objetivos/Domínios Conteúdos/Conceitos Número de Aulas
DEPARTAMENTO DE MATEMÁTICA E INFORMÁTICA DISCIPLINA: MATEMÁTICA A ANO:10.º Planificação (Conteúdos)... Período Letivo: 1.º Metas/Objetivos/Domínios Conteúdos/Conceitos Número de Aulas Álgebra - Radicais
Leia mais3 AULA. Valorações e Tabelas de Verdade LIVRO. META: Apresentar tabelas de verdade para classificar proposições lógicas.
1 LIVRO Valorações e Tabelas de Verdade META: Apresentar tabelas de verdade para classificar proposições lógicas. OBJETIVOS: Ao fim da aula os alunos deverão ser capazes de: Aplicar valorações de um conjunto
Leia maisGabarito da Avaliação 3 de Lógica Computacional 1
Questões iguais em todas as provas: Gabarito da Avaliação 3 de Lógica Computacional 1 1. (5 pts) Utilize a Regra DC para mostrar que é válido o seguinte argumento: p q r, s ~r ~t, s u p u De acordo com
Leia maisLógica Proposicional-2
Lógica Proposicional-2 Conetivas Booleanas Provas informais e formais com conetivas Booleanas Referência: Language, Proof and Logic Dave Barker-Plummer, Jon Barwise e John Etchemendy, 2011 Capítulos: 3-4-5-6
Leia maisDEPARTAMENTO DE MATEMÁTICA E INFORMÁTICA DISCIPLINA:
DEPARTAMENTO DE MATEMÁTICA E INFORMÁTICA DISCIPLINA: Matemática A (10º Ano) METAS CURRICULARES/CONTEÚDOS... 1º Período (11 de setembro a 15 de dezembro) Metas/ Objetivos Conceitos/ Conteúdos Aulas Previstas
Leia maisLógica Computacional
Aula Teórica 2: Sintaxe da Lógica Proposicional António Ravara Simão Melo de Sousa Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa Departamento de Informática,
Leia mais