LÓGICA COMPUTACIONAL. Prof. André Aparecido da Silva Disponível em:

Documentos relacionados
INFORMÁTICA APLICADA AULA 01 ALGORITMOS

TABELA VERDADE. por: André Aparecido da Silva. Disponível em:

Prof. Tiago Semprebom, Dr. Eng. 09 de abril de 2013

Fundamentos da Computação 1. Aula 03

Fundamentos da Lógica I

- Aula 01, 02, 03 e 04 Apresentação da disciplina.

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

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

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

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

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

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

CONCEITOS INICIAIS DE LÓGICA PROPOSIÇÕES

Matemática discreta e Lógica Matemática

Lógica de Programação I

AULA 1 Frases, proposições e sentenças 3. AULA 2 Conectivos lógicos e tabelas-verdade 5. AULA 3 Negação de proposições 8

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

Matemática Computacional

ALGORITMOS AULA 1. Profª Amanda Gondim

Métodos para a construção de algoritmo

22. Análise Combinatória - Permutação - Repetição - Circular - Condicional Análise Combinatória - Combinação e Arranjo

Introdução à Computação

Campos Sales (CE),

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

Prof. João Giardulli. Unidade I LÓGICA

Raciocínio Lógico e Matemático - Unidade 2: Introdução à Lógica

Introdução à Lógica de Programação

INTRODUÇÃO A LÓGICA DE PROGRAMAÇÃO

RECEITA FEDERAL ANALISTA

Cálculo proposicional

Lógica. Professor Mauro Cesar Scheer

Atenção: Esse conectivo transmite a ideia de e / ou e não apenas a de exclusão como muitas pessoas imaginam.

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

Iniciação a Lógica Matemática

Apresentação Plano de ensino Curso Conceitos básicos de lógica Introdução aos algoritmos - resolução de problemas Conceitos de programação Conceitos

Fundamentos da Computação 1. Carmen Cecilia Centeno

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

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

Desenvolvimento de Algoritmos. Slides elaborados pela Prof(a). Simone do Rocio Senger de Souza ICMC/USP

Introdução a computação

Matemática discreta e Lógica Matemática

Cálculo de Predicados

MATEMÁTICA Questões comentadas Daniela Arboite

Prof.ª Dr.ª Donizete Ritter. Introdução ao Cálculo Proposicional

Unidade I LÓGICA. Profa. Adriane Paulieli Colossetti

Lógica de Programação

Raciocínio lógico matemático

Algoritmos e Técnicas - Lógica -

INTRODUÇÃO A LÓGICA. Prof. André Aparecido da Silva Disponível em:

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

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

Matemática discreta e Lógica Matemática

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

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

Professor conteudista: Ricardo Holderegger

Noções de Lógica Algoritmos e Lógica de Programação. Reinaldo Gomes

Matemática Computacional. Introdução

A semântica da Lógica Proposicional(Capítulo 2)

PPM CONTEÚDO. Lógica de programação Programação para manufatura Sistemas supervisorios PROGRAMAÇÃO PARA MANUFATURA 05/03/2009

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.

MDI0001 Matemática Discreta Aula 01

Prof. Paulo Villa Aula 1

8. Expressões lógicas

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

Raciocínio Lógico. Matemático. Lógica Proposicional

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

Prof. Jorge Cavalcanti

Fundamentos 1. Lógica de Predicados

Gestão Empresarial Prof. Ânderson Vieira

Introdução à Logica Computacional. Aula: Lógica Proposicional - Sintaxe e Representação

Raciocínio lógico matemático: proposições, conectivos, equivalência e implicação lógica, argumentos válidos. PART 01

Aula 1: Desenvolvimento de Algoritmos

RLM Material de Apoio Professor Jhoni Zini

RACIOCÍNIO LÓGICO LÓGICA PROPOSICIONAL

MATEMÁTICA E RACIOCÍNIO LÓGICO

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

Lógica de Programação FORBELLONE, André Luis e EBERSPACHER, Henri (PLT)

Algoritmos e Programação. Noções de Lógica e Algoritmos Tarcio Carvalho

Matemática Discreta - 01

Inteligência Artificial. Sistemas Baseados em Conhecimento. Representação de Conhecimento (continuação)

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

Preliminarmente, o Edital do Concurso Público fez menção expressa de quais os fatos a ensejar a interposição de recurso:

LP - Lógica de Programação

