Matemática Computacional
|
|
|
- Heloísa Câmara Cavalheiro
- 7 Há anos
- Visualizações:
Transcrição
1 Matemática Computacional SLIDE 1I Professor Júlio Cesar da Silva site: facebook: Google+:
2 Introdução a lógica Lógicas clássicas e Não Clássicas Dois são os métodos principais para se tratar de um sistema lógico: 1. Linguístico 2. Algébrico
3 Introdução a lógica Lógicas clássicas e Não Clássicas Do prisma linguístico, uma lógica (ou sistema lógico) é uma classe de técnicas que nos permitem derivar novas proposições de conjuntos dados de proposições. Por meio de uma lógica, podemos efetuar inferências e edificar teorias. Com auxílio da lógica obtêm-se conclusões de dadas premissas e, ademais, pode-se deduzir consequências dos princípios básicos que definem uma ciência. Hoje, existem infinitas lógicas possíveis.
4 Proposição
5 Elementos da Linguagem FRASE é o elemento de comunicação que relaciona palavras entre si de modo a estabelecer uma mensagem com sentido completo: Declarativa: O sol é uma estrela Imperativa: Não faça isto! Interrogativa: Onde você mora? Exclamativa: Parabéns!!!
6 Elementos da Linguagem PROPOSIÇÃO é uma frase declarativa a qual pode ser atribuído, sem ambiguidade, um dos valores lógicos: Verdadeiro (V) ou Falso (F). Exemplos: O Japão fica na África O Brasil não é uma ilha 3+4=7 Não são preposições: 3+4 (não tem predicado) onde você vai? (interrogativa)
7 Elementos da Linguagem Proposições simples serão representadas por letras minúsculas do nosso alfabeto: p: O México fica na América do Norte q: O número 16 é primo.
8 Proposição A lógica matemática adota como regras fundamentais do pensamento os dois seguintes princípios: 1. Princípio da não contradição: Uma proposição não pode ser simultaneamente verdadeira (V) e falsa (F). 2. Princípio do terceiro excluído: Toda preposição ou só é verdadeira (V) ou só é falsa (F). Logo, toda preposição admite um e um só dos valores V e F.
9 Proposição Por virtude do princípio anterior diz-se que a Lógica Matemática é uma lógica bivalente.
10 Proposição
11 Exercícios Verifique se os exemplos abaixo são proposições e se forem qual o seu valor lógico: A. A copa do mundo em 2014 será realizada na Alemanha. B. 3-5 C. 32 = 9 D. 3,5 > 2,9
12 Classificação das Proposições As proposições podem ser classificadas em simples (ou atômicas) e compostas (ou moleculares)
13 Classificação das Proposições Proposições Simples - definição: Chama-se proposições simples ou proposição atômica aquela que não contém nenhuma outra proposição como parte de si mesma. As proposições simples são designadas com letras minúsculas (p, q, r, s) chamadas de letras proporcionais. Exemplo: p: Carlos é aluno do Pitagoras. r: O número 25 é quadrado perfeito.
14 Classificação das Proposições Proposição composta - definição: Chama-se proposição composta ou proposição molecular aquela formada pela combinação de duas ou mais proposições. As proposições compostas são designadas por letras maiúsculas (P,Q,R) também chamadas de letras proporcionais. Exemplo: P: Carlos é aluno e Julio é professor Q: Dois é um numero par e três é um numero impar.
15 Classificação das Proposições As proposições compostas também são chamadas de fórmulas preposicionais ou apenas fórmulas. Em alguns casos pode-se também dizer que uma proposição composta P é formada pelas proposições simples p, q, r, escrevese desta forma: P(p,q,r,.)
16 Conectivos Chama-se de conectivos, palavras que usadas para formar novas proposições a partir de outras. Conectivos usuais: Exemplos: e, ou, não, se...então,...se e somente se P: O número 6 é par e o número 8 é cubo perfeito. 2. Q: O triângulo ABC é retângulo ou é isóceles. 3. r: Não está chovendo. 4. S: Se Jorge é engenheiro, então sabe Matemática. 5. T: O triângulo ABC é equilátero se e somente se é equiângulo.
17 Exercícios Classifique as proposições como simples ou compostas, justifique a sua resposta indicando o conectivo: 1. p: Pedro é estudante. 2. q: A Beija-Flor foi a escola de samba campeã no carnaval do Rio em Q: O número 6 é par e o número 8 é cubo perfeito. 4. R: O programa é bom ou a internet é lenta.
18 Conectivos
19 Representações
20 Operações: Negação
21 Operações: conjunção
22 Operações: disjunção
23 Operações: disjunção
24 Operações: disjunção
25 Operações: condicional
26 Operações: bicondicional
27 Prioridades
28 Valor Lógico Valor lógico de uma proposição composta Dada uma proposição composta P(p,q,r), pode-se sempre determinar o seu valor lógico (V ou F) quando são dados ou conhecidos os valores lógicos respectivos das proposições p,q,r Sendo p = V e q = F determine: P(p,q) = ~(p q) ~p ~q ~(V F) ~(V) ~(F) ~(V) F V F F V
29 Resolução de Tabelas-Verdade Exemplificação P(p,q) = ~(p ~q) ou P = ~(p ~q) Numero de proposições simples: 2 Numero de linhas da tabela: 2 2 = 4 p q ~q p ~q ~(p ~q) V V F F V V F V V F F V F F V F F V F V
30 Exercícios Construa a notação e a tabela verdade para as seguintes proposições: 1. p 2. A casa é azul. 3. Ronaldo ganhou um carro e viajou para londres. 4. Se a figura é um quadrado então possui 4 lados e 4 ângulos. 5. Ela gosta de matematica se e somente se for fácil.
31 Exercícios Sendo p = A capital do Brasil é São Paulo e q = 2+4 > 5, determine os valores lógicos das seguintes proposições: A. Q = p q B. R = p q C. S = q p D. U = ~(q p) E. O = ~q (p q) F. Z = ~q ~(q q)
32 Exercícios Determinar o valor lógico (V ou F) de cada uma das seguintes proposições: A. Roma é a capital do Brasil ou 2+3 = 6 B. 13 é um número primo e 4 x 3 = 12 C. -2 >0 2 é primo D. p q para p = V e q = F E. p ~q para p = F e q = V F. ~p q para p = V e q = V
33 Exercícios Exercícios - Determine as tabelas-verdade A. P(p,q) = ~(p q) B. P(p,q) = ~(q p) C. P(p,q) = ~(p q) ~(q p) D. P(p,q) = ~(p q) ~(q p) E. P(p,q) = (p q) (q p) F. P(p,q) = ~(p q) ~(q p)
34 Tautologias
35 Contradições
36 Indeterminação
37 Exercícios Ve r i fi q u e s e a s s e g u i n t e s proposições lógicas são Tautologias, Contradições ou Indeterminações: A. p ~(p ~q) B. p (q ~q) p C. (p q) ~(p q) D. p q (p q r)
38 Exercícios Sabendo que as proposições x = 0 é falsa e que a proposição y = z é verdadeira. Determine o valor lógico da proposição composta: A. Q: (x 0) v (x y) y z B. R: (x = 0) v (x y) y = z
39 Implicações Lógicas
40 Equivalência Lógica
41 Equivalência Lógica
42 Equivalência Lógica
43 Equivalência Lógica
44 Equivalência Lógica
45
46 Exercícios Exercícios - Mostrar que: A. q p q B. q p q p C. (x=y x<4) x 4 x=y Exercícios - Verifique a implicação na condicional abaixo: D. (x 0 x=y) x y x=0
47 Exercícios Demonstrar por tabelas-verdades as seguintes equivalências: A. p (p q) p B. p (p q) p C. p p q p q D. q p q p q E. (p q) r p ~r ~q
48 Exercícios Qual a negação das frases abaixo? A. Frederico é inteligente e sabe nadar. B. Bruno comprou um carro ou investiu na bolsa de valores. C. É medico e professor. D. Rosas são vermelhas ou violetas não são azuis.
49 Bibliografia
Campos 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:
CCAE. 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
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
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
INSTITUTO 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.
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
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.
LÓ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
Lógica Matemática UNIDADE I. Professora: M.Sc. Juciara do Nascimento César
Lógica Matemática UNIDADE I Professora: M.Sc. Juciara do Nascimento César 1 A Lógica na Cultura Helênica A Lógica foi considerada na cultura clássica e medieval como um instrumento indispensável ao pensamento
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
Prof. João Giardulli. Unidade I LÓGICA
Prof. João Giardulli Unidade I LÓGICA Introdução A primeira qualidade do estilo é a clareza. Aristóteles Introdução Aristóteles é considerado o precursor da lógica. Aristóteles (384-322 a.c.) Introdução
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;
Ló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
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
Á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
Ló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
Ao 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
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
RACIOCÍ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
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
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
Lógica e Matemática Discreta
Lógica e Matemática Discreta Proposições Prof clezio 20 de Março de 2018 Curso de Ciência da Computação Proposições e Conectivos Conceito de proposição Definição: Chama-se proposição a todo conjunto de
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
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
MATEMÁ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
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
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
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
Anotações LÓGICA PROPOSICIONAL DEFEITOS DO RACIOCÍNIO HUMANO PROPOSIÇÕES RICARDO ALEXANDRE - CURSOS ON-LINE RACIOCÍNIO LÓGICO AULA 01 DEFINIÇÃO
RACIOCÍNIO LÓGICO AULA 01 LÓGICA PROPOSICIONAL DEFINIÇÃO A Lógica estuda o pensamento como ele deveria ser, sem a influência de erros ou falácias. As falácias em torno do raciocínio humano se devem a atalhos
Introdução a computação
Introdução a computação 0 Curso Superior de Tecnologia em Gestão da Tecnologia da Informação Coordenador: Emerson dos Santos Paduan Autor(a): Daniel Gomes Ferrari São Paulo - 2016 1 Sumário 1. Lógica Matemática...
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
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
Matemática Computacional
Matemática Computacional SLIDE V Professor Júlio Cesar da Silva [email protected] site: http://eloquium.com.br/ twitter: @profjuliocsilva facebook: https://www.facebook.com/paginaeloquium Google+:
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
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/53 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional
LÓGICA MATEMÁTICA PROPOSIÇÕES SIMPLES E Autora: Prof. Dra. Denise Candal
LÓGICA MATEMÁTICA PROPOSIÇÕES SIMPLES E COMPOSTAS Rafael D. Ribeiro, M.Sc. [email protected] htt://www.rafaeldiasribeiro.com.br Autora: Prof. Dra. Denise Candal 1 Definição: Chama-se roosição
Proposiçõ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: [email protected]
RLM Material de Apoio Professor Jhoni Zini
PRINCÍPIOS LÓGICOS 1. Segundo a lógica aristotélica, as proposições têm como uma de suas propriedades básicas poderem ser verdadeiras ou falsas, isto é, terem um valor de verdade. Assim sendo, a oração
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
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
18/01/2016 LÓGICA MATEMÁTICA. Lógica é usada para guiar nossos pensamentos ou ações na busca da solução. LÓGICA
LÓGICA MATEMÁTICA Prof. Esp. Fabiano Taguchi [email protected] http://fabianotaguchi.wordpress.com Lógica é usada para guiar nossos pensamentos ou ações na busca da solução. LÓGICA A lógica está
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
Í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
UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO CENTRO DE CIÊNCIAS AGRÁRIAS CCA/ UFES Departamento de Engenharia Rural. Lista de exercícios 1
UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO CENTRO DE CIÊNCIAS AGRÁRIAS CCA/ UFES Departamento de Engenharia Rural Disciplina: Lógica Computacional I Professora: Juliana Pinheiro Campos Data: 25/08/2011 Lista
Operaçõ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: [email protected]
UNIP 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
Introduçã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
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
CASA TRIBUNAIS RACIOCÍNIO LÓGICO
CASA TRIBUNAIS RACIOCÍNIO LÓGICO Proposição Prof. Bruno Villar www.acasadoconcurseiro.com.br Raciocínio Lógico PROPOSIÇÃO TEMA: PROPOSIÇÃO A proposição lógica é o alicerce na construção do conhecimento
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
PROPOSIÇÕES - VERDADEIRO
PROPOSIÇÕES Definição: Chama-se de proposição todo conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo, declarativa (afirmativa) que admite um e somente um dos dois valores
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,
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),
Unidade II. A notação de que a proposição P (p, q, r,...) implica a proposição Q (p, q, r,...) por:
LÓGICA Objetivos Apresentar regras e estruturas adicionais sobre o uso de proposições. Conceituar implicação lógica, tautologias, e as propriedade sobre proposições. Apresentar os fundamentos da dedução,
Raciocínio Lógico e Matemático - Unidade 2: Introdução à Lógica
Raciocínio lógico e matemático Unidade 2: Introdução à lógica Prof. Me. Diego Fernandes Emiliano Silva [email protected] http://diegofernandes.weebly.com Seção 2.1 O QUE É LÓGICA? 1 2 http://diego.fernandes.weebly.com
Tutoria 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
Métodos para a construção de algoritmo
Métodos para a construção de algoritmo Compreender o problema Identificar os dados de entrada e objetos desse cenário-problema Definir o processamento Identificar/definir os dados de saída Construir o
SMA 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
CAPÍTULO I. Lógica Proposicional
Lógica Proposicional CAPÍTULO I Lógica Proposicional Sumário: 1. Lógica proposicional 2. Proposição 2.1. Negação da proposição 2.2. Dupla negação 2.3. Proposição simples e composta 3. Princípios 4. Classificaçã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
LÓGICA COMPUTACIONAL. Prof. André Aparecido da Silva Disponível em:
LÓGICA COMPUTACIONAL Prof. André Aparecido da Silva Disponível em: http://www.oxnar.com.br/aulas/logica 1 CODIFICAÇÃO DA CONJECURA DE COLLATZ QUE FALEI NA AULA PASSADA. 2 3 4 A lógica é usada para guiar
RACIOCÍNIO LÓGICO LÓGICA PROPOSICIONAL
RACIOCÍNIO LÓGICO LÓGICA PROPOSICIONAL Atualizado em 12/11/2015 LÓGICA PROPOSICIONAL Lógica é a ciência que estuda as leis do pensamento e a arte de aplicá-las corretamente na investigação e demonstração
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
Noções de lógica matemática Conceitos Básicos
Conceitos Básicos CH f Noções de lógica matemática Conceitos Básicos CH 1 Conceitos Básicos - E CH CH f ^ Noções de lógica matemática Conceitos Básicos - E CH CH ^ 2 Conceitos Básicos - OU CH CH f Noções
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,
NHI Lógica Básica (Lógica Clássica de Primeira Ordem)
NHI2049-13 (Lógica Clássica de Primeira Ordem) página da disciplina na web: http://professor.ufabc.edu.br/~jair.donadelli/logica O assunto O que é lógica? Disciplina que se ocupa do estudo sistemático
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
Matemá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 [email protected] http://www.nacad.ufrj.br/ amit Introdução
Simulado Aula 01 CEF RACIOCÍNIO LÓGICO. Prof. Fabrício Biazotto
Simulado Aula 01 CEF RACIOCÍNIO LÓGICO Prof. Fabrício Biazotto Raciocínio Lógico 1. As proposições P, Q e R a seguir referem-se a um ilícito penal envolvendo João, Carlos, Paulo e Maria: P: João e Carlos
Teste de Matemática A 2015 / 2016
Teste de Matemática A 2015 / 2016 Teste N.º 1 Matemática A Duração do Teste: 90 minutos 10.º Ano de Escolaridade Nome do aluno: Turma: Grupo I Os cinco itens deste grupo são de escolha múltipla. Em cada
MD 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 [email protected] http://www.dcc.ufmg.br/~loureiro MD Lógica de Proposições Quantificadas Cálculo de Predicados
Universidade Federal Rural de Pernambuco Departamento de Matemática Disciplina: Elementos de Lógica Matemática Prof a Yane Lísley
Universidade Federal Rural de Pernambuco Departamento de Matemática Disciplina: Elementos de Lógica Matemática Prof a Yane Lísley 1 a Lista de Exercícios 1. Determinar o valor lógico (V ou F) de cada uma
Raciocí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
LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL NOÇÕES PRELIMINARES A proposição lógica é alicerce da construção do conhecimento da lógica proposicional. Para entendermos o conceito de proposição logica é necessário ter uma noção
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)
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
Lógica Matemática e Computacional. 2.3 Equivalência Lógica
Lógica Matemática e Computacional 2.3 Equivalência Lógica Equivalência Lógica Definição: Dadas as proposições compostas P e Q, diz-se que ocorre uma equivalência lógica entre P e Q quando suas tabelas-verdade
LÓGICA MATEMÁTICA. Quando a precedência não estiver explicitada através de parênteses, a ordem é a seguinte: RELEMBRANDO 23/02/2016
LÓGICA MATEMÁTICA Prof. Esp. Fabiano Taguchi [email protected] http://fabianotaguchi.wordpress.com RELEMBRANDO Quando a precedência não estiver explicitada através de parênteses, a ordem é a seguinte:
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. 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
Ló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
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
Raciocínio Lógico Matemático Cap. 2 Lógica Matemática
Raciocínio Lógico Matemático Cap. 2 Lógica Matemática Capítulo2 1. Lógica Matemática No primeiro capítulo, discutimos uma série de conceitos atrelados à lógica de uma forma geral, mas de forma tendenciosa
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
LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL Proposições frases AFIRMATIVAS que aceitam julgamento: Verdadeiro - Acontece Falso - Não acontece Há frases que não aceitam valorações lógicas Verdadeiro/Falso Exemplos: 1) Interrogativas:
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
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,
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
8. Expressões lógicas
8. Expressões lógicas DIM0320 2015.1 DIM0320 8. Expressões lógicas 2015.1 1 / 27 Sumário 1 Lógica proposicional 2 Proposições compostas 3 Expressões lógicas em Portugol 4 Condições compostas 5 Exercícios
INF 1771 Inteligência Artificial
INF 1771 Inteligência Artificial Aula 07 Agentes Lógicos Edirlei Soares de Lima Introdução Humanos possuem conhecimento e raciocinam sobre este conhecimento. Exemplo: João jogou
Unidade I LÓGICA. Profa. Adriane Paulieli Colossetti
Unidade I LÓGICA Profa. Adriane Paulieli Colossetti O que é lógica A lógica ensina a colocar ordem no pensamento. Sistemas Dicotônicos Proposições: São sentenças declarativas, que satisfazem três princípios
Lógica de Programação
Lógica de Programação Autor: Jusdewbe Tatiane de Souza Mora 1 Introdução: LÓGICA O estudo da Lógica, é o estudo dos métodos e princípios usados para distinguir o raciocínio correto do incorreto. Esta definição
