Relações semânticas entre os conectivos da Lógica Proposicional(Capítulo 5)

Save this PDF as:
 WORD  PNG  TXT  JPG

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

Download "Relações semânticas entre os conectivos da Lógica Proposicional(Capítulo 5)"

Transcrição

1

2 Relações semânticas entre os conectivos da Lógica Proposicional(Capítulo 5) LÓGICA APLICADA A COMPUTAÇÃO Professor: Rosalvo Ferreira de Oliveira Neto

3 Estrutura 1. Conjunto de conectivos completo 2. na forma simplificada 3. Formas Normais Conjuntivas (FNC) 4. Formas Normais Disjuntiva (FND) 5. Lista

4 Conjuntos de Conectivos Completos Definição 5.1 (conjunto de conectivos completo) Seja Ψ um conjunto de conectivos. Ψ é um conjunto completo se as condições a seguir são satisfeitas. Dada uma fórmula H do tipo P, (P 1 P 2), (P 1 P 2), (P 1 P 2) ou (P 1 P 2), então é possível determinar uma outra fórmula G, tal que: G é equivalente a H, G contém apenas conectivos do conjunto Ψ e os símbolos P 1 e P 2 presentes em H. 04

5 Proposição 5.1 (Equivalência entre e os conectivos, ) O conectivo pode ser expresso semanticamente pelos conectivos e. (P Q) equivale a ( P Q) 05

6 Proposição 5.2 (Equivalência entre e os conectivos, ) O conectivo pode ser expresso semanticamente pelos conectivos e. (P Q) equivale a ( P Q) 06

7 Proposição 5.3 (Equivalência entre e os conectivos, ) O conectivo pode ser expresso semanticamente pelos conectivos e. (P Q) equivale a ( ( P Q) ( Q P)) 07

8 Proposição 5.4 (conjunto de conectivos completo) O conjunto {, } é completo. 08

9 Proposição 5.7 (relação semântica entre conectivos) Seja E uma fórmula da Lógica Proposicional. Então existe uma fórmula E1, equivalente a E, que possui apenas os conectivos e e os símbolos proposicionais e de verdade presentes em E. 09

10 Definição 5.2 (conectivo nand) O conectivo nand é definido pela correspondência: (P nand Q) = (P Q) 10

11 Proposição 5.8 (equivalência entre e {nand}) O conectivo pode ser expresso semanticamente pelo conectivo nand. P equivale a (P nand P) 11

12 Proposição 5.9 (equivalência entre e {nand}) O conectivo pode ser expresso semanticamente pelo conectivo nand. (P Q) equivale a (P nand P) nand (Q nand Q) 12

13 Proposição 5.10 (conjunto de conectivo completo) O conjunto {nand} é completo. 13

14 Reescreva a fórmula abaixo utilizando o conectivo nand H = P Λ (R S) 14

15 Proposição 5.11 (relação semântica entre conectivos) Seja E uma fórmula qualquer da Lógica Proposicional. E pode ser expressa, equivalentemente, utilizando apenas o conectivo nand e os símbolos proposicionais e de verdade presentes em E. 15

16 Definição 5.3 (conectivo nor) O conectivo nor é definido pela correspondência: (P nor Q) = (P Q) 16

17 Proposição 5.12 (conjunto de conectivo completo) O conjunto {nor} é completo. 17

18 Proposição 5.13 (relação semântica entre conectivos) Seja E uma fórmula qualquer da Lógica Proposicional. E pode ser expressa, equivalentemente, utilizando apenas o conectivo nor e os símbolos proposicionais e de verdade presentes em E. 18

19 Definição 5.4 (alfabeto na forma simplificada) O alfabeto da Lógica Proposicional é constituído por: símbolos de pontuação: (, ); símbolo de verdade: false; símbolos proposicionais: P, Q, R, S, P 1, Q 1, R 1, S 1, P 2, Q 2...; conectivos proposicionais:,. 19

20 Formas Normais Dada uma fórmula H, da lógica proposicional, existe uma fórmula G, equivalente a H, que está na forma normal. As formas normais são fórmulas com estruturas predefinidas, consideradas a seguir, a partir do conceito de literal. 20

21 Definição 5.5 (literal) Um literal, na Lógica Proposicional, é um símbolo proposicional ou sua negação. Definição 5.6 (forma normal) Há dois tipos de formas normais: Forma normal disjuntiva (fnd) Forma normal conjuntiva (fnc) 21

