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

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

INSTITUTO FEDERAL FARROUPILHA CÂMPUS ALEGRETE

Iniciação a Lógica Matemática

Aula 03 Proposições e Conectivos. Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes

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

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

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

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

Introdução à Programação I

Fundamentos 1. Lógica de Predicados

Proposições e Conectivos

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

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

Campos Sales (CE),

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

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

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

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

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

Lógica de Predicados. Quantificadores

Fundamentos de Lógica e Algoritmos. Aula 1.2 Introdução a Lógica Booleana. Prof. Dr. Bruno Moreno

Nome: Data: Semestre: Curso: TADS Disciplina: Matemática Aplicada à Computação Professor: Shalimar Villar. Noções de Lógica

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

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

INF 1771 Inteligência Artificial

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

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

Algoritmos e Programação I

n. 3 Construção de Tabelas-Verdade

Cálculo proposicional

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

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

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.

Afirmações Matemáticas

Programa. Raciocínio Lógico Matemático. Livros. Provas

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

8. Expressões lógicas

Lógica Proposicional Sintaxe

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

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

INF 1771 Inteligência Artificial

Proposições simples e compostas

Aplicações da teoria de conjuntos álgebra booleana. Pontifícia Universidade Católica de Goiás Msc. Gustavo Siqueira Vinhal 2016/1

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

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

RACIOCÍNIO LÓGICO LÓGICA PROPOSICIONAL

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

01/02/2016 LÓGICA MATEMÁTICA. Conectivos lógicos e tabela verdade. Os conectivos lógicos são utilizados para formar novas preposições.

Aula 3 Lógica Matemática

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

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

ACLÉSIO MOREIRA RACIOCÍNIO LÓGICO

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

Matemática discreta e Lógica Matemática

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

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

Raciocínio lógico matemático

RECEITA FEDERAL ANALISTA

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

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

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

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

CAPÍTULO I. Lógica Proposicional

Cálculo proposicional

Lógica Computacional

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

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 Aula 2. Prof. Gerson Pastre de Oliveira

Introdução a computação

Matemática discreta e Lógica Matemática

LÓGICA PROPOSICIONAL

Unidade II LÓGICA. Profa. Adriane Paulieli Colossetti

INF 1771 Inteligência Artificial

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

Lógica dos Quantificadores: sintaxe

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

Alfabeto da Lógica Proposicional

Métodos para a construção de algoritmo

Aula 03 Estruturas Condicionais. Prof. Filipe Wall Mutz

#ConstruçãoDeTabelasVerdade

Departamento de Engenharia Informática da Universidade de Coimbra

Unidade I LÓGICA. Profa. Adriane Paulieli Colossetti

Cálculo proposicional

Fundamentos de Lógica e Algoritmos

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

Raciocínio Lógico (Professor Uendel)

Eletrônica Digital. Funções lógicas, álgebra de boole e circuitos lógicos combinacionais básicos. Professor: Francisco Ary

CONTEÚDO LÓGICA FUZZY LÓGICA FUZZY. Proposições Fuzzy. Regras são implicações lógicas. Introdução Introdução, Objetivo e Histórico

Enunciados Atômicos, Conectivos e Enunciados Moleculares

Lógica Computacional

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

LÓGICA DIGITAL - CONCEITOS. * Constantes. * Expressões: Aritméticas; Lógicas; Tabela Verdade; Relacionais; Booleanas. * Portas Lógicas.

INTRODUÇÃO À LÓGICA MATEMÁTICA

IME, UFF 7 de novembro de 2013

1 TEORIA DOS CONJUNTOS

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

PROCESSAMENTO DE DADOS / SISTEMAS DE INFORMAÇÃO TRABALHO SEMESTRAL DE MATEMÁTICA:LÓGICA MATEMÁTICA

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

Proposta de teste de avaliação

Lógica,Linguagem e Comunicação-LLC

Transcrição:

Fundamentos de Lógica e Algoritmos Aula 1.3 Proposições e Conectivos Prof. Dr. Bruno Moreno bruno.moreno@ifrn.edu.br

Argumentos Lógicos As premissas do argumento são chamadas de proposições; A conclusão do argumento é chamada de proposição final; Assim como os argumentos, as proposições podem ter apenas um valor lógico Verdadeiro: proposição verdadeira V ou 1; Falso: proposição falsa F ou 0; 2

Proposições Todo o conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo; Afirmam fatos; Exemplos: A Lua é um satélite da Terra; João Pessoa é a capital da Paraíba; Nova Cruz é a princesa do Agreste; O número 712 é ímpar; A água é essencial para a vida humana; O Sol gira em torno da Terra; 3

Proposições Todo o conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo; Afirmam fatos; Exemplos: A Lua é um satélite da Terra; João Pessoa é a capital da Paraíba; Nova Cruz é a princesa do Agreste; O número 712 é ímpar; A água é essencial para a vida humana; O Sol gira em torno da Terra; V ou F? 4

São Proposições? Como é o seu nome? Que dia bonito! Saia já daqui! Quer mais comida? Quem é nosso presidente? Diretas Já! Não, pois elas não podem ser classificadas como verdadeiras ou falsas. 5

Valores Lógicos Verdade se for verdadeira; V ou 1; Falso se for falsa; F ou 0; Toda proposição tem um, e somente um, valor: verdadeiro ou falso; 6

Tipos de Proposições As proposições podem ser: Simples; Composta; As proposições simples são conhecidas também como proposições atômicas; Não contêm nenhuma outra proposição como parte integrante de si mesma; As proposições compostas são também chamadas de proposições moleculares; Formadas pela combinação de duas ou mais proposições; 7

