Matemática discreta e Lógica Matemática

Save this PDF as:
 WORD  PNG  TXT  JPG

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

Download "Matemática discreta e Lógica Matemática"

Transcrição

1 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

2 Ementa 1. Lógica proposicional: introdução, 2. Lógica proposicional: Sintaxe e semântica, 3. Argumento válido e dedução, 4. Substituição e dedução.

3 Ementa 1. Lógica proposicional: introdução, 2. Lógica proposicional: Sintaxe e semântica, 3. Argumento válido e dedução, 4. Substituição e dedução.

4 Ementa 1. Matemática discreta e suas aplicações - Rosen, MC Graw Hill, 6 a ed. 2. Iniciação a lógica - Edgar Alencar Filho, Nobel, 8 a ed.

5 Ementa 1. Matemática discreta e suas aplicações - Rosen, MC Graw Hill, 6 a ed. 2. Iniciação a lógica - Edgar Alencar Filho, Nobel, 8 a ed.

6 Avaliações 1. Provas escritas: 1 a Prova (P1)- 16/10/2014, valor: 8,0; 2 a Prova (P2)- 04/12/2014, valor: 8,0; APS: 2 listas de exercícios (L1, L2), valor: 1,0 cada. Entregar no dia das provas; APS: Trabalho (T)- 05/11/2014, valor: 2,0; 2. Média Final (MF): MF = P1+P2+L1+L2+T 2 = 10, 0

7 Avaliações 1. Provas escritas: 1 a Prova (P1)- 16/10/2014, valor: 8,0; 2 a Prova (P2)- 04/12/2014, valor: 8,0; APS: 2 listas de exercícios (L1, L2), valor: 1,0 cada. Entregar no dia das provas; APS: Trabalho (T)- 05/11/2014, valor: 2,0; 2. Média Final (MF): MF = P1+P2+L1+L2+T 2 = 10, 0

8 Avaliações Sub 1. Provas escritas: 2. Substitutiva da Média - 11/12/2014, valor: 10,0;

9 Avaliações Sub 1. Provas escritas: 2. Substitutiva da Média - 11/12/2014, valor: 10,0;

10 Lógica - Conceitos iniciais 1. A Lógica tem, por objeto de estudo, as leis gerais do pensamento, e as formas de aplicar essas leis corretamente na investigação da verdade. 2. Aristóteles - filósofo grego a.c, sistematizou os conhecimentos existentes em Lógica, elevando-os à categoria de ciência. 3. Em sua obra chamada Organum (ferramenta para o correto pensar), estabeleceu princípios tão gerais e tão sólidos que até hoje são considerados válidos.

11 Lógica - Conceitos iniciais 1. A Lógica tem, por objeto de estudo, as leis gerais do pensamento, e as formas de aplicar essas leis corretamente na investigação da verdade. 2. Aristóteles - filósofo grego a.c, sistematizou os conhecimentos existentes em Lógica, elevando-os à categoria de ciência. 3. Em sua obra chamada Organum (ferramenta para o correto pensar), estabeleceu princípios tão gerais e tão sólidos que até hoje são considerados válidos.

12 Lógica - Conceitos iniciais 1. Para descrever o mundo, usamos sentenças declarativas tais como: Toda mãe ama seus filhos Maria é mãe e Paulo é Filho de Maria 2. Aplicando algumas regras gerais de raciocínio, podemos concluir a partir dessas afirmações: 3. Maria ama Paulo.

13 Definição Proposição É uma sentença declarativa (isto é, uma sentença que declara um fato), que pode ser verdedaira ou falsa, mas não ambas. Exemplo Dez é menor que sete. (é) Como você está? (não é) 3+4 > 5. (é) Existe vida em outros planetas. (é) Parabéns! (não é)

14 Definição Proposição Composta Duas ou mais proposições podem ser agrupadas usando os conectivos lógicos. Exemplo 1. Linux é um sistema operacional e Java é uma linguagem de programação. 2. Vou comprar uma camisa azul ou branca. 3. Se chover hoje, então não terá o show.

15 Definição 1 Seja p uma proposição. A negação de p, indicada por p (e também por p), é a sentença Não é o caso de p. A proposição p é lida não p (não é p). O valor-verdade da negação de p, p, é o oposto do valor-verdade de p. Exemplo 1. p: Hoje é quarta. 2. A negação p: Não é o caso de hoje ser quarta. Hoje não é quarta.

16 Tabela-Verdade Síntese das proposições Quando p p V F F V

