Enunciados Quantificados Equivalentes

Save this PDF as:
 WORD  PNG  TXT  JPG

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

Download "Enunciados Quantificados Equivalentes"

Transcrição

1 Enunciados Quantificados Equivalentes Renata de Freitas e Petrucio Viana IME, UFF Junho de 2014

2 Sumário Equivalência de enunciados quantificados. Aplicação da noção de interpretação para decidir quando dois enunciado simbolizados são equivalentes ou não. Justificativa para não equivalência de dois enunciados.

3 Equivalência de enunciados quantificados De maneira análoga ao que acontece com enunciados formados por meio de conectivos, dependendo de como entendemos o significado de um enunciado quantificado, ele pode ser simbolizado de mais de uma maneira.

4 Exemplo 1 O enunciado ninguém é feliz pode ser interpretado como todos são infelizes se admitimos que ser infeliz é a negação de ser feliz.

5 Exemplo 1 Neste caso, de acordo com a legenda F (x) : x é feliz o enunciado ninguém é feliz pode ser simbolizado diretamente como x[f (x)] ou indiretamente como x[ F (x)] se for interpretado como todos são infelizes.

6 Questão decidir se dois enunciados quantificados, simbolizados de maneira distinta, expressam ou não o mesmo conteúdo. Para os enunciados que só possuem uma ocorrência de quantificador, esta questão pode ser resolvida com o uso de interpretações.

7 Equivalências Sejam ϕ e ψ enunciados simbolizados. Dizemos que ϕ e ψ são equivalentes se, para cada interpretação para ϕ e ψ, os valores de ϕ e ψ são iguais.

8 Exemplo 2 Para interpretar os enunciados devemos determinar: x[f (x)], x[ F (x)] 1. um domínio de quantificação, D, para os quantificadores que ocorrem nos enunciados; 2. uma propriedade sobre elementos de D para ser o significado de F.

9 Exemplo 2 Na interpretação original para os enunciados, dada no Exemplo 1, temos que 1. o domínio de quantificação, D, consiste de todas as pessoas; 2. o significado de F é a propriedade ser feliz. Mas, além desta, podemos definir muitas outras interpretações para x[f (x)] e x[ F (x)].

10 Exemplo 2 Por exemplo, 1. D consiste de todos os animais; 2. F é a propriedade ser bípede. ou ainda 1. D consiste de todos os números reais; 2. F é a propriedade ser irracional. etc.

11 Enunciados equivalentes Sejam ϕ e ψ enunciados simbolizados que possuem ocorrência(s) de quantificador(es) e ocorrências de propriedades dentre P 1, P 2,..., P n. Dizemos que ϕ e ψ são equivalentes se, para qualquer interpretação conjunta para ϕ e ψ ou seja, qualquer domínio de avaliação D associado simultaneamente a todos os quantificadores e quaisquer significados para as propriedades P 1, P 2,..., P n em D temos que o valor de ϕ é igual ao valor de ψ.

12 Problema da equivalência de enunciados Dados dois enunciados, queremos classificá-los como equivalentes ou não.

13 Exemplo 3 Os enunciados x[f (x)] e x[ F (x)] são equivalentes. De fato: Considere um domínio de avaliação D qualquer e uma propriedade qualquer em D, representada por F. Temos que: x[f (x)] é V se, e somente se, x[f (x)] é F se, e somente se,

14 Exemplo 3 F (x) é F, para todos os valores que x pode assumir em D se, e somente se, para todos os valores que x pode assumir em D, F (x) é F se, e somente se, para todos os valores que x pode assumir em D, F (x) é V se, e somente se, x[ F (x)] é V.

15 Exemplo 3 Assim: x[f (x)] é V se, e somente se, x[ F (x)] é V. Daí: x[f (x)] é F se, e somente se, x[ F (x)] é F. Ou seja, x[f (x)] e x[ F (x)] têm os mesmos valores nas mesmas interpretações.

16 Exemplo 4 De maneira similar, podemos garantir que os enunciados x[f (x)] e x[ F (x)] são equivalentes. De fato: Considere um domínio de avaliação D qualquer e uma propriedade qualquer, representada por F, em D. Temos que: x[f (x)] é V se, e somente se, x[f (x)] é F se, e somente se, F (x) é F, para ao menos um dos valores que x pode assumir em D se, e somente se,

17 Exemplo 4 para ao menos um dos valores que x pode assumir em D, F (x) é F se, e somente se, para ao menos um dos valores que x pode assumir em D, F (x) é V se, e somente se, x[ F (x)] é V

18 Exemplo 4 Assim, x[f (x)] é V se, e somente se, x[ F (x)] é V. Daí, x[f (x)] é F se, e somente se, x[ F (x)] é F. Ou seja, x[f (x)] e x[ F (x)] têm os mesmos valores nas mesmas interpretações.

19 Observação O critério utilizado nos exemplos anteriores pode ser convertido em um método para justificar que certos enunciados não são equivalentes. De fato, como: dois enunciados simbolizados são equivalentes quando possuem os mesmos valores em qualquer interpretação, temos que: dois enunciados simbolizados não são equivalentes quando possuem valores diferentes em alguma interpretação.