22 Forma Normal Conjuntiva Uma fórmula H está na forma normal conjuntiva (fnc) se é uma conjunção de disjunção de literais. (P V Q) Λ ( P V Q) Λ ( R V Q V S) 22

23 Forma Normal Disjuntiva Uma fórmula H está na forma normal disjuntiva (fnd) se é uma disjunção de conjunção de literais. (P Λ Q) V ( P Λ Q) V ( R Λ Q Λ S) 23

24 Considere a fórmula (P Q) Λ R Obtenha a tabela verdade. Subtabela com valores true: Forma normal disjuntiva Subtabela com valores false: Forma normal conjuntiva 25

25 Determine as formas normais disjuntiva e conjuntiva a) (P Q) (R Λ P) b) (P Q) (P V Q) c) (P Q) ((((P Λ Q) P) ((P V R) R)) P) 26

26

Lógica para computação - Propriedades Semânticas da Lógica Proposicional (parte 2/2) Alfabeto Simplificado e Formas Normais

Lógica para computação - Propriedades Semânticas da Lógica Proposicional (parte 2/2) Alfabeto Simplificado e Formas Normais DAINF - Departamento de Informática Lógica para computação - Propriedades Semânticas da Lógica Proposicional (parte 2/2) Alfabeto Simplificado e Formas Normais Prof. Alex Kutzke (http://alex.kutzke.com.br/courses)

Leia mais

Propriedades Semânticas da Lógica Proposicional(Capítulo 3)

Propriedades Semânticas da Lógica Proposicional(Capítulo 3) Propriedades Semânticas da Lógica Proposicional(Capítulo 3) LÓGICA APLICADA A COMPUTAÇÃO Professor: Rosalvo Ferreira de Oliveira Neto Estrutura 1. Tautologia 2. Satisfatível 3. Contingência 4. Contraditória

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

Métodos para determinação de propriedades semânticas de fórmulas da Lógica Proposicional(Capítulo 4)

Métodos para determinação de propriedades semânticas de fórmulas da Lógica Proposicional(Capítulo 4) Métodos para determinação de propriedades semânticas de fórmulas da Lógica Proposicional(Capítulo 4) LÓGICA APLICADA A COMPUTAÇÃO Professor: Rosalvo Ferreira de Oliveira Neto Estrutura 1. Tabela-Verdade

Leia mais

JOÃO NUNES de SOUZA. LÓGICA para CIÊNCIA da COMPUTAÇÃO. Uma introdução concisa

JOÃO NUNES de SOUZA. LÓGICA para CIÊNCIA da COMPUTAÇÃO. Uma introdução concisa JOÃO NUNES de SOUZA LÓGICA para CIÊNCIA da COMPUTAÇÃO Uma introdução concisa 21 de maio de 2008 1 A linguagem da Lógica Proposicional Introdução Alfabeto da Lógica Proposicional Definição 1.1 (alfabeto)

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

Dedução Natural e Sistema Axiomático Pa(Capítulo 6)

Dedução Natural e Sistema Axiomático Pa(Capítulo 6) Dedução Natural e Sistema Axiomático Pa(Capítulo 6) LÓGICA APLICADA A COMPUTAÇÃO Professor: Rosalvo Ferreira de Oliveira Neto Estrutura 1. Definições 2. Dedução Natural 3. Sistemas axiomático Pa 4. Lista

Leia mais

Alfabeto da Lógica Proposicional

Alfabeto da Lógica Proposicional Ciência da Computação Alfabeto da Lógica Sintaxe e Semântica da Lógica Parte I Prof. Sergio Ribeiro Definição 1.1 (alfabeto) - O alfabeto da é constituído por: símbolos de pontuação: (, ;, ) símbolos de

Leia mais

A linguagem da Lógica de Predicados. (Capítulo 8) LÓGICA APLICADA A COMPUTAÇÃO. Professor: Rosalvo Ferreira de Oliveira Neto

A linguagem da Lógica de Predicados. (Capítulo 8) LÓGICA APLICADA A COMPUTAÇÃO. Professor: Rosalvo Ferreira de Oliveira Neto A linguagem da Lógica de Predicados (Capítulo 8) LÓGICA APLICADA A COMPUTAÇÃO Professor: Rosalvo Ferreira de Oliveira Neto Estrutura 1. Contextualização 2. Definições 3. Exemplos 4. Lista 3 O que não é

Leia mais

01/09/2014. Capítulo 1. A linguagem da Lógica Proposicional

01/09/2014. Capítulo 1. A linguagem da Lógica Proposicional Capítulo 1 A linguagem da Lógica Proposicional 1 Introdução O estudo da Lógica é fundamentado em: Especificação de uma linguagem Estudo de métodos que produzam ou verifiquem as fórmulas ou argumentos válidos.

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 para computação

Lógica para computação Lógica para computação PROPRIEDADES SEMÂNTICAS DA LÓGICA PROPOSICIONAL Professor Marlon Marcon Introdução Esta seção considera a análise de algumas propriedades semânticas da LP que relacionam os resultados

Leia mais

Lógica para Computação Segundo Semestre, Aula 10: SAT. Prof. Ricardo Dutra da Silva. ( p (q ( q r))) ( p r) ( p q) ( p q r) p r.

Lógica para Computação Segundo Semestre, Aula 10: SAT. Prof. Ricardo Dutra da Silva. ( p (q ( q r))) ( p r) ( p q) ( p q r) p r. Lógica para Computação Segundo Semestre, 2014 Aula 10: SAT DAINF-UTFPR Prof. Ricardo Dutra da Silva Definição 10.1. SAT é o problema de decidir se existe uma valoração que satisfaça uma fórmula proposicional.

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

JOÃO NUNES de SOUZA. LÓGICA para CIÊNCIA da COMPUTAÇÃO. Uma introdução concisa

JOÃO NUNES de SOUZA. LÓGICA para CIÊNCIA da COMPUTAÇÃO. Uma introdução concisa JOÃO NUNES de SOUZA LÓGICA para CIÊNCIA da COMPUTAÇÃO Uma introdução concisa 2 de junho de 2009 1 A linguagem da Lógica Proposicional Errata Caso você encontre algum erro nesse capítulo ou tenha algum

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

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

Lógica Proposicional Sintaxe

Lógica Proposicional Sintaxe Lógica Proposicional Sintaxe José Gustavo de Souza Paiva Lógica Proposicional Forma mais simples da lógica Fatos do mundo real representados por sentenças sem argumento proposições Proposição Sentença

Leia mais

Lógica Computacional Aula 4

Lógica Computacional Aula 4 Lógica Computacional Aula 4 DCC/FCUP 2017/18 Conteúdo 1 Lógica proposicional 1 1.1 Fórmulas de Horn.......................................... 1 1.2 Satisfazibilidade............................................

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

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 Proposicional Semântica e Tabelas Verdade

Lógica Proposicional Semântica e Tabelas Verdade Lógica Proposicional Semântica e Tabelas Verdade Prof. Marcos A. Schreiner Disciplina de Introdução à Lógica 30 de março de 2015 Prof. Marcos A. Schreiner (UFPR) 30 de março de 2015 1 / 20 1 Introdução

Leia mais

Lógica Proposicional Fórmulas e Precedência de Operadores

Lógica Proposicional Fórmulas e Precedência de Operadores Lógica Proposicional Fórmulas e Precedência de Operadores Prof. Marcos A. Schreiner Disciplina de Introdução à Lógica 23 de março de 2015 Prof. Marcos A. Schreiner (UFPR) 23 de março de 2015 1 / 18 1 Introduçã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

Lógica Computacional

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

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

Aula 8: Tableaux Analíticos

Aula 8: Tableaux Analíticos Lógica para Computação Segundo Semestre, 2014 Aula 8: Tableaux Analíticos DAINF-UTFPR Prof. Ricardo Dutra da Silva O métodos de Dedução Natural não permite inferir a falsidade de um sequente, ou seja,

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

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

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

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

Capítulo 8 Lógica de primeira Ordem

Capítulo 8 Lógica de primeira Ordem Capítulo 8 Lógica de primeira Ordem Tópicos 1. Contextualização 2. Definições 3. Exemplos 4. Questão desafio! 2 O que não é possível expressar em Lógica Proposicional? Todo tricolor é um campeão. Roberto

Leia mais

Unidade IV. Unidade III. Na álgebra booleana, estão todos os fundamentos da eletrônica digital.

Unidade IV. Unidade III. Na álgebra booleana, estão todos os fundamentos da eletrônica digital. Unidade IV 9 INTRODUÇÃO À ÁLGEBRA DE BOOLE Na álgebra booleana, estão todos os fundamentos da eletrônica digital 91 Operador binário O sistema numérico surgiu ao longo da história do desenvolvimento humano

Leia mais

LISTA 01 RACIOCÍNIO LÓGICO TRIBUNAIS 2014 LISTA 01 RACIOCÍNIO LÓGICO TRIBUNAIS 2014

LISTA 01 RACIOCÍNIO LÓGICO TRIBUNAIS 2014 LISTA 01 RACIOCÍNIO LÓGICO TRIBUNAIS 2014 LISTA 01 RACIOCÍNIO LÓGICO TRIBUNAIS 2014 1) Determinar o valor verdade da proposição (p q) r, sabendo-se que AL (p) =, AL (q) = e AL (r) =. Proposições são afirmações que podem ser julgadas como verdadeira