17 Operadores lógicos: Conectivos Definição 2 1. Sejam p e q Proposições. A conjunção de p e q, indicada por p q, é a proposição p e q. 2. A conjunção p q é verdadeira quando ambas são verdadeiras, e falsa caso contrário. O conectivo lógico e é representado pelo símbolo eas proposições são representadas por letras.

18 Operadores lógicos: Conectivos Exemplo Encontre a conjunção das proposições p e q, em que p é: Hoje é sexta-feira, e q é: Hoje está chovendo. Resposta: A conjunção p q dessas proposições é a proposição: Hoje é sexta-feira e está chovendo. Essa proposição é verdadeira em uma sexta chuvosa e falsa em qualquer outro caso. Linux é um sistema operacional e Java é uma linguagem de programação.

19 Conjunção Podemos então apresentar a tabela com os valores lógicos de p q para todos os valores lógicos possíveis dos elementos p e q. Cada linha da tabela representa um possível valor lógico associado a cada uma das letras de proposição e apresenta o valor lógico resultante da expressão composta. Tabela-verdade p q p q V V V V F F F V F F F F

20 Disjunção Definição 3 1. Sejam p e q proposições. A disjunção de p e q, indicada por p q, é a proposição p ou q. 2. A disjunção p q é falsa se p e q são ambas falsas, e verdadeiras em qualquer outro caso. O conectivo lógico ou é representado pelo símbolo. p q p q V V V V F V F V V F F F

21 Disjunção Exclusiva Definição 4 1. Sejam p e q proposições. A disjunção exclusiva (ou ou exclusiva) de p e q, indicada por p q. 2. A disjunção p q é verdadeira quando exatamente uma das duas for verdadeira e falsa nos outros casos. O conectivo lógico ou é representado pelo símbolo. p q p q V V F V F V F V V F F F

22 Proposição Condicional Definição 5 1. Sejam p e q proposições. A proposição Condicional p q é a proposição se p, então q. 2. A condição p q é falsa quando p é verdadeira e q é falsa, e verdadeira em qualquer outro caso. Na condição p q, p é chamada de hipótese (ou antecedentes, ou premissa) e q é chamada de conclusão (ou consequência, ou consequênte). p q p q V V V V F F F V V F F V

23 Proposição Condicional Exemplo 1 1. Se eu for eleito, então vou diminuir os impostos. 2. p :Se eu for eleito q: então vou diminuir os impostos. Exemplo p q p q V V V V F F F V V F F V

24 Proposição Condicional Exemplo 2 1. Seja p a proposição Maria aprende matemática discreta e q a proposição Maria vai conseguir um bom emprego. 2. Expresse p q em português. 3. Se Maria aprender matemática discreta, então ela vai conseguir um bom emprego. 4. Maria vai conseguir um bom emprego quando aprender matemática discreta. Exemplo p q p q V V V Prof. Dr. Hércules OliveiraV - UTFPR F Matemática F discreta e Lógica Matemática

25 Proposição Condicional Exemplo 3 1. Se hoje é sexta-feira, então 2+3 = Se hoje é sexta-feira, então 2+3 = 6. Exemplo p q p q V V V V F F F V V F F V

26 FIM

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

Resumo aula. Conceituação; Origem; Lógica de programação; Argumentos; Lógica simbólica; Dedutivos; Indutivos;

Resumo aula. Conceituação; Origem; Lógica de programação; Argumentos; Lógica simbólica; Dedutivos; Indutivos; Aula 02 - Lógica Disciplina: Algoritmos Prof. Allbert Velleniche de Aquino Almeida E-mail: allbert.almeida@fatec.sp.gov.br Site: http://www.allbert.com.br /allbert.almeida Resumo aula Conceituação; Origem;

Leia mais

Aula 02 Introdução à Lógica. Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes

Aula 02 Introdução à Lógica. Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes Aula 02 Introdução à Lógica Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes Agenda da Aula Conceitos Iniciais sobre Lógica; Argumento; Inferência; Princípios. Contextualização: Situação

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

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 Computacional

Lógica Computacional Aula Teórica 6: Semântica da Lógica Proposicional Departamento de Informática 3 de Março de 2011 Motivação Expressividade Os conectivos são independentes? Definiu-se a Lógica Proposicional com os símbolos

Leia mais

Lógica Formal. Matemática Discreta. Prof. Vilson Heck Junior

Lógica Formal. Matemática Discreta. Prof. Vilson Heck Junior Lógica Formal Matemática Discreta Prof. Vilson Heck Junior vilson.junior@ifsc.edu.br Objetivos Utilizar símbolos da lógica proposicional; Encontrar o valor lógico de uma expressão em lógica proposicional;

