Introdução à Lógica Matemática
|
|
- Mauro César Jardim
- 6 Há anos
- Visualizações:
Transcrição
1 Introdução à Lógica Matemática Disciplina fundamental sobre a qual se fundamenta a Matemática Uma linguagem matemática Paradoxos 1) Paradoxo do mentiroso (A) Esta frase é falsa. A sentença (A) é verdadeira (V) ou falsa (F). Se a sentença (A) for V, então, pelo enunciado da própria frase, a sentença (A) é F. Porém, isto é uma contradição. Por outro lado, se a sentença (A) for F, então o que ela diz não é fato, o que significa que, na realidade, a sentença é V. Novamente, temos uma contradição e, portanto, um paradoxo. 2) Paradoxo do cartão (Jourdain) Um lado do cartão tem a frase: (A) A sentença do outro lado do cartão é verdadeira. O outro lado do cartão tem a frase: (B) A sentença do outro lado do cartão é falsa. Se (A) é V, implica que (B) é V, portanto, (A) é F. Se (A) é F, implica que (B) é F, portanto, (A) é V. Sentenças (A), (B) são, ao mesmo tempo, V e F. Problema: auto-referência
2 Conclusão: linguagem coloquial não apropriada necessidade de linguagens formais. Proposições Proposições transmitem um pensamento de sentido completo, afirmam fatos. 1) 2 é um número irracional. 2) Machado de Assis escreveu A Divina Comédia. 3) Um hexágono tem seis lados. Regras Fundamentais de Lógica Matemática 1) Princípio de não-contradição: uma proposição não pode ser verdadeira e falsa ao mesmo tempo. 2) Princípio do terceiro excluído: toda a proposição ou é verdadeira ou é falsa. Isto é, verifica-se sempre um destes casos e nunca um terceiro. Consequência desses princípios: toda a proposição assume valor lógico verdadeiro (V) ou falso (F). Sentenças 1 e 3 possuem valor lógico V e a sentença 2 possui valor lógico F. Tipos de Proposições Proposição simples: aquela que não contém nenhuma outra proposição como parte. Notação: letra minúscula romana do final do alfabeto; por exemplo, p, q, r, etc. Proposição composta: formada pela combinação de duas ou mais proposições simples. Notação: letra maiúscula romana do final do alfabeto; por exemplo, P, Q, R etc.
3 Exemplo: P(p, r): O número 36 é um quadrado perfeito e o pentágono tem cinco diagonais. Valor lógico de P(p, r) é V, pois 36=6 6 5! é dado por 2!3! 5=10 5=5. ; e o número de diagonais do pentágono Conectivos: são usados para forma novas proposições a partir de outras. Ex.: e, ou, não, se então, se e somente se Conectivos: Notação Símbolo Significado p / ~ p não p p q p e q p q p q p q p ou q se p então q p se e somente se q Tabela-verdade de conectivos: p V F Não... p F V
4 ...e......ou... p q p q p q p q V V V V V V V F F V F V F V F F V V F F F F F F Se... então... p q p q V V V V F F F V V F F V Outras locuções para p q 1) p implica q (p acarreta q). 2) p é uma condição suficiente para q. 3) q é uma condição necessária para p. Ex.: Se um SLIT é assintoticamente estável, então é BIBO estável. (i) x=[ 1 0 y=[1 0 2] x [ 1 1] 1] x u G s = 2 s 3 s 1 s 2 Assintoticamente estável BIBO estável
5 (ii) x=[ ] x [ 0 1] u G s = 1 y=[1 1] x s 2 Não é assintoticamente estável BIBO estável (iii) x=[ ] x [ 1 0] u G s = 1 y=[1 1] x s 1 Não é assintoticamente estável Não é BIBO estável Jamais chegaremos à conclusão que o antecedente p é V e o consequente q é F. Porém, q não implica p. BIBO estável não implica assintoticamente estável. No exemplo (ii), o sistema é BIBO estável, mas não é assintoticamente estável....se e somente se... p q p q V V V V F F F V F F F V Ex.: um SLIT controlável e observável é BIBO estável se e somente se (s.s.e.) é assintoticamente estável (não há cancelamento de polos e zeros).
6 Equivalência Lógica p q q p p p p q p q p q p q V V V V F F F V V F F V p q p p q V V F V V F F F F V V V F F V V A proposição p q é equivalente à proposição p q. Proposições equivalentes possuem a mesma tabela-verdade.
7 Lei de De Morgan Para obter a negação de uma proposição composta, substitui-se todo um, e vice-versa, e toda proposição simples p por p. por p q p q p q p q (Leis de De Morgan) Note que p q q p. DEMONSTRAÇÃO p q p q q p r= q; s= p q p r s r s p q q p (proposição contrapositiva)
8 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 a implicação não afirma nem que está chovendo nem que a rua está molhada, mas que existe uma certa relação de causa e efeito entre chover e a rua estar molhada. Quando sabemos que uma implicação é verdadeira, não podemos concluir que seu antecedente é verdadeiro, nem que seu consequente é verdadeiro, mas que não podemos considerar seu antecedente verdadeiro e seu consequente falso. Essa análise da relação entre o antecedente e o consequente de uma implicação verdadeira nos leva a considerar que para provar implicações, podemos utilizar o seguinte método. Método da Suposição Para provar uma implicação se p, então q, é suficiente fazer o seguinte: 1) Supor que o antecedente p é verdadeiro; 2) Provar que o consequente q é verdadeiro, usando p como premissa (hipótese). Ex.: Proposição: P(p, q) = Se n é um número natural par, então n² é um número natural par. Definição: seja n N. Dizemos que n é par se existe um número natural k tal que n = 2k.
9 Prova: p q Suponha que n é par. Então, n = 2k, em que k N. Desta forma, n 2 = 2 k 2 =2.2 k 2 =2 2 k 2, em que 2 k 2 N. Logo, n² é par e portanto P(p, q) é V. Método da Contraposição Para provar que p q, basta fazer o seguinte: 1) Supor que a negação do consequente, q, é verdadeira; 2) provar que a negação do antecedente, p, é verdadeira, usando q como premissa ( p q q p ) Ex.: Seja x um número natural qualquer. P(p, q) = Se x² é par, então x é par. Prova: x não é par x² não é par. Supondo que x é ímpar, temos que x = 2n + 1, n N. Logo, x 2 = 2 n+1 2 =4n 2 4 n+1=2 2n 2 2n 1, 2n 2 2n N. Assim, x² é impar, ou seja, x² não é par.
10 Tautologia (t): é uma proposição que é sempre verdadeira independentemente dos valores-verdade das afirmações que compõem a proposição. Exs.: p p, ( p) p, p p, (p q ) ( q p) Contradição (c): proposição que é sempre falsa. Exs.: p p, p p Método de Redução ao Absurdo (Prova por Contradição) A prova por contradição consiste em acrescentar a negação da conclusão ao conjunto de premissas e mostrar, através das regras de inferência, que esta inclusão leva logicamente a uma contradição. Conjunto de premissas: { p 1, p 2,, p n } Quero provar que {p 1, p 2,, p n } q. Basta mostrar que {p 1, p 2,, p n, q} { p i c é uma contradição. p i }, ou seja, q c, onde Ex.: Proposição: 2 não é um número racional. Premissas: I. Todo número racional positivo pode ser escrito como uma fração de dois números naturais a e b, com b 0. II. Toda fração a/b de dois números naturais pode ser simplificada até uma fração c/d, onde c e d não possuem fatores comuns. III.Todo número natural é par ou ímpar de maneira exclusiva. Os números pares podem ser escritos na forma 2m, m N e os ímpares, na forma 2n + 1, n N. IV.Se o quadrado de um número é par, então este número é par.
11 PROVA: Supor que 2 é um número racional. Logo, de (I), temos que 2= a b De (II), segue que 2= c d, em que c e d não possuem fatores em comum. Elevando ambos os membros da igualdade ao quadrado, temos que 2= c2 d 2, ou seja, c 2 =2d 2 (1). De (III), concluímos que c² é par. De (IV), é possível concluir que c é par. Portanto, de (III), temos que: c = 2m (2) Substituindo (2) em (1), segue que: (2m)² = 2d² e, daí, 4m² = 2d² 2m² = d², ou seja, d² é par, e, consequentemente, d é par, e portanto, d = 2n. Assim, c = 2m e d = 2n, acarretando que c e d possuem 2 como um fator comum, contradizendo a premissa (II). Portanto, 2 não é um número racional. Função Proposicional p(x) torna-se uma proposição sempre que x for substituído por a A, ou seja, p(x) é uma sentença com a propriedade que p(a) é V ou F. Ex.: p x : x 2 7 é uma função proposicional se A=R, e não se A=C Outra maneira de lidar com funções proposicionais, observando que p(x) pode ser V para todo x A, para algum x 0 A ou para nenhum x A
12 Quantificadores:, Notação: = para todo ou qualquer que seja (quantificador universal) x A p x ou x, p x = existe, para algum, para ao menos um (quantificador existencial) x A p x ou x, p x Negação: proposições com quantificadores Ex.: Todos os homens são mentirosos não é verdade que (todos os homens são mentirosos) existe ao menos um homem que não é mentiroso x H (x é mentiroso) equivale a x H (x não é mentiroso) Teorema (De Morgan) x A p x x A p x x A p x x A p x Dado que x A p x x A p x, para mostrar que x, p x é falso, basta que x 0, p x 0 é falso. Tal x 0 é denominado de CONTRA-EXEMPLO
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 maisMatemática para controle:
Matemática para controle: Introdução à Lógica Amit Bhaya, Programa de Engenharia Elétrica COPPE/UFRJ Universidade Federal do Rio de Janeiro amit@nacad.ufrj.br http://www.nacad.ufrj.br/ amit Introdução
Leia maisAná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 maisLÓGICA PROPOSICIONAL
FACULDADE PITÁGORAS Curso Superior em Tecnologia Redes de Computadores e Banco de dados Matemática Computacional Prof. Ulisses Cotta Cavalca LÓGICA PROPOSICIONAL Belo Horizonte/MG
Leia mais. Um termo ou designação é uma expressão que nomeia ou designa um ente.. Uma proposição é toda a expressão p susceptível de ser verdadeira ou falsa.
Tema 1 Lógica e Teoria dos Conjuntos 1. Proposições e valores lógicos. Um termo ou designação é uma expressão que nomeia ou designa um ente.. Uma proposição é toda a expressão p susceptível de ser verdadeira
Leia maisLóg L ica M ca at M em e ática PROF.. J EAN 1
Lógica Matemática PRO. JEAN 1 LÓGICA MATEMÁTICA - CONTEÚDO Definição de Termo e Proposição alor Lógico Proposição Simples e Proposição Composta Conectivos Tabela-erdade 2 LÓGICA MATEMÁTICA INTRODUÇÃO ao
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 maisANÁ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 maisAnálise I Solução da 1ª Lista de Exercícios
FUNDAÇÃO EDUCACIONAL SERRA DOS ÓRGÃOS CENTRO UNIVERSITÁRIO SERRA DOS ÓRGÃOS Centro de Ciências e Tecnologia Curso de Graduação em Matemática Análise I 0- Solução da ª Lista de Eercícios. ATENÇÃO: O enunciado
Leia maisInteligência Artificial IA II. LÓGICA DE PREDICADOS PARA REPRESENTAÇÃO DO CONHECIMENTO
Inteligência Artificial IA Prof. João Luís Garcia Rosa II. LÓGICA DE PREDICADOS PARA REPRESENTAÇÃO DO CONHECIMENTO 2004 Representação do conhecimento Para representar o conhecimento do mundo que um sistema
Leia maisBases Matemáticas. Aula 2 Métodos de Demonstração. Rodrigo Hausen. v. 2013-7-31 1/15
Bases Matemáticas Aula 2 Métodos de Demonstração Rodrigo Hausen v. 2013-7-31 1/15 Como o Conhecimento Matemático é Organizado Definições Definição: um enunciado que descreve o significado de um termo.
Leia maisMatemática para Ciência de Computadores
Matemática para Ciência de Computadores 1 o Ano - LCC & ERSI Luís Antunes lfa@ncc.up.pt DCC-FCUP Complexidade 2002/03 1 Teoria de Conjuntos Um conjunto é uma colecção de objectos/elementos/membros. (Cantor
Leia maisIME, 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 maisMatemática Régis Cortes. Lógica matemática
Lógica matemática 1 INTRODUÇÃO Neste roteiro, o principal objetivo será a investigação da validade de ARGUMENTOS: conjunto de enunciados dos quais um é a CONCLUSÃO e os demais PREMISSAS. Os argumentos
Leia maisAo utilizarmos os dados do problema para chegarmos a uma conclusão, estamos usando o raciocínio lógico.
CENTRO UNVERSITÁRIO UNA NOÇÕES DE RACIOCÍNIO LÓGICO Professor: Rodrigo Eustáquio Borges A disciplina Lógica Matemática tem como objetivo capacitar o aluno a reconhecer e aplicar os conceitos fundamentais
Leia maisPROBLEMAS 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 maisCCAE. Lógica Aplicada a Computação - Cálculo Proposicional - Parte I. UFPB - Campus IV - Litoral Norte. Centro de Ciências Aplicadas e Educação
CCAE Centro de Ciências Aplicadas e Educação UFPB - Campus IV - Litoral Norte Lógica Aplicada a Computação - Cálculo Proposicional - Parte I Estes slides foram criados pelo Professor Alexandre Duarte Para
Leia maisVimos que a todo o argumento corresponde uma estrutura. Por exemplo ao argumento. Se a Lua é cúbica, então os humanos voam.
Matemática Discreta ESTiG\IPB 2012/13 Cap1 Lógica pg 10 Lógica formal (continuação) Vamos a partir de agora falar de lógica formal, em particular da Lógica Proposicional e da Lógica de Predicados. Todos
Leia maisNúmeros Irracionais e Reais. Oitavo Ano
Módulo de Potenciação e Dízimas Periódicas Números Irracionais e Reais Oitavo Ano Números Irracionais e Reais 1 Exercícios Introdutórios Exercício 1. No quadro abaixo, determine quais números são irracionais.
Leia maisQuantificadores, 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 maisConjuntos Fuzzy e Lógica Fuzzy
1 Introdução Conjuntos Fuzzy e Lógica Fuzzy users.femanet.com.br/~fabri/fuzzy.htm Os Conjuntos Fuzzy e a Lógica Fuzzy provêm a base para geração de técnicas poderosas para a solução de problemas, com uma
Leia mais1. Métodos de prova: Construção; Contradição.
Universidade Estadual de Santa Cruz Departamento de Ciências Exatas e Tecnológicas Bacharelado em Ciência da Computação Fundamentos Matemáticos para Computação 1. Métodos de prova: Construção; Contradição.
Leia maisLógica e Raciocínio. Lógica Proposicional. Universidade da Madeira.
Lógica e Raciocínio Universidade da Madeira http://dme.uma.pt/edu/ler/ Lógica Proposicional 1 Proposição Uma rase é uma proposição apenas quando admite um dos dois valores lógicos: Falso (F) ou Verdadeiro
Leia maisMD Teoria dos Conjuntos 1
Teoria dos Conjuntos Renato Martins Assunção assuncao@dcc.ufmg.br Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br MD Teoria dos Conjuntos 1 Introdução O que os seguintes objetos têm em comum? um
Leia maisUniversidade Federal de Goiás Campus Catalão Departamento de Matemática Disciplina: Fundamentos de Análise
Universidade Federal de Goiás Campus Catalão Departamento de Matemática Disciplina: Fundamentos de Análise Professor: André Luiz Galdino Gabarito da 1 a Lista de Exercícios 1. Prove que para todo x 0 IR
Leia maisDEPARTAMENTO DE MATEMÁTICA E INFORMÁTICA DISCIPLINA:
DEPARTAMENTO DE MATEMÁTICA E INFORMÁTICA DISCIPLINA: Matemática A (10º Ano) METAS CURRICULARES/CONTEÚDOS... 1º Período (18 de setembro a 17 de dezembro) Metas/ Objetivos Conceitos/ Conteúdos Aulas Previstas
Leia maisÁlgebra das Proposições. Prof. Guilherme Tomaschewski Netto
Álgebra das Proposições Prof. Guilherme Tomaschewski Netto guilherme.netto@gmail.com Roteiro! Lógica Matemática clássica! Proposições! alores lógicos! Conectivos! Fórmulas Lógicas! Exemplos de aplicações
Leia maisLÓGICA - 2. ~ q. Argumentos Regras de inferência. Proposições: 1) Recíproca 2) Contrária 3) Contra positiva. 1) Proposição recíproca de p q :
LÓGICA - 2 Proposições: 1) Recíproca 2) Contrária 3) Contra positiva 1) Proposição recíproca de p q : q p 2) Proposição contrária de p q : ~ p 3) Proposição contra positiva de p q : ~ p ex. Determinar:
Leia maisPropriedades Semânticas da Lógica Proposicional(Capítulo 3)
Propriedades Semânticas da Lógica Proposicional(Capítulo 3) LÓGICA APLICADA A COMPUTAÇÃO Professor: Rosalvo Ferreira de Oliveira Neto Estrutura 1. Tautologia 2. Satisfatível 3. Contingência 4. Contraditória
Leia maisPARTE I EQUAÇÕES DE UMA VARIÁVEL REAL
PARTE I EQUAÇÕES DE UMA VARIÁVEL REAL. Introdução Considere f uma função, não constante, de uma variável real ou complexa, a equação f(x) = 0 será denominada equação de uma incógnita. EXEMPLO e x + senx
Leia maisMó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 maisNotas em Álgebra Linear
Notas em Álgebra Linear 1 Pedro Rafael Lopes Fernandes Definições básicas Uma equação linear, nas variáveis é uma equação que pode ser escrita na forma: onde e os coeficientes são números reais ou complexos,
Leia maisNoções de Lógica. Proposições Frases para as quais se pode atribuir o valor verdadeiro ou falso. Exs: 1) Quatro vezes três é igual a 12.
Noções de Lógica Proposições Frases para as quais se pode atribuir o valor verdadeiro ou falso. Exs: 1) Quatro vezes três é igual a 12. 2) Florianópolis é capital de SC. 3) O Brasil faz fronteira com a
Leia maisSegmento: Pré-vestibular. Coleção: Alfa, Beta e Gama. Disciplina: Matemática. Unidade 1: Série 17. Conjuntos
Segmento: Pré-vestibular Coleção: Alfa, Beta e Gama Disciplina: Matemática Volume: 1 Unidade 1: Série 17 Resoluções Conjuntos 1. A = {1, } O Conjunto A possui dois elementos: 1 e. O total de subconjuntos
Leia maisConceitos e Controvérsias
Conceitos e Controvérsias QUAL É A SOMA DOS ÂNGULOS (internos ou externos) DE UM POLÍGONO (convexo ou não)? Elon Lages Lima IMPA Introdução Todos sabem que a soma dos ângulos internos de um triângulo vale
Leia maisGEOMETRIA DE POSIÇÃO OU GEOMETRIA EUCLIDIANA
GEOMETRIA DE POSIÇÃO OU GEOMETRIA EUCLIDIANA PONTO, RETA, PLANO E ESPAÇO; PROPOSIÇÕES GEOMÉTRICAS; POSIÇOES RELATIVAS POSIÇÕES RELATIVAS ENTRE PONTO E RETA POSIÇÕES RELATIVAS DE PONTO E PLANO POSIÇÕES
Leia maisLó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 maisProposições e Conectivos
Universidade Federal do Espírito Santo Centro de Ciências Agrárias CCA UFES Departamento de Computação Proposições e Conectivos Lógica Computacional 1 Site: http://jeiks.net E-mail: jacsonrcsilva@gmail.com
Leia maisRECEITA FEDERAL ANALISTA
SENTENÇAS OU PROPOSIÇÕES São os elementos que expressam uma idéia, mesmo que absurda. Estudaremos apenas as proposições declarativas, que podem ser classificadas ou só como verdadeiras (V), ou só como
Leia maisPolos Olímpicos de Treinamento. Aula 6. Curso de Teoria dos Números - Nível 2. Congruências II. Prof. Samuel Feitosa
Polos Olímpicos de Treinamento Curso de Teoria dos Números - Nível 2 Prof. Samuel Feitosa Aula 6 Congruências II Na aula de hoje, aprenderemos um dos teoremas mais importantes do curso: o pequeno teorema
Leia maisBases Matemáticas. Daniel Miranda 1. 23 de maio de 2011. sala 819 - Bloco B página: daniel.miranda
Daniel 1 1 email: daniel.miranda@ufabc.edu.br sala 819 - Bloco B página: http://hostel.ufabc.edu.br/ daniel.miranda 23 de maio de 2011 Elementos de Lógica e Linguagem Matemática Definição Uma proposição
Leia maisPlanificação do 1º Período
Direção-Geral dos Estabelecimentos Escolares Direção de Serviços da Região Centro Planificação do 1º Período Disciplina: Matemática A Grupo: 500 Ano: 10º Número de blocos de 45 minutos previstos: 74 Ano
Leia maisAlex Lira. Olá, pessoal!!!
Olá, pessoal!!! Seguem abaixo os meus comentários das questões de Lógica que foram cobradas na prova para o cargo de Agente da Polícia Federal, elaborada pelo Cespe, realizada no último final de semana.
Leia maisIII) se deste número n subtrairmos o número 3816, obteremos um número formado pelos mesmos algarismos do número n, mas na ordem contrária.
1 Projeto Jovem Nota 10 1. (Fuvest 2000) Um número inteiro positivo n de 4 algarismos decimais satisfaz às seguintes condições: I) a soma dos quadrados dos 1 e 4 algarismos é 58; II) a soma dos quadrados
Leia maisVERDADE E VALIDADE, PROPOSIÇÃO E ARGUMENTO
ENADE 2005 e 2008 1 O que B. Russell afirma da matemática, em Misticismo e Lógica: "uma disciplina na qual não sabemos do que falamos, nem se o que dizemos é verdade", seria particularmente aplicável à
Leia maisPontifícia Universidade Católica do Rio Grande do Sul
Pontifícia Universidade Católica do Rio Grande do Sul Faculdade de Matemática - Departamento de Matemática Estruturas Algébricas Prof. M.Sc. Guilherme Luís Roëhe Vaccaro e-mail: vaccaro@mat.pucrs.br Prof.
Leia maisDemonstrações, Recursão e Análise de Algoritmo
Demonstrações, Recursão e Análise de Algoritmo Objetivos do Capítulo Após estudar este capítulo, você estará apto a: Realizar demonstrações de conjecturas, usando técnicas de demonstração direta, demonstração
Leia maisDefiniçã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 maisResumo de Filosofia. Preposição frase declarativa com um certo valor de verdade
Resumo de Filosofia Capítulo I Argumentação e Lógica Formal Validade e Verdade O que é um argumento? Um argumento é um conjunto de proposições em que se pretende justificar ou defender uma delas, a conclusão,
Leia maisNÚMEROS DE FERMAT. (Pedro H. O. Pantoja, Universidade de Lisboa, Portugal)
NÚMEROS DE FERMAT (Pedro H. O. Pantoja, Universidade de Lisboa, Portugal) Intrudução: O matemático francês Pierre de fermat (1601-1665) é famoso pelo seu extensivo trabalho em teoria dos números. Suas
Leia maisUniversidade Federal do Espírito Santo Centro de Ciências Agrárias CCA UFES Departamento de Computação. Sentenças Abertas
Universidade Federal do Espírito Santo Centro de Ciências Agrárias CCA UFES Departamento de Computação Sentenças Abertas Lógica Computacional 1 Site: http://jeiks.net E-mail: jacsonrcsilva@gmail.com Sentença
Leia maisTé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é uma proposição verdadeira. tal que: 2 n N k, Φ(n) = Φ(n + 1) é uma proposição verdadeira. com n N k, tal que:
Matemática Discreta 2008/09 Vítor Hugo Fernandes Departamento de Matemática FCT/UNL Axioma (Princípio da Boa Ordenação dos Números Naturais) O conjunto parcialmente (totalmente) ordenado (N, ), em que
Leia maisFundamentos de Álgebra Moderna Profª Ana Paula CONJUNTOS
Fundamentos de Álgebra Moderna Profª Ana Paula CONJUNTOS O conjunto é um conceito fundamental em todos os ramos da matemática. Intuitivamente, um conjunto é uma lista, coleção ou classe de objetods bem
Leia maisP L A N I F I C A Ç Ã 0 E n s i n o S e c u n d á r i o
P L A N I F I C A Ç Ã 0 E n s i n o S e c u n d á r i o 2015-2016 DISCIPLINA / ANO: Matemática A 10ºano de escolaridade MANUAL ADOTADO: NOVO ESPAÇO 10 GESTÃO DO TEMPO Nº de Nº de Nº de tempos tempos tempos
Leia maisA Lógica Matemática se ocupa da análise e relações entre certas sentenças, quase sempre de conteúdo matemático, chamadas proposições.
Capítulo 1 CÁLCULO PROPOSICIONAL 1. PROPOSIÇÕES E CONECTIVOS A Lógica Matemática se ocupa da análise e relações entre certas sentenças, quase sempre de conteúdo matemático, chamadas proposições. Uma proposição
Leia maisNotas de Lógica Básica. Ralph Costa Teixeira
Notas de Lógica Básica Ralph Costa Teixeira 2013 ii 0.1 Aula 1: Enunciados e Conectivos 0.1.1 Enunciados Abertas e Fechadas Sem ser formal, enunciados abertos são aqueles que têm variáveis "livres", isto
Leia maisCURSO DO ZERO. Indicamos um conjunto, em geral, com uma letra maiúscula A, B, C... e um elemento com uma letra minúscula a, b, c, d, x, y,...
ssunto: Conjunto e Conjuntos Numéricos ssunto: Teoria dos Conjuntos Conceitos primitivos. Representação e tipos de conjunto. Operação com conjuntos. Conceitos Primitivos: CURSO DO ZERO Para dar início
Leia maisLimites Uma teoria abordando os principais tópicos sobre a teoria dos limites. José Natanael Reis
Limites Uma teoria abordando os principais tópicos sobre a teoria dos limites Este trabalho tem como foco, uma abordagem sobre a teoria dos limites. Cujo objetivo é o método para avaliação da disciplina
Leia maisGRATUITO RACIOCÍNIO LÓGICO - EBSERH. Professor Paulo Henrique PH Aula /
1 www.romulopassos.com.br / www.questoesnasaude.com.br GRATUITO RACIOCÍNIO LÓGICO - EBSERH Professor Paulo Henrique PH Aula 02 R A C I O C Í N I O L Ó G I C O E B S E R H a u l a 0 2 Página 1 2 www.romulopassos.com.br
Leia maisDISTRIBUIÇÃO DOS DOMÍNIOS POR PERÍODO
DEPARTAMENTO DE MATEMÁTICA E CIÊNCIAS EXPERIMENTAIS Planificação Anual da Disciplina de Matemática 10.º ano Ano Letivo de 2015/2016 Manual adotado: Máximo 10 Matemática A 10.º ano Maria Augusta Ferreira
Leia maisGRATUITO RACIOCÍNIO LÓGICO - EBSERH. Professor Paulo Henrique PH Aula /
1 www.romulopassos.com.br / www.questoesnasaude.com.br GRATUITO RACIOCÍNIO LÓGICO - EBSERH Professor Paulo Henrique PH Aula 03 R A C I O C Í N I O L Ó G I C O E B S E R H a u l a 0 2 Página 1 2 www.romulopassos.com.br
Leia maisEste material se compõe de exercícios de Lógica relacionadas as disciplinas de Fundamentos de Matemática e Matemática Discreta..
This is page i Printer: Opaque this 1 Lógica Este material se compõe de exercícios de Lógica relacionadas as disciplinas de Fundamentos de Matemática e Matemática Discreta.. 1.1 Tabela Verdade 1. (FM-2003)
Leia maisXIX Semana Olímpica de Matemática. Nível 3. Polinômios em Z[x] Matheus Secco
XIX Semana Olímpica de Matemática Nível 3 Polinômios em Z[x] Matheus Secco O projeto da XIX Semana Olímpica de Matemática foi patrocinado por: Polinômios em Z[x] N3 Professor Matheus Secco 1 Ferramentas
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 maisPosições de Retas. Algumas definições sobre retas foram sistematizadas por Euclides, por volta de 300a.C.
Posições de Retas Introdução: Conceitos Primitivos Algumas definições sobre retas foram sistematizadas por Euclides, por volta de 300a.C. A partir dessas definições estabeleceram-se os termos geométricos
Leia maisCENTRO EDUCACIONAL GIRASSOL TD de Matemática Prof.: Tiago Rodrigues
CENTRO EUCACIONAL GIRASSOL T de Matemática Prof.: Tiago Rodrigues proftiagorodrigues@gmail.com IVISIBILIAE E RESTO. Introdução O assunto divisibilidade no Conjunto dos Inteiros ( ) é extremamente importante
Leia maisEstruturas Discretas INF 1631
Estruturas Discretas INF 1631 Thibaut Vidal Departamento de Informática, Pontifícia Universidade Católica do Rio de Janeiro Rua Marquês de São Vicente, 225 - Gávea, Rio de Janeiro - RJ, 22451-900, Brazil
Leia maisLÓGICA APLICADA A COMPUTAÇÃO
LÓGICA APLICADA A COMPUTAÇÃO 2009.3 Aquiles Burlamaqui Ementa Unidade 2 Lógica de Predicados: Linguagem e Semântica Tradução do português para a Lógica Quantificadores e Tipos Quantificadores como Conjunções
Leia maiscomplemento para a disciplina de Matemática Discreta versão 1 - Jerônimo C. Pellegrini Relações de Equivalência e de Ordem
Relações de Equivalência e de Ordem complemento para a disciplina de Matemática Discreta versão 1 Jerônimo C. Pellegrini 5 de agosto de 2013 ii Sumário Sumário Nomenclatura 1 Conjuntos e Relações 1 1.1
Leia maisAula 12: Lógica de Predicados
Lógica para Computação Primeiro Semestre, 2015 Aula 12: Lógica de Predicados DAINF-UTFPR Prof. Ricardo Dutra da Silva Vamos estender a lógica proposicional para torná-la mais expressiva. Na lógica proposicional,
Leia maisLógica de primeira ordem (Capítulo 8 - Russell) Inteligência Artificial
Lógica de primeira ordem (Capítulo 8 - Russell) Inteligência Artificial Estrutura 1- Contextualização 2- Definições 3- Lista de exercício 4- Prolog 5- Regras em Prolog - Mundo Wumpus 6- Aplicação do Mundo
Leia maisTutoria Matemática para Informática Teoria geral dos conjuntos Pertinência Inclusão Operações com conjuntos
Tutoria Matemática para Informática Teoria geral dos conjuntos Pertinência Є (pertence) ou Є (não pertence) Sempre verificando de elemento para conjunto { } ou Ø = vazio {Ø} = conjunto com elemento vazio
Leia maisUNIVERSIDADE ESTADUAL VALE DO ACARAÚ. 1 a Lista de Exercícios - Comentada - Estruturas Algébricas II Professor Márcio Nascimento
UNIVERSIDADE ESTADUAL VALE DO ACARAÚ Coordenação de Matemática 1 a Lista de Exercícios - Comentada - Estruturas Algébricas II - 214.1 Professor Márcio Nascimento 1. Sejam a G com o(a) = n 1 e m Z. Se a
Leia maisEquações de 2º grau. Denomina-se equação do 2º grau na incógnita x, toda equação da forma: IR e
Equações de 2º grau Definições Denomina-se equação do 2º grau na incógnita x, toda equação da forma: ax 2 + bx + c = 0; a, b, c IR e Exemplo: x 2-5x + 6 = 0 é um equação do 2º grau com a = 1, b = -5 e
Leia maisNúmeros Naturais: Continuação
Números Naturais: Continuação AULA 2 META: Apresentar as propriedades de Multiplicação e o Princípio da Boa Ordem. OBJETIVOS: Ao fim da aula os alunos deverão ser capazes de: Entender o processo de multiplicação
Leia maisApostila de Raciocínio Lógico Notas de Aula Professor Joselias 2010 LÓGICA
LÓGICA eremos nas próximas linhas a definição do que vem a ser uma proposição, bem como o seu cálculo proposicional antes de chegarmos ao nosso objetivo maior que é estudar as estruturas dos argumentos,
Leia maisa é sempre o coeficiente de x²; b é sempre o coeficiente de x, c é o coeficiente ou termo independente.
Definições Denomina-se equação do 2º grau na incógnita x, toda equação da forma: ax 2 + bx + c = 0; a, b, c Exemplo: x 2-5x + 6 = 0 é um equação do 2º grau com a = 1, b = -5 e c = 6. 6x 2 - x - 1 = 0 é
Leia maisAEP FISCAL CURSO DE RACIOCÍNIO LÓGICO
AEP FISCAL CURSO DE RACIOCÍNIO LÓGICO Auditor Fiscal da Receita Federal do Brasil, Analista Tributário da Receita Federal do Brasil e Auditor Fiscal do Trabalho. Prof. Weber Campos webercampos@gmail.com
Leia maisXXXV Olimpíada Cearense de Matemática Nível 3 - Ensino Médio
XXXV Olimpíada Cearense de Matemática Nível 3 - Ensino Médio Reservado para a correção Prova Probl. 1 Probl. Probl. 3 Probl. 4 Probl. 5 Total # 3000 Nota - - - - - - - - - - - - - - - - - - - - - - - -
Leia maisCálculo com expressões que envolvem radicais
Escola Secundária de Aljustrel Material de apoio para o 11. o Ano Ano Lectivo 00/003 Cálculo com expressões que envolvem radicais José Paulo Coelho Abril de 003 ... Índice... 1 Radicais: definição e propriedades.
Leia maisQUESTÕES REVISÃO DE VÉSPERA FUNAI
QUESTÕES REVISÃO DE VÉSPERA FUNAI RACIOCÍNIO LÓGICO Prof. Josimar Padilha EDITAL: RACIOCÍNIO LÓGICO E QUANTITATIVO: 1. Lógica e raciocínio lógico: problemas envolvendo lógica e raciocínio lógico. 2. Proposições:
Leia maisProva Resolvida Raciocínio Lógico Quantitativo e Estatística (ANAC/2016) Prof. Guilherme Neves
Prova Resolvida Raciocínio Lógico Quantitativo e Estatística (ANAC/2016) 31- (ANAC 2016/ESAF) A negação da proposição se choveu, então o voo vai atrasar pode ser logicamente descrita por a) não choveu
Leia maisGeometria Analítica. Geometria Analítica 28/08/2012
Prof. Luiz Antonio do Nascimento luiz.anascimento@sp.senac.br www.lnascimento.com.br Conjuntos Propriedades das operações de adição e multiplicação: Propriedade comutativa: Adição a + b = b + a Multiplicação
Leia maisRecorrências - Parte I
Polos Olímpicos de Treinamento Curso de Álgebra - Nível Prof. Marcelo Mendes Aula 4 Recorrências - Parte I Na aula anterior, vimos alguns exemplos de sequências. Em alguns deles, os termos são dados em
Leia maisLó gica. Para Concursos Públicos. Professor Luiz Guilherme
Ló gica Para Concursos Públicos Professor Luiz Guilherme 2014 1 Lógica Para Concursos Públicos Proposição... 2 Valor Lógico das Proposições... 2 Axiomas da Lógica... 2 Tabela Verdade:... 3 Conectivos:...
Leia maisAula 10: Decidibilidade
Teoria da Computação Segundo Semestre, 2014 Aula 10: Decidibilidade DAINF-UTFPR Prof. Ricardo Dutra da Silva Definição 10.1. Um problema de decisão P é um conjunto de questões para as quais as respostas
Leia maisOBMEP NA ESCOLA Soluções
OBMEP NA ESCOLA 016 - Soluções Q1 Solução item a) A área total do polígono da Figura 1 é 9. A região inferior à reta PB é um trapézio de área 3. Isso pode ser constatado utilizando a fórmula da área de
Leia maisLógica: Quadrado lógico:
Lógica: 1. Silogismo aristotélico: Podemos encara um conceito de dois pontos de vista: Extensão a extensão é um conjunto de objectos que o conceito considerado pode designar ou aos quais ele se pode aplicar
Leia maisMatemática. 3-3) As diagonais do cubo medem x / ) As diagonais da face do cubo medem 2 y 1/3. Resposta: VFFVV.
Matemática 01. Seja x a área total da superfície de um cubo, e y, o volume do mesmo cubo. Analise as afirmações a seguir, considerando essas informações. 0-0) Se x = 54 então y = 27. 1-1) 6y = x 3 2-2)
Leia maisFUNDAÇÃO UNIVERSIDADE DO TOCANTINS TADS 2008/1 1º PERÍODO MP1 1º ETAPA 11/07/2008 MATEMÁTICA PARA COMPUTAÇÃO 2008/1
FUNDAÇÃO UNIVERSIDADE DO TOCANTINS TADS 2008/1 1º PERÍODO MP1 1º ETAPA 11/07/2008 MATEMÁTICA PARA COMPUTAÇÃO 2008/1 Dados de identificação do Aluno: Nome: Login: Cidade: CA: Data da Prova: / / ORIENTAÇÃO
Leia maisCritérios de divisibilidade Para alguns números como o dois, o três, o cinco e outros, existem regras que permitem verificar a divisibilidade sem se
Critérios de divisibilidade Para alguns números como o dois, o três, o cinco e outros, existem regras que permitem verificar a divisibilidade sem se efetuar a divisão. Essas regras são chamadas de critérios
Leia maisUniversidade Estadual de Campinas Departamento de Matemática. Teorema de Jacobson. Adriana Wagner(RA: 144768) Gustavo Terra Bastos(RA: 143800)
Universidade Estadual de Campinas Departamento de Matemática Teorema de Jacobson Adriana Wagner(RA: 144768) Gustavo Terra Bastos(RA: 143800) Campinas - SP 2013 1 Resumo Nesta monografia apresentamos a
Leia maisITA º DIA MATEMÁTICA BERNOULLI COLÉGIO E PRÉ-VESTIBULAR
ITA - 2006 3º DIA MATEMÁTICA BERNOULLI COLÉGIO E PRÉ-VESTIBULAR Matemática Questão 01 Seja E um ponto externo a uma circunferência. Os segmentos e interceptam essa circunferência nos pontos B e A, e, C
Leia maisAula demonstrativa Apresentação... 2 Modelos de questões resolvidas IBFC... 3
Aula demonstrativa Apresentação... 2 Modelos de questões resolvidas IBFC... 3 www.pontodosconcursos.com.br 1 Apresentação Olá, pessoal Tudo bem com vocês? Em breve teremos o concurso do TCM/RJ e sabemos
Leia maisTerceira Lista de Exercícios 2004/2...
UFLA Universidade Federal de Lavras Departamento de Ciência da Computação COM162 Linguagens Formais e Autômatos Prof. Rudini Sampaio Monitor: Rodrigo Pereira dos Santos Terceira Lista de Exercícios 2004/2
Leia maisAula 2: Linguagem Proposicional
Lógica para Computação Primeiro Semestre, 2015 Aula 2: Linguagem Proposicional DAINF-UTFPR Prof. Ricardo Dutra da Silva Linguagens naturais, como o nosso Português, podem expressar ideias ambíguas ou imprecisas.
Leia maisRetângulo áureo e divisão áurea
Retângulo áureo e divisão áurea Geraldo Ávila 1. O retângulo áureo Chama-se retângulo áureo qualquer retângulo ABCD (Figura 1) com a seguinte propriedade: se dele suprimirmos um quadrado, como ABFE, o
Leia maisINSS 2016 Técnico CESPE
INSS 2016 Técnico CESPE Art. 21. A alíquota de contribuição dos segurados contribuinte individual e facultativo será de 20 por cento sobre o respectivo salário-de-contribuição. Considerando o art. 21 da
Leia maisUNIVERSIDADE FEDERAL DO PARANÁ PIBID-PROGRAMA INSTITUCIONAL DE BOLSAS DE INICIAÇÃO A DOCÊNCIA PROVAS E DEMONSTRAÇÕES EM MATEMÁTICA
1 DOCÊNCIA UNIVERSIDADE FEDERAL DO PARANÁ PIBID-PROGRAMA INSTITUCIONAL DE BOLSAS DE INICIAÇÃO A PROVAS E DEMONSTRAÇÕES EM MATEMÁTICA Fabio da Costa Rosa Fernanda Machado Greicy Kelly Rockenbach da Silva
Leia mais