20 Enunciados não-equivalentes Sejam ϕ e ψ enunciados simbolizados que possuem ocorrência(s) de quantificador(es) e ocorrências de propriedades dentre P 1, P 2,..., P n. Dizemos que ϕ e ψ não são equivalentes se existe ao menos uma interpretação conjunta para ϕ e ψ ou seja, algum domínio de avaliação D, associado simultaneamente a todos os quantificadores e significados para as propriedades P 1, P 2,..., P n em D na qual o valor de ϕ é diferente do valor de ψ.

21 Exemplo 5 Os enunciados x[p(x)] e x[p(x)] não são equivalentes. Intuitivamente, isto é claro pois, usualmente, quando afirmamos que algum objeto possui uma propriedade não estamos querendo dizer que todos os objetos a possuam. Assim, aparentemente, é possível exibir uma interpretação conjunta para x[p(x)] e x[p(x)], na qual x[p(x)] é V e x[p(x)] é F.

22 Exemplo 5 Consideremos a interpretação: D : formado por todos os números naturais P : ser igual a 0 Nesta interpretação o enunciado x[p(x)] significa x(x é igual a 0) ou seja, ao menos um número natural é igual a 0 e, portanto, é V.

23 Exemplo 5 Já o enunciado x[p(x)] significa x(x é igual a 0) ou seja, todos os números naturais são iguais a 0 e, portanto, é F. Como exibimos uma interpretação na qual x[p(x)] e x[p(x)] têm valores diferentes, eles não são equivalentes.

24 Exemplo 6 Os enunciados y[p(y)] z[q(z)] e x[p(x) Q(x)] não são equivalentes. Intuitivamente, isto é claro pois, usualmente, quando afirmamos que existe um objeto que possui uma propriedade e que existe um objeto que possui uma outra propriedade, não estamos querendo dizer que o mesmo objeto possui ambas as propriedades. Assim, aparentemente, é possível exibir uma interpretação conjunta para y[p(y)] z[q(z)] e x[p(x) Q(x)], na qual y[p(y)] z[q(z)] é V e x[p(x) Q(x)] é F.

25 Exemplo 6 Consideremos a interpretação: D : formado por todos os números naturais P : ser par Q : ser ímpar Nesta interpretação o enunciado y[p(y)] z[q(z)] significa ou seja, y(y é par) z(z é ímpar) existe ao menos um número natural par e existe ao menos um número natural ímpar e, portanto, é V. Observe que, ao interpretarmos P(y) e Q(z) para tornarmos y[p(y)] e z[q(z)] verdadeiros, nesta interpretação, as variáveis y e z assumem valores diferentes.

26 Exemplo 6 Já o enunciado x[p(x) Q(x)] significa e, portanto, é F. x(x é par x é ímpar) Observe que, ao interpretarmos P(x) Q(x) para tornarmos x[p(x) Q(x)] verdadeiro, nesta interpretação, o valor de x deveria ser simultaneamente par e ímpar, o que é impossível.

27 Observação 1 Os raciocínios empregados nos Exemplos 3 e 4 são perfeitamente gerais. Isto é: se v é uma variável qualquer e ϕ(v) é um enunciado qualquer que possui ocorrências livres de v (e não possui ocorrências livres de nenhuma outra variável), então os seguintes pares de enunciados são formados por enunciados equivalentes: v[ϕ(v)] e v[ ϕ(v)] v[ϕ(v)] e v[ ϕ(v)]

28 Observação 2 Esta é uma característica comum das justificativas de que dois enunciados são equivalentes: Usualmente, um raciocínio baseado apenas nas regras de avaliação dos conectivos e quantificadores, que justifica corretamente que dois enunciados simbolizados são equivalentes, também mostra que quaisquer dois enunciados, que possuem a mesma forma que os enunciados dados, são equivalentes.

29 Observação 3 Por outro lado, a justificativa de que dois enunciados não são equivalentes, usualmente, não é suficiente para mostrar que quaisquer dois enunciados que possuem a mesma forma que os enunciados dados não são equivalentes.

30 Exemplo 7 No Exemplo 5, mostramos que x[p(x)] e x[p(x)] não são equivalentes. Mas isto não nos autoriza a concluir de imediato que, dadas uma existencialização e uma generalização, elas não são equivalentes. De fato, os enunciados x[p(x) P(x)] e x[p(x) P(x)] são equivalentes, embora, em um certo sentido, possuam as mesmas formas que x[p(x)] e x[p(x)].

31 Exemplo 7 Para justificar esta afirmação, considere D um domínio de avaliação qualquer e P uma propriedade qualquer, em D. De acordo com as regras de avaliação do, do, do e do, temos que: x[p(x) P(x)] é V se, e somente se, o enunciado P(x) P(x) é V para ao menos um dos valores que a variável x pode assumir em D (1) se, e somente se,

32 Exemplo 7 F se, e somente se, para todos os valores que a variável x pode assumir em D o enunciado P(x) P(x) é V (2) se, e somente se, x[p(x) P(x)] é V.

33 Exemplo 7 Na justificativa anterior, usamos o fato de que o enunciado P(x) P(x) é uma contradição para qualquer valor que a variável x assuma em D. Assim, (1) e (2) são F. Logo, x[p(x) P(x)] é V se, e somente se, x[p(x) P(x)] é V, ou seja, os enunciados são equivalentes.

