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

Tamanho: px
Começar a partir da página:

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

Transcrição

1 Proposições Lógicas

2 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 fatos que podem ser verdadeiros ou falsos. Exemplos: Belo Horizonte é uma cidade do sul do Brasil = 4. A Terra gira em torno de si mesma. 5 < 3

3 Princípios da Lógica Matemática A Lógica matemática adota dois princípios como regras fundamentais do raciocínio: Princípio da não-contradição: Uma proposição não pode ser verdadeira e falsa ao mesmo tempo (paradoxos). Princípio do terceiro excluído Toda proposição ou é verdadeira ou é falsa, isto é, verifica-se sempre um destes casos e nunca algum terceiro. (Não nos interessam frases mais ou menos certas.)

4 Valores Lógicos Atribuiremos a todas as proposições um valor lógico. Utilizaremos os valores lógicos Verdadeiro (Verdade) para proposições verdadeiras e Falso (Falsidade) para proposições falsas. Representaremos estes valores pelas letras V e F.

5 Exercício Quais das frases abaixo são proposições? Atribua o valor verdade (quando possível): Pague suas contas em dia. 50 < 10. Prevenir é melhor que remediar. Por que prevenir é melhor que remediar? Como vai você? Há vida em Europa, uma das luas de Júpiter. Existem mulheres ruivas e existem homens altos. Existe vida em Marte?

6 Proposições Simples e Compostas Proposições podem ser simples ou compostas. Proposições simples (ou atômicas) são aquelas que não contêm outras proposições dentro de si: p: Saturno tem anéis. q: A Terra é um planeta. Proposições compostas (ou moleculares) são formadas por outras proposições: P: Saturno tem anéis e a Terra é um planeta.

7 Conectivos Conectivos são as palavras usadas para formar novas proposições a partir de outras proposições: P: Saturno tem anéis e a Terra é um planeta. Q: A Terra gira em torno do Sol ou o Sol gira em torno da Terra. R: Não estamos na Europa. S: Se estamos em Belo Horizonte então estamos em Minas Gerais.

8 Tipos de Conectivos Negação: não (, ~, ) Conjunção: E (., ) Disjunção: OU (+, ) Implicação: se...então ( ) Equivalência: se e somente se ( )

9 Exercício Identifique as proposições simples e os conectivos nas seguintes proposições compostas: O número 7 é impar e o número 3 é um número primo. Mercúrio é o planeta mais quente do Sistema Solar e Plutão o mais frio. Não chove no verão.

10 Tabela Verdade Recurso utilizado para determinar todos os possíveis valores lógicos que uma proposição pode assumir. Contém todos os possíveis valores dos constituintes de uma proposição composta. Apresenta o valor lógico de cada combinação dos valores de seus constituintes (proposições simples). O valor lógico de qualquer proposição composta depende unicamente dos valores lógicos das proposições simples componentes.

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

12 Lógica proposicional Quando pensamos, normalmente efetuamos operações sobre proposições. Tais operações são chamadas operações lógicas e são regidas pelo cálculo proposicional. É semelhante ao cálculo aritmético sobre números, no entanto os operandos são as proposições e os operadores são os conectivos. Estudaremos as operações lógicas fundamentais em função dos conectivos vistos.

13 Negação (NÃO) Se p for igual a V, então p é igual a F. Se p for igual a F, então p é igual a V. Exemplo: p: O sol é uma estrela. p = V p : O sol não é uma estrela p = F p p V F F V

14 Conjunção (E) Se p e q forem iguais a V, então p. q é igual a V. Caso contrário, p. q é igual a F. Exemplo: p: O sol é uma estrela. q: Júpiter é um planeta. r: Saturno é o maior planeta do Sistema Solar. p. q: O sol é uma estrela e Júpiter é um planeta. p. r: O sol é uma estrela e Saturno é o maior planeta do Sistema Solar. p q. V V V V F F F V F F F F

15 Disjunção (OU) Se p ou q forem iguais a V, então p + q é igual a V. Caso contrário, p + q é igual a F. Exemplo: p: O sol é uma estrela. q: Júpiter é um planeta. r: Saturno é o maior planeta do Sistema Solar. p + q: O sol é uma estrela ou Júpiter é um planeta. p + r: O sol é uma estrela ou Saturno é o maior planeta do Sistema Solar. p q + V V V V F V F V V F F F

