Curso: Técnico Integrado em Informática Disciplina : Fundamentos de Lógica e Algoritmo Resumo do 1º Bimestre Profª. Katiuscia Lopes dos Santos.

Slides:



Advertisements
Apresentações semelhantes
Introdução à Programação: uma Abordagem Funcional
Advertisements

Introdução a Lógica Matemática
Raciocínio Lógico Matemático
Lógica Matemática e Computacional 2.2 – Implicação e Equivalência
LÓGICA MATEMÁTICA PROPOSIÇÕES E CONECTIVOS
LÓGICA PROPOSIÇÕES E CONECTIVOS
LÓGICA MATEMÁTICA OPERAÇÕES LÓGICAS SOBRE PROPOSIÇÕES
Introdução a Lógica Matemática
Prof. Sérgio Altenfelder
CADERNO DE LÓGICA Nome.
Profa. Éverlin Marques PRD-MEC
Prof. Robson Rodrigues da Silva
Curso: Licenciatura em Matemática
Curso: Licenciatura em Matemática
Tabela-Verdade.
Lógica Matemática Introdução.
Tautologia Contradição e Contingência
A Lógica das Sentenças Abertas Profa. Ana Florencia Aula 9
Lógica Matemática.
Lógica e Probabilidade
Raciocínio Lógico Prof. Diego.
Operações Lógicas sobre proposições
Lógica Proposicional UESC
Lógica Proposicional Caderno de Exercícios.
INF 1771 – Inteligência Artificial
Introdução a Lógica Prof. Luiz Carlos Gabi.
Lógica Matemática e Computacional
Algoritmos e Estruturas de Dados I – Tipos de dados
Construção Tabela-verdade
Não se esqueça de estudar. Vamos ver alguns exemplos
Lógica Matemática.
CONTRUÇÃO DA TABELA-VERDADE
Circuitos Lógicos e Álgebra de Boole
Lógica matemática.
BCC101 Matemática Discreta I
Conectivos Lógicos / Operações
Lógica Matemática Introdução.
Inteligência Artificial: Lógica Proposicional e Prolog
ALGORITMO Samuel Â. Lopes.
Lógica Proposicional.
Lógica e Teoria dos Conjuntos
LÓGICA PROPOSICIONAL.
J. M. Barreto UFSC-INE Lógica de Primeira Órdem R ecordação.
LÓGICA PROPOSICIONAL ou CÁLCULO PROPOSICIONAL
Lógica para Computação
PROGRAMAÇÃO II – PARTE 3 Profa. Maria Augusta Constante Puget.
ALGORITMOS E PROGRAMAÇÃO
Gabarito Escola Estadual São Francisco.
Prof. Christiano Lima Santos
Lógica matemática.
Álgebra Booleana Faculdade Pitágoras Prof. Edwar Saliba Júnior
NOÇÕES DE LÓGICA Professor: Renilson.
Introdução a Lógica Matemática
Algoritmos e Estruturas de Dados I – Tipos de dados
Tema 1 – Lógica e Teoria dos Conjuntos
Introdução à Lógica de Programação (2)
Álgebra Booleana e Circuitos Lógicos Em 1854, George Boole introduziu o formalismo que até hoje se usa para o tratamento sistemático da lógica, que é.
SÍMBOLOS PARA CONJUNÇÃO, NEGAÇÃO E DISJUNÇÃO – Cap. 8
Sejamos Implicantes: Lógica e Linguagem Ralph Costa Teixeira Universidade Federal Fluminense.
Adriano A. Ribeiro. TAUTOLOGIA Uma tautologia é toda proposição cujo valor lógico é sempre verdade (V). Uma fórmula H é uma tautologia se o valor verdade.
Negação de Proposições Simples ou Compostas
Funções de Lógica Proposicional, Algoritmos estruturados em PORTUGOL
Introdução à Lógica Lógica? É lógico!.
Introdução à Lógica Matemática Prof. Gilbert Azevedo IFRN Técnico em Informática para Internet.
Silogismo No cumprimento de mais uma tarefa da vida académica, sobretudo na disciplina de Matemática, coube ao grupo, já identificado, elaborar o presente.
Lógica Matemática e Elementos de Lógica Digital
Proposições e Conectivos Lógicos
RACIOCÍNIO LÓGICO Fonte imagem:
Negação de Proposições Simples ou Compostas
Transcrição da apresentação:

Curso: Técnico Integrado em Informática Disciplina : Fundamentos de Lógica e Algoritmo Resumo do 1º Bimestre Profª. Katiuscia Lopes dos Santos

Objetivo Revisar os assuntos dados pelo Profº Cleone de forma resumida, fazendo com que o aluno lembre dos conceitos já adquiridos.

RELEMBRANDO AS AULAS ANTERIORES Introdução RELEMBRANDO AS AULAS ANTERIORES PREPOSIÇÃO; CONECTIVOS; TABELA-VERDADE; OPERAÇÕES LÓGICAS.

PREPOSIÇÃO Proposição - “vem de propor” que significa submeter à apreciação; requerer um juízo. Trata-se de uma sentença declarativa – algo que será declarado por meio de termos, palavras ou símbolos – e cujo conteúdo poderá ser considerado verdadeiro ou falso. Então, se eu afirmar “a Terra é maior que a Lua”, estarei diante de uma proposição cujo valor lógico é verdadeiro. Fica claro que quando falarmos em valor lógico estaremos nos referindo a um dos dois possíveis juízos que atribuiremos a uma proposição: verdadeiro (V) ou falso (F).

PREPOSIÇÃO Assim, temos: a) “O Curso Pré-Fiscal fica em São Paulo” é um proposição verdadeira. b) “O Brasil é um País da América do Sul” é uma proposição verdadeira. c) “A Bahia é um estado do sul do Brasil”, é uma proposição falsa.

PREPOSIÇÃO 1 – Princípio da identidade Uma proposição verdadeira é verdadeira; uma proposição falsa é falsa. 2- Princípio da não-contradição: Uma proposição não pode ser verdadeira e falsa simultaneamente. 3 – Princípio do Terceiro Excluído: Uma proposição ou será verdadeira, ou será falsa : não há outra possibilidade.

PREPOSIÇÃO Proposições SIMPLES: aquelas que vêm sozinhas, desacompanhadas de outras proposições: São geralmente designadas por letras minúsculas p, q, r ... Ex: p = Todo homem é mortal / q = O novo papa é alemão. Proposições COMPOSTAS: duas ou mais proposições conectadas entre si, formando uma só sentença. Habitualmente designadas por letras maiúsculas P, Q, R ... Ex: João é médico e Pedro é dentista.

Os conectivos são representados da seguinte forma:  corresponde a “não” Λ corresponde a “e” ν corresponde a “ou”  corresponde a “então”  corresponde a “se e somente se”

CONECTIVOS A partir de uma proposição podemos construir uma outra com a sua negação; Ex: Maria é médica. / Maria não é médica. Com duas proposições ou mais, podemos formar: Conjunções: a Λ b (lê-se: a e b) Disjunções: a ν b (lê-se: a ou b) Disjunções exclusiva: a V b (lê-se: ou a ou b) Condicionais: a  b (lê-se: se a então b) Bicondicionais: a  b (lê-se: a se e somente se b)

TABELA - VERDADE É um instrumento usado para determinar os valores lógicos das proposições compostas, a partir de atribuições de todos os possíveis valores lógicos das proposições simples componentes. A primeira das tabelas abaixo apresenta duas proposições simples: p e q e a segunda, três proposições simples: p, q e r. As células de ambas as tabelas são preenchidas com valores lógicos V e F, de modo a esgotar todas as possíveis combinações. O número de linhas da tabela pode ser previsto efetuando o cálculo: 2 elevado ao número de proposições simples. Nos exemplos abaixo tem-se 22 = 4 linhas e 23 = 8 linhas. p q V F

OPERAÇÕES LÓGICAS Depende de duas coisas: Valor lógico das proposições componentes; Tipo de conectivo que as une.