Leia mais

Aula 3: Linguagem Proposicional

Aula 3: Linguagem Proposicional Lógica para Computação Primeiro Semestre, 2015 DAINF-UTFPR Aula 3: Linguagem Proposicional Prof. Ricardo Dutra da Silva 3.1 Semântica A semântica da lógica proposicional consiste em associar um significado

Leia mais

LÓGICA EM COMPUTAÇÃO

LÓGICA EM COMPUTAÇÃO CEC CENTRO DE ENGENHARIA E COMPUTAÇÃO UNIVERSIDADE CATÓLICA DE PETRÓPOLIS LÓGICA EM COMPUTAÇÃO TAUTOLOGIA - EQUIVALÊNCIA E INFERÊNCIA VERSÃO: 0.1 - MARÇO DE 2017 Professor: Luís Rodrigo E-mail: luis.goncalves@ucp.br

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 APLICADA A COMPUTAÇÃO

LÓGICA APLICADA A COMPUTAÇÃO LÓGICA APLICADA A COMPUTAÇÃO 2009.3 Aquiles Burlamaqui Conteúdo Programático Unidade I Linguagens Formais Linguagens Formais Sigma Álgebras Relação entre Linguagens Formais e Sigma Álgebras Sigma Domínios

Leia mais

Departamento de Engenharia Informática da Universidade de Coimbra