16 Disjunção Exclusiva (outro sentido de OU) Se ou p ou q (mas não ambos) forem iguais, então p q é igual a V. Caso contrário, p q é igual a F. Exemplo: p: Mário é alagoano. q: Mário é pernambucano. p q: Mário ou é alagoano ou é pernambucano. p q V V F V F V F V V F F F

17 Implicação ou Condicional Se p for igual a V e q for igual a F, então p q é igual a F. Caso contrário, p q é igual a V. Exemplo: p: Concluo o curso no fim do ano. q: Vou viajar para o Rio de Janeiro. Q:Se eu concluir o curso no final do ano então vou viajar para o Rio de Janeiro. Se o mês de maio tem 31 dias então a Terra é plana. p q V V V V F F F V V F F V

18 Equivalência ou Bicondicional p q é igual a V somente se p e q forem iguais. Exemplo: p: O Sol é uma estrela. q: Júpiter é um planeta. R: O sol é uma estrela se e somente se Júpiter é um planeta. p q V V V V F F F V F F F V

19 Ordem de precedência dos conectivos Permite a identificação da forma da proposição composta, que corresponde sempre ao conectivo de maior precedência. Segue a ordem de conectivos apresentada abaixo: 1.Negação: não (,, ~) 2.Conjunção e Disjunção : E (.), OU (+) 3.Implicação ou condicional: se...então ( ) 4.Equivalência ou bicondicional: se e somente se ( ) p q r é da forma bicondicional.

20 Ordem de precedência dos conectivos Parênteses modificam a ordem de precedência dos conectivos. Em casos de ambiguidade, o uso de parênteses é fundamental: p. q + r é uma conjunção (.)... ou uma disjunção (+)???? (p. q) + r é diferente de p. (q + r )!!!

21 Ordem de precedência dos conectivos Exercícios: Classifique as proposições compostas abaixo, como conjunção, disjunção, condicional, bicondicional ou negação: 1.(p. q ) 2.p + (q. r ) 3.p. (q r) 4.p. q r 5.p q r 6.p (q r ) 7.(p q ) r

22 Tabelas-Verdade

23 Construção de Tabelas Verdade Para uma proposição composta, devemos construir a sua tabela verdade para saber em quais casos a proposição é verdadeira ou falso. Cada linha contém uma combinação dos valores V e F para todas as proposições simples que a compõem (consideradas variáveis). Se a proposição composta contém n variáveis, então o número de linhas da tabela-verdade será igual a 2 n. Usa-se sempre a tabela verdade de cada conectivo visto.

24 Construção de Tabelas Verdade Exemplo: p. ~(p.q) p q p.q (p.q) p. (p.q) V V F F V F V F

25 Exemplos Construir a tabela verdade para as seguintes proposições: P(a,b) = a. b P(a,b) = (a + b) P(a,b) = (a b) a P(a,b) = (a + ~b) (a + b) P(a,b) = (a b) (a + b)

26 Construção de Tabelas Verdade Valor Lógico de uma proposição composta: P(p,q) = (p + q) p. q V(p) = F; V(q) = V Ordem de precedência : (1) ; (2)., + ; (3) ; (4) Uso de parêntesis (p. q) + r p. (q + r) V(p) = F; V(q) = F; V(r) = V

27 Álgebra de Proposições

28 Motivação A Linguagem natural permite expressar a mesma idéia de várias maneiras... e na lógica matemática também; Na lógica o significado de uma proposição depende dos seus símbolos (proposições e conectivos),ou seja, da sua tabela verdade. Duas proposições têm o mesmo significado somente se forem equivalentes logicamente, e neste caso, podemos usá-las indistintamente dentro de um mesmo contexto.

29 Álgebra das Proposições A álgebra das proposições reúne propriedades (regras) que retratam algumas equivalências lógicas Tais propriedades serão apresentadas nos seguintes grupos: Propriedades da Conjunção; Propriedades da Disjunção; Propriedades da Conjunção e da Disjunção; Propriedades da Implicação (Condicional); Propriedades da Equivalência (Bicondicional).