34 Método para equivalência de enunciados Sejam ϕ e ψ enunciados simbolizados que possuem ocorrência(s) de quantificador(es) e de propriedades dentre P 1, P 2,..., P n. Para justificar que ϕ e ψ são equivalentes, podemos executar os seguintes passos: 1. Considerar uma interpretação conjunta genérica para ϕ e ψ, formada por um domínio de avaliação genérico, D, e n propriedades genéricas, representadas por p 1,..., p n, em D. 2. Utilizar as regras de avaliação dos conectivos e quantificadores para justificar que ϕ é V se, e somente se, ψ é V. 3. Se o Passo 2 terminar com sucesso, então ϕ e ψ são equivalentes.

35 Observe o peso que é dado à palavra genérico, na descrição geral deste método. Aqui, a palavra genérico é empregada para salientar que: Os raciocínios apresentados na justificativa de que dois enunciados simbolizados são equivalentes devem ser baseados apenas nas regras de avaliação dos conectivos e quantificadores e não, por exemplo, em nossa intuição e/ou imaginação.

36 Método para não-equivalência de enunciados Sejam ϕ e ψ enunciados simbolizados que possuem ocorrência(s) de quantificador(es) e de propriedades dentre P 1,..., P n. Para justificar que ϕ e ψ não são equivalentes, podemos executar os seguintes passos: 1. Considerar uma interpretação conjunta específica para ϕ e ψ, formada por um domínio de avaliação específico, D, e n propriedades específicas, representadas por P 1,..., P n, em D. 2. Utilizar as regras de avaliação dos conectivos e quantificadores para justificar que ϕ e ψ possuem valores diferentes nesta interpretação. 3. Se o Passo 2 terminar com sucesso, então ϕ e ψ não são equivalentes.

37 Observe o peso que é dado à palavra específico, na descrição geral deste método. Aqui, a palavra específico é empregada para salientar que: Os raciocínios apresentados na justificativa de que dois enunciados simbolizados não são equivalentes deve ser baseado nas regras de avaliação dos conectivos e quantificadores mas pode, também, ser baseado em nossos conhecimentos específicos sobre um determinado domínio de objetos. Na verdade, neste caso, utilizamos nossa intuição, imaginação e/ou conhecimentos específicos, quando estamos elaborando uma interpretação determinada, baseada na qual raciocinamos empregando as definições para mostrar que os enunciados podem possuir valores diferentes.

38 Exercícios 1. Mostre, usando interpretações, que os enunciados a seguir são equivalentes: (i) x[p(x)] e y[p(y)] (ii) x[p(x)] e y[p(y)] 2. Mostre, usando interpretações, que os enunciados a seguir não são equivalentes. (i) x[p(x) Q(x)] e y[p(y)] z[q(z)] (ii) x[p(x) Q(x)] e y[p(y)] z[q(z)]

Enunciados Quantificados Equivalentes

Enunciados Quantificados Equivalentes Lógica para Ciência da Computação I Lógica Matemática Texto 15 Enunciados Quantificados Equivalentes Sumário 1 Equivalência de enunciados quantificados 2 1.1 Observações................................

Leia mais

Lógica Texto 11. Texto 11. Tautologias. 1 Comportamento de um enunciado 2. 2 Classificação dos enunciados Exercícios...

Lógica Texto 11. Texto 11. Tautologias. 1 Comportamento de um enunciado 2. 2 Classificação dos enunciados Exercícios... Lógica para Ciência da Computação I Lógica Matemática Texto 11 Tautologias Sumário 1 Comportamento de um enunciado 2 1.1 Observações................................ 4 2 Classificação dos enunciados 4 2.1

Leia mais

Lógica dos Quantificadores: sintaxe

Lógica dos Quantificadores: sintaxe Lógica dos Quantificadores: sintaxe Renata de Freitas e Petrucio Viana IME, UFF 18 de junho de 2015 Sumário 1. Princípios sintáticos 2. Alfabeto de LQ 3. Fórmulas de LQ 4. Variáveis livres, variáveis ligadas

Leia mais

IME, UFF 7 de novembro de 2013

IME, UFF 7 de novembro de 2013 em Lógica de IME, UFF 7 de novembro de 2013 Sumário em... em Sintaxe da A lógica que estamos definindo é uma extensão de LS e é chamada de Lógica de Ordem,, por uma razão que será esclarecida mais adiante.

Leia mais

IME, UFF 4 de novembro de 2013

IME, UFF 4 de novembro de 2013 Lógica IME, UFF 4 de novembro de 2013 Sumário e ferramentas Considere o seguinte texto, da aritmética dos números naturais. Teorema: Todo número inteiro positivo maior que 1 tem um fator primo. Prova:

Leia mais

Lógica dos Conectivos: demonstrações indiretas

Lógica dos Conectivos: demonstrações indiretas Lógica dos Conectivos: demonstrações indiretas Renata de Freitas e Petrucio Viana IME, UFF 5 de novembro de 2014 Sumário Acrescentando premissas. Estratégias indiretas. Principais exemplos. Um problema

Leia mais

Lógica dos Conectivos: demonstrações indiretas

