Enunciados Abertos e Enunciados Fechados
|
|
- João Gabriel Gil Figueira
- 6 Há anos
- Visualizações:
Transcrição
1 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 Observações Exercícios resolvidos Enunciados moleculares abertos e fechados Observações Exercício resolvido Neste texto, abordamos os conceitos de enunciado aberto e enunciado fechado. Depois de estudá-lo, vamos ser capazes de: determinar quando um enunciado é aberto ou fechado. 1
2 1 Enunciados atômicos abertos e fechados A ocorrência de variáveis em um enunciado pode influenciar fortemente a maneira como ele é avaliado. Exemplo 1 Considere os enunciados e 2 é positivo (1) x é positivo (2) Sabemos que cada um deles pode ser classificado como V ou F, de maneira exclusiva, em um dado contexto. Mas há uma diferença bastante sutil entre os contextos nos quais eles devem ser avaliados. Para entender esta diferença vamos considerar que ambos os enunciados foram escritos em um quadro-negro de uma sala de aula, por um professor de Matemática, que está estudando com seus alunos os números inteiros (negativos, zero e positivos):..., 4, 3, 2, 1, 0, 1, 2, 3, 4, 5,... Após escrever os enunciados no quadro, o professor escolheu um aluno estudioso e perguntou: O enunciado (1) é V ou F? O aluno estudioso não teve nenhuma dúvida em responder: O enunciado (1) é V. Depois de parabenizá-lo pela resposta correta, o professor perguntou ao mesmo aluno: E o enunciado (2), ele é V ou F? Mesmo sendo estudioso, é certo que ao avaliar o enunciado (2) o aluno teve dúvidas e, muito provavelmente, o melhor que pode fazer foi devolver para o professor uma outra pergunta: Mas professor..., qual é o valor de x? De fato, o que o aluno perguntou ao professor fazia muito sentido, uma vez que, se o professor respondesse para ele que o valor de x era 2, o aluno deveria responder que o enunciado era F, mas se o professor respondesse que o valor de x era 3, o aluno devereria responder que o enunciado era V. O Exemplo 1 sugere que, a princípio, podemos considerar a existência de dois tipos de enunciados: 2
3 (a) aqueles que, como (1), só possuem ocorrências de constantes e, por esta razão, podem ser avaliados diretamente, quando conhecemos o contexto no qual eles são pronunciados; (b) aqueles que, como (2), possuem ocorrências de ao menos uma variável e, por esta razão, não podem ser avaliados diretamente, mesmo que conheçamos o contexto no qual eles são pronunciados. Baseados nesta distinção, temos a seguinte classificação dos enunciados atômicos: Seja ϕ um enunciado atômico. (1) Dizemos que ϕ é fechado se todas as expressões que ocorrem nele são constantes. (2) Alternativamente, dizemos que ϕ é aberto se pelo menos uma das expressões que ocorre nele é uma variável. Exemplo 2 (a) Os enunciados são fechados. (b) Os enunciados são abertos. 1.1 Observações Augusto é tutor de MD Leonardo e Carolina são casados é perfeito e são amigos x é tutor de MD Leonardo e y são casados x e Carolina são casados y e z são casados m é perfeito x e são amigos e y são amigos x e y são amigos Observação 1 Alguns autores não consideram que enunciados abertos como ela é professora, x é um número real 3
4 são enunciados. Eles argumentam que estas frases não podem ser classificadas como V ou F, pois suas avaliações dependem dos valores das variáveis que ocorrem nelas. Mas lembremos que, para nós, um enunciado é uma frase que pode ser classificada como V ou F em um dado contexto e que nos contextos em que conhecemos os valores das variáveis, frases como estas podem, em princípio, ser classificadas como V ou F, de maneira exclusiva. Assim, consideramos que elas são enunciados. 1.2 Exercícios resolvidos Exercício 1 Determine as constantes e as variáveis que ocorrem em cada um dos enunciados. (i) 2 é o menor número primo (ii) ele é o meu primo mais novo (iii) 2 e p são primos entre si (iv) João está em casa (v) X está entre (0, 1) e (0, 5) Exercício 2 Classifique cada enunciado do Exercício 1 em aberto ou fechado. Antes de ler as resoluções, tente resolver os exercícios usando os conceitos estudados. Resolução do Exercício 1: (i) Constante: 2. Nenhuma variável. (ii) Nenhuma constante. Variável: ele. Pode ser reescrito como x é meu primo mais novo. (iii) Constante: 2. Variável: p. (iv) Constante: João. Nenhuma variável. (v) Constantes: (0, 1) e (0, 5). Variável: X. As constantes (0, 1) e (0, 5) são formadas a partir das outras constantes, 0, 1 e 5, por meio de uma notação especial. Resolução do Exercício 2: (i) Fechado, pois é atômico e não possui ocorrência de variável. (ii) Aberto, pois é atômico e possui ocorrência de variável. (iii) Aberto, pois é atômico e possui ocorrência de variável. (iv) Fechado, pois é atômico e não possui ocorrência de variável. (v) Aberto, pois é atômico e possui ocorrência de variável. 2 Enunciados moleculares abertos e fechados Com um pouco de cuidado, a classificação em aberto ou fechado se estende de maneira natural para enunciados moleculares. Exemplo 3 (a) Os enunciados Leonardo e Carolina não são namorados João é inteligente e João é preguiçoso é primo ou é composto 4
5 são fechados. (b) Os enunciados são abertos. Se x está noiva, então x usa aliança y vai ao cinema todas as semanas ou y não é cinéfilo Se p é primo e p é maior do que 2, então p é ímpar z é primo se, e somente se z 1 e z não possui divisores próprios Os Exemplos 2 e 3 mostram alguns enunciados atômicos e alguns enunciados moleculares cuja classificação em abertos ou fechados não apresenta dificuldades. Nestes exemplos, a classificação dos enunciados como abertos se deve apenas ao fato de que eles possuem ocorrências de variáveis. Mas, como veremos a partir de agora, a classificação de um enunciado molecular como aberto ou fechado é um pouco mais sutil e, geralmente, mais difícil do que simplesmente verificar se ele possui ou não a ocorrência de variáveis. O principal ponto a ser observado é que enunciados abertos tanto os atômicos quanto os moleculares dão origem a enunciados fechados por dois processos distintos: substituição de uma variável por uma constante; quantificação de uma variável. Vamos, agora, exemplificar cada um destes processos. Nestes exemplos, consideramos que os enunciados de conteúdo não matemático se referem a pessoas e que os enunciados de conteúdo matemático se referem a números naturais não nulos: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10,... Sejam ϕ um enunciado, v uma variável que ocorre em ϕ e c uma constante qualquer. O processo de substituir v por c em ϕ consiste, simplesmente, em escrever a constante c nos lugares aonde ocorre a variável v em ϕ. Este processo, quando aplicado a enunciados atômicos, gera enunciados atômicos; e, quando aplicado a enunciados moleculares, gera enunciados moleculares. Exemplo 4 (a) A partir do enunciado aberto podemos formar os enunciados fechados x é professora Eliane é professora Kátia é professora Regina é professora 5
6 e muitas outras, obtidas a partir do enunciado aberto pela substituição da variável por nomes próprios. (b) A partir do enunciado aberto podemos formar os enunciados fechados x n é par 1 é par 2 é par 3 é par e muitos outros, obtidos a partir do enunciado aberto pela substituição da variável por numerais. n Seja ϕ um enunciado e v uma variável que ocorre em ϕ. O processo de quantificar v consiste em prefixar ϕ com uma das expressões para todo v ou existe ao menos um v usualmente, tendo primeiro encerrado ϕ entre parênteses. Este processo, quando aplicado a enunciados atômicos ou a enunciados moleculares, gera enunciados moleculares. Exemplo 5 (a) A partir do enunciado atômico aberto n é par podemos formar os enunciados moleculares fechados para todo n (n é par) existe ao menos um n (n é par) obtidos a partir do enunciado aberto pela quantificação da variável n. Observe que estes são os únicos enunciados fechados que podem ser obtidos a partir do enunciado dado pela quantificação da variável. 6
7 A diferença sutil do papel desempenhado por cada variável em enunicados como a é divisor de 12 para todo a (a é divisor de 12) existe a (a é divisor de 12) apresentados no Exemplo 5(a) motiva a seguinte definição: Seja ϕ um enunciado molecular. Dizemos que ϕ é fechado se ϕ não possui ocorrências de variáveis ou se todas as variáveis que ocorrem em ϕ estão quantificadas. Mais adiante, vamos estudar mais detalhadamente a formação e a avaliação de proposições que possuem ocorrências de quantificadores. 2.1 Observações Observação 2 Quando substituímos variáveis por constantes, todas as ocorrências da variável devem ser substiuídas pela contante. Por exemplo, substituindo x por 1 no enunciado molecular aberto x é o simétrico de 1 e x elevado ao quadrado é igual a 1 obtemos o enunciado fechado 1 é o simétrico de 1 e 1 elevado ao quadrado é igual a 1 Observação 3 Assim como podemos formar enunciados fechados a partir de enunciados abertos pela substituição de variáveis por constantes, também podemos efetuar o processo reverso de substituir constantes por variáveis e formar enunciados abertos a partir de enunciados fechados. Por exemplo, substituindo 1 por x no enunciado fechado 1 é o simétrico de 1 e 1 elevado ao quadrado é igual a 1 voltamos ao enunciado aberto x é o simétrico de 1 e x elevado ao quadrado é igual a 1 Observação 4 Assim como podemos formar enunciados fechados a partir de enunciados abertos pela quantificação de variáveis, também podemos efetuar o processo reverso de desquantificar variáveis e formar enunciados abertos a partir de enunciados fechados. Por exemplo, desquantificando a variável x no enunciado fechado obtemos o enunciado aberto existe ao menos um x (x é real e x 2 x 1 = 0) x é real e x 2 x 1 = 0 7
8 2.2 Exercício resolvido Exercício 3 Classificar cada enunciado abaixo como aberto ou fechado. (i) 2 é racional (ii) M é uma matriz quadrada (iii) x 2 + y 2 = z 2 (iv) para todos x, y e z: x 2 + y 2 = z 2 (v) existem x e y tais que: x 3 + y 3 = z 3 Antes de ler a resolução, tente resolver o exercício usando os conceitos estudados. Resolução do Exercício 3: (i) Fechado, pois é atômico e não possui ocorrência de variável. (ii) Aberto, pois é atômico e possui ocorrência de variável. (iii) Aberto, pois é atômico e possui ocorrência de variável. (iv) Fechado, pois todas as ocorrências de variáveis estão quantificadas. Pode ser reescrito como para todo x, para todo y e para todo z: x 2 + y 2 = z 2. (v) Aberto, pois a ocorrência da variável z não está quantificada. Pelo processo de quantificação da variável z, este enunciado dá origem a dois outros enunciados fechados: existe x, existe y e existe z tais que: x 3 + y 3 = z 3 e existe x e existe y tais que para todo z: x 3 + y 3 = z 3. c 2014 Márcia Cerioli, Renata de Freitas e Petrucio Viana IM-UFRJ, IME-UFF 8
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 maisExpressõ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 maisLógica Texto 7. Texto 7. 1 Negação de enunciados atômicos Exercício resolvido Negação de enunciados moleculares 5
Lógica para Ciência da Computação I Lógica Matemática Texto 7 Negação e simplificação de enunciados Sumário 1 Negação de enunciados atômicos 2 1.1 Observações................................ 2 1.2 Exercício
Leia maisSimbolizaçã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 maisLó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 mais4 Simbolização de enunciados 24
Matemática Discreta Tópicos da Linguagem e da Lógica Matemáticas Texto da Semana 1, Parte 3 Simbolização de Enunciados Sumário 1 Conectivos e simbolização dos conectivos 18 2 Enunciados componentes 18
Leia maisEnunciados 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 maisMé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 maisMé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 maisRenata 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 maisNotas 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 maisLó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 maisLó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 maisEnunciados Quantificados Equivalentes
Enunciados Quantificados Equivalentes Renata de Freitas e Petrucio Viana IME, UFF Junho de 2014 Sumário Equivalência de enunciados quantificados. Aplicação da noção de interpretação para decidir quando
Leia maisequivalentes em LC Petrucio Viana
GAN00166: Lógica para Ciência da Computação Texto da Aula 6 Transformação e negação por meio de equivalentes em LC Petrucio Viana Departamento de Análise, IME UFF Sumário 1 Transformação de enunciados
Leia maisSimplificação de Enunciados com um Quantificador Petrucio Viana
GAN00166: Lógica para Ciência da Computação Texto da Aula 19 Simplificação de Enunciados com um Quantificador Petrucio Viana Departamento de Análise, IME UFF Sumário 1 Transformação de enunciados quantificados
Leia maisAula 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 maisLógica dos Quantificadores: refutação
Lógica dos Quantificadores: refutação Renata de Freitas e Petrucio Viana IME, UFF 15 de junho de 2015 Sumário 1. Refutação para LQ 2. Redução ao absurdo e refutação 3. Regras de refutação para os quantificadores
Leia maisEquivalência em LC. Renata de Freitas e Petrucio Viana. IME - UFF 27 de março de 2015
Equivalência em LC Renata de Freitas e Petrucio Viana IME - UFF 27 de março de 2015 Sumário Equivalência de sentenças. Equivalência semântica em LC. Método das Tabelas para Equivalência. Principais equivalências.
Leia maisIME, 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 maisSimbolizaçã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 maisIntroduçã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 maisLó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 maisRespostas Aula 1 (POTI) = Produtos Notáveis
Respostas Aula 1 (POTI) = Produtos Notáveis 01. CPM 010. Alternativa B. (a b) +(a+b) a (a+b) (a b) (a+b) = a ab+b +a +ab+b a b a +ab+b a +b = ab+b = b b (a+b) = b a+b 0. Ora: (x + xy + y ) = (x + y) =
Leia maisÁlgebra Matricial - Nota 03 Eliminação Gaussiana e Método de Gauss-Jordan
Álgebra Matricial - Nota 03 Eliminação Gaussiana e Método de Gauss-Jordan Márcio Nascimento da Silva Universidade Estadual Vale do Acaraú Curso de Licenciatura em Matemática marcio@matematicauva.org 8
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 maisProdutos de potências racionais. números primos.
MATEMÁTICA UNIVERSITÁRIA n o 4 Dezembro/2006 pp. 23 3 Produtos de potências racionais de números primos Mário B. Matos e Mário C. Matos INTRODUÇÃO Um dos conceitos mais simples é o de número natural e
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 maisAssessoria Matemática Amora II
Plano de trabalho para a aula do dia: 15/05/2014 Alunos: André Luiz, Marluce e Nathália Assessoria Matemática Amora II Resumo da atividade a ser desenvolvida Nesta aula, iremos explicar como efetuamos
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 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 mais- identificar operadores ortogonais e unitários e conhecer as suas propriedades;
DISCIPLINA: ELEMENTOS DE MATEMÁTICA AVANÇADA UNIDADE 3: ÁLGEBRA LINEAR. OPERADORES OBJETIVOS: Ao final desta unidade você deverá: - identificar operadores ortogonais e unitários e conhecer as suas propriedades;
Leia maisEquação algébrica Equação polinomial ou algébrica é toda equação na forma anxn + an 1 xn 1 + an 2 xn a 2 x 2 + a 1 x + a 0, sendo x
EQUAÇÃO POLINOMIAL Equação algébrica Equação polinomial ou algébrica é toda equação na forma a n x n + a n 1 x n 1 + a n 2 x n 2 +... + a 2 x 2 + a 1 x + a 0, sendo x C a incógnita e a n, a n 1,..., a
Leia maisFormação Continuada Nova Eja. Plano de Ação II INTRODUÇÃO
Nome: Armando dos Anjos Fernandes Formação Continuada Nova Eja Plano de Ação II Regional: Metro VI Tutor: Deivis de Oliveira Alves Este plano de ação contemplará as unidades 29 e 30. Unidade 29 I - Matrizes
Leia maisEquações exponenciais
A UA UL LA Equações exponenciais Introdução Vamos apresentar, nesta aula, equações onde a incógnita aparece no expoente. São as equações exponenciais. Resolver uma equação é encontrar os valores da incógnita
Leia maisMétodo de Gauss-Jordan e Sistemas Homogêneos
Método de Gauss-Jordan e Márcio Nascimento Universidade Estadual Vale do Acaraú Centro de Ciências Exatas e Tecnologia Curso de Licenciatura em Matemática Disciplina: Álgebra Matricial - 2017.1 14 de agosto
Leia maisDesenho e Projeto de Tubulação Industrial Nível II
Desenho e Projeto de Tubulação Industrial Nível II Módulo I Aula 02 EQUAÇÕES Pense no seguinte problema: Uma mulher de 25 anos é casada com um homem 5 anos mais velho que ela. Qual é a soma das idades
Leia maisInstituto de Matemática e Estatística, UFF Março de 2011
,,,,, Instituto de Matemática e Estatística, UFF Março de 2011 ,, Sumário,,. finitos,. conjunto: por lista, por propriedade.. Igualdade,. Propriedades básicas.. ,, Christos Papadimitriou, Autor dos livros
Leia maisSistemas Lineares. Márcio Nascimento
Sistemas Lineares Márcio Nascimento Universidade Estadual Vale do Acaraú Centro de Ciências Exatas e Tecnologia Curso de Licenciatura em Matemática Disciplina: Álgebra Matricial - 2016.1 14 de abril de
Leia maisMaterial Teórico - Módulo Equações do Segundo Grau. Equações de Segundo Grau: outros resultados importantes. Nono Ano do Ensino Funcamental
Material Teórico - Módulo Equações do Segundo Grau Equações de Segundo Grau: outros resultados importantes Nono Ano do Ensino Funcamental Autor: Prof. Fabrício Siqueira Benevides Revisor: Prof. Antonio
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 maisMA14 - Aritmética Unidade 2 Resumo. Divisão Euclidiana
MA14 - Aritmética Unidade 2 Resumo Divisão Euclidiana Abramo Hefez PROFMAT - SBM Aviso Este material é apenas um resumo de parte da disciplina e o seu estudo não garante o domínio do assunto. O material
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 maisAgenda do Dia Aula 14 (19/10/15) Sistemas Lineares: Introdução Classificação
Agenda do Dia Aula 14 (19/10/15) Sistemas Lineares: Introdução Classificação Sistemas Lineares Sistemas lineares são sistemas de equações com m equações e n incógnitas formados por equações lineares. Um
Leia maisAula 1 - Definições indutivas e definições recursivas
Notas de aula de Lógica para Ciência da Computação Aula 1 - Definições indutivas e definições recursivas Renata de Freitas e Petrucio Viana Departamento de Análise, IME UFF 6 de agosto de 2014 Sumário
Leia mais1 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 maisApresentar o conceito de anel, suas primeiras definições, diversos exemplos e resultados. Aplicar as propriedades dos anéis na relação de problemas.
Aula 10 O CONCEITO DE ANEL META Apresentar o conceito de anel, suas primeiras definições, diversos exemplos e resultados. OBJETIVOS Definir, exemplificar e classificar anéis. Aplicar as propriedades dos
Leia maisArgumentos e Validade Petrucio Viana
GAN00166: Lógica para Ciência da Computação Texto da Aula 7 Argumentos e Validade Petrucio Viana Departamento de Análise, IME UFF Sumário 1 Argumentos 1 1.1 Observações................................
Leia maisMAT Poli Roteiro de Estudos sobre as Cônicas
MAT25 - Poli - 2003 Roteiro de Estudos sobre as Cônicas Martha Salerno Monteiro Departamento de Matemática IME-USP Uma equação quadrática em duas variáveis é uma equação da forma a + by 2 + cxy + dx +
Leia maisResumo: Nestas notas faremos um breve estudo sobre as principais propriedades. mínimos, gráficos e algumas aplicações simples.
Universidade Estadual de Maringá - Departamento de Matemática Cálculo Diferencial e Integral: um KIT de Sobrevivência c Publicação Eletrônica do KIT http://www.dma.uem.br/kit Equação quadrática Prof. Doherty
Leia maisTexto 1. Lógica Texto 1. 1 O que é Lógica 2. 2 Sistemas lógicos 2. 3 Principais problemas 3. 4 Principais sistemas 7
Lógica para Ciência da Computação I Lógica Matemática Texto 1 O que é Lógica Sumário 1 O que é Lógica 2 2 Sistemas lógicos 2 3 Principais problemas 3 4 Principais sistemas 7 Neste texto, discutimos, em
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 maisIME, 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 maisResumo: Nestas notas faremos um breve estudo sobre as principais propriedades. mínimos, gráficos e algumas aplicações simples.
Universidade Estadual de Maringá - Departamento de Matemática Cálculo Diferencial e Integral: um KIT de Sobrevivência c Publicação Eletrônica do KIT http://www.dma.uem.br/kit Equação quadrática Prof. Doherty
Leia maisOPERAÇÕES - LEIS DE COMPOSIÇÃO INTERNA
Professora: Elisandra Figueiredo OPERAÇÕES - LEIS DE COMPOSIÇÃO INTERNA DEFINIÇÃO 1 Sendo E um conjunto não vazio, toda aplicação f : E E E recebe o nome de operação sobre E (ou em E) ou lei de composição
Leia maisMÓDULO 2 POTÊNCIA. Capítulos do módulo:
MÓDULO 2 POTÊNCIA Sabendo que as potências tem grande importância no mundo da lógica matemática, nosso curso terá por objetivo demonstrar onde podemos utilizar esses conceitos no nosso cotidiano e vida
Leia maisDemonstrações Matemáticas Parte 2
Demonstrações Matemáticas Parte 2 Nessa aula, veremos aquele que, talvez, é o mais importante método de demonstração: a prova por redução ao absurdo. Também veremos um método bastante simples para desprovar
Leia mais1. O que podemos dizer sobre a imagem da função. f : Z Z, f(x) = x 2 + x + 1?
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 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 maisCombinatória I. Sumário Introdução Princípios Básicos... 2
11 Combinatória I Sumário 11.1 Introdução....................... 2 11.2 Princípios Básicos................... 2 1 Unidade 11 Introdução 11.1 Introdução Combinatória é um vasto e importante campo da matemática
Leia maisNota importante: U é a matriz condensada obtida no processo de condensação da matriz
Decomposição P T LU A denominada decomposição P T L U é um processo que pode ser extremamente útil no cálculo computacional, na resolução de sistemas de equações lineares. Propriedade Seja A uma matriz
Leia maisInferência Estatística. Medidas de Tendência Central Medidas de Variação Medidas de Posição
Inferência Estatística Medidas de Tendência Central Medidas de Variação Medidas de Posição Notações Estatísticas Característica amostra população Somatório de um conjunto de valores Valores individuais
Leia maisLógica dos Conectivos: árvores de refutação
Lógica dos Conectivos: árvores de refutação Petrucio Viana IME UFF 30 de junho de 2015 Sumário Algoritmos para classificação das fórmulas Intermezzo sobre Redução ao Absurdo Método de refutação Árvores
Leia maisCurso Básico de Lógica Matemática
Curso Básico de Lógica Matemática Renata de Freitas Petrucio Viana Versão preliminar 2 Conteúdo 1 Lógica Sentencial 7 1.1 Motivação..................................... 7 1.1.1 Um Exemplo...............................
Leia maisMATEMÁTICA. Aula 14 Matrizes. Prof. Anderson
MATEMÁTICA Aula Matrizes Prof. Anderson Assuntos Conceito Matrizes com Nomes Especiais Igualdade de Matrizes Operações com Matrizes Matriz Inversa Conceito As matrizes são quantidades de dados passíveis
Leia maisUnidade: Proposições Logicamente Equivalentes. Unidade I:
Unidade: Proposições Logicamente Equivalentes Unidade I: 0 Unidade: Proposições Logicamente Equivalentes Nesta unidade, veremos a partir de nossos estudos em tabelas-verdade as proposições logicamente
Leia maisMaterial Teórico - Módulo de Função Exponencial. Inequações Exponenciais. Primeiro Ano - Médio
Material Teórico - Módulo de Função Exponencial Inequações Exponenciais Primeiro Ano - Médio Autor: Prof. Angelo Papa Neto Revisor: Prof. Antonio Caminha M. Neto 1 Generalidades sobre inequações Recordemos
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 maisTeste de Matemática A 2015 / 2016
Teste de Matemática A 2015 / 2016 Teste N.º 2 Matemática A Duração do Teste: 90 minutos 10.º Ano de Escolaridade Nome do aluno: Turma: Grupo I Os cinco itens deste grupo são de escolha múltipla. Em cada
Leia maisAGRUPAMENTO DE ESCOLAS DR. VIEIRA DE CARVALHO
AGRUPAMENTO DE ESCOLAS DR. VIEIRA DE CARVALHO DEPARTAMENTO DE MATEMÁTICA E CIÊNCIAS EXPERIMENTAIS MATEMÁTICA 7.º ANO PLANIFICAÇÃO ANUAL Planificação 7º ano 2010/2011 Página 1 DOMÍNIO TEMÁTICO: NÚMEROS
Leia maisRETA NUMÉRICA DOS NÚMEROS INTEIROS
RETA NUMÉRICA DOS NÚMEROS INTEIROS Prof. a : Patrícia Caldana O conjunto dos números inteiros é representado por (Z). Um número é considerado inteiro quando não apresenta casas decimais, ou seja, números
Leia maisMatemática Computacional
Matemática Computacional SLIDE 1I Professor Júlio Cesar da Silva juliocesar@eloquium.com.br site: http://eloquium.com.br/ twitter: @profjuliocsilva facebook: https://www.facebook.com/paginaeloquium Google+:
Leia maisCÁLCULO I. 1 Número Reais. Objetivos da Aula
CÁLCULO I Prof. Edilson Neri Júnior Prof. André Almeida EMENTA: Conceitos introdutórios de limite, limites trigonométricos, funções contínuas, derivada e aplicações. Noções introdutórias sobre a integral
Leia maisRESPOSTAS DA LISTA 5 (alguns estão com a resolução ou o resumo da resolução):
Lista de Matemática Básica I - RESPOSTAS) RESPOSTAS DA LISTA alguns estão com a resolução ou o resumo da resolução): Resposta: < < < < < 8 Justificativa: observe que Também observe que: e são simétricos;
Leia maisDireto do concurso. Comentário CONJUNTOS NUMÉRICOS
CONJUNTOS NUMÉRICOS Conjuntos dos números naturais, inteiros, racionais e irracionais (propriedades e operações). Qual a importância de conhecer os CONJUNTOS NUMÉRICOS? Como existem vários tipos de conjuntos,
Leia maisCEDERJ MÉTODOS DETERMINÍSTICOS 1 - EP4. Prezado Aluno,
CEDERJ MÉTODOS DETERMINÍSTICOS 1 - EP4 Prezado Aluno, Neste EP daremos sequência ao nosso estudo da linguagem da lógica matemática. Aqui veremos o conectivo que causa mais dificuldades para os alunos e
Leia maisMatemática Discreta. Fundamentos e Conceitos da Teoria dos Números. Universidade do Estado de Mato Grosso. 4 de setembro de 2017
Matemática Discreta Fundamentos e Conceitos da Teoria dos Números Professora Dr. a Donizete Ritter Universidade do Estado de Mato Grosso 4 de setembro de 2017 Ritter, D. (UNEMAT) Matemática Discreta 4
Leia maisaula DISTRIBUIÇÃO NORMAL - PARTE I META OBJETIVOS PRÉ-REQUISITOS Apresentar o conteúdo de distribuição normal
DISTRIBUIÇÃO NORMAL - PARTE I 4 aula META Apresentar o conteúdo de distribuição normal OBJETIVOS Ao final desta aula, o aluno deverá: determinar a média e a variância para uma função contínua; padronizar
Leia maisSistemas Lineares. Prof. Márcio Nascimento
Sistemas Lineares Prof. Márcio Nascimento Universidade Estadual Vale do Acaraú Centro de Ciências Exatas e Tecnologia Curso de Licenciatura em Matemática Disciplina: Álgebra Matricial - 2017.1 www.matematicauva.org
Leia maisCURSO INTRODUTÓRIO DE MATEMÁTICA PARA ENGENHARIA Função do 2º Grau. Alex Oliveira Engenharia Civil
CURSO INTRODUTÓRIO DE MATEMÁTICA PARA ENGENHARIA 2014.2 Função do 2º Grau Alex Oliveira Engenharia Civil Função do Segundo Grau Chama-se função do segundo grau ou função quadrática a função f: R R que
Leia maisLIMITES E CONTINUIDADE
LIMITES E CONTINUIDADE Marina Vargas R. P. Gonçalves a a Departamento de Matemática, Universidade Federal do Paraná, marina.vargas@gmail.com, http:// www.estruturas.ufpr.br 1 NOÇÃO INTUITIVA DE LIMITE
Leia maisIntroduçã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 maisLó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 maisApresentar o conceito de grupo, as primeiras definições e diversos exemplos. Aplicar as propriedades dos grupos na resolução de problemas.
Aula 04 O CONCEITO DE GRUPO META Apresentar o conceito de grupo, as primeiras definições e diversos exemplos. OBJETIVOS Definir e exemplificar grupos e subgrupos. Aplicar as propriedades dos grupos na
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 maisPassos lógicos. Texto 18. Lógica Texto Limitações do Método das Tabelas Observações Passos lógicos 4
Lógica ara Ciência da Comutação I Lógica Matemática Texto 18 Passos lógicos Sumário 1 Limitações do Método das Tabelas 2 1.1 Observações................................ 4 2 Passos lógicos 4 2.1 Observações................................
Leia maisSistemas Lineares. Prof. Márcio Nascimento
Sistemas Lineares Prof. Márcio Nascimento Universidade Estadual Vale do Acaraú Centro de Ciências Exatas e Tecnologia Curso de Licenciatura em Matemática Disciplina: Álgebra Matricial - 2017.2 www.matematicauva.org
Leia maisSistemas de Equações Diferenciais Lineares
Capítulo 9 Sistemas de Equações Diferenciais Lineares Agora, estamos interessados em estudar sistemas de equações diferenciais lineares de primeira ordem: Definição 36. Um sistema da linear da forma x
Leia mais1 Conjunto dos números naturais N
Conjuntos numéricos Os primeiros números concebidos pela humanidade surgiram da necessidade de contar objetos. Porém, outras necessidades, práticas ou teóricas, provocaram a criação de outros tipos de
Leia maisCONJUNTO DOS NÚMEROS REAIS. Apostila do 8º ano Números Reais Apostila I Bimestre 8º anos
CONJUNTO DOS NÚMEROS REAIS NÚMEROS RACIONAIS Apostila do 8º ano Números Reais Apostila I Bimestre 8º anos Numero racional é todo o numero que pode ser escrito na forma a/b (com b diferente de zero) : a)
Leia maisEstatística Aplicada ao Serviço Social
Estatística Aplicada ao Serviço Social Módulo 7: Correlação e Regressão Linear Simples Introdução Coeficientes de Correlação entre duas Variáveis Coeficiente de Correlação Linear Introdução. Regressão
Leia maisCENTRO DE ENSINO SUPERIOR. Avenida João Batista de Souza Soares, Colônia Paraíso - São José dos Campos SP CEP:
CENTRO DE ENSINO SUPERIOR Avenida João Batista de Souza Soares, 4121 - Colônia Paraíso - São José dos Campos SP CEP: 12236-660 www.unianhanguera.edu.br ALGEBRA LINEAR ATPS de matrizes Disciplina: Álgebra
Leia maisAjuste de dados por mínimos quadrados
Cálculo Numérico por mínimos quadrados Prof. Daniel G. Alfaro Vigo dgalfaro@dcc.ufrj.br Departamento de Ciência da Computação IM UFRJ Motivação: População do Brasil Ano População (milhões) 1960 70, 992343
Leia maisAmigoPai. Matemática. Exercícios de Equação de 2 Grau
AmigoPai Matemática Exercícios de Equação de Grau 1-Mai-017 1 Equações de Grau 1. (Resolvido) Identifique os coeficientes da seguinte equação do segundo grau: 3x (x ) + 17 = 0 O primeiro passo é transformar
Leia maisIME, 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 maisLó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 mais30 de setembro de 2015
Página 1 / 6 Ficha de Avaliação Sumativa de Matemática A Colégio ACR de Fornelos - Ensino Secundário - 10.º Ano 6 Páginas Duração da Prova: 90 minutos 30 de setembro de 2015 Indique de forma legível a
Leia maisCURSO DE MATEMÁTICA. Conjuntos dos números naturais, inteiros, racionais e irracionais. (propriedades e operações) Josimar Padilha
CURSO DE MATEMÁTICA Conjuntos dos números naturais, inteiros, racionais e irracionais. (propriedades e operações) Josimar Padilha Qual a importância de conhecer os CONJUNTOS NUMÉRICOS? Meu querido aluno,
Leia maisTEORIA 6: EQUAÇÕES E SISTEMAS DO 2º GRAU MATEMÁTICA BÁSICA
TEORIA 6: EQUAÇÕES E SISTEMAS DO 2º GRAU MATEMÁTICA BÁSICA Nome: Turma: Data / / Prof: Walnice Brandão Machado Equações de 2º grau Definições Denomina-se equação do 2º grau na incógnita x, toda equação
Leia mais