30 Propriedades da Conjunção Idempotente: p. p p Comutativa: p. q q. p Associativa: (p. q). r p. (q. r) Identidade: p. V p (elemento neutro) p. F F (elemento absorvente)

31 Propriedades da Disjunção Idempotente: p + p p Comutativa: p + q q + p Associativa: (p + q) + r p + (q + r) Identidade: p + F p (elemento neutro) p + V V (elemento absorvente)

32 Propriedades da Conjunção e da Disjunção Distributivas: p. (q + r) (p. q) + (p. r) p + (q. r) (p + q). (p + r) Absorção: p. (p + q) p p + (p. q) p Leis de DE MORGAN: (p. q) p + q (p + q) p. q

33 Implicação (Condicional ) Lei da Implicação (Implicação/Disjunção) p q p + q Negação da Implicação (p q) p. q Implicação e valores verdade F p V p V V p F p V p p

34 Equivalência (Bicondicional ) Lei da Equivalência (Equivalência/Implicação) p q (p q). (q p) Negação da Equivalência (p q) p q (p q) p q Equivalência e valores verdade: p V p p F p

35 Exercícios Aplique as seguintes propriedades nas seguintes proposições: Distributiva: s. (s + r) (p t) + (q. r) Absorção: (p + q). ((p + q) + s) Leis de DE MORGAN: (p. (p t) ) Lei da Implicação (Implicação/Disjunção) s. p q

36 Exercícios Simplificar as expressões abaixo: ((p. q) r) (p. q. r ) (p (q r)) (p. (p q )) (p (p q )). p. q

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

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

Leia mais

INSTITUTO FEDERAL FARROUPILHA CÂMPUS ALEGRETE

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.

Leia mais

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

Ló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 mais

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

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

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;

Leia mais

n. 3 Construção de Tabelas-Verdade

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

Leia mais

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.

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

Leia mais

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

Campos Sales (CE),

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:

Leia mais

Fundamentos de Lógica e Algoritmos

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 elieziosoares@ifrn.edu.br

Leia mais

LÓGICA PROPOSICIONAL

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

Leia mais

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. 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 fabianotaguchi@gmail.com http://fabianotaguchi.wordpress.com RELEMBRANDO Quando a precedência não estiver explicitada através de parênteses, a ordem é a seguinte:

Leia mais

MATEMÁTICA Questões comentadas Daniela Arboite

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

Leia mais

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

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

Leia mais

Lógica Computacional

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,

Leia mais

Lógica Computacional

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,

Leia mais

Introdução à Programação I

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

Leia mais

Lógica. Professor Mauro Cesar Scheer

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

Leia mais

Aula 3 Lógica Matemática

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

Leia mais

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

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

Leia mais

Matemática para Ciência de Computadores

Matemática para Ciência de Computadores Matemática para Ciência de Computadores 1 o Ano - LCC & ERSI Luís Antunes lfa@ncc.up.pt DCC-FCUP Complexidade 2002/03 1 Fundamentos de Lógica No nosso dia a dia, usamos todo o tipo de frases: Cinco é menor

Leia mais

Matemática Computacional

Matemá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 mais

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

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

Leia mais

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

OFICINA DA PESQUISA DISCIPLINA: LÓGICA MATEMÁTICA E COMPUTACIONAL. APOSTILA 4 Construção de Tabelas-Verdade OFICINA DA PESQUISA DISCIPLINA: LÓGICA MATEMÁTICA E COMPUTACIONAL APOSTILA 4 Construção de Tabelas-Verdade Autor do Conteúdo: Prof. Msc. Júlio Cesar da Silva juliocesar@eloquium.com.br Alterações eventuais

Leia mais

LÓGICA PROPOSICIONAL

LÓ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 mais

Fundamentos da Computação 1. Aula 03

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

Leia mais

Iniciação a Lógica Matemática

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

Leia mais

Aprendendo. Raciocínio. Lógico

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

Leia mais

Lógica Computacional

Lógica Computacional Aula Teórica 2: 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, Faculdade

Leia mais

Lógica e Matemática Discreta

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

Leia mais

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

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

Leia mais

Lógica Proposicional e Álgebra de Boole