Lógica dos Conectivos: demonstrações indiretas Lógica dos Conectivos: demonstrações indiretas Renata de Freitas e Petrucio Viana IME, UFF 18 de junho de 2015 Sumário Olhe para as premissas Olhe para a conclusão Estratégias indiretas Principais exemplos

Leia mais

Método das Tabelas para Validade

Método das Tabelas para Validade Lógica para Ciência da Computação I Lógica Matemática Texto 10 Método das Tabelas para Validade Sumário 1 Simbolização de argumentos 2 1.1 Observações................................ 3 1.2 Exercício resolvido............................

Leia mais

Lógica dos Quantificadores: sintaxe e semântica intuitiva

Lógica dos Quantificadores: sintaxe e semântica intuitiva Lógica dos Quantificadores: sintaxe e semântica intuitiva quantificação em domínios infinitos Renata de Freitas e Petrucio Viana IME, UFF 5 de novembro de 2014 Sumário Quantificadores sobre domínios infinitos.

Leia mais

Elementos de Lógica Matemática p. 1/2

Elementos 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 mais

Expressões e enunciados

Expressões e enunciados Lógica para Ciência da Computação I Lógica Matemática Texto 2 Expressões e enunciados Sumário 1 Expressões e enunciados 2 1.1 Observações................................ 2 1.2 Exercício resolvido............................

Leia mais

Simbolização de Enunciados com um Quantificador

Simbolização de Enunciados com um Quantificador Lógica para Ciência da Computação I Lógica Matemática Texto 13 Simbolização de Enunciados com um Quantificador Sumário 1 Quantificadores: simbolização e sintaxe 2 2 Explicitando e quantificando variáveis

Leia mais

Lógica dos Conectivos: validade de argumentos

Lógica dos Conectivos: validade de argumentos Lógica dos Conectivos: validade de argumentos Renata de Freitas e Petrucio Viana IME, UFF 16 de setembro de 2014 Sumário Razões e opiniões. Argumentos. Argumentos bons e ruins. Validade. Opiniões A maior

Leia mais

Enunciados Abertos e Enunciados Fechados

Enunciados Abertos e Enunciados Fechados Lógica para Ciência da Computação I Lógica Matemática Texto 12 Enunciados Abertos e Enunciados Fechados Sumário 1 Enunciados atômicos abertos e fechados 2 1.1 Observações................................

Leia mais

Enunciados Atômicos, Conectivos e Enunciados Moleculares

Enunciados Atômicos, Conectivos e Enunciados Moleculares Lógica para Ciência da Computação I Lógica Matemática Texto 3 Enunciados Atômicos, Conectivos e Enunciados Moleculares Sumário 1 Enunciados atômicos 2 1.1 Observações................................ 2

Leia mais

Método das Tabelas para Validade Petrucio Viana

Método das Tabelas para Validade Petrucio Viana GAN00166: Lógica para Ciência da Computação Texto da Aula 8 Método das Tabelas para Validade Petrucio Viana Departamento de Análise, IME UFF Sumário 1 Simbolização de argumentos 1 1.1 Observação................................

Leia mais

Aula 2, 2014/2 Sintaxe da Lógica dos Conectivos

Aula 2, 2014/2 Sintaxe da Lógica dos Conectivos Notas de aula de Lógica para Ciência da Computação Aula 2, 2014/2 Sintaxe da Lógica dos Conectivos Renata de Freitas e Petrucio Viana Departamento de Análise, IME UFF 27 de agosto de 2014 Sumário 1 Sintaxe

Leia mais

Simbolização de Enunciados com Conectivos

Simbolização de Enunciados com Conectivos Lógica para Ciência da Computação I Lógica Matemática Texto 4 Simbolização de Enunciados com Conectivos Sumário 1 Conectivos: simbolização e sintaxe 2 2 Enunciados componentes 5 2.1 Observações................................

Leia mais

IME, UFF 3 de junho de 2014

IME, UFF 3 de junho de 2014 Lógica IME, UFF 3 de junho de 2014 Sumário A lógica formal e os principais sistemas A lógica formal Um dos objetivos da lógica formal é a mecanização do raciocínio, isto é, a obtenção de nova informação

Leia mais

Aula 1 Aula 2. Ana Carolina Boero. Página:

Aula 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 mais

IME, UFF 10 de dezembro de 2013

IME, UFF 10 de dezembro de 2013 Lógica IME, UFF 10 de dezembro de 2013 Sumário.... Considere o seguinte argumento Um problema de validade (1) p q q r r s s t p t (1) é válido ou não? A resposta é sim... Uma demonstração Uma demonstração

Leia mais

1 Lógica de primeira ordem

1 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 mais

Noções básicas de Lógica

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 mais

Notas de Aula Aula 2, 2012/2

Notas de Aula Aula 2, 2012/2 Lógica para Ciência da Computação Notas de Aula Aula 2, 2012/2 Renata de Freitas & Petrucio Viana Departamento de Análise, IME UFF 23 de janeiro de 2013 Sumário 1 Conteúdo e objetivos 1 2 Legibilidade

Leia mais

Gestão Empresarial Prof. Ânderson Vieira

Gestã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 mais

Renata de Freitas e Petrucio Viana. IME - UFF 27 de agosto de 2014

