Cálculo de Predicados

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

Download "Cálculo de Predicados"

Transcrição

1 Cálculo de Predicados (Lógica da Primeira Ordem) Prof. Tiago Semprebom, Dr. Eng. Instituto Federal de Educação, Ciência e Tecnologia Santa Catarina - Campus São José tisemp@ifsc.edu.br 18 de maio de 2013 Prof. Tiago (IFSC) Lógica Matemática 18 de maio de / 11

2 Predicados e variáveis Em nossas aulas anteriores examinamos uma parte da Lógica chamada Lógica das Proposições (ou Cálculo Proposicional). Cálculo proposicional possibilita verificar se um determinado argumento é válido ou inválido. Nos argumentos estudados, os enunciados simples eram combinados através de conectivos, formando enunciados compostos. A validade dos argumentos dependia da forma pela qual os enunciados compostos se apresentavam. Não é difícil, no entanto, encontrar argumentos de um tipo distinto: Todos os humanos são mortais Sócrates é um humano Logo, Sócrates é mortal Prof. Tiago (IFSC) Lógica Matemática 18 de maio de / 11

3 Predicados e variáveis A validade do argumento não depende da forma pelo qual os enunciados simples se compõem: neste argumento não há enunciados compostos. A validade do argumento depende da estrutura interna dos enunciados que constituem o argumento. Precisamos, então definir técnicas para descrever e simbolizar a estrutura interna dos enunciados. Considere a premissa Sócrates é humano. Esse enunciado é uma declaração de que determinado sujeito (Sócrates) possui uma propriedade específica (é humano). Prof. Tiago (IFSC) Lógica Matemática 18 de maio de / 11

4 Predicados e variáveis Em Lógica, representamos o predicado por sua inicial maiúscula, e o sujeito a seguir entre parênteses Assim, Sócrates é humano fica representado por: H (Sócrates) A linguagem natural permite ainda a construção de um outro tipo de sentença, como: Ele foi presidente do Brasil. Em Lógica Simbólica, também existem termos que ocupam lugar dos nomes: são as variáveis, e costumam ser representadas pela letras: x, y, z, w, etc. x foi presidente do Brasil ou então: P(x) Prof. Tiago (IFSC) Lógica Matemática 18 de maio de / 11

5 Predicados e variáveis Os enunciados são chamados sentenças fechadas ou abertas: Sócrates é humano pode ser V ou F, então tem-se enunciado fechado. y escreveu os Lusíadas não é V nem F, então tem-se enunciados abertos. exemplos: x gosta de y, temos: Gxy João é casado com Maria, temos: C(João, Maria) x está entre y e z, temos: Exyz Camões é o autor de Os Lusíadas, temos: A (Camões, Os Lusíadas) Prof. Tiago (IFSC) Lógica Matemática 18 de maio de / 11

6 Operações Lógicas Também no Cálculo de Predicados podemos definir as operações de conjunção, disjunção, negação, condicional e bicondicional. Considere os abertos a seguir: conjunção: x é engenheiro e professor por: Ex Px disjunção: x é engenheiro ou professor por: Ex Px negação: x não é engenheiro por: Ex condicional: se x é engenheiro então x fica cansado por: Ex Cx bicondicional: x trabalha se e somente se ganha dinheiro por: Tx Gx Prof. Tiago (IFSC) Lógica Matemática 18 de maio de / 11

7 Quantificadores Dado um aberto Px em um universo U, pode ocorrer: todos os x em U satisfazem P; isto é, V p = U alguns x em U satisfazem P; isto é, V p Ø nenhum x em U satisfaz P; isto é, V p = Ø Considere U = 2, 4, 6, 8 : Px representa x é par, temos: V p = U Px representa x é múltiplo de 3, temos: V p Ø Px representa x é maior que 10, temos: V p = Ø Prof. Tiago (IFSC) Lógica Matemática 18 de maio de / 11

8 Quantificadores Quantificador Universal No primeiro caso dizemos que para todo x em U, Px é verdadeiro simbolicamente: x Px para todo x, qualquer que seja x, cada x Quantificador Existencial No segundo caso dizemos que existe um x em U, tal que Px é verd. simbolicamente: x Px existe pelo menos um x, algum (ou alguns) x, para algum x Prof. Tiago (IFSC) Lógica Matemática 18 de maio de / 11

