Elementos de Matemática
|
|
|
- Maria das Neves Leão Bonilha
- 7 Há anos
- Visualizações:
Transcrição
1 Elementos de Matemática Exercícios de Lógica para as atividades didáticas de 2007 Versão compilada no dia 27 de Abril de Departamento de Matemática - UEL Prof. Ulysses Sodré [email protected] Matemática Essencial: Resumo: Notas de aulas construídas com materiais usados em nossas aulas na UEL. Elas devem ser usadas como roteiro para as aulas e não espero que elas venham a substituir qualquer livro sobre o assunto. Alguns conceitos foram obtidos em livros citados na Bibliografia, mas os assuntos foram bastante modificados. Em português, há pouco material de domínio público, mas em inglês existe muito material que pode ser obtido na Internet. Sugiro que o leitor pesquise para obter materiais gratuitos para os seus estudos. Mensagem: Não sabeis que os injustos não herdarão o reino de Deus? Não vos enganeis: nem os devassos, nem os idólatras, nem os adúlteros, nem os efeminados, nem os sodomitas, nem os ladrões, nem os avarentos, nem os bêbedos, nem os maldizentes, nem os roubadores herdarão o reino de Deus. E tais fostes alguns de vós; mas fostes lavados, mas fostes santificados, mas fostes justificados em nome do Senhor Jesus Cristo e no Espírito do nosso Deus. Todas as coisas me são ĺıcitas, mas nem todas as coisas convêm. Todas as coisas me são ĺıcitas; mas eu não me deixarei dominar por nenhuma delas. A Bíblia Sagrada, I Coríntios 6:9-12
2 Seção 1 Exercícios de Lógica e Conjuntos 1 1 Exercícios de Lógica e Conjuntos Definição 1 (Proposição Atômica e Proposição Molecular). Proposição lógica Atômica (A) é uma proposição simples e proposição lógica Molecular (M) é aquela composta de duas ou mais proposições Atômicas. 1. Baseado na definição acima, identifique com as letras A ou M, cada uma das proposições seguintes: (a) Serviremos a comida às 12:00 horas. (b) A música está alta ou a porta está fechada. (c) Se Maria está cantando, ela está feliz. (d) Se x = 0 então x y = 6. (e) x + y < 10. (f) Esta proposição é Atômica ou Molecular. (g) Esta proposição Atômica não é Molecular. (h) Esta proposição Molecular não é Atômica. (i) Alunos estudam Lógica no primeiro ano de Matemática. 2. Montar quatro proposições moleculares com as proposições Atômicas: (a) Maria é linda. (b) João canta bem. 3. Identificar os conectivos nas proposições lógicas: (a) Hoje não é o dia mais feliz da minha vida. (b) O inverno chegou e os dias são mais curtos. (c) Se x = 0 então x y = 6. (d) x + y < 10 pois x < 5. (e) Este menino é meu irmão e eu sou a sua irmã. 4. Escrever proposições lógicas, nas formas: (a) Ou (...) ou (...) (b) (...) ou (...) (c) (...) e (...) (d) Não (...) (e) Se (...) então (...) (f) Se (...), (...) (g) Se não (...) então não (...) (h) Não é verdade que (...)
3 Seção 1 Exercícios de Lógica e Conjuntos 2 5. Use parênteses para identificar as proposições atômicas nas proposições: (a) João veio à aula e Maria não veio. (b) Se x + 2 = 7 então x = 5. (c) Se a 0 e ax + b = 0, então x = b/a. (d) Ou y = 0 e x 0 ou z = 1. (e) Não é verdade que se x + 1 = 7 então x = Escrever as proposições moleculares abaixo usando símbolos lógicos, identificando as proposições atômicas p e q associadas. Por exemplo, a proposição molecular: Jó irá ao teatro ou irá ao cinema, pode ser escrita como p q, onde p : Jó irá ao teatro e q : Jó irá ao cinema. (a) Dava um passo para a esquerda e andava dois passos para frente. (b) As rosas são vermelhas e as violetas são azuis. (c) Se o Brasil está na América do Sul, então está no hemisfério Sul. (d) Estes problemas de lógica não são fáceis para mim. (e) Se a aula de Lógica já começou, então eu estou chegando atrasado. 7. Traduzir para a linguagem comum das pessoas: (a) Se p, então q. (b) p ou q. (c) p e q. (d) Não p. (e) p equivale a q. (f) Se p equivale a q, então r. 8. Substituir as palavras pelos símbolos lógicos correspondentes. (a) p e q. (b) p ou q. (c) Se p então q. (d) p se, e somente se, q. (e) a negação de p. 9. Substituir as palavras pelos símbolos lógicos correspondentes. (a) x = 0 e y = 2. (b) x = 0 ou y = 2. (c) Se x = 0 então y = 2. (d) x y = 0 se, e so se, x = y. (e) x y = 0, sse, x = y. (f) A negação de x = 0.
4 Seção 1 Exercícios de Lógica e Conjuntos Escrever com símbolos lógicos as proposições abaixo, usando as proposições atômicas contidas nas proposições moleculares. (a) Se x = y então x = 7. (b) Se x y então x > 7. (c) x + y = 0 ou x y = 3. (d) Se a 0 e ax + b = 0 então x = b/a. (e) Se x y então x 1 e x Escrever com símbolos e indicar as proposições atômicas correspondentes. (a) Ulysses estuda na sala 12 e Márcia estuda na sala 11. (b) Os CDs antigos de José são bons mas os os CDs novos são ruins. (c) Maria tem 13 anos e Mário tem 15 anos. (d) Hoje é o dia 31 e amanhã é o dia primeiro. (e) João é alto ou Josefa é baixa. 12. Usar símbolos lógicos e exibir as proposições atômicas correspondentes a cada proposição molecular apresentada. (a) Ou Manuel fará a apresentação ou Manuel ajudará nas roupas. (b) Pode-se apresentar o vetor por meio de duas componentes ou estamos em três dimensões. (c) Uma anêmona é um animal ou é uma planta. (d) Temos que chegar cedo, ou outro ficará com o emprego. (e) A área do triângulo ABC é igual à área do triângulo DEF ou a área do triângulo ABC é menor que a área do triângulo DEF. 13. Analisar e indicar os conectivos em cada proposição. (a) Se a parede é de cor negra, ela não refletirá a luz. (b) x > 0 ou x = 0. (c) Se x + y = z então y + x = z. (d) Se x + y = 0 e x > 0 então y < 0. (e) Se x + y = 0 e x = 0 então y = Colocar parênteses de forma adequada para que cada uma das proposições abaixo seja uma conjunção com o conectivo. (a) p q r (b) p q r
5 Seção 1 Exercícios de Lógica e Conjuntos Colocar parênteses de forma adequada para que cada uma das proposições abaixo seja uma disjunção com o conectivo. (a) p q r (b) p q r 16. Traduzir para símbolos lógicos as afirmações. (a) Se x é menor do que dois, então x é igual a um ou x é igual a zero. (b) Se existe x menor que 3 e x é maior que 1, então x é igual a dois. (c) Se y = 4 e se x < y então x < 5. (d) Ou x é maior que cinco e y é menor que sete ou x não é igual a seis. (e) Se x + 3 > 5 e y 4 > 0 então y > Colocar parênteses de forma que cada proposição tenha a característica do conectivo indicado à esquerda da mesma. Condicional p q r p q r p q r Condicional p q r p q r p q r Conjunção p q r p q r p q r Conjunção p q r p q r p q r Disjunção p q r p q r p q r Disjunção p q r p q r p q r 18. Eliminando alguns parênteses, cada afirmação é verdadeira ou falsa? Com parênteses equivale a Sem parênteses V ou F? (p q) r equivale a p q r Verdadeira p (q r) equivale a p q r (p q) r equivale a p q r ( p) q equivale a p q p ( q) equivale a p q ( q) ( p) equivale a q p p (q r) equivale a (p q) r Falsa (p p) equivale a p q (p q) r equivale a p q r p (q r) equivale a p q r
Elementos de Matemática
Elementos de Matemática Álgebra de Boole Roteiro no. 10 - Atividades didáticas de 2007 8 de Outubro de 2007- Arq: elementos10.tex Departamento de Matemática - UEL Prof. Ulysses Sodré E-mail: ulysses(at)matematica(pt)uel(pt)br
Não vos prendais a um jugo desigual com os incrédulos. 2 Coríntios 6:14 O QUE É UM JUGO?
Não vos prendais a um jugo desigual com os incrédulos 2 Coríntios 6:14 O QUE É UM JUGO? Jugo O cristianismo também é um jugo! Prender-se a um jugo implica em: Enquadramento e sujeição a um esquema de
Elementos de Matemática
Elementos de Matemática Exercícios de Análise Combinatória - Atividades de 2007 Versão compilada no dia 11 de Setembro de 2007. Departamento de Matemática - UEL Prof. Ulysses Sodré: ulysses(a)uel(pt)br
O homossexualismo e o casamento homoafetivo.
O homossexualismo e o casamento homoafetivo. Esse assunto para o Brasil, não é novo, visto que em 2011 o STF (Supremo Tribunal Federal) reconheceu a equiparação da união homossexual e em 2013 Resolução
Lógica Proposicional Parte I. Raquel de Souza Francisco Bravo 11 de outubro de 2016
Lógica Proposicional Parte I e-mail: [email protected] 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.
"Porque eu sou o Senhor vosso Deus; portanto vós vos santificareis, e sereis santos..." Levítico 11:44
"E conhecereis a verdade, e a verdade vos libertará." João 8:32 A Santidade de Deus "Porque eu sou o Senhor vosso Deus; portanto vós vos santificareis, e sereis santos..." Levítico 11:44 "... porquanto
Nã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
Elementos de Matemática
Elementos de Matemática Exercícios de Trigonometria - atividades didáticas de 2007 Versão compilada no dia 23 de Maio de 2007. Departamento de Matemática - UEL Prof. Ulysses Sodré E-mail: [email protected]
LÓ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
Exercí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
Elementos de Matemática
Elementos de Matemática Roteiro no.3 para as atividades didáticas de 2007 Versão compilada no dia 27 de Abril de 2007. Departamento de Matemática - UEL Prof. Ulysses Sodré E-mail: [email protected]
Ló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;
Introdução à Programação I
Introdução à Programação I Programação Estruturada Álgebra Booleana e Expressões Compostas Material da Prof. Ana Eliza Definição: Chama-se proposição todo o conjunto de palavras ou símbolos que exprimem
Geometria Diferencial
Geometria Diferencial Exercícios sobre curvas planas e espaciais - 2007 Versão compilada no dia 20 de Setembro de 2007. Departamento de Matemática - UEL Prof. Ulysses Sodré: ulysses(a)uel(pt)br Matemática
Matemática Computacional
Matemática Computacional SLIDE 1I Professor Júlio Cesar da Silva [email protected] site: http://eloquium.com.br/ twitter: @profjuliocsilva facebook: https://www.facebook.com/paginaeloquium Google+:
HOMOSSEXUALIDADE IDENTIDADE E GRAÇA
HOMOSSEXUALIDADE IDENTIDADE E GRAÇA SEXUALIDADE E DEUS NÃO COMBINAM MUNDO GREGO pensamento dualista corpo é ruim / espírito é bom MUNDO HEBREU pensamento holístico corpo / mente / alma (Dt 6:4-9) ORÍGENES
Fundamentos 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 [email protected] Argumentos Lógicos As premissas do argumento são chamadas de proposições; A conclusão
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
Matemá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
Departamento 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
22. 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
Iniciação a Lógica Matemática
Iniciação a Lógica Matemática Faculdade Pitágoras Prof. Edwar Saliba Júnior Julho de 2012 1 O Nascimento da Lógica É lógico que eu vou!, Lógico que ela disse isso! são expressões que indicam alguma coisa
Aula 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
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
Fundamentos de Lógica e Algoritmos
INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO RIO GRANDE DO NORTE CAMPUS SÃO GONÇALO DO AMARANTE Fundamentos de Lógica e Algoritmos #EquivalênciaLógica Eliezio Soares [email protected]
Ló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),
Álgebra das Proposições. Prof. Guilherme Tomaschewski Netto
Álgebra das Proposições Prof. Guilherme Tomaschewski Netto [email protected] Roteiro! Lógica Matemática clássica! Proposições! alores lógicos! Conectivos! Fórmulas Lógicas! Exemplos de aplicações
Matemá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,
3 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
Afirmações Matemáticas
Afirmações Matemáticas Na aula passada, vimos que o objetivo desta disciplina é estudar estruturas matemáticas, afirmações sobre elas e como provar essas afirmações. Já falamos das estruturas principais,
Matemá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
Questões de Concursos Aula 03 CEF RACIOCÍNIO LÓGICO. Prof. Fabrício Biazotto
Questões de Concursos Aula 03 CEF RACIOCÍNIO LÓGICO Prof. Fabrício Biazotto Raciocínio Lógico 1. Sabendo que os valores lógicos das proposições simples p e q são, respectivamente, a verdade e a falsidade,
n. 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
Introduçã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
Matemática Discreta - Exercícios de Lógica. 1. Diga que relações lógicas existem entre as seguintes proposições:
1. Diga que relações lógicas existem entre as seguintes proposições: (a) Todos os marcianos falam inglês. (b) Todos os marcianos não falam inglês. (c) Nenhum marciano fala inglês. (d) Alguns marcianos
Lição 25. frutos. carne. e do. Espírito
Lição 25 Os Mistérios de Deus Estudo Bíblico Lição 25 Os frutos da carne e do Espírito Gálatas 5:17 Esta publicação não é para ser vendida ou negociada de forma alguma. - Ela é inteiramente grátis http://www.osmisteriosdedeus.com
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
Como primeira e indispensável parte da Lógica Matemática temos o Cálculo Proporcional ou Cálculo Sentencial ou ainda Cálculo das Sentenças.
NE-6710 - SISTEMAS DIGITAIS I LÓGICA PROPOSICIONAL, TEORIA CONJUNTOS. A.0 Noções de Lógica Matemática A,0.1. Cálculo Proposicional Como primeira e indispensável parte da Lógica Matemática temos o Cálculo
GRATUITO 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
MATEMÁ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
1. Princípio da não-contradição: Uma proposição não pode ser verdadeira e falsa
Raciocínio Lógico Lógica estuda as formas ou estruturas do pensamento, isto é, seu propósito é estudar e estabelecer propriedades das relações formais entre as proposições. DEFINIÇÃO: Proposição: conjunto
Proposiçõ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
Tema I Introdução à lógica bivalente e à teoria de conjuntos
Tema I Introdução à lógica bivalente e à teoria de conjuntos Unidade 1 Proposições Páginas 13 a 9 1. a) 3 é uma designação. b) 3 = 6 é uma proposição. c) é o único número primo par é uma proposição. d)
Noções básicas de Lógica
Noções básicas de Lógica Consideremos uma linguagem, com certos símbolos. Chamamos expressão a uma sequências de símbolos. Uma expressão pode ser uma expressão com significado expressão sem significado
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,
Ló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,
Lógica Matemática e Computacional. Proposições Simples e Compostas Exercícios
Lógica Matemática e Computacional Proposições Simples e Compostas Exercícios Sejam as proposições p e q, traduzir para a linguagem corrente as seguintes proposições: 1. p: Está frio e q: Está Chovendo.
Fundamentos 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
Introdução à Computação (IC) Algoritmos: Expressões lógicas
Introdução à Computação (IC) Algoritmos: Expressões lógicas Prof.ª Dr.ª Symone Gomes Soares Alcalá Universidade Federal de Goiás (UFG) Regional Goiânia (RG) Campus Aparecida de Goiânia (CAP) Faculdade
ANÁLISE MATEMÁTICA I. Curso: EB
ANÁLISE MATEMÁTICA I (com Laboratórios) Curso: EB Lógica - Resumo Ana Matos DMAT Noções básicas de Lógica Consideremos uma linguagem, com certos símbolos. Chamamos expressão a qualquer sequência de símbolos.
Nome: Data: Semestre: Curso: TADS Disciplina: Matemática Aplicada à Computação Professor: Shalimar Villar. Noções de Lógica
Nome: Data: Semestre: Curso: TADS Disciplina: Matemática Aplicada à Computação Professor: Shalimar Villar Noções de Lógica Proposição: É uma sentença declarativa, seja ela expressa de forma afirmativa
LISTA 01 RACIOCÍNIO LÓGICO TRIBUNAIS 2014 LISTA 01 RACIOCÍNIO LÓGICO TRIBUNAIS 2014
LISTA 01 RACIOCÍNIO LÓGICO TRIBUNAIS 2014 1) Determinar o valor verdade da proposição (p q) r, sabendo-se que AL (p) =, AL (q) = e AL (r) =. Proposições são afirmações que podem ser julgadas como verdadeira
Cálculo proposicional
O estudo da lógica é a análise de métodos de raciocínio. No estudo desses métodos, a lógica esta interessada principalmente na forma e não no conteúdo dos argumentos. Lógica: conhecimento das formas gerais
FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 4
FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 4 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,
Introduçã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
Alfabeto 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
Ló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
RECEITA 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
Algoritmos e Programação I
Algoritmos e Programação I Operadores Relacionais, Lógicos e Aritméticos Prof. Fernando Maia da Mota [email protected] CPCX/UFMS Fernando Maia da Mota 1 Expressões Uma expressão relacional, ou
Matemática Discreta - 01
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 01 Prof. Jorge Cavalcanti [email protected] www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
#ConstruçãoDeTabelasVerdade
INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO RIO GRANDE DO NORTE CAMPUS SÃO GONÇALO DO AMARANTE Fundamentos de Lógica e Algoritmos #ConstruçãoDeTabelasVerdade Eliezio Soares [email protected]
Cálculo de Predicados
Cálculo de Predicados (Lógica da Primeira Ordem) Prof. Tiago Semprebom, Dr. Eng. Instituto Federal de Educação, Ciência e Tecnologia Santa Catarina - Campus São José [email protected] 18 de maio de 2013
Cronologia de Paulo At 7.58 Paulo é chamado de jovem no apedrejamento de Estevão. Estima-se que tivesse 20 anos. At 9.1-25 Fica em Damasco muitos dias depois de convertido. Gálatas 1.17 Paulo vai para
Lógica Proposicional (cont.)
Lógica Proposicional (cont.) Conectivos lógicos Conjunção (e: ^) Disjunção (ou: v) Negação (não : ~) Condicional (se...então: ) Bicondicional (se somente se: ) 1 Negação de um proposição composta Negar
HORÁRIO DE AULA Educação Infantil
HIGIENE HIGIENE HIGIENE HIGIENE HIGIENE HIGIENE HIGIENE HIGIENE HIGIENE HIGIENE MÚSICA MÚSICA HIGIENE HIGIENE HIGIENE HIGIENE HIGIENE MÚSICA HIGIENE HIGIENE HIGIENE HIGIENE HIGIENE MÚSICA HIGIENE HIGIENE
Prof. Jorge Cavalcanti
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 01 Prof. Jorge Cavalcanti [email protected] www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
Aula 1: Introdução ao curso
Aula 1: Introdução ao curso MCTA027-17 - Teoria dos Grafos Profa. Carla Negri Lintzmayer [email protected] Centro de Matemática, Computação e Cognição Universidade Federal do ABC 1 Grafos Grafos
n. 3 Construção de Tabelas-Verdade
n. 3 Construção de Tabelas-Verdade Dadas várias proposições simples: p, q, r, s,..., podemos combiná-las pelos conectivos lógicos: Negação (~) ou ( ) Conjunção ( ) Disjunção ( ) Condicional ( ) Bicondicional
Programa. Raciocínio Lógico Matemático. Livros. Provas
Programa Raciocínio Lógico Matemático Prof. RANILDO Introdução à lógica. Lógica proposicional Argumento Tabela-verdade Tautologias, Contradições e Contingências Operações lógicas Livros Introdução à Lógica
Estudo Resumido sobre a Bíblia sagrada.
Estudo Resumido sobre a Bíblia sagrada. Introdução - É muito importante estudarmos a Bíblia Sagrada, pois ela nos revela a vontade de DEUS e nos ensina a viver essa vontade de forma que através dela nos
Aula 3 Lógica Matemática
UNIP Ciência da Computação Prof. Gerson Pastre de Oliveira 1 Aula 3 Lógica Matemática Construção de tabelas-verdade 1) Proposições compostas e tabelas-verdade Várias proposições simples podem ser combinadas
Introdução à Lógica Proposicional Sintaxe e Semântica
Bacharelado em Ciência e Tecnologia BC&T Introdução à Lógica Proposicional Sintaxe e Semântica SINTAXE E SEMÂNTICA Prof a Maria das Graças Marietto [email protected] 2 LINGUAGEM SIMBÓLICA: COMPONENTES
Gestão Empresarial Prof. Ânderson Vieira
NOÇÕES DE LÓGICA Gestão Empresarial Prof. Ânderson ieira A maioria do texto apresentado neste arquivo é do livro Fundamentos de Matemática Elementar, ol. 1, Gelson Iezzi e Carlos Murakami (eja [1]). Algumas
Lógica Proposicional Sintaxe
Lógica Proposicional Sintaxe José Gustavo de Souza Paiva Lógica Proposicional Forma mais simples da lógica Fatos do mundo real representados por sentenças sem argumento proposições Proposição Sentença
Aprendendo. Raciocínio. Lógico
Aprendendo Raciocínio Lógico Raciocínio Lógico Equivalência de Proposições Compostas Duas proposições são consideradas EQUIVALENTES entre si, quando elas transmitem a mesma ideia. De forma prática, dizemos
01/02/2016 LÓGICA MATEMÁTICA. Conectivos lógicos e tabela verdade. Os conectivos lógicos são utilizados para formar novas preposições.
LÓGICA MATEMÁTICA Prof Esp Fabiano Taguchi fabianotaguchi@gmailcom http://fabianotaguchiwordpresscom Conectivos lógicos e tabela verdade CONECTIVOS LÓGICOS Os conectivos lógicos são utilizados para formar
Aula 1 Teoria com resolução de questões FGV
Aula 1 Teoria com resolução de questões FGV AULA 01 Olá futuro servidor do TRT 12, Meu nome é Fabio Paredes, sou professor de Raciocínio Lógico Matemático e terei o prazer de ajudá-los nesta árdua missão
FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 2
FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 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,
Algoritmia e Programação APROG. Algoritmia 1. Lógica Proposicional (Noções Básicas) Nelson Freire (ISEP DEI-APROG 2013/14) 1/12
APROG Algoritmia e Programação Algoritmia 1 Lógica (Noções Básicas) Nelson Freire (ISEP DEI-APROG 2013/14) 1/12 Sumário Lógica Qual é o interesse para a algoritmia? O que é? Cálculo (Noções Básicas) Operações
Fundamentos 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
Linguagem C/C++ Estrutura Condicional. Prof: Rosemary Melo
Linguagem C/C++ Estrutura Condicional Prof: Rosemary Melo Estrutura Condicional if... (simples) Sintaxe (como o comando deve ser escrito): if (condição) comando; ou, no caso de mais de um comando: if (condição)
Atençã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
3 AULA. Valorações e Tabelas de Verdade LIVRO. META: Apresentar tabelas de verdade para classificar proposições lógicas.
1 LIVRO Valorações e Tabelas de Verdade META: Apresentar tabelas de verdade para classificar proposições lógicas. OBJETIVOS: Ao fim da aula os alunos deverão ser capazes de: Aplicar valorações de um conjunto
Matemá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
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
Referências e materiais complementares desse tópico
Notas de aula: Análise de Algoritmos Centro de Matemática, Computação e Cognição Universidade Federal do ABC Profa. Carla Negri Lintzmayer Conceitos matemáticos e técnicas de prova (Última atualização:
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
Fundamentos da Computação 1. Carmen Cecilia Centeno
Fundamentos da Computação 1 Carmen Cecilia Centeno Aula 05 Sobre o curso de Ciência da Computação - lembretes. Plano de Ensino. Introdução à Lógica. Definição da Sintaxe. Traduzindo Sentenças Definição
LÓ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:
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,
Relações semânticas entre os conectivos da Lógica Proposicional(Capítulo 5)
Relações semânticas entre os conectivos da Lógica Proposicional(Capítulo 5) LÓGICA APLICADA A COMPUTAÇÃO Professor: Rosalvo Ferreira de Oliveira Neto Estrutura 1. Conjunto de conectivos completo 2. na
01/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.
Ló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
n. 5 Implicações Lógicas Def.: Diz-se que uma proposição P (p, q, r, ) implica V V V V F F F V V F F V
n. 5 Implicações Lógicas A implicação lógica trata de um conjunto de afirmações, proposições simples ou compostas, cujo encadeamento lógico resultará em uma conclusão, a ser descoberta. Tal conclusão deverá
Lógica Computacional
Aula Teórica 2: Sintaxe da Lógica Proposicional António Ravara Simão Melo de Sousa Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa Departamento de Informática,