Renata de Freitas e Petrucio Viana. IME - UFF 27 de agosto de 2014 Simbolização em LC Renata de Freitas e Petrucio Viana IME - UFF 27 de agosto de 2014 Sumário Classificações imediatas e não imediatas Falta de uniformidade Regras de reescrita Legendas Procedimento de

Leia mais

Análise de Algoritmos

Análise de Algoritmos Análise de Algoritmos Técnicas de Prova Profa. Sheila Morais de Almeida DAINF-UTFPR-PG julho - 2015 Técnicas de Prova Definição Uma prova é um argumento válido que mostra a veracidade de um enunciado matemático.

Leia mais

IME, UFF 5 de novembro de 2013

IME, UFF 5 de novembro de 2013 Lógica IME, UFF 5 de novembro de 2013 . em LS. Método das.. Sumário. Simbolização não é determinística Dependendo de o entendemos o significado de uma sentença, ela pode ser simbolizada de mais de uma

Leia mais

IME, UFF 7 de novembro de 2013

IME, UFF 7 de novembro de 2013 em Lógica IME, UFF 7 de novembro de 2013 em Sumário Intermezzo sobre problemas. Intermezzo sobre algoritmos.. em : Val, Sat, Conseq, Equiv, Consist. Redução de problemas. em Um problema computacional é

Leia mais

Argumentos, Correção e Validade

Argumentos, Correção e Validade Lógica para Ciência da Computação I Lógica Matemática Texto 9 Argumentos, Correção e Validade Sumário 1 Razões e opiniões 2 2 Argumentos 3 2.1 Observações................................ 4 2.2 Exercício

Leia mais

Introdução aos Métodos de Prova

Introdução aos Métodos de Prova Introdução aos Métodos de Prova Renata de Freitas e Petrucio Viana IME-UFF, Niterói/RJ II Colóquio de Matemática da Região Sul UEL, Londrina/PR 24 a 28 de abril 2012 Sumário Provas servem, principalmente,

Leia mais

Lógica Computacional DCC/FCUP 2017/18

Lógica Computacional DCC/FCUP 2017/18 2017/18 1 Lógica de primeira ordem Linguagens da lógica de primeira ordem Termos Fórmulas Semântica de Lógica de primeira ordem Lógica de primeira ordem Na lógica proposicional não é possível representar

Leia mais

Cálculo de Predicados. Matemática Discreta. Profa. Sheila Morais de Almeida DAINF-UTFPR-PG. março

Cálculo de Predicados. Matemática Discreta. Profa. Sheila Morais de Almeida DAINF-UTFPR-PG. março Matemática Discreta Cálculo de Predicados Profa. Sheila Morais de Almeida DAINF-UTFPR-PG março - 2017 Quantificadores Como expressar a proposição Para todo número inteiro x, o valor de x é positivo. usando

Leia mais

Universidade Aberta do Brasil - UFPB Virtual Curso de Licenciatura em Matemática

Universidade 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 mais

Lógica de Predicados

Ló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 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

ANÁLISE MATEMÁTICA I. Curso: EB

ANÁLISE MATEMÁTICA I. Curso: EB ANÁLISE MATEMÁTICA I (com Laboratórios) Curso: EB Lógica - Resumo Ana Matos DMAT Noções básicas de Lógica Consideremos uma linguagem, com certos símbolos. Chamamos expressão a qualquer sequência de símbolos.

Leia mais

A LINGUAGEM DO DISCURSO MATEMÁTICO E SUA LÓGICA

A LINGUAGEM DO DISCURSO MATEMÁTICO E SUA LÓGICA MAT1513 - Laboratório de Matemática - Diurno Professor David Pires Dias - 2017 Texto sobre Lógica (de autoria da Professora Iole de Freitas Druck) A LINGUAGEM DO DISCURSO MATEMÁTICO E SUA LÓGICA Iniciemos

Leia mais

Afirmações Matemáticas

Afirmaçõ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 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

Departamento de Análise Instituto de Matemática, UFF Outubro de 2014

Departamento de Análise Instituto de Matemática, UFF Outubro de 2014 O Paradoxo Departamento de Análise Instituto de Matemática, UFF Outubro de 2014 da mentira Nossa conversa tratará dos seguinte itens: Sumário..... Vou mostrar para vocês como eu entrei no mundo da Lógica

Leia mais

Negação. Matemática Básica. Negação. Negação. Humberto José Bortolossi. Parte 3. Regras do Jogo. Regras do Jogo

Negação. Matemática Básica. Negação. Negação. Humberto José Bortolossi. Parte 3. Regras do Jogo. Regras do Jogo Matemática Básica Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Parte 3 Parte 3 Matemática Básica 1 Parte 3 Matemática Básica 2 Qual é a negação do predicado

Leia mais

Lógica Proposicional Parte 2

Lógica Proposicional Parte 2 Lógica Proposicional Parte 2 Como vimos na aula passada, podemos usar os operadores lógicos para combinar afirmações criando, assim, novas afirmações. Com o que vimos, já podemos combinar afirmações conhecidas

Leia mais

Instituto de Matemática e Estatística, UFF Abril de 2013