Lógica Proposicional e Álgebra de Boole Lógica Proposicional e Álgebra de Boole A lógica proposicional remonta a Aristóteles, e teve como objectivo modelizar o raciocínio humano. Partindo de frases declarativas ( proposições), que podem ser

Leia mais

Lógica Proposicional (cont.)

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

Leia mais

LÓGICA PROPOSICIONAL

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:

Leia mais

DOUGLAS LÉO RACIOCÍNIO LÓGICO

DOUGLAS LÉO RACIOCÍNIO LÓGICO DOUGLAS LÉO RACIOCÍNIO LÓGICO 1 - (IBFC - AGERBA - ESPECIALISTA EM REGULAÇÃO - 2017) A negação da frase O Sol é uma estrela e a Lua é um satélite de acordo com a equivalência lógica proposicional, é dada

Leia mais

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

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

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

Leia mais

Algoritmia e Programação APROG. Algoritmia 1. Lógica Proposicional (Noções Básicas) Nelson Freire (ISEP DEI-APROG 2013/14) 1/12

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

Leia mais

RACIOCÍNIO LÓGICO LÓGICA PROPOSICIONAL

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

Leia mais

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

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

Leia mais

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

Leia mais

Proposições e Conectivos

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: jacsonrcsilva@gmail.com

Leia mais

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

Leia mais

Vimos que a todo o argumento corresponde uma estrutura. Por exemplo ao argumento. Se a Lua é cúbica, então os humanos voam.

Vimos 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 mais

Lógica proposicional

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

Leia mais

Cálculo proposicional

Cá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 mais

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

Prof.ª Dr.ª Donizete Ritter. Introdução ao Cálculo Proposicional Bacharelado em Sistemas de Informação Lógica Matemática Prof.ª Dr.ª Donizete Ritter Introdução ao Cálculo Proposicional 1 LÓGICA MATEMÁTICA - CONTEÚDO Definição de Termo e Proposição Valor Lógico Proposição

Leia mais

Cálculo proposicional

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

Leia mais

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

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

Leia mais

Introdução a computação

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

Leia mais

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

Lógica Matemática UNIDADE II. Professora: M. Sc. Juciara do Nascimento César Lógica Matemática UNIDADE II Professora: M. Sc. Juciara do Nascimento César 1 1 - Álgebra das Proposições 1.1 Propriedade da Conjunção Sejam p, q e r proposições simples quaisquer e sejam t e c proposições

Leia mais

. Um termo ou designação é uma expressão que nomeia ou designa um ente.. Uma proposição é toda a expressão p susceptível de ser verdadeira ou falsa.

. Um termo ou designação é uma expressão que nomeia ou designa um ente.. Uma proposição é toda a expressão p susceptível de ser verdadeira ou falsa. Tema 1 Lógica e Teoria dos Conjuntos 1. Proposições e valores lógicos. Um termo ou designação é uma expressão que nomeia ou designa um ente.. Uma proposição é toda a expressão p susceptível de ser verdadeira

Leia mais

3 Cálculo Proposicional

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

Leia mais

Proposta de teste de avaliação

Proposta de teste de avaliação Proposta de teste de avaliação Matemática A 10. O ANO DE ESCOLARIDADE Duração: 90 minutos Data: Grupo I Na resposta aos itens deste grupo, selecione a opção correta. Escreva, na folha de respostas, o número

Leia mais

Lógica formal. A) Sentenças I) Expressão II) Subdivisão 1. Aberta 2. Fechada III) Representação IV) Simbolização 1. Simples 2.

Lógica formal. A) Sentenças I) Expressão II) Subdivisão 1. Aberta 2. Fechada III) Representação IV) Simbolização 1. Simples 2. Lógica formal A) Sentenças I) Expressão II) Subdivisão 1. Aberta 2. Fechada III) Representação I) Simbolização 1. Simples 2. Composta B)Leis do pensamento I) Princípio da Identidade II) Principio do não-contraditório

Leia mais

Unidade I LÓGICA. Profa. Adriane Paulieli Colossetti

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

Leia mais

Proposições simples e compostas