Departamento de Engenharia Informática da Universidade de Coimbra Departamento de Engenharia Informática da Universidade de Coimbra Estruturas Discretas 2013/14 Folha 1 - TP Lógica proposicional 1. Quais das seguintes frases são proposições? (a) Isto é verdade? (b) João

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 Puzzle 2 pessoas A e B fazem uma oferta um ao outro. O problema é identificar

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

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

Lógica Proposicional. p : Hoje não é sexta-feira. q : Todo homem é mortal. r : Existem pessoas inseguras.

Lógica Proposicional. p : Hoje não é sexta-feira. q : Todo homem é mortal. r : Existem pessoas inseguras. Tópicos Introdução à Lógica Edna A. Hoshino DCT - UFMS fevereiro de 2011 1 Tabela-Verdade Equivalências Proposicionais Formas Normais 2 Variáveis e Predicados Quantificadores 3 para predicados e quantificadores

Leia mais

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

Proposições. Belo Horizonte é uma cidade do sul do Brasil = 4. A Terra gira em torno de si mesma. 5 < 3 Proposições Lógicas Proposições O principal conceito usado nos estudos da lógica matemática é o de uma proposição. Uma proposição é essencialmente uma afirmação, transmite pensamentos completos, afirmando

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

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 Sistemas Dedutivos Um Sistema Dedutivo (SD) tem por objetivo obter, a partir de um conjunto

Leia mais

Afirmações Matemáticas

Afirmações Matemáticas Afirmações Matemáticas Na aula passada, vimos que o objetivo desta disciplina é estudar estruturas matemáticas, afirmações sobre elas e como provar essas afirmações. Já falamos das estruturas principais,

Leia mais

Lógica para computação

Lógica para computação /0/0 Lógica para computação Professor Marlon Marcon MÉODOS PARA DEERMINAÇÃO DE PROPRIEDADES SEMÂNICAS DE ÓRMULAS DA LÓGICA PROPOSICIONAL Introdução Um dos passos frequentemente utilizados no estudo da

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

1 Lógica de primeira ordem

1 Lógica de primeira ordem 1 Lógica de primeira ordem 1.1 Sintaxe Para definir uma linguagem de primeira ordem é necessário dispor de um alfabeto. Este alfabeto introduz os símbolos à custa dos quais são construídos os termos e

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

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

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

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

INTRODUÇÃO À LÓGICA MATEMÁTICA