Leia mais

Elementos de Lógica Matemática p. 1/2

Elementos de Lógica Matemática p. 1/2 Elementos de Lógica Matemática Uma Breve Iniciação Gláucio Terra glaucio@ime.usp.br Departamento de Matemática IME - USP Elementos de Lógica Matemática p. 1/2 Vamos aprender a falar aramaico? ǫ > 0 ( δ

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

Resumo de Filosofia. Preposição frase declarativa com um certo valor de verdade

Resumo de Filosofia. Preposição frase declarativa com um certo valor de verdade Resumo de Filosofia Capítulo I Argumentação e Lógica Formal Validade e Verdade O que é um argumento? Um argumento é um conjunto de proposições em que se pretende justificar ou defender uma delas, a conclusão,

Leia mais

Fundamentos de Matemática

Fundamentos de Matemática Fundamentos de Matemática Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Aula 1 7 de janeiro de 2013 Aula 1 Fundamentos de Matemática 1 Apresentação Aula 1

Leia mais

2 AULA. Conectivos e Quantificadores. lógicas. LIVRO. META: Introduzir os conectivos e quantificadores

2 AULA. Conectivos e Quantificadores. lógicas. LIVRO. META: Introduzir os conectivos e quantificadores 1 LIVRO Conectivos e Quantificadores Lógicos META: Introduzir os conectivos e quantificadores lógicos. OBJETIVOS: Ao fim da aula os alunos deverão ser capazes de: Compreender a semântica dos conectivos

Leia mais

Lógica Computacional

Lógica Computacional Aula Teórica 13: Dedução Natural em 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

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

Interpretações, cap. 8 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani

Interpretações, cap. 8 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani Interpretações, cap. 8 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani 1 1 Signicado e verdade condições para verdadeiro ou falso: Como um argumento é (intuitivamente) válido se não é possível

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

Para provar uma implicação se p, então q, é suficiente fazer o seguinte:

Para provar uma implicação se p, então q, é suficiente fazer o seguinte: Prova de Implicações Uma implicação é verdadeira quando a verdade do seu antecedente acarreta a verdade do seu consequente. Ex.: Considere a implicação: Se chove, então a rua está molhada. Observe que

Leia mais

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

Leia mais

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

Leia mais

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

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

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

Lógica das Proposições

Lógica das Proposições Lógica das Proposições Transcrição - Podcast 1 Professor Carlos Mainardes Olá eu sou Carlos Mainardes do blog Matemática em Concursos, e esse material que estou disponibilizando trata de um assunto muito

Leia mais

Construção de tabelas verdades

Construção de tabelas verdades Construção de tabelas verdades Compreender a Lógica como instrumento da ciência e como estrutura formal do pensamento, conhecendo e compreendendo as operações com os principais conceitos proposicionais

Leia mais

Lógica dos Conectivos: demonstrações indiretas

Lógica dos Conectivos: demonstrações indiretas Lógica dos Conectivos: demonstrações indiretas Renata de Freitas e Petrucio Viana IME, UFF 18 de junho de 2015 Sumário Olhe para as premissas Olhe para a conclusão Estratégias indiretas Principais exemplos

Leia mais

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

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 loureiro@dcc.ufmg.br http://www.dcc.ufmg.br/~loureiro MD Lógica de Proposições Quantificadas Cálculo de Predicados

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

Lógica de primeira ordem (Capítulo 8 - Russell) Inteligência Artificial

Lógica de primeira ordem (Capítulo 8 - Russell) Inteligência Artificial Lógica de primeira ordem (Capítulo 8 - Russell) Inteligência Artificial Estrutura 1- Contextualização 2- Definições 3- Lista de exercício 4- Prolog 5- Regras em Prolog - Mundo Wumpus 6- Aplicação do Mundo

Leia mais

INF 1771 Inteligência Artificial

INF 1771 Inteligência Artificial INF 1771 Inteligência Artificial Aula 06 Lógica Proposicional Edirlei Soares de Lima Lógica Proposicional Lógica muito simplificada. A sentenças são formadas por conectivos como:

Leia mais

O recurso solicita a mudança do gabarito da alternativa C para a alternativa A.

O recurso solicita a mudança do gabarito da alternativa C para a alternativa A. Nível: SUPERIOR Área: Raciocínio Lógico QUESTÃO 14. O recurso solicita a mudança do gabarito da alternativa C para a alternativa A. A alternativa correta é a letra C. O item em questão envolve Princípio

Leia mais

Lógica para computação - Linguagem da Lógica de Predicados

Lógica para computação - Linguagem da Lógica de Predicados DAINF - Departamento de Informática Lógica para computação - Linguagem da Lógica de Predicados Prof. Alex Kutzke ( http://alex.kutzke.com.br/courses ) 13 de Outubro de 2015 Razões para uma nova linguagem

Leia mais

Inteligência Artificial IA II. LÓGICA DE PREDICADOS PARA REPRESENTAÇÃO DO CONHECIMENTO

Inteligência Artificial IA II. LÓGICA DE PREDICADOS PARA REPRESENTAÇÃO DO CONHECIMENTO Inteligência Artificial IA Prof. João Luís Garcia Rosa II. LÓGICA DE PREDICADOS PARA REPRESENTAÇÃO DO CONHECIMENTO 2004 Representação do conhecimento Para representar o conhecimento do mundo que um sistema

Leia mais

Lógica e Metodologia Jurídica

Lógica e Metodologia Jurídica Lógica e Metodologia Jurídica Argumentos e Lógica Proposicional Prof. Juliano Souza de Albuquerque Maranhão julianomaranhao@gmail.com Quais sentenças abaixo são argumentos? 1. Bruxas são feitas de madeira.

Leia mais

Aula 03 Estruturas Condicionais. Prof. Filipe Wall Mutz

Aula 03 Estruturas Condicionais. Prof. Filipe Wall Mutz Aula 03 Estruturas Condicionais Prof. Filipe Wall Mutz Agenda Operadores Relacionais Estrutura Condicional Operadores Lógicos É comum nos algoritmos surgirem situações em que a execução de uma ação está

Leia mais

A linguagem da Lógica Proposicional (Capítulo 1)

A linguagem da Lógica Proposicional (Capítulo 1) A linguagem da Lógica Proposicional (Capítulo 1) LÓGICA APLICADA A COMPUTAÇÃO Professor: Rosalvo Ferreira de Oliveira Neto Estrutura 1. Definições 2. Alfabeto 3. Fórmulas bem formadas (FBF) 4. Exemplos

Leia mais

Lógica Matemática. Definição. Origem. Introdução

Lógica Matemática. Definição. Origem. Introdução Lógica Matemática Introdução 1 Definição A Lógica tem, por objeto de estudo, as leis gerais do pensamento, e as formas de aplicar essas leis corretamente na investigação da verdade. 2 Origem Aristóteles

Leia mais

IME, UFF 10 de dezembro de 2013

IME, UFF 10 de dezembro de 2013 Lógica IME, UFF 10 de dezembro de 2013 Sumário.... Considere o seguinte argumento Um problema de validade (1) p q q r r s s t p t (1) é válido ou não? A resposta é sim... Uma demonstração Uma demonstração

Leia mais

Lógica Computacional

Lógica Computacional Lógica Computacional Aula Teórica 6: Semântica da Lógica Proposicional António Ravara Simão Melo de Sousa Marco Giunti Departamento de Informática, Faculdade de Ciências e Tecnologia, NOVA LINCS, Universidade

Leia mais

RACIOCÍNIO LÓGICO. Raciocínio Lógico Ficha 1 Prof. Nelson Carnaval

RACIOCÍNIO LÓGICO. Raciocínio Lógico Ficha 1 Prof. Nelson Carnaval RACIOCÍNIO LÓGICO Lógica proposicional Chama-se proposição toda sentença declarativa que pode ser classificada em verdadeira ou falsa, mas não as duas. Letras são usualmente utilizadas para denotar proposições.

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

Lógica Proposicional. LEIC - Tagus Park 2 o Semestre, Ano Lectivo 2007/08. c Inês Lynce c Luísa Coheur

Lógica Proposicional. LEIC - Tagus Park 2 o Semestre, Ano Lectivo 2007/08. c Inês Lynce c Luísa Coheur Capítulo 2 Lógica Proposicional Lógica para Programação LEIC - Tagus Park 2 o Semestre, Ano Lectivo 2007/08 c Inês Lynce c Luísa Coheur Programa Apresentação Conceitos Básicos Lógica Proposicional ou Cálculo

Leia mais

Aula 2: Linguagem Proposicional

Aula 2: Linguagem Proposicional Lógica para Computação Primeiro Semestre, 2015 Aula 2: Linguagem Proposicional DAINF-UTFPR Prof. Ricardo Dutra da Silva Linguagens naturais, como o nosso Português, podem expressar ideias ambíguas ou imprecisas.

Leia mais

Matemática Discreta. Lógica Proposicional. Profa. Sheila Morais de Almeida. agosto DAINF-UTFPR-PG

Matemática Discreta. Lógica Proposicional. Profa. Sheila Morais de Almeida. agosto DAINF-UTFPR-PG Matemática Discreta Lógica Proposicional Profa. Sheila Morais de Almeida DAINF-UTFPR-PG agosto - 2016 Tautologias Tautologia é uma fórmula proposicional que é verdadeira para todos os possíveis valores-verdade

Leia mais

INF 1771 Inteligência Artificial

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

Leia mais

Lógica: Quadrado lógico:

Lógica: Quadrado lógico: Lógica: 1. Silogismo aristotélico: Podemos encara um conceito de dois pontos de vista: Extensão a extensão é um conjunto de objectos que o conceito considerado pode designar ou aos quais ele se pode aplicar

Leia mais

RECEITA FEDERAL ANALISTA

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

Leia mais

Lógica para Computação

Lógica para Computação Lógica para Computação Prof. Celso Antônio Alves Kaestner, Dr. Eng. celsokaestner (at) utfpr (dot) edu (dot) br Linguagem informal x linguagem formal; Linguagem proposicional: envolve proposições e conectivos,

Leia mais

Logica para computação

Logica para computação Logica para computação Lógica Informal: Argumentos l Um argumento é uma sequência de proposições na qual uma delas é a conclusão e as demais são premissas. As premissas justificam a conclusão. Exemplo

Leia mais

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

Leia mais

Lógica Computacional

Lógica Computacional Aula Teórica 5: Semântica 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

RACIOCÍNIO LOGICO- MATEMÁTICO. Prof. Josimar Padilha

RACIOCÍNIO LOGICO- MATEMÁTICO. Prof. Josimar Padilha RACIOCÍNIO LOGICO- MATEMÁTICO Prof. Josimar Padilha Um jogo é constituído de um tabuleiro com 4 filas (colunas) numeradas de 1 a 4 da esquerda para direita e de 12 pedras 4 de cor amarela, 4 de cor verde

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

Aula 4: Álgebra booleana

Aula 4: Álgebra booleana Aula 4: Álgebra booleana Circuitos Digitais Rodrigo Hausen CMCC UFABC 01 de fevereiro de 2013 http://compscinet.org/circuitos Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de 2013

Leia mais

LÓGICA APLICADA A COMPUTAÇÃO

LÓGICA APLICADA A COMPUTAÇÃO LÓGICA APLICADA A COMPUTAÇÃO 2009.3 Aquiles Burlamaqui Ementa Unidade 2 Lógica de Predicados: Linguagem e Semântica Tradução do português para a Lógica Quantificadores e Tipos Quantificadores como Conjunções

Leia mais

GRATUITO RACIOCÍNIO LÓGICO - EBSERH. Professor Paulo Henrique PH Aula /

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

Leia mais

AULÃO INSS RACIOCÍNIO LÓGICO Prof. Ronilton Loyola Equivalências Notáveis 1. Contrapositiva da Condicional: (P Q) ( Q P) Ex.: Se faz sol, então vou à praia é equivalente a Se não vou à praia, então não

Leia mais

Afirmação verdadeira: frase, falada ou escrita, que declara um facto que é aceite no momento em que é ouvido ou lido.

Afirmação verdadeira: frase, falada ou escrita, que declara um facto que é aceite no momento em que é ouvido ou lido. Matemática Discreta ESTiG\IPB 2011.12 Cap1 Lógica pg 1 I- Lógica Informal Afirmação verdadeira: frase, falada ou escrita, que declara um facto que é aceite no momento em que é ouvido ou lido. Afirmação

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

Expressões e enunciados

Expressões e enunciados Lógica para Ciência da Computação I Lógica Matemática Texto 2 Expressões e enunciados Sumário 1 Expressões e enunciados 2 1.1 Observações................................ 2 1.2 Exercício resolvido............................

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 FUNDAMENTOS DE LÓGICA E ALGORITMOS AULA 01 Docente: Éberton da Silva Marinho e-mail: ebertonsm@gmail.com 27/05/2016 SUMÁRIO Introdução

Leia mais

1. Princípio da não-contradição: Uma proposição não pode ser verdadeira e falsa

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

Leia mais

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

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

Leia mais

FUNDAÇÃO UNIVERSIDADE DO TOCANTINS TADS 2008/1 1º PERÍODO MP1 1º ETAPA 11/07/2008 MATEMÁTICA PARA COMPUTAÇÃO 2008/1

FUNDAÇÃO UNIVERSIDADE DO TOCANTINS TADS 2008/1 1º PERÍODO MP1 1º ETAPA 11/07/2008 MATEMÁTICA PARA COMPUTAÇÃO 2008/1 FUNDAÇÃO UNIVERSIDADE DO TOCANTINS TADS 2008/1 1º PERÍODO MP1 1º ETAPA 11/07/2008 MATEMÁTICA PARA COMPUTAÇÃO 2008/1 Dados de identificação do Aluno: Nome: Login: Cidade: CA: Data da Prova: / / ORIENTAÇÃO

Leia mais

VERDADE E VALIDADE, PROPOSIÇÃO E ARGUMENTO

VERDADE E VALIDADE, PROPOSIÇÃO E ARGUMENTO ENADE 2005 e 2008 1 O que B. Russell afirma da matemática, em Misticismo e Lógica: "uma disciplina na qual não sabemos do que falamos, nem se o que dizemos é verdade", seria particularmente aplicável à

Leia mais

MATEMÁTICA E RACIOCÍNIO LÓGICO

MATEMÁTICA E RACIOCÍNIO LÓGICO SENTENÇAS OU PROPOSIÇÕES MODIICADORES 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 (),

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

Lógica Proposicional

Lógica Proposicional Slides da disciplina Lógica para Computação, ministrada pelo Prof. Celso Antônio Alves Kaestner, Dr. Eng. (kaestner@dainf.ct.utfpr.edu.br) entre 2007 e 2008. Alterações feitas em 2009 pelo Prof. Adolfo

Leia mais

Lógica Fuzzy. Conectivos e Inferência. Professor: Mário Benevides. Monitores: Bianca Munaro Diogo Borges Jonas Arêas Renan Iglesias Vanius Farias

Lógica Fuzzy. Conectivos e Inferência. Professor: Mário Benevides. Monitores: Bianca Munaro Diogo Borges Jonas Arêas Renan Iglesias Vanius Farias Lógica Fuzzy Conectivos e Inferência Professor: Mário Benevides Monitores: Bianca Munaro Diogo Borges Jonas Arêas Renan Iglesias Vanius Farias Conectivos O que são conectivos? São operadores que conectam

Leia mais

Lógica Computacional

Lógica Computacional Aula Teórica 9: Forma Normal Conjuntiva Departamento de Informática 21 de Março de 2011 O problema Como determinar eficazmente a validade de uma fórmula? Objectivo Determinar a validade de raciocínios

Leia mais

Lógica Computacional

Lógica Computacional Aula Teórica 8: Forma Normal Conjuntiva 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

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

Aula 12: Lógica de Predicados

Aula 12: Lógica de Predicados Lógica para Computação Primeiro Semestre, 2015 Aula 12: Lógica de Predicados DAINF-UTFPR Prof. Ricardo Dutra da Silva Vamos estender a lógica proposicional para torná-la mais expressiva. Na lógica proposicional,

Leia mais

1. = F; Q = V; R = V.

1. = F; Q = V; R = V. ENADE 2005 e 2008 Nas opções abaixo, representa o condicional material (se...então...), v representa a disjunção (ou um, ou outro, ou ambos) e ~ representa a negação (não). Com o auxílio de tabelas veritativas,

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

Compreender estruturas lógicas é, antes de tudo, compreender o que são proposições.

Compreender estruturas lógicas é, antes de tudo, compreender o que são proposições. Caros alunos, Antes de darmos início a nossa aula demonstrativa, vamos às apresentações pessoais e profissionais: meu nome é Letícia Protta, sou agente administrativo do Ministério do Trabalho e Emprego,

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.1: O que é a lógica? 1 Lógica Parte da filosofia que trata das formas do pensamento em geral e das operações intelectuais que visam determinar

Leia mais

Argumentação e lógica formal. O que é e para que serve a lógica

Argumentação e lógica formal. O que é e para que serve a lógica Argumentação e lógica formal O que é e para que serve a lógica Para resolver este exercício tivemos que: Pensar, raciocinar, isto é, a partir de certas evidências concluir outras. Para mostrar aos colegas

Leia mais

QUESTÕES REVISÃO DE VÉSPERA FUNAI

QUESTÕES REVISÃO DE VÉSPERA FUNAI QUESTÕES REVISÃO DE VÉSPERA FUNAI RACIOCÍNIO LÓGICO Prof. Josimar Padilha EDITAL: RACIOCÍNIO LÓGICO E QUANTITATIVO: 1. Lógica e raciocínio lógico: problemas envolvendo lógica e raciocínio lógico. 2. Proposições:

Leia 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

Apostila de Raciocínio Lógico Notas de Aula Professor Joselias 2010 LÓGICA

Apostila de Raciocínio Lógico Notas de Aula Professor Joselias 2010 LÓGICA LÓGICA eremos nas próximas linhas a definição do que vem a ser uma proposição, bem como o seu cálculo proposicional antes de chegarmos ao nosso objetivo maior que é estudar as estruturas dos argumentos,

Leia mais

Aula 05 Raciocínio Lógico p/ INSS - Técnico do Seguro Social - Com Videoaulas

Aula 05 Raciocínio Lógico p/ INSS - Técnico do Seguro Social - Com Videoaulas Aula 05 Raciocínio Lógico p/ INSS - Técnico do Seguro Social - Com Videoaulas Professor: Arthur Lima AULA 05: RESUMO Caro aluno, Para finalizar nosso curso, preparei um resumo de toda a teoria vista nas

Leia mais

PROBLEMAS DE LÓGICA. Prof. Élio Mega

PROBLEMAS DE LÓGICA. Prof. Élio Mega PROBLEMAS DE LÓGICA Prof. Élio Mega ALGUNS CONCEITOS DA LÓGICA MATEMÁTICA Sentença é qualquer afirmação que pode ser classificada de verdadeira (V) ou falsa (F) (e exatamente uma dessas coisas, sem ambiguidade).

Leia mais

Alex Lira. Olá, pessoal!!!

Alex Lira. Olá, pessoal!!! Olá, pessoal!!! Seguem abaixo os meus comentários das questões de Lógica que foram cobradas na prova para o cargo de Agente da Polícia Federal, elaborada pelo Cespe, realizada no último final de semana.

Leia mais

Capítulo O objeto deste livro

Capítulo O objeto deste livro Capítulo 1 Introdução 1.1 O objeto deste livro Podemos dizer que a Geometria, como ciência abstrata, surgiu na Antiguidade a partir das intuições acerca do espaço, principalmente do estudo da Astronomia.

Leia mais

Programação de Computadores:

Programação de Computadores: Instituto de C Programação de Computadores: Introdução a Algoritmos (Parte II) Luis Martí Instituto de Computação Universidade ederal luminense lmarti@ic.uff.br - http://lmarti.com Roteiro da Aula de Hoje

Leia mais

GRATUITO RACIOCÍNIO LÓGICO - EBSERH. Professor Paulo Henrique PH Aula /

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 03 R A C I O C Í N I O L Ó G I C O E B S E R H a u l a 0 2 Página 1 2 www.romulopassos.com.br

Leia mais

Tipos de Dados e Variáveis

Tipos de Dados e Variáveis Tipos de Dados e Variáveis Universidade dos Açores Departamento de Matemática www.uac.pt/~hguerra!! Existem dois conceitos fundamentais na computação:!! Algoritmo "! sequencia de instruções para resolução

Leia mais

Silogismos Categóricos e Hipotéticos

Silogismos Categóricos e Hipotéticos Silogismos Categóricos e Hipotéticos Resumo elaborado por Francisco Cubal Apenas para publicação em Resumos.tk Primeiros objectivos a alcançar: Reconhecer os quatro tipos de proposições categóricas. Enunciar

Leia mais

Apostilas OBJETIVA Ano X - Concurso Público Conteúdo

Apostilas OBJETIVA Ano X - Concurso Público Conteúdo Conteúdo Introdução Estruturas lógicas. 2 Lógica de argumentação: analogias, inferências, deduções e conclusões. 3 Lógica sentencial (ou proposicional). 3.1 Proposições simples e compostas. 3.2 Tabelas-verdade.

Leia mais

Análise de Algoritmos

Análise de Algoritmos Análise de Algoritmos Técnicas de Prova Profa. Sheila Morais de Almeida DAINF-UTFPR-PG julho - 2015 Técnicas de Prova Definição Uma prova é um argumento válido que mostra a veracidade de um enunciado matemático.

Leia mais

MARATONA INSS. Prof. Josimar Padilha

MARATONA INSS. Prof. Josimar Padilha MARATONA INSS Prof. Josimar Padilha Mariana é uma estudante que tem grande apreço pela matemática, apesar de achar essa uma área muito difícil. Sempre que tem tempo suficiente para estudar, Mariana é aprovada

Leia mais

Noções de Lógica. Proposições Frases para as quais se pode atribuir o valor verdadeiro ou falso. Exs: 1) Quatro vezes três é igual a 12.

Noções de Lógica. Proposições Frases para as quais se pode atribuir o valor verdadeiro ou falso. Exs: 1) Quatro vezes três é igual a 12. Noções de Lógica Proposições Frases para as quais se pode atribuir o valor verdadeiro ou falso. Exs: 1) Quatro vezes três é igual a 12. 2) Florianópolis é capital de SC. 3) O Brasil faz fronteira com a