Lógica de Programação Lógica, Conceitos; Fluxo de Controle

Lógica de Programação. Capítulo 1. Introdução. Lógica de Programação. Forbellone / Eberspacher. Introdução

Lógica para computação

Lógica de Programação

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

Lógica das Proposições

Simulado Aula 01 CEF RACIOCÍNIO LÓGICO. Prof. Fabrício Biazotto

Raciocínio Lógico Matemático do ZERO Professor: Daniel Almeida. Aula 01 Estruturas Lógicas: Proposições

11/01/2016 LÓGICA MATEMÁTICA. O homem pensa, possui o dom da palavra, é um animal racional, e é isto que o distingue dos outros animais.

Introdução à Logica Computacional. Aula: Lógica Proposicional -Sintaxe e Representação

ALESE. Assembleia Legislativa do Estado de Sergipe. Volume I. Técnico Legislativo / Área Apoio Técnico Administrativo

Aula 1 Teoria com resolução de questões FGV

Raciocínio Lógico. Matemático. Raciocínio Lógico

POLÍCIA CIVIL DE SÃO PAULO PAPILOSCOPISTA 2018 Raciocínio Lógico

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.

Introdução à Programação I

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

Transcrição:

LÓGICA COMPUTACIONAL Prof. André Aparecido da Silva Disponível em: http://www.oxnar.com.br/aulas/logica 1

CODIFICAÇÃO DA CONJECURA DE COLLATZ QUE FALEI NA AULA PASSADA. 2

3

4

A lógica é usada para guiar nossos pensamentos ou ações na busca da solução: A lógica está correta se conseguirmos atingir o nosso objetivo; É a habilidade fundamental para se resolver problemas de programação de computadores. 5

Temos que aprender a pensar de forma estruturada: Desenvolver e aperfeiçoar a técnica de pensamento; Seguir um raciocínio lógico e matemático. 6

O que é Lógica? A lógica trata da correção do pensamento; 7

O que é Lógica? Ensina-nos a usar corretamente as leis do pensamento: É a arte de pensar corretamente; A forma mais complexa do pensamento é o raciocínio; Ordem da razão (nossa razão pode funcionar desordenadamente) ou ordem no pensamento. 8

Noções de Lógica Exemplo: Todo mamífero é animal. Todo cavalo é mamífero. Portanto, todo cavalo é animal. 9

Noções de Lógica Exemplo: Brasil é país do planeta Terra. Todos os Brasileiros são do Brasil. Portanto, todos os Brasileiros são terráqueos. 10

Existe lógica no dia-a-dia? Sempre que pensamos. Quando falamos, pois a palavra falada é a representação do pensamento. 11

Existe lógica no dia-a-dia? Quando escrevemos, pois a palavra escrita é a representação da palavra falada ou mesmo do nosso pensamento. Daí a importância da lógica em nossa vida, pois quando pensamos, escrevemos ou falamos corretamente precisamos colocar Ordem no Pensamento. 12

Existe lógica no dia-a-dia? Exemplos: a) A gaveta está fechada. A agenda está na gaveta. Preciso primeiro abrir a gaveta, para depois pegar a agenda. 13

Existe lógica no dia-a-dia? Exemplos: b) Ana é mais nova do que Sergio. Sergio é mais velho do que Adoniram. Portanto, Ana é mais nova que Sergio e Adoniram. 14

Treinando Raciocínio Lógico Elabore um algoritmo que mova três discos de uma Torre de Hanói, que consiste em três hastes (a-b-c), uma das quais serve de suporte para três discos de tamanhos diferentes (1-2-3), os menores sobre os maiores. Pode-se mover um disco de cada vez para qualquer haste, contanto que nunca seja colocado um disco maior sobre um menor. O objetivo é transferir os três discos para outra haste. 15

Treinando Raciocínio Lógico 16

17

Treinando Raciocínio Lógico A = 3, 2, 1 B = 0; C = 0; A = 3, B = 2; C = 1; 18

Treinando Raciocínio Lógico A = 3; B = 2; C = 1; A ; B = 2, 1; C = 3; 19

Treinando Raciocínio Lógico A = 1; B; C = 3, 2; A ; B ; C = 3,2, 1; 20

EXERCÍCIO SOBRE LÓGICA 21

Exercício de lógica Retirado integralmente do site: https://www.youtube.com/watch?v=mc5ledrioti 22

