Matemática Computacional

Documentos relacionados
Campos Sales (CE),

Prof.ª Dr.ª Donizete Ritter. Introdução ao Cálculo Proposicional

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

Não sou o melhor, sei disso, mas faço o melhor que posso!! RANILDO LOPES

Fundamentos de Lógica e Algoritmos. Aula 1.3 Proposições e Conectivos. Prof. Dr. Bruno Moreno

INSTITUTO FEDERAL FARROUPILHA CÂMPUS ALEGRETE

Lóg L ica M ca at M em e ática PROF.. J EAN 1

Lógica Proposicional Parte I. Raquel de Souza Francisco Bravo 11 de outubro de 2016

LÓGICA PROPOSICIONAL

Lógica Matemática UNIDADE I. Professora: M.Sc. Juciara do Nascimento César

Iniciação a Lógica Matemática

Prof. João Giardulli. Unidade I LÓGICA

OFICINA DA PESQUISA DISCIPLINA: LÓGICA MATEMÁTICA E COMPUTACIONAL. APOSTILA 4 Construção de Tabelas-Verdade

Lógica Matemática. Prof. Gerson Pastre de Oliveira

Lógica. Professor Mauro Cesar Scheer

Gestão Empresarial Prof. Ânderson Vieira

Álgebra das Proposições. Prof. Guilherme Tomaschewski Netto

Lógica. Cálculo Proposicional. Introdução

Ao utilizarmos os dados do problema para chegarmos a uma conclusão, estamos usando o raciocínio lógico.

Proposições. Belo Horizonte é uma cidade do sul do Brasil = 4. A Terra gira em torno de si mesma. 5 < 3

RACIOCÍNIO LÓGICO PROPOSIÇÕES LÓGICAS

Aula 04 Operações Lógicas sobre Proposições. Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes

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.

Lógica e Matemática Discreta

LÓGICA APLICADA A COMPUTAÇÃO

Matemática Régis Cortes. Lógica matemática

MATEMÁTICA Questões comentadas Daniela Arboite

Atenção: Esse conectivo transmite a ideia de e / ou e não apenas a de exclusão como muitas pessoas imaginam.

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.

3 Cálculo Proposicional

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

Introdução a computação

Cálculo proposicional

Lógica Formal. Matemática Discreta. Prof Marcelo Maraschin de Souza

Matemática Computacional

Introdução à Programação I

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

LÓGICA MATEMÁTICA PROPOSIÇÕES SIMPLES E Autora: Prof. Dra. Denise Candal

Proposições e Conectivos

RLM Material de Apoio Professor Jhoni Zini

Alfabeto da Lógica Proposicional

Introdução à Logica Computacional. Aula: Lógica Proposicional - Sintaxe e Representação

18/01/2016 LÓGICA MATEMÁTICA. Lógica é usada para guiar nossos pensamentos ou ações na busca da solução. LÓGICA

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

Sistemas Inteligentes

UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO CENTRO DE CIÊNCIAS AGRÁRIAS CCA/ UFES Departamento de Engenharia Rural. Lista de exercícios 1

Operações Lógicas sobre Proposições

UNIP Ciência da Computação Prof. Gerson Pastre de Oliveira

Introdução à Lógica Matemática

Exercícios e Respostas Lógica Matemática Prof. Jacson Rodrigues

CASA TRIBUNAIS RACIOCÍNIO LÓGICO

MATEMÁTICA DISCRETA CÁLCULO PROPOSICIONAL PROFESSOR WALTER PAULETTE FATEC SP

PROPOSIÇÕES - VERDADEIRO

1 TEORIA DOS CONJUNTOS

Lógica proposicional

Unidade II. A notação de que a proposição P (p, q, r,...) implica a proposição Q (p, q, r,...) por:

Raciocínio Lógico e Matemático - Unidade 2: Introdução à Lógica

Tutoria Matemática para Informática Teoria geral dos conjuntos Pertinência Inclusão Operações com conjuntos

Métodos para a construção de algoritmo

SMA Elementos de Matemática Notas de Aulas

CAPÍTULO I. Lógica Proposicional

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

INF 1771 Inteligência Artificial

LÓGICA COMPUTACIONAL. Prof. André Aparecido da Silva Disponível em:

Lógica para computação

RACIOCÍNIO LÓGICO LÓGICA PROPOSICIONAL

Matemática Discreta - 01

Noções de lógica matemática Conceitos Básicos

FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 3

NHI Lógica Básica (Lógica Clássica de Primeira Ordem)

Prof. Jorge Cavalcanti

Matemática para controle:

Simulado Aula 01 CEF RACIOCÍNIO LÓGICO. Prof. Fabrício Biazotto

Teste de Matemática A 2015 / 2016

MD Lógica de Proposições Quantificadas Cálculo de Predicados 1

Universidade Federal Rural de Pernambuco Departamento de Matemática Disciplina: Elementos de Lógica Matemática Prof a Yane Lísley

Raciocínio lógico matemático: proposições, conectivos, equivalência e implicação lógica, argumentos válidos. PART 01

LÓGICA PROPOSICIONAL

Tema I Introdução à lógica bivalente e à teoria de conjuntos

Aprendendo. Raciocínio. Lógico

Lógica Matemática e Computacional. 2.3 Equivalência Lógica

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

Enunciados Atômicos, Conectivos e Enunciados Moleculares

Prof. Tiago Semprebom, Dr. Eng. 09 de abril de 2013

Fundamentos da Computação 1. Aula 03

Lógica. Fernando Fontes. Universidade do Minho. Fernando Fontes (Universidade do Minho) Lógica 1 / 65

Cálculo proposicional

Raciocínio Lógico Matemático Cap. 2 Lógica Matemática

Departamento de Engenharia Informática da Universidade de Coimbra

LÓGICA PROPOSICIONAL

Introdução à Logica Computacional. Aula: Lógica Proposicional -Sintaxe e Representação

FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 4

Aula 3 Lógica Matemática

8. Expressões lógicas

INF 1771 Inteligência Artificial

Unidade I LÓGICA. Profa. Adriane Paulieli Colossetti

Lógica de Programação

MDI0001 Matemática Discreta Aula 01

Transcrição:

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+: http://goo.gl/rtfdhn

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

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.

Proposição

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

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)

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.

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.

Proposição Por virtude do princípio anterior diz-se que a Lógica Matemática é uma lógica bivalente.

Proposição

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

Classificação das Proposições As proposições podem ser classificadas em simples (ou atômicas) e compostas (ou moleculares)

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.

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.

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,.)

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

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 2008. 3. Q: O número 6 é par e o número 8 é cubo perfeito. 4. R: O programa é bom ou a internet é lenta.

Conectivos

Representações

Operações: Negação

Operações: conjunção

Operações: disjunção

Operações: disjunção

Operações: disjunção

Operações: condicional

Operações: bicondicional

Prioridades

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

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

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.

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)

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

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)

Tautologias

Contradições

Indeterminação

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)

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

Implicações Lógicas

Equivalência Lógica

Equivalência Lógica

Equivalência Lógica

Equivalência Lógica

Equivalência Lógica

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

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

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.

Bibliografia