Instituto de Matemática e Estatística, UFF Abril de 2013 Instituto de Matemática e Estatística, UFF Abril de 2013 Sumário.... Hermann Grassmann Famoso em sua época como linguista, somente hoje é valorizado como matemático. Foi o primeiro a usar o método de prova

Leia mais

Fundamentos 1. Lógica de Predicados

Fundamentos 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 mais

FICHA DE TRABALHO N.º 2 MATEMÁTICA A - 10.º ANO CONJUNTOS E CONDIÇÕES

FICHA 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 mais

Lógica de Predicados

Ló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) Predicados com duas variáveis. Equivalências lógicas (Rosen 39) Negando

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 Exercícios Use lógica proposicional para provar os seguintes argumentos: a) A B C B A C b) A B C B C A c) A B B A C C Exercícios Use lógica

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/59 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional

Leia mais

Lógica predicados. Lógica predicados (continuação)

Lógica predicados. Lógica predicados (continuação) Lógica predicados (continuação) Uma formula está na forma normal conjuntiva (FNC) se é uma conjunção de cláusulas. Qualquer fórmula bem formada pode ser convertida para uma FNC, ou seja, normalizada, seguindo

Leia mais

Para provar uma implicação se p, então q, é suficiente fazer o seguinte:

Para 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 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

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/81 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional

Leia mais

Quantificadores, Predicados e Validade

Quantificadores, Predicados e Validade Quantificadores, Predicados e Validade Quantificadores e Predicados Fbfs proposicionais tem uma possibilidade limitada de expressão. Exemplo: Para todo x, x > 0 Ela não pode ser simbolizada adequadamente

Leia mais

EXPRESSÕES RELACIONAIS

EXPRESSÕES RELACIONAIS AULA 7 EXPRESSÕES RELACIONAIS 7.1 Operadores relacionais Uma expressão relacional, ou simplesmente relação, é uma comparação entre dois valores de um mesmo tipo. Esses valores são representados na relação

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/26 3 - INDUÇÃO E RECURSÃO 3.1) Indução Matemática 3.2)

Leia mais

Lógica Computacional

Lógica Computacional Lógica Computacional Aula Teórica 6: Semântica da Lógica Proposicional António Ravara Simão Melo de Sousa Marco Giunti Departamento de Informática, Faculdade de Ciências e Tecnologia, NOVA LINCS, Universidade

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

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

Lógica Computacional

Ló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 mais

Matemática Discreta. Lógica de Predicados. Profa. Sheila Morais de Almeida. agosto DAINF-UTFPR-PG

Matemática Discreta. Lógica de Predicados. Profa. Sheila Morais de Almeida. agosto DAINF-UTFPR-PG Matemática Discreta Lógica de Predicados Profa. Sheila Morais de Almeida DAINF-UTFPR-PG agosto - 2016 Quantificadores Como expressar a sentença Para todo número inteiro x, o valor de x é positivo. usando

Leia mais

Lógica para computação - Linguagem da Lógica de Predicados