OPERAÇÕES LÓGICAS Conectivo “e”: Conjunção Como se revela o valor lógico de uma proposição conjuntiva? Da seguinte forma: uma conjunção só será verdadeira, se ambas as proposições componentes forem também verdadeiras. Pensando pelo caminho inverso, teremos que basta que uma das proposições componentes seja falsa, e a conjunção será – toda ela – falsa. Obviamente que o resultado falso também ocorrerá quando ambas as proposições componentes forem falsas. p q p∧q V F

OPERAÇÕES LÓGICAS p q pVq V F Conectivo “ou”: Disjunção Uma disjunção será falsa quando as duas partes que a compõem forem ambas falsas! E nos demais casos, a disjunção será verdadeira! p q pVq V F

OPERAÇÕES LÓGICAS Conectivo “Ou ... ou ...”: Disjunção Exclusiva Proposições compostas em que está presente o conectivo “Ou ... ou ...”; Simbolicamente representado por “V”. Uma disjunção exclusiva só será verdadeira se houver uma das sentenças verdadeira e a outra falsa. Nos demais casos, a disjunção exclusiva será falsa. p q pVq V F

CONECTIVO “SE ... ENTÃO ...”: CONDICIONAL Proposições compostas em que está presente o conectivo “Se ... Então ....”; Simbolicamente representado por “”. A sentença:“Se nasci em Fortaleza então sou cearense” ... pode ser representada apenas por: p  q. Onde: p = Nasci em Fortaleza e q = Sou cearense. Só será falsa esta estrutura quando houver a condição suficiente, mas o resultado necessário não se confirmar. Ou seja, quando a primeira parte for verdadeira, e a segunda for falsa. Nos demais casos, a condicional será verdadeira. p q pq V F

CONECTIVO “... SE E SOMENTE SE ...”: BICONDICIONAL Simbolicamente representado por “↔”. Consiste em uma CONJUNÇÃO entre duas CONDICIONAIS: “Eduardo fica alegre se e somente se Mariana sorri”= “Eduardo fica alegre somente se Mariana sorri E Mariana sorri somente se Eduardo fica alegre”=“Se Eduardo fica alegre então Mariana sorri e se Mariana sorri então Eduardo fica alegre” Haverá duas situações em que a bicondicional será verdadeira: quando antecedente e consequente forem ambos verdadeiros, ou quando forem ambos falsos. Nos demais casos, a bicondicional será falsa. p q p↔q V F

NEGAÇÃO Construção de Tabelas-Verdade Na hora de construirmos a tabela-verdade de uma proposição composta qualquer, teremos que seguir uma certa ordem de precedência dos conectivos. Ou seja, os nossos passos terão que obedecer a uma seqüência. Começaremos sempre trabalhando com o que houver dentro dos parênteses. Só depois, passaremos ao que houver fora deles. Em ambos os casos, sempre obedecendo à seguinte ordem: Faremos as negações (~); Faremos as conjunções ou disjunções, na ordem em que aparecerem; Faremos o condicional; Faremos o bicondicional. O símbolo que representa a negação é uma pequena cantoneira (¬) ou um sinal de til (~), antecedendo a frase. (Adotaremos o til);

JOÃO NÃO É MÉDICO OU PEDRO NÃO É DENTISTA NEGAÇÃO Negação de uma Proposição Conjuntiva Para negar uma proposição no formato de conjunção (p e q), faremos o seguinte: Negaremos a primeira parte (~p); Negaremos a segunda parte (~q); Trocaremos e por ou. Exemplo: a questão dirá: “Não é verdade que João é médico e Pedro é dentista”, e pedirá que encontremos, entre as opções de resposta, aquela frase que seja logicamente equivalente a esta fornecida. Sol: Nega-se a primeira parte (~p) = João não é médico; Nega-se a segunda parte (~q) = Pedro não é dentista; Troca-se E por OU, e o resultado final será o seguinte: JOÃO NÃO É MÉDICO OU PEDRO NÃO É DENTISTA

BIBLIOGRAFIA Notas de Aula do Prof. Cleone