9 Negação de expressões quantificadas Seja a expressão: Todos são alunos x é um aluno por Ax, temos: x Ax nem todos são alunos: x Ax existe alguém que não é aluno: x Ax não existem alunos: x Ax todos não são alunos: x Ax Prof. Tiago (IFSC) Lógica Matemática 18 de maio de / 11

10 Exemplos de expressões quantificadas Não existem marcianos: x Mx Nem todos são sábios: x Sx Algumas senhoras estão presentes: x (Sx Px) Os morcegos são mamíferos: x (Cx Mx) Existe um mamífero que voa: x (Mx Vx) Os cavalheiros não são sempre ricos: x (Cx Rx) João é casado com alguém: xc(joao, x) Todos têm pai: x y P(y, x) Todas as pessoas têm pai: x(px y F (x, y)) Prof. Tiago (IFSC) Lógica Matemática 18 de maio de / 11

11 Resolução de execícios Exercícios sobre Cálculo de Predicados Prof. Tiago (IFSC) Lógica Matemática 18 de maio de / 11

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

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

Técnicas de Inteligência Artificial

Técnicas de Inteligência Artificial Universidade do Sul de Santa Catarina Ciência da Computação Técnicas de Inteligência Artificial Aula 04 Lógica Proposicional e Lógica dos Predicados Max Pereira Proposicional A lógica está relacionada

Leia mais

Cálculo de Predicados. Matemática Discreta. Profa. Sheila Morais de Almeida DAINF-UTFPR-PG. março

Cálculo de Predicados. Matemática Discreta. Profa. Sheila Morais de Almeida DAINF-UTFPR-PG. março Matemática Discreta Cálculo de Predicados Profa. Sheila Morais de Almeida DAINF-UTFPR-PG março - 2017 Quantificadores Como expressar a proposição Para todo número inteiro x, o valor de x é positivo. usando

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

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

Lógica Formal. Matemática Discreta. Prof Marcelo Maraschin de Souza Lógica Formal Matemática Discreta Prof Marcelo Maraschin de Souza Exercícios Use lógica proposicional para provar os seguintes argumentos: a) A B C B A C b) A B C B C A c) A B B A C C Exercícios Use lógica

Leia mais

Lógica de Predicados. Correção dos Exercícios Regras de Inferência

Lógica de Predicados. Correção dos Exercícios Regras de Inferência Lógica de Predicados Correção dos Exercícios Regras de Inferência O que foi visto até agora... Predicado Proposição Quantificadores Conjuntos Quantificadores com restrição Operações Lógicas com predicados

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

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

Matemática Discreta. Lógica de Predicados. Profa. Sheila Morais de Almeida. agosto DAINF-UTFPR-PG Matemática Discreta Lógica de Predicados Profa. Sheila Morais de Almeida DAINF-UTFPR-PG agosto - 2016 Quantificadores Como expressar a sentença Para todo número inteiro x, o valor de x é positivo. usando

Leia mais

Lógica predicados. Lógica predicados (continuação)

Lógica predicados. Lógica predicados (continuação) Lógica predicados (continuação) Uma formula está na forma normal conjuntiva (FNC) se é uma conjunção de cláusulas. Qualquer fórmula bem formada pode ser convertida para uma FNC, ou seja, normalizada, seguindo

Leia mais

Quantificadores, Predicados e Validade

Quantificadores, Predicados e Validade Quantificadores, Predicados e Validade Quantificadores e Predicados Fbfs proposicionais tem uma possibilidade limitada de expressão. Exemplo: Para todo x, x > 0 Ela não pode ser simbolizada adequadamente

Leia mais

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

Lógica. Fernando Fontes. Universidade do Minho. Fernando Fontes (Universidade do Minho) Lógica 1 / 65 Lógica Fernando Fontes Universidade do Minho Fernando Fontes (Universidade do Minho) Lógica 1 / 65 Outline 1 Introdução 2 Implicações e Equivalências Lógicas 3 Mapas de Karnaugh 4 Lógica de Predicados

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/59 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional

Leia mais

Unidade II LÓGICA. Profa. Adriane Paulieli Colossetti

Unidade II LÓGICA. Profa. Adriane Paulieli Colossetti Unidade II LÓGICA Profa. Adriane Paulieli Colossetti Relações de implicação e equivalência Implicação lógica Dadas as proposições compostas p e q, diz-se que ocorre uma implicação lógica entre p e q quando

Leia mais

Aula 1 Aula 2. Ana Carolina Boero. Página:

Aula 1 Aula 2. Ana Carolina Boero.   Página: Elementos de lógica e linguagem matemática E-mail: ana.boero@ufabc.edu.br Página: http://professor.ufabc.edu.br/~ana.boero Sala 512-2 - Bloco A - Campus Santo André Linguagem matemática A linguagem matemática

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

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

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

Lógica de Predicados Lógica de Predicados Conteúdo Correção dos Exercícios (Rosen 47) Prioridade dos Quantificadores (Rosen 38) Ligando Variáveis (Rosen 38) Predicados com duas variáveis. Equivalências lógicas (Rosen 39) Negando

Leia mais

Lógica Computacional

Lógica Computacional Lógica Computacional Consequência Tautológica e Lógica em Frases Quantificadas Leis de de Morgan Separação de Quantificadores Consequências Analíticas e Método Axiomático 3 Novembro 2016 Lógica Computacional

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

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

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

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

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

18/01/2016 LÓGICA MATEMÁTICA. Lógica é usada para guiar nossos pensamentos ou ações na busca da solução. LÓGICA LÓGICA MATEMÁTICA Prof. Esp. Fabiano Taguchi fabianotaguchi@gmail.com http://fabianotaguchi.wordpress.com Lógica é usada para guiar nossos pensamentos ou ações na busca da solução. LÓGICA A lógica está

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 Sentenças, representação

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

Filosofia (aula 10) Dimmy Chaar Prof. de Filosofia. SAE

Filosofia (aula 10) Dimmy Chaar Prof. de Filosofia. SAE Filosofia (aula 10) Prof. de Filosofia SAE leodcc@hotmail.com Lógica Tipos de Argumentação Dedução parte-se do Universal para o Particular Tipos de Argumentação Dedução parte-se do Universal para o Particular;

Leia mais

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

Lógica Formal. Matemática Discreta. Prof Marcelo Maraschin de Souza Lógica Formal Matemática Discreta Prof Marcelo Maraschin de Souza Implicação As proposições podem ser combinadas na forma se proposição 1, então proposição 2 Essa proposição composta é denotada por Seja

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

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

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

Universidade Aberta do Brasil - UFPB Virtual Curso de Licenciatura em Matemática

Universidade Aberta do Brasil - UFPB Virtual Curso de Licenciatura em Matemática Universidade Aberta do Brasil - UFPB Virtual Curso de Licenciatura em Matemática Argumentação em Matemática Prof. Lenimar Nunes de Andrade e-mail: numerufpb@gmail.com ou lenimar@mat.ufpb.br versão 1.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

Lógica de Predicados

Lógica de Predicados Lógica de Predicados Conteúdo Correção Exercícios Quantificadores Agrupados; (Rosen 50) Traduzindo sentenças. Exercícios Quais as negações de: 1) Existe um político honesto 2) Todos os brasileiros comem

Leia mais

Raciocínio Lógico. Negação da Conjunção e Disjunção Inclusiva (Lei de Morgan) Professor Edgar Abreu.

Raciocínio Lógico. Negação da Conjunção e Disjunção Inclusiva (Lei de Morgan) Professor Edgar Abreu. Raciocínio Lógico Negação da Conjunção e Disjunção Inclusiva (Lei de Morgan) Professor Edgar Abreu www.acasadoconcurseiro.com.br Raciocínio Lógico NEGAÇÃO DE UMA PROPOSIÇÃO COMPOSTA Agora vamos aprender

Leia mais

Algoritmos e Programação I

Algoritmos e Programação I Algoritmos e Programação I Operadores Relacionais, Lógicos e Aritméticos Prof. Fernando Maia da Mota mota.fernandomaia@gmail.com CPCX/UFMS Fernando Maia da Mota 1 Expressões Uma expressão relacional, ou

Leia mais

CAPÍTULO I. Lógica Proposicional

CAPÍTULO I. Lógica Proposicional Lógica Proposicional CAPÍTULO I Lógica Proposicional Sumário: 1. Lógica proposicional 2. Proposição 2.1. Negação da proposição 2.2. Dupla negação 2.3. Proposição simples e composta 3. Princípios 4. Classificação

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

Método das Tabelas para Validade Petrucio Viana

Método das Tabelas para Validade Petrucio Viana GAN00166: Lógica para Ciência da Computação Texto da Aula 8 Método das Tabelas para Validade Petrucio Viana Departamento de Análise, IME UFF Sumário 1 Simbolização de argumentos 1 1.1 Observação................................