Proposições simples e compostas Revisão Lógica Proposições simples e compostas Uma proposição é simples quando declara algo sem o uso de conectivos. Exemplos de proposições simples: p : O número 2 é primo. (V) q : 15 : 3 = 6 (F) r :

Leia mais

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

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

Leia mais

Matemática discreta e Lógica Matemática

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

Leia mais

Raciocínio lógico matemático

Raciocínio lógico matemático Raciocínio lógico matemático Unidade 2: Introdução à lógica Seção 2.3 Equivalências, contradições e tautologias 1 Proposições compostas Composta de duas ou mais proposições simples Tanto a primeira como

Leia mais

Introdução à Logica Computacional. Aula: Lógica Proposicional -Sintaxe e Representaçã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

Leia mais

Equivalências Lógicas. Aula 13

Equivalências Lógicas. Aula 13 Equivalências Lógicas Aula 13 Equivalências Lógicas Leis de De Morgan ~(p ^ q) ~p v ~q ~(p v q) ~p ^ ~q Propriedade da Dupla Negação ~(~p) p Propriedade da Condicional p q ~p v q Equivalências Propriedade

Leia mais

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

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,

Leia mais

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. Lógica Aplicada a Computação - Cálculo Proposicional - Parte I. UFPB - Campus IV - Litoral Norte. Centro de Ciências Aplicadas e Educação CCAE Centro de Ciências Aplicadas e Educação UFPB - Campus IV - Litoral Norte Lógica Aplicada a Computação - Cálculo Proposicional - Parte I Estes slides foram criados pelo Professor Alexandre Duarte Para

Leia mais

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

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

Leia mais

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

Álgebra das Proposições. Prof. Guilherme Tomaschewski Netto Álgebra das Proposições Prof. Guilherme Tomaschewski Netto guilherme.netto@gmail.com Roteiro! Lógica Matemática clássica! Proposições! alores lógicos! Conectivos! Fórmulas Lógicas! Exemplos de aplicações

Leia mais

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

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

Leia mais

Fundamentos da Computação 1. Carmen Cecilia Centeno

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

Leia mais

Questõ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 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 mais

Fundamentos 1. Lógica de Predicados

Fundamentos 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 mais

1 TEORIA DOS CONJUNTOS

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 mais

Aprendendo. Raciocínio. Lógico

Aprendendo. 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 mais

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

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

Leia mais

Noções básicas de Lógica

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

Leia mais

MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES

MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES Newton José Vieira 21 de agosto de 2007 SUMÁRIO Teoria dos Conjuntos Relações e Funções Fundamentos de Lógica Técnicas Elementares de Prova 1 CONJUNTOS A NOÇÃO

Leia mais

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

Prof. 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 mais

Prof. Jorge Cavalcanti

Prof. 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 mais

ANÁLISE MATEMÁTICA I. Curso: EB

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.

Leia mais

Fundamentos 1. Lógica de Predicados

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

Leia mais

LÓGICA PROPOSICIONAL

LÓGICA PROPOSICIONAL FACULDADE PITÁGORAS Curso Superior em Tecnologia: Banco de dados e Sistemas para Internet Matemática Computacional Prof. Ulisses Cotta Cavalca LÓGICA PROPOSICIONAL EXERCÍCIOS

Leia mais

OFICINA DA PESQUISA APOSTILA 3 MATEMÁTICA COMPUTACIONAL. Autor do Conteúdo: Prof. Msc. Júlio Cesar da Silva

OFICINA DA PESQUISA APOSTILA 3 MATEMÁTICA COMPUTACIONAL. Autor do Conteúdo: Prof. Msc. Júlio Cesar da Silva OFICINA DA PESQUISA DISCIPLINA: LÓGICA MATEMÁTICA E COMPUTACIONAL APOSTILA 3 MATEMÁTICA COMPUTACIONAL Autor do Conteúdo: Prof. Msc. Júlio Cesar da Silva juliocesar@eloquium.com.br Alterações eventuais

Leia mais

Introdução à Lógica Matemática

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

Leia mais

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

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: jacsonrcsilva@gmail.com

Leia mais

4 a Parte Lógica Formal Aspectos Introdutórios Resumo Teórico