Proposições Simples Representadas por letras minúsculas (letras proposicionais): p, q, r, s, Exemplos: p : Bruno é careca; q : Pedro é estudante; r : O número 25 é quadrado perfeito; 8

Proposições Compostas Representadas por letras maiúsculas (letras proposicionais): P, Q, R, S, Exemplos: P : Bruno é careca e Pedro é estudante; Q : Bruno é careca ou Pedro é estudante; R : Se Carlos é careca, então é infeliz; São formadas por duas proposições! 9

Exemplos Proposições Simples: p : Walter é engenheiro q : Pedro é estudante Proposições Composta: R : Walter é engenheiro e Pedro é estudante Representação: R (p, q) 10

Exemplos Proposições Simples: p : Walter é engenheiro q : Pedro é estudante Proposições Composta: R : Walter é engenheiro e Pedro é estudante Representação: R (p, q) Proposições Compostas são dotadas de conectivos! 11

Conectivos São palavras utilizadas para formar novas proposições a partir de outras; Exemplos: P : Carlos é careca e Pedro é estudante; Q : Carlos é careca ou Pedro é estudante; R : Se Carlos é careca, então é infeliz. 12

Conectivos São palavras utilizadas para formar novas proposições a partir de outras; Exemplos: P : Carlos é careca e Pedro é estudante; Q : Carlos é careca ou Pedro é estudante; R : Se Carlos é careca, então é infeliz. 13

Exemplos de Conectivos Conectivos: não ; e ; ou ; ou exclusivo se... então ;... se e somente se... ; Representação: 14

Notação Lógica Utilizada para representar o valor lógico de uma proposição; Considerando a proposição simples p, temos: Se for verdadeira: V(p) = V Se for falsa: V(p) = F 15

Exemplos p : O Sol é verde Notação: V(p) = F q: O Lua é um satélite da Terra Notação: V(q) = V P: Carmem é rica e feliz p: Carmem é rica; q: Carmem é feliz; Notação: P: p ^ q V(P) = V; 16

Exercícios Escreva a representação da proposição composta abaixo: p : Maria tem 23 anos q : Maria é de menor P : Maria tem 23 anos e Maria é de menor 17

Exercícios Escreva a representação da proposição composta abaixo: p : Carlos é careca q : Pedro é estudante P : Carlos é careca ou Pedro é estudante 18

Tabela Verdade Dispositivo que representa todos os possíveis valores lógicos de uma proposição; Permite determinar o valor lógico de proposições compostas a partir de simples; Representação: Traduzindo: A proposição p pode assumir os valores V ou F. 19

Tabela Verdade O valor lógico de qualquer proposição composta depende dos valores das proposições simples e do conectivo utilizado; Proposição composta P: P: p CONECTIVO q Os possíveis valores de P são resultantes das combinações dos possíveis valores de p e q; O resultado dessas combinações depende do CONECTIVO utilizado; Cada CONECTIVO representa uma OPERAÇÃO LÓGICA! V V F F V F V F 20

Operações Lógicas Operações realizadas sobre as proposições; Operações: Negação: (não, not); Conjunção: (e, and); Disjunção: (ou, or); Disjunção Exclusiva: (ou exclusivo, xor); Condicional: (se, if) Bicondicional: (se e somente se) 21

Negação A negação de uma proposição p é representada por: Não p = ~p O valor lógico é: V quando p for falso; F quando p for verdadeiro. 22

Negação A negação de p é representada por: Não p = ~p O valor lógico é: V quando p for falso; F quando p for verdadeiro. Tabela lógica: F V 23

Negação Exemplos de negação: r: Roma é a capital da França; r : Roma não é a capital da França; p: 2 + 3 = 5; p : 2 + 3 5. 24

Conjunção A conjunção de duas proposições p e q é representado por: p e q p q Valor Lógico: V quando p e q são ambas verdadeiras; F nos demais casos. 25

Conjunção Tabela lógica V F F F 26

Conjunção Exemplos: p : A neve é branca; q : 2 < 5; p q : A neve é branca e 2 < 5. r : 7 é um número primo; s : O céu é vermelho; r s : 7 é um número primo e o céu é vermelho. 27

Disjunção A disjunção de duas proposições p e q é representado por: p ou q ; p q ; Valor Lógico: V quando ao menos uma das proposições p e q é verdadeira; F quando ambas são falsas; 28

Disjunção Tabela lógica: V V V F 29

Disjunção Exemplos: p : Paris é a capital da França; q : 9-4 = 5; p q : Paris é a capital da França ou 9-4 = 5. r : 7 é um número primo; s : O céu é vermelho; r s : 7 é um número primo ou o céu é vermelho. 30

Problema Verifique as seguintes proposições: P : Carlos é torcedor do Flamengo ou torcedor do Vasco; Q : Mario é alagoano ou gaúcho As duas proposições tem o mesmo significado? Solução: disjunção exclusiva ( ) PESQUISE AGORA!!! 31

Atividade Elaborar um resumo sobre proposições e conectivos; O resumo deve demonstrar as operações lógicas apresentadas até aqui e, além disso, as operações que ainda não foram apresentadas, como: Disjunção Exclusiva; Condicional; Bicondicional; 32

Atividade A entrega da atividade deve ser realizada na aula da semana que vem (07/05) O resumo deve conter até duas páginas; Resumos sem o nome do(a) aluno(a) não serão considerados; Resumos semelhantes não serão considerados. 33

Prova: 21/05 34