Tutoria Matemática para Informática Teoria geral dos conjuntos Pertinência Inclusão Operações com conjuntos
|
|
- Edison Canto Mangueira
- 7 Há anos
- Visualizações:
Transcrição
1 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 {Ø} Ø (são diferentes) a = letra minúscula representa o elemento A = letra maiúscula representa o conjunto Inclusão С (contido) ou Ȼ (não está contido) Ɔ (contém) ou Ɔ (não contém) Sempre verificando de conjunto para conjunto A = {x Є N x é ímpar} 3 A 8 A A = {1,3,5,7,9} B = {1,3,5} C = {6,7,8} A B B A A C C A Operações com conjuntos A U B (União) Somatório dos elementos A = {1,2,3,4,7} B = {3,4,5} A U B = {1,2,3,4,5,7}
2 A B (Interseção) A B = {3,4} Elementos em comum A B (Diferença) A B = {1,2,7} B A = {5}
3 Fatorial Ao produto dos números naturais N = {0,1,2,3,... }, começando em n e decrescendo até 1 denominamos de fatorial de n e representamos no n! Segundo tal definição, o fatorial de 5 é representado por 5! e lê-se 5 fatorial. 5! é igual a que é igual a 120, assim como 4! é igual a que é igual a 24, como 3! é igual a que é igual a 6 e que 2! é igual a 2. 1 que é igual a 2. Por definição tanto 0!, quanto 1! são iguais a 1. Escrevendo um fatorial a partir de um outro fatorial menor Vimos que 5! é equivalente a , mas note que também podemos escrevê-lo de outras formas, em função de fatoriais menores, tais como 4!, 3! e 2!: 5! = 5. 4! 5! = ! 5! = ! Para um fatorial genérico temos: n! = n. (n - 1)! = n. (n - 1). (n - 2)! = n. (n - 1). (n - 2). (n - 3) ! Observe atentamente os exemplos seguintes: (n + 3)! = (n + 3). (n + 2)! (n + 3)! = (n + 3). (n + 2). (n + 1)! (n + 1)! = (n + 1). n! Vamos atribuir a n o valor numérico 6, para termos uma visão mais clara destas sentenças: 9! = 9. 8! 9! = ! 7! = 7. 6! Estes conceitos são utilizados em muitos dos problemas envolvendo fatoriais. Simplificação envolvendo fatoriais Observe a fração abaixo: Vimos que 5! é equivalente a 5! = !. Então podemos escrever a fração da seguinte forma: Agora podemos simplificar o 3! do numerador com o 3! do denominador. Temos então: Permutação Simples A cada um dos agrupamentos que podemos formar com certo número de elementos distintos, tal que a diferença entre um agrupamento e outro se dê apenas pela mudança de posição entre seus elementos, damos o nome de permutação simples.
4 Neste caso o agrupamento de livros (português, matemática, história, geografia), difere do agrupamento (matemática, história, português, geografia), pois embora os elementos de ambos os grupos sejam os mesmos, há mudança no posicionamento de ao menos um dos seus elementos. Fórmula da Permutação Simples Segundo o princípio fundamental da contagem vimos que o número de agrupamentos possíveis deste exemplo era dado por: = 24 Em fatoriais vimos que é igual a 4!, então se chamarmos de Pn a permutação simples de n elementos distintos, podemos calculá-la através da seguinte fórmula: Pn = n! Resolvendo o exemplo com o uso da fórmula temos: Exemplo Quantos anagramas podemos formar a partir da palavra ORDEM? Um anagrama é uma palavra ou frase formada com todas as letras de uma outra palavra ou frase. Normalmente as palavras ou frases resultantes são sem significado, como já era de se esperar. Como a palavra ORDEM possui 5 letras distintas, devemos calcular o número de permutações calculando P5. Temos então: P5 = 5! = = 120 Portanto: O número de anagramas que podemos formar a partir da palavra ORDEM é igual 120. Combinação Simples Este exemplo é o típico caso, onde agrupamentos com elementos distintos, não se alteram mudando-se apenas a ordem de posicionamento dos elementos no grupo. A diferenciação ocorre apenas, quanto à natureza dos elementos, quando há mudança de elementos. Neste caso estamos tratando de combinação simples. Fórmula da Combinação Simples Ao trabalharmos com combinações simples, com n elementos distintos, agrupados p a p, com p n, podemos recorrer à seguinte fórmula: Ao utilizarmos a fórmula neste nosso exemplo, temos: Exemplo Com 12 bolas de cores distintas, posso separá-las de quantos modos diferentes em saquinhos, se o fizer colocando 4 bolas em cada saco? Como a ordem das bolas não causa distinção entre os agrupamentos, este é um caso de combinação simples. Vamos então calcular C12, 4: Portanto: Posso separá-las de 495 modos diferentes.
5 Permutação com repetição Pn,p CASA P4,2 = 4! 2! = 12 Combinação com repetição => Cn+p-1,p => Cn,p = C n,p n! p!(n p)! n elementos distintos e queremos formar grupos com p elementos não necessariamente distintos, onde a ordem dos elementos dos grupos formados não é importante. Portanto, não é feita a permutação dos p elementos dos grupos formados. Uma sorveteria dispõe de 5 sabores de sorvete. De quantas maneiras uma pessoa pode saborear 2 bolas de sorvete? C5+2-1,2 = C6,2 = 6! = 6.5.4! = 15 maneiras 2!(6 2)! 2!4! Proposições ou lógica proposicional Lógica Matemática Proposições (ou declaração): é uma sentença declarativa que pode ser verdadeira ou falsa, mas não ambas. a) Paris fica na França b) = 2 c) = 3 d) Londres fica na Dinamarca e) 9 < 6 f) x = 2 é solução de x 2 = 4 g) Aonde você está indo? h) Faça seu dever de casa Todas são proposições, exceto g e h a, b e f são verdadeiras c, d e e são falsas Proposições compostas Proposições compostas estão ligadas por conectivos e são formadas por subproposições. As rosas são vermelhas e violetas são azuis. Subproposições: Rosas são vermelhas, violetas são azuis Conectivo: e As proposições anteriores, de a até f são primitivas, pois não podem ser subdivididas em proposições mais simples. Conectivos e valores lógicos e, ou, ~, então, se e somente se a) Windows é um sistema operacional e pascal é uma linguagem de programação. b) Vou comprar um computador desktop ou um notebook
6 c) Linux não é um software livre d) Se chover canivetes, então todos os alunos estarão aprovados em matemática discreta. e) A = B se e somente se (A C B e B C A) E p ^ q (Conjunção) a) Paris fica na França e = 4 b) Paris fica na França e = 5 c) Paris fica na Inglaterra e = 4 d) Paris fica na Inglaterra e = 5 P Q P ^ Q V V V V F F F V F F F F OU p v q (Disjunção) a) Paris fica na França ou = 4 b) Paris fica na França ou = 5 c) Paris fica na Inglaterra ou = 4 d) Paris fica na Inglaterra ou = 5 P Q P v Q V V V V F V F V V F F F ~ não ~p (negação) Se p é verdade então ~p é falso Se p é falso então ~p é verdade P ~P V F F V Condicional (ou implicação) A B onde A implica B A verdade de A implica, ou leva, a verdade de B A é a proposição antecedente e B é a consequente. Se A então B É falsa quando A é verdadeira e B é falsa.
7 Bicondicional Verdadeira, no caso contrário. A B = (A B) ^ (B A) A se e somente se B É verdadeira, quando A e B são ambas verdadeiras ou falsas. É falsa, quando as proposições A e B possuem valor-verdade distintos. Tabela verdade A B A B B A (A B) ^ (B A) V V V V V V F F V F F V V F F F F V V V Argumentos válidos Um argumento é uma afirmação de que um dado conjunto de proposições P1,P2,P3,...,Pn chamadas de premissas ou hipóteses, conduz (tem como consequência) a uma outra proposição Q, chamada de conclusão. P1,P2,P3,...,Pn Q P1 ^ P2 ^ P3 ^... ^ Pn Q Um argumento é dito válido se Q for verdade sempre que todas as premissas/hipóteses são verdade. Português Conectivo Lógico Expressão Lógica e; mas; também; além disso Conjunção A ^ B Ou Disjunção A v B Se A então B Condicional A B A implica B A, logo B A só se B; A somente se B B segue de A A é uma condição suficiente para B B é uma condição necessária para A A se e somente se B Bicondicional A B A é condição necessária e suficiente para B Não A É false que A... Não é verdade que A... Negação ~A; A ; A Escreva as proposições compostas a seguir através de notações simbólicas. Se os preços subirem, então haverá muitas casas para vender e elas serão caras; mas se as casas não forem caras, então, ainda assim, haverá muitas casas para vender. A: os preços subirem B: haverá muitas casas C: casas serão caras (A B ^ C) ^ (C B) Ou Jane irá vencer ou, se perder, ela ficará cansada. A: Jane irá vencer
8 B: Jane irá perder C: Jane ficará cansada A v (B C) Exercícios Conjuntos Complete as lacunas verificando a pertinência entre os elementos e os conjuntos, dado que A = {x E IN / x é ímpar}. 1 A 4 A Descreva cada um dos elementos a seguir: a. {x x é um inteiro e 5 x < 12} b. {x x é um mês que começa com J} c. {x x é um inteiro e x -3} Operações Sejam: A = {1, 2, 3, 5, 10} B = {2, 4, 7, 8, 9} C = {5, 8, 10} a. A U B b. A C Fatoriais Resolva os exercícios abaixo demonstrando como chegou ao resultado. 6! = 4! = 3! = 7! = 5! 3! = 2! 4! + 2 = 9! + 5 = P 7 = P 10 = C 12,8 = C 6,4 = Combinação e Permutação a) Quantos são os anagramas que podemos formar a partir das letras da palavra ERVILHAS, sendo que eles comecem com a letra E e terminem com vogal? b) Quantas mãos de pôquer, com 5 cartas cada, podem ser distribuídas com um baralho de 52 cartas? Aqui a ordem não importa. Qual é o número de maneiras de escolher 5 objetos entre 52?
9 c) Utilizando a palavra COPACABANA, calcule o número de anagramas formados desconsiderando aqueles em que ocorrem repetições consecutivas de letras. d) Em um torneio de futsal um time obteve 8 vitórias, 5 empates e 2 derrotas, nas 15 partidas disputadas. De quantas maneiras distintas esses resultados podem ter ocorrido? e) Em uma prova composta de 20 questões envolvendo V ou F, de quantas maneiras distintas teremos doze respostas V e oito respostas F? f) Podendo escolher entre 5 tipos de queijo e 4 marcas de vinho, de quantos modos é possível fazer um pedido num restaurante, com duas qualidades de queijo e 3 garrafas de vinho? Observação: temos que escolher os dois tipos de queijo, entre os 5 disponíveis, e em seguida, temos que escolher 3 garrafas entre os 4 vinhos disponíveis (distintos ou não). g) Um menino encontra-se no balcão de uma sorveteria que oferece 7 opções diferentes de sabores. Ele tem dinheiro para comprar 4 sorvetes e ele também pode escolher sabores repetidos. De quantos modos ele poderá fazer a escolha desses quatro sabores de sorvete? Lógica Matemática 1) Seja p a sentença Faz frio e q a sentença Chove. Dê uma sentença verbal simples que descreva cada uma das proposições a seguir: a) ~p b) P ^ q c) P v q d) q v ~p 2) Seja p a sentença João gosta de Matemática, q a sentença João gosta de Álgebra e r João gosta de Cálculo. Escreva cada uma das seguintes declarações na forma simbólica. a) João gosta de Matemática ou Álgebra. b) João gosta de Matemática e Álgebra. c) João não gosta de Cálculo. d) João gosta de Álgebra e não gosta de Matemática. 3) Preencha a tabela: p q P ^ q P v q ~p ~q V V V F F V F F 4) Ache a tabela-verdade de ~p ^ q. 5) Verifique se a proposição p v ~(p ^q) é uma tautologia. Construa a tabela-verdade para demonstrar. 6) Mostre que as proposições ~(p ^ q) e ~p v ~q são equivalentes (ou seja, ambas são iguais). 7) Mostre que o argumento seguinte é uma falácia: [(p q) ^ ~p] ~q. 8) Determine a validade do seguinte argumento: [(p q) ^ ~q] ~p. 9) Prove que o seguinte argumento é válido: [(p ~q) ^ (r q) ^ r] ~p. 10) Construir a tabela-verdade para as seguintes proposições. a) a ^ b
10 b) a v b c) ~a e ~b d) a b e) a b f) (a b) (b a) g) (a v ~a) (b ^ ~b) h) ~[(a ^ ~b) ~c] i) (a b) ( ~b ~a) j) (a b) (~a v b) k) a (b c) (a ^ b) c l) (a ^ b) v c a ^ (b v c)
1 TEORIA DOS CONJUNTOS
1 TEORIA DOS CONJUNTOS Definição de Conjunto: um conjunto é uma coleção de zero ou mais objetos distintos, chamados elementos do conjunto, os quais não possuem qualquer ordem associada. Em outras palavras,
Leia maisExercícios e Respostas Lógica Matemática Prof. Jacson Rodrigues
Exercícios e Respostas Lógica Matemática Prof. Jacson Rodrigues As respostas encontram-se em itálico. 1. Quais das frases a seguir são sentenças? a. A lua é feita de queijo verde. erdadeira, pois é uma
Leia maisFundamentos de Lógica e Algoritmos. Aula 1.3 Proposições e Conectivos. Prof. Dr. Bruno Moreno
Fundamentos de Lógica e Algoritmos Aula 1.3 Proposições e Conectivos Prof. Dr. Bruno Moreno bruno.moreno@ifrn.edu.br Argumentos Lógicos As premissas do argumento são chamadas de proposições; A conclusão
Leia mais22. Análise Combinatória - Permutação - Repetição - Circular - Condicional Análise Combinatória - Combinação e Arranjo
Conteúdo 1. Conceitos Iniciais... 6 2. Proposições [1]... 7 3. Proposições [2] Tautologia - Contradição - Contigência... 8 4. Não são Proposições... 9 5. Lógica argumentativa Negação... 10 6. Lógica argumentativa
Leia maisCálculo proposicional
O estudo da lógica é a análise de métodos de raciocínio. No estudo desses métodos, a lógica esta interessada principalmente na forma e não no conteúdo dos argumentos. Lógica: conhecimento das formas gerais
Leia 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 maisMatemática discreta e Lógica Matemática
AULA 1 - Lógica Matemática Prof. Dr. Hércules A. Oliveira UTFPR - Universidade Tecnológica Federal do Paraná, Ponta Grossa Departamento Acadêmico de Matemática Ementa 1. Lógica proposicional: introdução,
Leia maisMatemática discreta e Lógica Matemática
AULA 1 - Lógica Matemática Prof. Dr. Hércules A. Oliveira UTFPR - Universidade Tecnológica Federal do Paraná, Ponta Grossa Departamento Acadêmico de Matemática Ementa 1 Lógica Sentenças, representação
Leia maisLógica Formal. Matemática Discreta. Prof Marcelo Maraschin de Souza
Lógica Formal Matemática Discreta Prof Marcelo Maraschin de Souza Implicação As proposições podem ser combinadas na forma se proposição 1, então proposição 2 Essa proposição composta é denotada por Seja
Leia maisINE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/53 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional
Leia maisMatemática Discreta - 01
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 01 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
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 maisARRANJO OU COMBINAÇÃO?
ARRANJO OU COMBINAÇÃO? As principais ferramentas da Análise Combinatória são a Permutação, o Arranjo e a Combinação, mas muitos estudantes se confundem na hora de decidir qual delas utilizar para resolver
Leia maisProf. Jorge Cavalcanti
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 01 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
Leia maisMatemática discreta e Lógica Matemática
AULA 2 - Proposicionais Prof. Dr. Hércules A. Oliveira UTFPR - Universidade Tecnológica Federal do Paraná, Ponta Grossa Departamento Acadêmico de Matemática Lógicas Proposições compostas - Definição 1
Leia 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 maisCampos Sales (CE),
UNIERSIDADE REGIONAL DO CARIRI URCA PRÓ-REITORIA DE ENSINO E GRADUAÇÃO PROGRAD UNIDADE DESCENTRALIZADA DE CAMPOS SALES CAMPI CARIRI OESTE DEPARTAMENTO DE MATEMÁTICA DISCIPLINA: Tópicos de Matemática SEMESTRE:
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 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 maisMATEMÁTICA Questões comentadas Daniela Arboite
MATEMÁTICA Questões comentadas Daniela Arboite TODOS OS DIREITOS RESERVADOS. É vedada a reprodução total ou parcial deste material, por qualquer meio ou processo. A violação de direitos autorais é punível
Leia maisLógica. Fernando Fontes. Universidade do Minho. Fernando Fontes (Universidade do Minho) Lógica 1 / 65
Lógica Fernando Fontes Universidade do Minho Fernando Fontes (Universidade do Minho) Lógica 1 / 65 Outline 1 Introdução 2 Implicações e Equivalências Lógicas 3 Mapas de Karnaugh 4 Lógica de Predicados
Leia maisFundamentos 1. Lógica de Predicados
Fundamentos 1 Lógica de Predicados Predicados Estudamos até agora a lógica proposicional Predicados Estudamos até agora a lógica proposicional A lógica proposicional têm possibilidade limitada de expressão.
Leia maisAula 04 Operações Lógicas sobre Proposições. Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes
Aula 04 Operações Lógicas sobre Proposições Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes Agenda da Aula Tabela da Verdade; Operações Lógicas sobre Proposições; Revisando As proposições
Leia maisFundamentos da Computação 1. Aula 03
Fundamentos da Computação 1 Aula 03 Conteúdo Introdução à Lógica. Definição da Sintaxe. Traduzindo Sentenças. Introdução à Lógica O que é lógica? Introdução à Lógica O que é lógica? Lógica é a análise
Leia maisCONJUNTOS RELAÇÕES DE PERTINÊNCIA, INCLUSÃO E IGUALDADE; OPERAÇÕES ENTRE CONJUNTOS, UNIÃO, INTER- SEÇÃO E DIFERENÇA
CONJUNTOS RELAÇÕES DE PERTINÊNCIA, INCLUSÃO E IGUALDADE; OPERAÇÕES ENTRE CONJUNTOS, UNIÃO, INTER- SEÇÃO E DIFERENÇA CONJUNTO: É um conceito primitivo associado à idéia de coleção.. - INDICAÇÃO: Os conjuntos
Leia maisTABELA VERDADE. por: André Aparecido da Silva. Disponível em:
TABELA VERDADE por: André Aparecido da Silva Disponível em: http://www.oxnar.com.br/aulas/logica Normalmente, as proposições são representadas por letras minúsculas (p, q, r, s, etc). São outros exemplos
Leia maisINSTITUTO FEDERAL FARROUPILHA CÂMPUS ALEGRETE
1 1. LÓGICA SETENCIAL E DE PRIMEIRA Conceito de proposição ORDEM Chama-se proposição todo o conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo, seja este verdadeiro ou falso.
Leia maisAULA 1 Frases, proposições e sentenças 3. AULA 2 Conectivos lógicos e tabelas-verdade 5. AULA 3 Negação de proposições 8
Índice AULA 1 Frases, proposições e sentenças 3 AULA 2 Conectivos lógicos e tabelas-verdade 5 AULA 3 Negação de proposições 8 AULA 4 Tautologia, contradição, contingência e equivalência 11 AULA 5 Argumentação
Leia maisFundamentos 1. Lógica de Predicados
Fundamentos 1 Lógica de Predicados Predicados Estudamos até agora a lógica proposicional Predicados Estudamos até agora a lógica proposicional A lógica proposicional têm possibilidade limitada de expressão.
Leia maisRaciocínio Lógico. Negação da Conjunção e Disjunção Inclusiva (Lei de Morgan) Professor Edgar Abreu.
Raciocínio Lógico Negação da Conjunção e Disjunção Inclusiva (Lei de Morgan) Professor Edgar Abreu www.acasadoconcurseiro.com.br Raciocínio Lógico NEGAÇÃO DE UMA PROPOSIÇÃO COMPOSTA Agora vamos aprender
Leia maisRaciocínio lógico matemático: proposições, conectivos, equivalência e implicação lógica, argumentos válidos. PART 01
Raciocínio lógico matemático: proposições, conectivos, equivalência e implicação lógica, argumentos válidos. PART 01 PROPOSIÇÕES Denomina-se proposição a toda frase declarativa, expressa em palavras ou
Leia maisBases Matemáticas. Aula 1 Elementos de Lógica e Linguagem Matemática. Prof. Rodrigo Hausen. 24 de junho de 2014
Aula 1 Elementos de Lógica e Linguagem Matemática Prof. Rodrigo Hausen 24 de junho de 2014 Definição Uma proposição é uma sentença declarativa que é verdadeira ou falsa, mas não simultaneamente ambas.
Leia maisMDI0001 Matemática Discreta Aula 01
MDI0001 Matemática Discreta Aula 01 e Karina Girardi Roggia karina.roggia@udesc.br Departamento de Ciência da Computação Centro de Ciências Tecnológicas Universidade do Estado de Santa Catarina 2016 Karina
Leia maisLógica Matemática. Prof. Gerson Pastre de Oliveira
Lógica Matemática Prof. Gerson Pastre de Oliveira Programa da Disciplina Proposições e conectivos lógicos; Tabelas-verdade; Tautologias, contradições e contingências; Implicação lógica e equivalência lógica;
Leia maisLógica Proposicional Parte I. Raquel de Souza Francisco Bravo 11 de outubro de 2016
Lógica Proposicional Parte I e-mail: raquel@ic.uff.br 11 de outubro de 2016 Lógica Matemática Cáculo Proposicional Uma aventura de Alice Alice, ao entrar na floresta, perdeu a noção dos dias da semana.
Leia maisCálculo proposicional
Notas de aula de MAC0329 (2003) 9 2 Cálculo proposicional Referências para esta parte do curso: capítulo 1 de [Mendelson, 1977], capítulo 3 de [Whitesitt, 1961]. Proposição Proposições são sentenças afirmativas
Leia maisPROBABILIDADE. Aula 2 Probabilidade Básica. Fernando Arbache
PROBABILIDADE Aula 2 Probabilidade Básica Fernando Arbache Probabilidade Medida da incerteza associada aos resultados do experimento aleatório Deve fornecer a informação de quão verossímil é a ocorrência
Leia maisMATEMÁTICA DISCRETA CÁLCULO PROPOSICIONAL PROFESSOR WALTER PAULETTE FATEC SP
1 MATEMÁTICA DISCRETA CÁLCULO PROPOSICIONAL PROFESSOR WALTER PAULETTE FATEC SP 2009 02 2 CÁLCULO PROPOSICIONAL 1. Proposições Uma proposição é uma sentença declarativa que pode ser verdade ou falsa, mas
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 maisUNIP Ciência da Computação Prof. Gerson Pastre de Oliveira
Aula 6 Lógica Matemática Álgebra das proposições e método dedutivo As operações lógicas sobre as proposições possuem uma série de propriedades que podem ser aplicadas, considerando os conectivos inseridos
Leia maisCálculo de Predicados
Cálculo de Predicados (Lógica da Primeira Ordem) Prof. Tiago Semprebom, Dr. Eng. Instituto Federal de Educação, Ciência e Tecnologia Santa Catarina - Campus São José tisemp@ifsc.edu.br 18 de maio de 2013
Leia maisProposições. Belo Horizonte é uma cidade do sul do Brasil = 4. A Terra gira em torno de si mesma. 5 < 3
Proposições Lógicas Proposições O principal conceito usado nos estudos da lógica matemática é o de uma proposição. Uma proposição é essencialmente uma afirmação, transmite pensamentos completos, afirmando
Leia maisIntrodução à Logica Computacional. Aula: Lógica Proposicional - Sintaxe e Representação
Introdução à Logica Computacional Aula: Lógica Proposicional - Sintaxe e Representação Agenda Resolução de exercício da aula 1 Definições Proposição simples Conectivos Proposição composta Sintaxe Exercício
Leia maisNOÇÃO INTUITIVA E OPERAÇÕES COM CONJUNTOS
NOÇÃO INTUITIVA E OPERAÇÕES COM CONJUNTOS CONJUNTO: É um conceito primitivo associado à idéia de coleção.. - INDICAÇÃO: Os conjuntos serão, em geral, indicados por letras maiúsculas do alfabeto: A,B,C,...,
Leia maisIntrodução à Lógica Matemática
Introdução à Lógica Matemática Disciplina fundamental sobre a qual se fundamenta a Matemática Uma linguagem matemática Paradoxos 1) Paradoxo do mentiroso (A) Esta frase é falsa. A sentença (A) é verdadeira
Leia maisLógica Proposicional Parte 2
Lógica Proposicional Parte 2 Como vimos na aula passada, podemos usar os operadores lógicos para combinar afirmações criando, assim, novas afirmações. Com o que vimos, já podemos combinar afirmações conhecidas
Leia maisMatemática Computacional
Matemática Computacional SLIDE V 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 maisLógica das Proposições
Lógica das Proposições Transcrição - Podcast 1 Professor Carlos Mainardes Olá eu sou Carlos Mainardes do blog Matemática em Concursos, e esse material que estou disponibilizando trata de um assunto muito
Leia maisSumário. Os Enigmas de Sherazade I Ele fala a verdade ou mente? I I Um truque com os números... 14
Sumário Os Enigmas de Sherazade... 13 I Ele fala a verdade ou mente?... 13 I I Um truque com os números... 14 Capítulo 1 Lógica de Primeira Ordem-Proposicional... 15 Estruturas Lógicas... 15 I Sentenças...
Leia maisDepartamento de Engenharia Informática da Universidade de Coimbra
Departamento de Engenharia Informática da Universidade de Coimbra Estruturas Discretas 2013/14 Folha 1 - TP Lógica proposicional 1. Quais das seguintes frases são proposições? (a) Isto é verdade? (b) João
Leia maisGestão Empresarial Prof. Ânderson Vieira
NOÇÕES DE LÓGICA Gestão Empresarial Prof. Ânderson ieira A maioria do texto apresentado neste arquivo é do livro Fundamentos de Matemática Elementar, ol. 1, Gelson Iezzi e Carlos Murakami (eja [1]). Algumas
Leia maisIntrodução à Logica Computacional. Aula: Lógica Proposicional -Sintaxe e Representação
Introdução à Logica Computacional Aula: Lógica Proposicional -Sintaxe e Representação Agenda Resolução de exercício da aula 1 Definições Proposição simples Conectivos Proposição composta Sintaxe Exercício
Leia maisMD Lógica de Proposições Quantificadas Cálculo de Predicados 1
Lógica de Proposições Quantificadas Cálculo de Predicados Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br http://www.dcc.ufmg.br/~loureiro MD Lógica de Proposições Quantificadas Cálculo de Predicados
Leia 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 maisMAT105 - Fundamentos de Matemática Elementar I
MAT105 - Fundamentos de Matemática Elementar I Prof. Dr. Diogo Machado (diogo.machado@ufv.br) 1o semestre de 2016 Universidade Federal de Viçosa - UFV Departamento de Matemática Um dos mais importantes
Leia maisRaciocínio Lógico. Matemático. Raciocínio Lógico
Raciocínio Lógico Matemático Raciocínio Lógico Teoria dos Conjuntos 1) (FEPESE, 2014) Considere como conjunto universo o conjunto dos números inteiros positivos menores ou iguais a vinte e quatro. Neste
Leia maisLista 1 - Bases Matemáticas
Lista 1 - Bases Matemáticas Elementos de Lógica e Linguagem Matemática Parte I 1 Atribua valores verdades as seguintes proposições: a) 5 é primo e 4 é ímpar. b) 5 é primo ou 4 é ímpar. c) (Não é verdade
Leia maisLógica proposicional
Lógica proposicional Sintaxe Proposição: afirmação que pode ser verdadeira ou falsa Proposições podem ser expressas como fórmulas Fórmulas são construídas a partir de símbolos: De verdade: true (verdadeiro),
Leia mais5) São quantos os números ímpares com três algarismos, que não possuem dígitos repetidos e que de trás para frente também são ímpares?
ANÁLISE COMBINATÓRIA PRINCÍPIO FUNDAMENTAL DA CONTAGEM O princípio fundamental da contagem diz que um evento que ocorre em n situações independentes e sucessivas, tendo a primeira situação ocorrendo de
Leia maisCálculo proposicional
O estudo da lógica é a análise de métodos de raciocínio. No estudo desses métodos, a lógica esta interessada principalmente na forma e não no conteúdo dos argumentos. Lógica: conhecimento das formas gerais
Leia 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 maisAprendendo. Raciocínio. Lógico
Aprendendo Raciocínio Lógico Sentenças Abertas Raciocínio Lógico Sentenças matemáticas abertas ou simplesmente sentenças abertas são expressões que não podemos identificar como verdadeiras ou falsas. Exemplos:
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 maisRaciocínio Lógico. 06- A quantidade de anagramas que podem ser formados com as letras da palavra MINISTÉRIO é inferior a
Raciocínio Lógico 01- Se Carlos é surfista, então Julia não é tenista. Se Julia não é tenista, então Michelle anda de skate. Se Michelle anda de skate, então Lucas não é patinador. Ora, Lucas é patinador.
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 maisProf. Tiago Semprebom, Dr. Eng. 09 de abril de 2013
Lógica Clássica e Lógica Simbólica Prof. Tiago Semprebom, Dr. Eng. Instituto Federal de Educação, Ciência e Tecnologia Santa Catarina - Campus São José tisemp@ifsc.edu.br 09 de abril de 2013 Prof. Tiago
Leia maisQuestões de Concursos Aula 02 CEF RACIOCÍNIO LÓGICO. Prof. Fabrício Biazotto
Questões de Concursos Aula 02 CEF RACIOCÍNIO LÓGICO Prof. Fabrício Biazotto Raciocínio Lógico 1. Considere as afirmações: I. A camisa é azul ou a gravata é branca. II. Ou o sapato é marrom ou a camisa
Leia maisLÓGICA APLICADA A COMPUTAÇÃO
LÓGICA APLICADA A COMPUTAÇÃO 2009.3 Aquiles Burlamaqui Conteúdo Programático Unidade I Linguagens Formais Linguagens Formais Sigma Álgebras Relação entre Linguagens Formais e Sigma Álgebras Sigma Domínios
Leia maisLista 2 - Bases Matemáticas
Lista 2 - Bases Matemáticas (Última versão: 14/6/2017-21:00) Elementos de Lógica e Linguagem Matemática Parte I 1 Atribua valores verdades as seguintes proposições: a) 5 é primo e 4 é ímpar. b) 5 é primo
Leia mais3 Cálculo Proposicional
3 Cálculo Proposicional O Cálculo Proposicional é um dos tópicos fundamentais da Lógica e consiste essencialmente da formalização das relações entre sentenças (ou proposições), de nidas como sendo frases
Leia maisLógica. Cálculo Proposicional. Introdução
Lógica Cálculo Proposicional Introdução Lógica - Definição Formalização de alguma linguagem Sintaxe Especificação precisa das expressões legais Semântica Significado das expressões Dedução Provê regras
Leia maisCOMO LER NOTAÇÃO LÓGICA
COMO LER NOTAÇÃO LÓGICA DARREN BRIERTON TRADUÇÃO DE AISLAN ALVES BEZERRA Conectivos Proposicionais O primeiro conjunto de símbolos que introduzir-vos-ei são chamados de conectivos proposicionais porque
Leia maisLógica Formal. Matemática Discreta. Prof. Vilson Heck Junior
Lógica Formal Matemática Discreta Prof. Vilson Heck Junior vilson.junior@ifsc.edu.br Objetivos Utilizar símbolos da lógica proposicional; Encontrar o valor lógico de uma expressão em lógica proposicional;
Leia maisNão sou o melhor, sei disso, mas faço o melhor que posso!! RANILDO LOPES
Lógica Matemática e Computacional Não sou o melhor, sei disso, mas faço o melhor que posso!! RANILDO LOPES 2. Conceitos Preliminares 2.1. Sentença, Verdade e Proposição Cálculo Proposicional Como primeira
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 maisALESE. Assembleia Legislativa do Estado de Sergipe. Volume I. Técnico Legislativo / Área Apoio Técnico Administrativo
Assembleia Legislativa do Estado de Sergipe ALESE Técnico Legislativo / Área Apoio Técnico Administrativo Volume I Edital Nº 01/2018 de Abertura de Inscrições JN071-A-2018 DADOS DA OBRA Título da obra:
Leia maisFundamentos da Computação 1. Introdução a Argumentos
Fundamentos da Computação 1 Introdução a s Se você tem um senha atualizada, então você pode entrar na rede Você tem uma senha atualizada Se você tem um senha atualizada, então você pode entrar na rede
Leia maisLógica Computacional
Aula Teórica 2: da Lógica Proposicional Departamento de Informática 17 de Fevereiro de 2011 Descrição informal Lógica proposicional Objecto Ocupa-se do estudo do comportamento dos conectivos lógicos (negação,
Leia maisCAPÍTULO 4 Cálculo proposicional
CÁLCULO PROPOSICIONAL 1. PROPOSIÇÕES Uma proposição é uma sentença declarativa que pode ser verdade ou falsa, mas não ambas. As proposições podem ser divididas em proposições simples e compostas. 1.1.
Leia maisSMA Elementos de Matemática Notas de Aulas
Universidade de São Paulo Instituto de Ciências Matemáticas e de Computação SMA 341 - Elementos de Matemática Notas de Aulas Ires Dias Sandra Maria Semensato de Godoy São Carlos 2009 Sumário 1 Noções
Leia maisAtenção: Esse conectivo transmite a ideia de e / ou e não apenas a de exclusão como muitas pessoas imaginam.
CONCEITO DE PROPOSIÇÃO É todo conjunto de palavras ou símbolos que exprimem uma ideia de sentido completo e que, além disso, pode ser julgado como verdadeiro (V) ou falso (F). NÃO SÃO PROPOSIÇÕES Frases
Leia maisSimulado Aula 03 CEF RACIOCÍNIO LÓGICO. Prof. Fabrício Biazotto
Simulado Aula 03 CEF RACIOCÍNIO LÓGICO Prof. Fabrício Biazotto Raciocínio Lógico 1. Argumento é a afirmação de que uma sequência de proposições, denominadas premissas, acarreta outra proposição, denominada
Leia maisLógica Matemática Computacional
Introdução a Lógica Lista de Exercícios - 01 Lógica Matemática Computacional Professor: Edwar Saliba Júnior 1. Determine o valor lógico (V ou F) de cada uma das seguintes proposições: a) O número 17 é
Leia maisn. 6 Equivalências Lógicas logicamente equivalente a uma proposição Q (p, q, r, ), se as tabelas-verdade destas duas proposições são idênticas.
n. 6 Equivalências Lógicas A equivalência lógica trata de evidenciar que é possível expressar a mesma sentença de maneiras distintas, preservando, o significado lógico original. Def.: Diz-se que uma proposição
Leia mais01/09/2014. Capítulo 1. A linguagem da Lógica Proposicional
Capítulo 1 A linguagem da Lógica Proposicional 1 Introdução O estudo da Lógica é fundamentado em: Especificação de uma linguagem Estudo de métodos que produzam ou verifiquem as fórmulas ou argumentos válidos.
Leia maisModus ponens, modus tollens, e respectivas falácias formais
Modus ponens, modus tollens, e respectivas falácias formais Jerzy A. Brzozowski 28 de abril de 2011 O objetivo deste texto é apresentar duas formas válidas de argumentos o modus ponens e o modus tollens
Leia maisRaciocínio Lógico. Matemático. Lógica Proposicional
Raciocínio Lógico Matemático Lógica Proposicional Proposições Lógicas Denomina-se proposição toda frase declarativa, expressa em palavras ou símbolos, que exprima um juízo ao qual se possa atribuir, dentro
Leia maisOperações Lógicas sobre Proposições
Universidade Federal do Espírito Santo Centro de Ciências Agrárias CCA UFES Departamento de Computação Operações Lógicas sobre Proposições Lógica Computacional 1 Site: http://jeiks.net E-mail: jacsonrcsilva@gmail.com
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 maisAfirmações Matemáticas
Afirmações Matemáticas Na aula passada, vimos que o objetivo desta disciplina é estudar estruturas matemáticas, afirmações sobre elas e como provar essas afirmações. Já falamos das estruturas principais,
Leia maisLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL Prof. Cesar Tacla/UTFPR/Curitiba Slides baseados no capítulo 1 de DA SILVA, F. S. C.; FINGER M. e de MELO A. C. V.. Lógica para Computação. Thomson Pioneira Editora, 2006. Conceitos
Leia maisAlfabeto da Lógica Proposicional
Ciência da Computação Alfabeto da Lógica Sintaxe e Semântica da Lógica Parte I Prof. Sergio Ribeiro Definição 1.1 (alfabeto) - O alfabeto da é constituído por: símbolos de pontuação: (, ;, ) símbolos de
Leia maisLÓGICA EM COMPUTAÇÃO
CEC CENTRO DE ENGENHARIA E COMPUTAÇÃO UNIVERSIDADE CATÓLICA DE PETRÓPOLIS LÓGICA EM COMPUTAÇÃO TAUTOLOGIA - EQUIVALÊNCIA E INFERÊNCIA VERSÃO: 0.1 - MARÇO DE 2017 Professor: Luís Rodrigo E-mail: luis.goncalves@ucp.br
Leia maisLógica. Professor Mauro Cesar Scheer
Lógica Professor Mauro Cesar Scheer Objetivos Reconhecer e manipular com os símbolos formais que são usados no Cálculo Proposicional (CPC) e Cálculo de Predicados (CP). Determinar o valor de verdade de
Leia maisMATEMÁTICA DISCRETA E LÓGICA MATEMÁTICA PROF. APARECIDO EDILSON MORCELLI
MATEMÁTICA DISCRETA E LÓGICA MATEMÁTICA PROF. APARECIDO EDILSON MORCELLI CONSTRUÇÃO DA TABELA- VERDADE Dada a fórmula: {A [C (A C)]} Observamos três ocorrências de conectivos:,,. O último é a primeira
Leia maisRACIOCÍNIO LÓGICO PROPOSIÇÕES LÓGICAS
1 RACIOCÍNIO LÓGICO PROPOSIÇÕES LÓGICAS 2 TIPOS DE PROPOSIÇÃO Simples ou Atômicas Oscar é prudente; Mário é engenheiro; Maria é morena. 3 TIPOS DE PROPOSIÇÃO Composta ou Molecular Walter é engenheiro E
Leia maisFundamentos da Lógica I
Fundamentos da Lógica I O conceito mais elementar no estudo da lógica primeiro a ser visto é o de Proposição. Trata-se, tão somente, de uma sentença algo que será declarado por meio de palavras ou de símbolos
Leia maisINTRODUÇÃO À LÓGICA MATEMÁTICA
INTRODUÇÃO À LÓGICA MATEMÁTICA Matemática Aplicada a Computação rofessor Rossini A M Bezerra Lógica é o estudo dos princípios e métodos usados para distinguir sentenças verdadeiras de falsas. Definição
Leia maisLógica Matemática 1. Semana 7, 8 e 9. Material Previsto para três semanas
Lógica Matemática 1 Semana 7, 8 e 9. Professor Luiz Claudio Pereira Departamento Acadêmico de Matemática Universidade Tecnológica Federal do Paraná Material Previsto para três semanas Implicação e equivalência
Leia mais