Enunciados Abertos e Enunciados Fechados

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

Download "Enunciados Abertos e Enunciados Fechados"

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

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

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

Lógica Texto 7. Texto 7. 1 Negação de enunciados atômicos Exercício resolvido Negação de enunciados moleculares 5

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

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

4 Simbolização de enunciados 24

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

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

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

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

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

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

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

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

Enunciados Quantificados Equivalentes

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

equivalentes em LC Petrucio Viana

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

Simplificação de Enunciados com um Quantificador Petrucio Viana

Simplificaçã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 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

Lógica dos Quantificadores: refutação

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

Equivalê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 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 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

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

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

Respostas Aula 1 (POTI) = Produtos Notáveis

Respostas 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 Á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 mais

Proposta de teste de avaliação

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

Produtos de potências racionais. números primos.

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

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

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

Leia mais

Assessoria Matemática Amora II

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

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

- identificar operadores ortogonais e unitários e conhecer as suas propriedades;

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

Equaçã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 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 mais

Formação Continuada Nova Eja. Plano de Ação II INTRODUÇÃO

Formaçã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 mais

Equações exponenciais

Equaçõ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 mais

Método de Gauss-Jordan e Sistemas Homogêneos

Mé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 mais

Desenho e Projeto de Tubulação Industrial Nível II

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

Instituto de Matemática e Estatística, UFF Março de 2011

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

Sistemas Lineares. Márcio Nascimento

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

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

2016 / Nome do aluno: N.º: Turma:

2016 / 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 mais

MA14 - Aritmética Unidade 2 Resumo. Divisão Euclidiana

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

Os Fundamentos: Lógica de Predicados

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

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

Aula 1 - Definições indutivas e definições recursivas

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

Apresentar o conceito de anel, suas primeiras definições, diversos exemplos e resultados. Aplicar as propriedades dos anéis na relação de problemas.

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

Argumentos e Validade Petrucio Viana

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

MAT Poli Roteiro de Estudos sobre as Cônicas

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

Resumo: Nestas notas faremos um breve estudo sobre as principais propriedades. mínimos, gráficos e algumas aplicações simples.

Resumo: 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 mais

Texto 1. Lógica Texto 1. 1 O que é Lógica 2. 2 Sistemas lógicos 2. 3 Principais problemas 3. 4 Principais sistemas 7

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

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

Resumo: Nestas notas faremos um breve estudo sobre as principais propriedades. mínimos, gráficos e algumas aplicações simples.

Resumo: 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 mais

OPERAÇÕES - LEIS DE COMPOSIÇÃO INTERNA

OPERAÇÕ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 mais

MÓDULO 2 POTÊNCIA. Capítulos do módulo:

MÓ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 mais

Demonstrações Matemáticas Parte 2

Demonstraçõ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 mais

1. O que podemos dizer sobre a imagem da função. f : Z Z, f(x) = x 2 + x + 1?

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

Conteú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) 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 mais

Combinatória I. Sumário Introdução Princípios Básicos... 2

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

Nota importante: U é a matriz condensada obtida no processo de condensação da matriz

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

Inferê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 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 mais

Lógica dos Conectivos: árvores de refutação

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

Curso Básico de Lógica Matemática

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

MATEMÁTICA. Aula 14 Matrizes. Prof. Anderson

MATEMÁ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 mais

Unidade: Proposições Logicamente Equivalentes. Unidade I:

Unidade: 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 mais

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

Teste de Matemática A 2015 / 2016

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

AGRUPAMENTO DE ESCOLAS DR. VIEIRA DE CARVALHO

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

RETA NUMÉRICA DOS NÚMEROS INTEIROS

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

Matemática Computacional

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

CÁLCULO I. 1 Número Reais. Objetivos da Aula

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

RESPOSTAS DA LISTA 5 (alguns estão com a resolução ou o resumo da resolução):

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

Direto do concurso. Comentário CONJUNTOS NUMÉRICOS

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

CEDERJ MÉTODOS DETERMINÍSTICOS 1 - EP4. Prezado Aluno,

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

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

aula DISTRIBUIÇÃO NORMAL - PARTE I META OBJETIVOS PRÉ-REQUISITOS Apresentar o conteúdo de distribuição normal

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

Sistemas Lineares. Prof. Márcio Nascimento

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

CURSO INTRODUTÓRIO DE MATEMÁTICA PARA ENGENHARIA Função do 2º Grau. Alex Oliveira Engenharia Civil

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

LIMITES E CONTINUIDADE

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

Apresentar o conceito de grupo, as primeiras definições e diversos exemplos. Aplicar as propriedades dos grupos na resolução de problemas.

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

Matemática Básica I Notas de aula - versão

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

Passos lógicos. Texto 18. Lógica Texto Limitações do Método das Tabelas Observações Passos lógicos 4

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

Sistemas Lineares. Prof. Márcio Nascimento

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

Sistemas de Equações Diferenciais Lineares

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

1 Conjunto dos números naturais N

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

CONJUNTO DOS NÚMEROS REAIS. Apostila do 8º ano Números Reais Apostila I Bimestre 8º anos

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

Estatística Aplicada ao Serviço Social

Estatí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 mais

CENTRO 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, 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 mais

Ajuste de dados por mínimos quadrados

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

AmigoPai. Matemática. Exercícios de Equação de 2 Grau

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

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

30 de setembro de 2015

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

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

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