INTRODUÇÃO À LÓGICA MATEMÁTICA INTRODUÇÃO À LÓGICA MATEMÁTICA Matemática Aplicada a Computação rofessor Rossini A M Bezerra Lógica é o estudo dos princípios e métodos usados para distinguir sentenças verdadeiras de falsas. Definição

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

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 e Lógica Matemática

Matemática discreta e Lógica Matemática AULA 1 - Lógica Matemática Prof. Dr. Hércules A. Oliveira UTFPR - Universidade Tecnológica Federal do Paraná, Ponta Grossa Departamento Acadêmico de Matemática Ementa 1. Lógica proposicional: introdução,

Leia mais

Lógica Proposicional-2

Lógica Proposicional-2 Lógica Proposicional-2 Conetivas Booleanas Provas informais e formais com conetivas Booleanas Referência: Language, Proof and Logic Dave Barker-Plummer, Jon Barwise e John Etchemendy, 2011 Capítulos: 3-4-5-6

Leia mais

Sistemas Digitais Álgebra de Boole Binária e Especificação de Funções

Sistemas Digitais Álgebra de Boole Binária e Especificação de Funções Sistemas Digitais Álgebra de Boole Binária e Especificação de Funções João Paulo Baptista de Carvalho (Prof. Auxiliar do IST) joao.carvalho@inesc.pt Álgebra de Boole Binária A Álgebra de Boole binária

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

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

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

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

Matemática Discreta - Exercícios de Lógica. 1. Diga que relações lógicas existem entre as seguintes proposições:

Matemática Discreta - Exercícios de Lógica. 1. Diga que relações lógicas existem entre as seguintes proposições: 1. Diga que relações lógicas existem entre as seguintes proposições: (a) Todos os marcianos falam inglês. (b) Todos os marcianos não falam inglês. (c) Nenhum marciano fala inglês. (d) Alguns marcianos

Leia mais

Lógica Proposicional (Consequência lógica / Dedução formal)