4 a Parte Lógica Formal Aspectos Introdutórios Resumo Teórico Registro CMI 40616 Aula Proposição 4 a Parte Lógica Formal Aspectos Introdutórios Resumo Teórico Toda proposição é uma frase mas nem toda frase é uma proposição; uma frase é uma proposição apenas quando

Leia mais

Antonio Paulo Muccillo de Medeiros

Antonio Paulo Muccillo de Medeiros Antonio Paulo Muccillo de Medeiros Conceito É a área da matemática que estuda os argumentos (premissas e conclusão). Estuda os métodos e princípios que permitam distinguir argumentos corretos e incorretos.

Leia mais

Lógica Proposicional: Semântica Tabela Verdade

Lógica Proposicional: Semântica Tabela Verdade Bacharelado em Ciência e Tecnologia BC&T Lógica Básica (NHI2049-13) Lógica Proposicional: Semântica Tabela erdade TABELA ERDADE Prof a Maria das Graças Marietto graca.marietto@ufabc.edu.br 2 TABELA ERDADE:

Leia mais

Lógica e Raciocínio. Lógica Proposicional. Universidade da Madeira.

Lógica e Raciocínio. Lógica Proposicional. Universidade da Madeira. Lógica e Raciocínio Universidade da Madeira http://dme.uma.pt/edu/ler/ Lógica Proposicional 1 Proposição Uma rase é uma proposição apenas quando admite um dos dois valores lógicos: Falso (F) ou Verdadeiro

Leia mais

Introdução à Computação

Introdução à Computação Introdução à Computação Programação para Engenharia Cinara Menegazzo 2016/01 1 Proposição: Afirmação que se faz a respeito de um domínio de problema João é inteligente. Maria é a melhor aluna da turma.

Leia mais

Teoria dos Conjuntos MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES. Fundamentos de Lógica Técnicas Elementares de Prova A NOÇÃO DE CONJUNTO

Teoria dos Conjuntos MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES. Fundamentos de Lógica Técnicas Elementares de Prova A NOÇÃO DE CONJUNTO SUMÁRIO MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES Teoria dos Conjuntos Relações e Funções Fundamentos de Lógica Técnicas Elementares de Prova Newton José Vieira 21 de agosto de 2007 1 A NOÇÃO DE CONJUNTO

Leia mais

Matemática Discreta - 01

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 jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav

Leia mais

Matemática. Lógica Proposicional. Professor Dudan

Matemática. Lógica Proposicional. Professor Dudan Matemática Lógica Proposicional Professor Dudan 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

Leia mais

Raciocínio Lógico. Matemático. Lógica Proposicional

Raciocí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 mais

Raciocínio Lógico. Sentenças Abertas

Raciocínio Lógico. Sentenças Abertas Raciocínio Lógico Sentenças Abertas Sentenças matemáticas abertas ou simplesmente sentenças abertas são expressões que não podemos identificar como verdadeiras ou falsas. Exemplos: Ø x + 4 = 12. Essa expressão

Leia mais

Métodos para a construção de algoritmo

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

Leia mais

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

Prof.ª Dr.ª Donizete Ritter. MÓDULO I PARTE 2: Lógica Proposicional

Prof.ª Dr.ª Donizete Ritter. MÓDULO I PARTE 2: Lógica Proposicional Bacharelado em Sistemas de Informação Disciplina: Lógica Prof.ª Dr.ª Donizete Ritter MÓDULO I PARTE 2: Lógica Proposicional 1 OPERAÇÕES LÓGICAS SOBRE PROPOSIÇÕES Os conectivos lógicos são responsáveis

Leia mais

Lógica para Computação. Álgebra de Boole

Lógica para Computação. Álgebra de Boole Lógica para Computação Álgebra de Boole Formas Normais Definição: diz-se que uma proposição está na forma normal (FN) se e somente se, quando muito, contém os conectivos ~, ^ e v. - Toda proposição pode

Leia mais

Circuitos Digitais Álgebra de Boole

Circuitos Digitais Álgebra de Boole Circuitos Digitais Álgebra de Boole Álgebra de Boole (ou Booleana) Desenvolvida pelo matemático britânico George Boole para estudo da lógica. Definida sobre um conjunto de dois elementos: (falso, verdadeiro)

Leia mais