Lógica para computação - Linguagem da Lógica de Predicados DAINF - Departamento de Informática Lógica para computação - Linguagem da Lógica de Predicados Prof. Alex Kutzke ( http://alex.kutzke.com.br/courses ) 13 de Outubro de 2015 Razões para uma nova linguagem

Leia mais

Nelma Moreira. Departamento de Ciência de Computadores da FCUP. Aula 12

Nelma Moreira. Departamento de Ciência de Computadores da FCUP. Aula 12 Fundamentos de Linguagens de Programação Nelma Moreira Departamento de Ciência de Computadores da FCUP Fundamentos de Linguagens de Programação Aula 12 Nelma Moreira (DCC-FC) Fundamentos de Linguagens

Leia mais

Lógica Computacional

Ló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 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.

. 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 mais

SMA Elementos de Matemática Notas de Aulas

SMA Elementos de Matemática Notas de Aulas Universidade de São Paulo Instituto de Ciências Matemáticas e de Computação SMA 341 - Elementos de Matemática Notas de Aulas Ires Dias Sandra Maria Semensato de Godoy São Carlos 2009 Sumário 1 Noções

Leia mais

Álgebra Linear Semana 05

Álgebra Linear Semana 05 Álgebra Linear Semana 5 Diego Marcon 4 de Abril de 7 Conteúdo Interpretações de sistemas lineares e de matrizes invertíveis Caracterizações de matrizes invertíveis 4 Espaços vetoriais 5 Subespaços vetoriais

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

Entropia, Entropia Relativa

Entropia, Entropia Relativa Entropia, Entropia Relativa e Informação Mútua Miguel Barão (mjsb@di.uevora.pt) Departamento de Informática Universidade de Évora 13 de Março de 2003 1 Introdução Suponhamos que uma fonte gera símbolos

Leia mais

XX OLIMPÍADA REGIONAL DE MATEMÁTICA DE SANTA CATARINA Treinamento 7 Nível 3

XX OLIMPÍADA REGIONAL DE MATEMÁTICA DE SANTA CATARINA Treinamento 7 Nível 3 UNIVERSIDADE FEDERAL DE SANTA CATARINA CENTRO DE CIÊNCIAS FÍSICAS E MATEMÁTICAS DEPARTAMENTO DE MATEMÁTICA PET MATEMÁTICA XX OLIMPÍADA REGIONAL DE MATEMÁTICA DE SANTA CATARINA Treinamento 7 Nível 3 Dias/Horários

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/81 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional

Leia mais

Aula 6: Dedução Natural

Aula 6: Dedução Natural Lógica para Computação Primeiro Semestre, 2015 DAINF-UTFPR Aula 6: Dedução Natural Prof. Ricardo Dutra da Silva Em busca de uma forma de dedução mais próxima do que uma pessoa costuma fazer, foi criado

Leia mais

Cálculo de Predicados

Cá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 mais

n. 19 QUANTIFICADOR UNIVERSAL QUANTIFICADOR EXISTENCIAL QUANTIFICADOR EXISTENCIAL DE UNICIDADE SENTENÇAS ABERTAS

n. 19 QUANTIFICADOR UNIVERSAL QUANTIFICADOR EXISTENCIAL QUANTIFICADOR EXISTENCIAL DE UNICIDADE SENTENÇAS ABERTAS n. 19 QUANTIFICADOR UNIVERSAL QUANTIFICADOR EXISTENCIAL QUANTIFICADOR EXISTENCIAL DE UNICIDADE SENTENÇAS ABERTAS As sentenças em que não é possível atribuir valor lógico verdadeiro ou falso, porque isso

Leia mais

Lógica de Predicados. Correção dos Exercícios Regras de Inferência

Lógica de Predicados. Correção dos Exercícios Regras de Inferência Lógica de Predicados Correção dos Exercícios Regras de Inferência O que foi visto até agora... Predicado Proposição Quantificadores Conjuntos Quantificadores com restrição Operações Lógicas com predicados

Leia mais

Notas de aula de Lógica para Ciência da Computação. Aula 11, 2012/2

Notas de aula de Lógica para Ciência da Computação. Aula 11, 2012/2 Notas de aula de Lógica para Ciência da Computação Aula 11, 2012/2 Renata de Freitas e Petrucio Viana Departamento de Análise, IME UFF 21 de fevereiro de 2013 Sumário 1 Ineficiência das tabelas de verdade

Leia mais

Técnicas para Demonstrar Teoremas Matemática Discreta I

Técnicas para Demonstrar Teoremas Matemática Discreta I Técnicas para Demonstrar Teoremas Matemática Discreta I Rodrigo Geraldo Ribeiro 1 1 Departamento de Ciências Exatas e Aplicadas Universidade Federal de Ouro Preto 1 Introdução {rodrigogribeiro}@deceaufopbr

Leia mais

Módulo de Equações do Segundo Grau. Equações do Segundo Grau: Resultados Básicos. Nono Ano

Módulo de Equações do Segundo Grau. Equações do Segundo Grau: Resultados Básicos. Nono Ano Módulo de Equações do Segundo Grau Equações do Segundo Grau: Resultados Básicos. Nono Ano Equações do o grau: Resultados Básicos. 1 Exercícios Introdutórios Exercício 1. A equação ax + bx + c = 0, com

Leia mais

Minicurso de Métodos de Prova

Minicurso de Métodos de Prova Minicurso de Renata de Freitas e Petrucio Viana IME-UFF II Colóquio de Matemática da Região Sul 24 a 28 de abril de 2012 Universidade Estadual de Londrina Londrina, PR R. de Freitas 1 P. Viana Sumário

Leia mais

Aula 6: Dedução Natural

Aula 6: Dedução Natural Lógica para Computação Segundo Semestre, 2014 DAINF-UTFPR Aula 6: Dedução Natural Prof. Ricardo Dutra da Silva Em busca de uma forma de dedução mais próxima do que uma pessoa costuma fazer, foi criado

Leia mais

Definição: Todo objeto parte de um conjunto é denominado elemento.

Definição: Todo objeto parte de um conjunto é denominado elemento. 1. CONJUNTOS 1.1. TEORIA DE CONJUNTOS 1.1.1. DEFINIÇÃO DE CONJUNTO Definição: Conjunto é toda coleção de objetos. Uma coleção de números é um conjunto. Uma coleção de letras é um conjunto. Uma coleção

Leia mais

Aula 1: Métodos de pesquisa

Aula 1: Métodos de pesquisa Aula 1: Métodos de pesquisa Quanti/Qualitativos Professores: Jose Renato de Campos Araujo Rogério Mugnaini 1 Métodos de pesquisa Artigo de Turato (2005), com os seguintes objetivos: Oferecer maior clareza

Leia mais

Lógica Computacional

Lógica Computacional Aula Teórica 6: Semântica da Lógica Proposicional Departamento de Informática 3 de Março de 2011 Motivação Expressividade Os conectivos são independentes? Definiu-se a Lógica Proposicional com os símbolos

Leia mais

1 Congruências e aritmética modular

1 Congruências e aritmética modular 1 Congruências e aritmética modular Vamos considerar alguns exemplos de problemas sobre números inteiros como motivação para o que se segue. 1. O que podemos dizer sobre a imagem da função f : Z Z, f(x)

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

Gabarito da Avaliação 3 de Lógica Computacional 1

Gabarito 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 mais

2 Lógica Fuzzy. 2 Lógica Fuzzy. Sintaxe da linguagem

2 Lógica Fuzzy. 2 Lógica Fuzzy. Sintaxe da linguagem 2 Lógica Fuzzy 2.1 Cálculo proposicional (lógica proposicional) 2.2 Lógica de Predicados 2.3 Lógica de múltiplos valores 2.4 Lógica Fuzzy Proposições fuzzy Inferência a partir de proposições fuzzy condicionais

Leia mais

4 ÁLGEBRA ELEMENTAR. 4.1 Monômios e polinômios: valor numérico e operações.

4 ÁLGEBRA ELEMENTAR. 4.1 Monômios e polinômios: valor numérico e operações. 4 ÁLGEBRA ELEMENTAR 4.1 Monômios e polinômios: valor numérico e operações. 4.1.1 - Introdução: As expressões algébricas que equacionam os problemas conduzem logicamente à sua solução são denominados polinômios

Leia mais

Os números reais. Capítulo O conjunto I

Os números reais. Capítulo O conjunto I Capítulo 4 Os números reais De todos os conjuntos numéricos que estudamos agora, a transição de um para outro sempre era construída de forma elementar A passagem do conjunto dos números racionais aos reais

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 de Predicados. Quantificadores

Lógica de Predicados. Quantificadores Lógica de Predicados Quantificadores Conteúdo Correção de Exercícios Operações Lógicas Quantificadores Rosen (pg 33) Tradução Português Lógica Rosen (pg 42) Exercícios Determinar o conjunto verdade em

Leia mais

Aula 4: Consequência Lógica e Equivalência Lógica

Aula 4: Consequência Lógica e Equivalência Lógica Lógica para Computação Segundo Semestre, 2014 Aula 4: Consequência Lógica e Equivalência Lógica DAINF-UTFPR Prof. Ricardo Dutra da Silva Definição 4.1. Em lógica proposicional dizemos que uma fórmula B

Leia mais

Introdução à Lógica de Predicados

Introdução à Lógica de Predicados Introdução à Lógica de Predicados Matemática Discreta I Rodrigo Ribeiro Departamento de Ciências Exatas e Aplicadas Universidade de Federal de Ouro Preto 10 de dezembro de 2012 Motivação (I) Considere

Leia mais

Notas de Aula 2: Métodos de Prova

Notas de Aula 2: Métodos de Prova IFMG Campus Formiga Matemática Discreta Notas de Aula 2: Métodos de Prova Prof. Diego Mello 2o. Semestre 2012 Sumário 1 Introdução 2 2 Conceitos 2 3 Teoremas 4 4 Métodos de Prova 6 4.1 Prova Direta........................................

Leia mais

PROBLEMAS DE LÓGICA. Prof. Élio Mega

PROBLEMAS DE LÓGICA. Prof. Élio Mega PROBLEMAS DE LÓGICA Prof. Élio Mega ALGUNS CONCEITOS DA LÓGICA MATEMÁTICA Sentença é qualquer afirmação que pode ser classificada de verdadeira (V) ou falsa (F) (e exatamente uma dessas coisas, sem ambiguidade).

Leia mais

Análise I. Notas de Aula 1. Alex Farah Pereira de Agosto de 2017

Análise I. Notas de Aula 1. Alex Farah Pereira de Agosto de 2017 Análise I Notas de Aula 1 Alex Farah Pereira 2 3 23 de Agosto de 2017 1 Turma de Matemática. 2 Departamento de Análise-IME-UFF 3 http://alexfarah.weebly.com ii Conteúdo 1 Conjuntos 1 1.1 Números Naturais........................

Leia mais

Já falamos que, na Matemática, tudo se baseia em axiomas. Já estudamos os números inteiros partindo dos seus axiomas.

Já falamos que, na Matemática, tudo se baseia em axiomas. Já estudamos os números inteiros partindo dos seus axiomas. Teoria dos Conjuntos Já falamos que, na Matemática, tudo se baseia em axiomas. Já estudamos os números inteiros partindo dos seus axiomas. Porém, não é nosso objetivo ver uma teoria axiomática dos conjuntos.

Leia mais

UNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO. Prof.ª Danielle Casillo

UNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO. Prof.ª Danielle Casillo UNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO TEORIA DA COMPUTAÇÃO Aula 08 Equivalência de programas Parte 2 Prof.ª Danielle Casillo Poder computacional dos diversos tipos de programas

Leia mais

Uma experiência sobre o ensino de sistemas lineares

Uma experiência sobre o ensino de sistemas lineares Uma experiência sobre o ensino de sistemas lineares Adaptado do artigo de Maria Cristina Costa Ferreira Maria Laura Magalhães Gomes O estudo dos sistemas lineares está sempre presente nos programas de

Leia mais

JOÃO NUNES de SOUZA. LÓGICA para CIÊNCIA da COMPUTAÇÃO. Uma introdução concisa

JOÃO NUNES de SOUZA. LÓGICA para CIÊNCIA da COMPUTAÇÃO. Uma introdução concisa JOÃO NUNES de SOUZA LÓGICA para CIÊNCIA da COMPUTAÇÃO Uma introdução concisa 2 de junho de 2009 1 A linguagem da Lógica Proposicional Errata Caso você encontre algum erro nesse capítulo ou tenha algum

Leia mais