Leia mais

Anotações LÓGICA PROPOSICIONAL DEFEITOS DO RACIOCÍNIO HUMANO PROPOSIÇÕES RICARDO ALEXANDRE - CURSOS ON-LINE RACIOCÍNIO LÓGICO AULA 01 DEFINIÇÃO

Anotações LÓGICA PROPOSICIONAL DEFEITOS DO RACIOCÍNIO HUMANO PROPOSIÇÕES RICARDO ALEXANDRE - CURSOS ON-LINE RACIOCÍNIO LÓGICO AULA 01 DEFINIÇÃO RACIOCÍNIO LÓGICO AULA 01 LÓGICA PROPOSICIONAL DEFINIÇÃO A Lógica estuda o pensamento como ele deveria ser, sem a influência de erros ou falácias. As falácias em torno do raciocínio humano se devem a atalhos

Leia mais

Cálculo de Predicados

Cálculo de Predicados Matemática Discreta - Departamento de Matemática - EST-IPV - 2003/2004 - II Cálculo de Predicados 1. Predicados e quantificadores Consideremos as afirmações seguintes: x é par (1) x é tão alto como y (2)

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

FICHA DE TRABALHO N.º 2 MATEMÁTICA A - 10.º ANO CONJUNTOS E CONDIÇÕES

FICHA DE TRABALHO N.º 2 MATEMÁTICA A - 10.º ANO CONJUNTOS E CONDIÇÕES FICHA DE TRABALHO N.º MATEMÁTICA A - 10.º ANO CONJUNTOS E CONDIÇÕES Conhece a Matemática e dominarás o Mundo. Galileu Galilei GRUPO I ITENS DE ESCOLHA MÚLTIPLA 1. Considere a condição px : x é um número

Leia mais

Gabarito da Avaliação 3 de Lógica Computacional 1

Gabarito da Avaliação 3 de Lógica Computacional 1 Questões iguais em todas as provas: Gabarito da Avaliação 3 de Lógica Computacional 1 1. (5 pts) Utilize a Regra DC para mostrar que é válido o seguinte argumento: p q r, s ~r ~t, s u p u De acordo com

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

Lógica dos Quantificadores: sintaxe

Lógica dos Quantificadores: sintaxe Lógica dos Quantificadores: sintaxe Renata de Freitas e Petrucio Viana IME, UFF 18 de junho de 2015 Sumário 1. Princípios sintáticos 2. Alfabeto de LQ 3. Fórmulas de LQ 4. Variáveis livres, variáveis ligadas

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

Linguagens Lógicas. Aluno: Victor Rocha

Linguagens Lógicas. Aluno: Victor Rocha Linguagens Lógicas Aluno: Victor Rocha Roteiro Introdução Cálculo de Predicados Proposições Conectores Lógicos Variáveis Tipos de Cláusulas fatos regras Banco de Dados Prolog Fatos em Prolog Questões Unificação

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

. 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

2 Lógica Fuzzy. 2 Lógica Fuzzy. Sintaxe da linguagem

2 Lógica Fuzzy. 2 Lógica Fuzzy. Sintaxe da linguagem 2 Lógica Fuzzy 2.1 Cálculo proposicional (lógica proposicional) 2.2 Lógica de Predicados 2.3 Lógica de múltiplos valores 2.4 Lógica Fuzzy Proposições fuzzy Inferência a partir de proposições fuzzy condicionais

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

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

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

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

aula 01 (Lógica) Ementa Professor: Renê Furtado Felix Site:

aula 01 (Lógica) Ementa Professor: Renê Furtado Felix   Site: aula 01 (Lógica) Ementa Professor: Renê Furtado Felix E-mail: rffelix70@yahoo.com.br Site: http://www.renecomputer.net/pdflog.html Plano de Ensino CURSO: Tecnologia em Análise e Desenvolvimento de Sistemas

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

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

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

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

SMA Elementos de Matemática Notas de Aulas

SMA Elementos de Matemática Notas de Aulas Universidade de São Paulo Instituto de Ciências Matemáticas e de Computação SMA 341 - Elementos de Matemática Notas de Aulas Ires Dias Sandra Maria Semensato de Godoy São Carlos 2009 Sumário 1 Noções

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,Linguagem e Comunicação-LLC