Leia mais

Ló gica. Para Concursos Públicos. Professor Luiz Guilherme

Ló gica. Para Concursos Públicos. Professor Luiz Guilherme Ló gica Para Concursos Públicos Professor Luiz Guilherme 2014 1 Lógica Para Concursos Públicos Proposição... 2 Valor Lógico das Proposições... 2 Axiomas da Lógica... 2 Tabela Verdade:... 3 Conectivos:...

Leia mais

Lógica Matemática e Elementos de Lógica Digital

Lógica Matemática e Elementos de Lógica Digital Lógica Matemática e Elementos de Lógica Digital Curso: Ciência da Computação Lívia Lopes Azevedo livia@ufmt.br Apresentação Plano de ensino Curso Conceitos básicos de lógica lógica proposicional Comportamento

Leia mais

Matemática para controle:

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 amit@nacad.ufrj.br http://www.nacad.ufrj.br/ amit Introdução

Leia mais

APOSTILA DE LÓGICA. # Conceitos iniciais INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO RIO GRANDE DO NORTE

APOSTILA DE LÓGICA. # Conceitos iniciais INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO RIO GRANDE DO NORTE INSTITUTO EDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO RIO GRANDE DO NORTE CÂMPUS APODI Sítio Lagoa do Clementino, nº 999, RN 233, Km 2, Apodi/RN, 59700-971. one (084) 4005.0765 E-mail: gabin.ap@ifrn.edu.br