Lógica Proposicional (Consequência lógica / Dedução formal) Faculdade de Tecnologia Senac Pelotas Curso Superior de Tecnologia em Análise e Desenvolvimento de Sistemas Matemática Aplicada Prof. Edécio Fernando Iepsen Lógica Proposicional (Consequência lógica /

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

Linguagem com sintaxe e semântica precisas: lógica. Mecanismo de inferência: derivado da sintaxe e da

Linguagem com sintaxe e semântica precisas: lógica. Mecanismo de inferência: derivado da sintaxe e da istemas de Apoio à Decisão Clínica, 09-1 1 Linguagem com sintaxe e semântica precisas: lógica. Mecanismo de inferência: derivado da sintaxe e da semântica. Importante: distinguir entre os fatos e sua representação

Leia mais

INF 1771 Inteligência Artificial

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

Leia mais

#ConstruçãoDeTabelasVerdade

#ConstruçãoDeTabelasVerdade INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO RIO GRANDE DO NORTE CAMPUS SÃO GONÇALO DO AMARANTE Fundamentos de Lógica e Algoritmos #ConstruçãoDeTabelasVerdade Eliezio Soares eliezio.soares@ifrn.edu.br

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

Introdução à Computação (IC) Algoritmos: Expressões lógicas

Introdução à Computação (IC) Algoritmos: Expressões lógicas Introdução à Computação (IC) Algoritmos: Expressões lógicas Prof.ª Dr.ª Symone Gomes Soares Alcalá Universidade Federal de Goiás (UFG) Regional Goiânia (RG) Campus Aparecida de Goiânia (CAP) Faculdade

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

IME, UFF 3 de junho de 2014

IME, UFF 3 de junho de 2014 Lógica IME, UFF 3 de junho de 2014 Sumário A lógica formal e os principais sistemas A lógica formal Um dos objetivos da lógica formal é a mecanização do raciocínio, isto é, a obtenção de nova informação

Leia mais

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

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

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

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

Usando as regras de Morgan, de a negação das proposições:

Usando as regras de Morgan, de a negação das proposições: LÓGICA MATEMÁTICA Prof. Esp. Fabiano Taguchi fabianotaguchi@gmail.com http://fabianotaguchi.wordpress.com EXERCÍCIOS Usando as regras de Morgan, de a negação das proposições: a) É falso que não está frio

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

A CASA DO SIMULADO DESAFIO QUESTÕES MINISSIMULADO 17/360

A CASA DO SIMULADO DESAFIO QUESTÕES MINISSIMULADO 17/360 1 DEMAIS SIMULADOS NO LINK ABAIXO CLIQUE AQUI REDE SOCIAL SIMULADO 17/360 RLM INSTRUÇÕES TEMPO: 30 MINUTOS MODALIDADE: CERTO OU ERRADO 30 QUESTÕES CURTA NOSSA PÁGINA MATERIAL LIVRE Este material é GRATUITO

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

8. Expressões lógicas

8. Expressões lógicas 8. Expressões lógicas DIM0320 2015.1 DIM0320 8. Expressões lógicas 2015.1 1 / 27 Sumário 1 Lógica proposicional 2 Proposições compostas 3 Expressões lógicas em Portugol 4 Condições compostas 5 Exercícios

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

Lógica Computacional. Nelma Moreira. Departamento de Ciência de Computadores Faculdade de Ciências, Universidade do Porto

Lógica Computacional. Nelma Moreira. Departamento de Ciência de Computadores Faculdade de Ciências, Universidade do Porto Lógica Computacional Nelma Moreira Departamento de Ciência de Computadores Faculdade de Ciências, Universidade do Porto email: nam@nccuppt Versão: 2010 Conteúdo 1 Lógica proposicional 5 11 Linguagens

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

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

Aula 2, 2014/2 Sintaxe da Lógica dos Conectivos

Aula 2, 2014/2 Sintaxe da Lógica dos Conectivos Notas de aula de Lógica para Ciência da Computação Aula 2, 2014/2 Sintaxe da Lógica dos Conectivos Renata de Freitas e Petrucio Viana Departamento de Análise, IME UFF 27 de agosto de 2014 Sumário 1 Sintaxe

Leia mais

Lógica Computacional

Lógica Computacional Aula Teórica 22: Departamento de Informática 16 de Maio de 2011 Introdução Revisão do procedimento Exemplo em Primeira Ordem Considere-se o seguinte conjunto de cláusulas, assumindo as variáveis universalmente

Leia mais

Lógica Proposicional Parte 2

Lógica Proposicional Parte 2 Lógica Proposicional Parte 2 Como vimos na aula passada, podemos usar os operadores lógicos para combinar afirmações criando, assim, novas afirmações. Com o que vimos, já podemos combinar afirmações conhecidas

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

(Model Checking) Estes slides são baseados nas notas de aula da Profa. Corina

(Model Checking) Estes slides são baseados nas notas de aula da Profa. Corina Verificação de Modelos (Model Checking) Estes slides são baseados nas notas de aula da Profa. Corina Cîrstea Agenda Lógica Temporal Lógica de Árvore de Computação (CTL) Verificação de Modelo do CTL Caminhos

Leia mais

Lógica de Predicados. Quantificadores

Lógica de Predicados. Quantificadores Lógica de Predicados Quantificadores Conteúdo Correção de Exercícios Operações Lógicas Quantificadores Rosen (pg 33) Tradução Português Lógica Rosen (pg 42) Exercícios Determinar o conjunto verdade em

Leia mais

Lógica Computacional. Nelma Moreira. Departamento de Ciência de Computadores Faculdade de Ciências, Universidade do Porto

Lógica Computacional. Nelma Moreira. Departamento de Ciência de Computadores Faculdade de Ciências, Universidade do Porto Lógica Computacional Nelma Moreira Departamento de Ciência de Computadores Faculdade de Ciências, Universidade do Porto email: nam@nccuppt 2004 Agradecimentos Estas notas baseam-se parcialmente nos Apontamentos

Leia mais

Professor conteudista: Ricardo Holderegger

Professor conteudista: Ricardo Holderegger Lógica Professor conteudista: Ricardo Holderegger Sumário Lógica Unidade I 1 SISTEMAS DICOTÔMICOS...3 1.1 Proposições...3 1.1.1 Proposições lógicas...3 1.1.2 Símbolos da lógica matemática...4 1.1.3 A negação...4

Leia mais

Lógica Proposicional. Prof. Dr. Silvio do Lago Pereira. Departamento de Tecnologia da Informação Faculdade de Tecnologia de São Paulo

Lógica Proposicional. Prof. Dr. Silvio do Lago Pereira. Departamento de Tecnologia da Informação Faculdade de Tecnologia de São Paulo Lógica Proposicional Prof. Dr. Silvio do Lago Pereira Departamento de Tecnologia da Informação aculdade de Tecnologia de São Paulo Motivação IA IA estuda estuda como como simular simular comportamento

Leia mais