Lógica,Linguagem e Comunicação-LLC Lógica,Linguagem e Comunicação-LLC Introdução a Lógica Prof. Fabrício Rossy de Lima Lobato fabriciorossy@ig.com.br Agenda Introdução Lógica Lógica Formal Proposições Implicação Lógica Argumentação Quantificadores

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

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

Podemos reescrevê-la da seguinte forma, com a utilização de um condicional: Para tudo, se é homem, então é mortal.

Podemos reescrevê-la da seguinte forma, com a utilização de um condicional: Para tudo, se é homem, então é mortal. UNIVERSIDADE DE CAXIAS DO SUL UCS CENTRO DE CIÊNCIAS EXATAS E TECNOLOGIA CCET DEPARTAMENTO DE INFORMÁTICA DEIN PROFA. MÁRCIA RODRIGUES NOTARE /yjl 4XDQW L I L FDGR 3UHGLFDGRV U H 9D U L i YH L V Todos

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

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

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

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

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

Introdução à Lógica de Predicados

Introdução à Lógica de Predicados Introdução à Lógica de Predicados Matemática Discreta I Rodrigo Ribeiro Departamento de Ciências Exatas e Aplicadas Universidade de Federal de Ouro Preto 10 de dezembro de 2012 Motivação (I) Considere

Leia mais

Negação. Matemática Básica. Negação. Negação. Humberto José Bortolossi. Parte 3. Regras do Jogo. Regras do Jogo

Negação. Matemática Básica. Negação. Negação. Humberto José Bortolossi. Parte 3. Regras do Jogo. Regras do Jogo Matemática Básica Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Parte 3 Parte 3 Matemática Básica 1 Parte 3 Matemática Básica 2 Qual é a negação do predicado

Leia mais

Capítulo 3 Lógica de Primeira Ordem

Capítulo 3 Lógica de Primeira Ordem Capítulo 3 Lógica de Primeira Ordem Lógica para Programação LEIC - Tagus Park 1 o Semestre, Ano Lectivo 2007/08 c Inês Lynce and Luísa Coheur Bibliografia Martins J.P., Lógica para Programação, Capítulo

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

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

Universidade Federal do Espírito Santo Centro de Ciências Agrárias CCA UFES Departamento de Computação. Sentenças Abertas

Universidade Federal do Espírito Santo Centro de Ciências Agrárias CCA UFES Departamento de Computação. Sentenças Abertas Universidade Federal do Espírito Santo Centro de Ciências Agrárias CCA UFES Departamento de Computação Sentenças Abertas Lógica Computacional 1 Site: http://jeiks.net E-mail: jacsonrcsilva@gmail.com Sentença

Leia mais

Matemática Discreta - 03

Matemática Discreta - 03 Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 03 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav

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

Lógica Matemática e Computacional. 3.1 Relações lógicas de Euler

Lógica Matemática e Computacional. 3.1 Relações lógicas de Euler Lógica Matemática e Computacional 3.1 Relações lógicas de Euler Lógica Ciência dos argumentos; tem por objeto de estudo os argumentos, procurando elaborar procedimentos que permitam distinguir os argumentos

Leia mais

AGRUPAMENTO DE ESCOLAS DE RIO DE MOURO EXERCÍCIOS DE LÓGICA - INSTRUÇÕES GERAIS

AGRUPAMENTO DE ESCOLAS DE RIO DE MOURO EXERCÍCIOS DE LÓGICA - INSTRUÇÕES GERAIS EXERCÍCIOS DE LÓGICA - INSTRUÇÕES GERAIS Caro aluno, Vai encontrar aqui um conjunto de exercícios de lógica cujo objetivo é facilitar-lhe o estudo autónomo. Estes exercícios irão estar disponíveis num

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

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

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

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

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

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA COMPUTAÇÃO PROF. MAURO ROISENBERG UFSC - CTC - INE Prof. Mauro Roisenberg - UFSC/CTC/INE/2007 p. 1 LÓGICA MATEMÁTICA Lógica é uma ciência de índole Matemática

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

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

AULA 5 QUANTIFICADORES, PREDICADOS E VALIDADE

AULA 5 QUANTIFICADORES, PREDICADOS E VALIDADE Disciplina: Matemática Computacional Prof. Diana de Barros Teles AULA 5 QUANTIFICADORES, PREDICADOS E VALIDADE Quantificadores: são frases do tipo para todo, ou para cada, ou para algum, isso é, frases

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