Leia mais

RACIOCÍNIO LÓGICO. NÍVEL DE ENSINO: Graduação CARGA HORÁRIA: 80h PROFESSOR-AUTOR: Márcia Maria Guimarães Onaldo Chaves APRESENTAÇÃO

RACIOCÍNIO LÓGICO. NÍVEL DE ENSINO: Graduação CARGA HORÁRIA: 80h PROFESSOR-AUTOR: Márcia Maria Guimarães Onaldo Chaves APRESENTAÇÃO NÍVEL DE ENSINO: Graduação CARGA HORÁRIA: 80h PROFESSOR-AUTOR: Márcia Maria Guimarães Onaldo Chaves RACIOCÍNIO LÓGICO APRESENTAÇÃO Raciocínio Lógico é uma das disciplinas mais fascinantes para aqueles

Leia mais

MATEMÁTICA Questões selecionadas de provas diversas

MATEMÁTICA Questões selecionadas de provas diversas MATEMÁTICA Questões selecionadas de provas diversas 01. Uma pesquisa realizada com 1000 universitários revelou que 280, 400 e 600 desses universitários são alunos de cursos das áreas de tecnologia, saúde

Leia mais

Sistemas de Numeração. Exemplos de Sistemas de Numeração (1) Exemplos de Sistemas de Numeração (2) Sistemas de Numeração