Exercício de lógica Total = 41 Ar = 22 Ventilador = 20 Nenhum = 5 22 + 20 + 5 41 = 6 23

Exercício de lógica Ventilador 16 6 14 Nenhum 5 Ar condicionado 24

OUTRO EXERCÍCIO SOBRE LÓGICA Retirado integralmente do site: https://www.youtube.com/watch?v=mc5ledrioti 25

OUTRO EXERCÍCIO SOBRE LÓGICA Retirado integralmente do site: https://www.youtube.com/watch?v=mc5ledrioti 26

27

PELO DIAGRAMA DE VEN Futebol Volei 27 09 05 T = 27 + 09 + 05 + 04 04 Nenhum T = 45 28

Lógica Conceitos Básicos Aristóteles se preocupava com as formas de raciocínio que, a partir de conhecimentos considerados verdadeiros, permitiam obter novos conhecimentos. 29

Lógica Conceitos Básicos A partir dos conhecimentos tidos como verdadeiros, caberia à Lógica a formulação de leis gerais de encadeamentos de conceitos e juízos que levariam à descoberta de novas verdades. Essa forma de encadeamento é chamada, em Lógica, de argumento. 30

Lógica Conceitos Básicos Um argumento é uma seqüência de proposições (afirmações) na qual uma delas é a conclusão e as demais são premissas. O objeto de estudo da lógica é determinar se a conclusão de um argumento é ou não uma conseqüência lógica das premissas. 31

PROPOSIÇÕES 32

Conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo, de modo que se possa atribuir, dentro de certo contexto, somente um de dois valores lógicos possíveis: verdadeiro ou falso. 33

Exemplos: a) O Col Maria Aguiar fica em Curitiba. b) O Brasil é um País tropical. c) O Rio de Janeiro é um estado do sul do Brasil. 34

Assim, temos: a) O Col Maria Aguiar fica em Curitiba é um proposição verdadeira. b) O Brasil é um País tropical é uma proposição verdadeira. c) A Rio de Janeiro é um estado do sul do Brasil, é uma proposição falsa. 35

Proposição O que não é uma Proposição? Sentenças exclamativas: Ótimo!, Feliz aniversário!, Feliz Ano Novo!. 36

Proposição O que não é uma Proposição? Sentenças interrogativas: Quantos estados tem no Brasil?, O Paraná será rebaixado? 37

Proposição O que não é uma Proposição? Sentenças imperativas: Estude mais, Leia aquele livro. 38

Princípios das Proposições 39

Princípios das Proposições 1 Princípio da identidade Uma proposição verdadeira é verdadeira; uma proposição falsa é falsa. (NÃO HÁ UM MEIO TERMO QUANDO ESTUDAMOS PROPOSIÇÕES) 40

Princípios das Proposições 2- Princípio da não-contradição: Uma proposição não pode ser verdadeira e falsa simultaneamente. 41

Princípios das Proposições 2- Princípio da não-contradição: O Adoniran é Carioca e Paranaense. O filho da Ana chama Wesley e Vinicius 42

O princípio da não-contradição foi (primeiramente) formulado por Aristóteles e diz-nos que uma proposição verdadeira não pode ser falsa e uma proposição falsa não pode ser verdadeira. Nenhuma proposição (na lógica clássica), portanto, pode ser os dois ao mesmo tempo. 43

Princípios das Proposições 3 Princípio do Terceiro Excluído: Uma proposição ou será verdadeira, ou será falsa : não háoutra possibilidade. 44

Em Lógica, a Lei doterceiro Excluído (em latim, principium tertii exclusi ou tertium non datur) é a terceira de três clássicas Leis do Pensamento. Ela afirma que para qualquer proposição, ou esta proposição é verdadeira, ou sua negação é verdadeira. 45

Proposiçã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 é argentino. 46

Proposiçã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: Barbara é dentista e Jean é engenheiro. 47

Proposição Ex: Barbara é dentista e Jean é engenheiro. P Q 48

Proposição 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 49

Proposição A partir de uma proposição podemos construir uma outra com a sua negação; Ex: Júlia é médica. / Júlia não é médica. 50

Proposição 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) 51

Exercício Seja p a proposição está chovendo e seja q a proposição está ventando. Escreva uma sentença verbal simples, em português, que descreva cada uma das seguintes proposições lógicas: ~~p p Λ q q ν~p ~p ~q p q 52

Na próxima aula Veremos sobre tabela verdade 53

... 54