Sistemas de Numeração. Exemplos de Sistemas de Numeração (1) Exemplos de Sistemas de Numeração (2) Sistemas de Numeração Sistemas de Numeração Sistemas de Numeração (Aula Extra) Sistemas de diferentes bases Álgebra Booleana Roberta Lima Gomes - LPRM/DI/UFES Sistemas de Programação I Eng. Elétrica 27/2 Um sistema de numeração

Leia mais

CONCEITOS DE ALGORITMOS

CONCEITOS DE ALGORITMOS CONCEITOS DE ALGORITMOS Fundamentos da Programação de Computadores - 3ª Ed. 2012 Editora Prentice Hall ISBN 9788564574168 Ana Fernanda Gomes Ascênsio Edilene Aparecida Veneruchi de Campos Algoritmos são

Leia mais

Lógica para Computação Primeiro Semestre, Aula 10: Resolução. Prof. Ricardo Dutra da Silva

Lógica para Computação Primeiro Semestre, Aula 10: Resolução. Prof. Ricardo Dutra da Silva Lógica para Computação Primeiro Semestre, 2015 DAINF-UTFPR Aula 10: Resolução Prof. Ricardo Dutra da Silva A resolução é um método de inferência em que: as fórmulas devem estar na Forma Clausal; deduções

Leia mais