Apresentação Plano de ensino Curso Conceitos básicos de lógica – lógica proposicional Comportamento analógico e digital Álgebra booleana e circuitos lógicos Circuitos combinacionais Circuitos seqüenciais Circuitos de memória Introdução ao Microprocessador O que é lógica? Embora existam muitas definições para o campo de estudo da lógica, essas definições não diferem essencialmente umas das outras; há um certo consenso entre os autores de que a Lógica tem, por objeto de estudo, as leis gerais do pensamento, e as formas de aplicar essas leis corretamente na investigação da verdade. Lógica é a análise de métodos de raciocinio. No estudo desses métodos a lógica esta interessada, principalmente, na forma e não no conteudo dos argumentos. «Todo homem é mortal. Sócrates é um homem. Portanto, Sócrates é mortal. » « Todo cão late. Totó é um cão. Logo, Totó late. » Do ponto de vista da lógica, esses argumentos têm a mesma estrutura e forma. « Todo X é Y. Z é um X. Logo Z é Y ». Há outros pontos de vista para a lógica? Clássica, baseada em linguagem natural Matemática ou simbólica Booleana Circuitos Modal Plurivalente Nebulosas (fuzzy) Probabilisticas Intucionista Linguagem natural « o produto de um numero pela soma de dois outros é igual ao produto do primeiro pelo segundo somado ao produto do primeiro pelo terceiro » Linguagem simbólica ou formal « Se x, y, z são numeros, arbitrarios, x.(y+z) = x.y + x.z » Objetivo da linguagem simbolica é exprimir com correção e exatidão o pensamento e os resultados do conhecimento cientifico. Toda linguagem necesssita de um alfabeto e uma formula ou expressão. Alfabeto – formado por todo os simbolos matematicos e letras do alfabeto latino e grego. (α, a, +, є, V, F) Expressão – formada pela concatenação de simbolos do alfabeto Ex. a + y 3 є (3, 5, 7) Linguagem de programacão Abce não se refere a palavra do alfabeto +3=є7x ou objeto matematico, logo não é uma expressão Chama proposição ou enunciado a expressão que correlaciona objetos ou descreve propriedade desse objeto. Uma proposição exprime um pensamento de sentido completo Ex. A lua é satelite da terra 3x5 = 5x3 Pedro estuda e trabalha Expressões da forma: Que dia lindo! Qual o seu nome? Escreva um artigo. Não são consideradas proposições Em lógica consideramos apenas as proposições que são declarativas e que só admitem dois valores: verdadeiro (V) ou falso (F), um excluindo o outro. Ex. « duas retas de um plano são paralelas ou concorrentes » Considere o seguinte: a. Dez é menor do que sete. b. Como vai você? c. Ela é muito talentosa. d. Existem formas de vida em outros planetas do universo. A frase (a) é uma proposição porque é falsa. Como o item (b) é uma pergunta, não pode ser considerado nem verdadeiro nem falso. Não tem valor-verdade e, portanto, não é uma proposição. Na frase (c) a palavra ela é uma variável e a frase não é verdadeira nem falsa, pois ela não está especificada; portanto, (c) não é um enunciado. A frase (d) é um enunciado porque é verdadeira ou falsa; independentemente de sermos capazes de decidir qual dos dois. A lógica matematica adota como regras fundamentais dois principios ou axiomas: I – principio da não contradicão Um objeto não pode, simultaneamente, ser e não ser. Ou seja, não é possível afirmar e negar o mesmo predicado para o mesmo objeto ao mesmo tempo; ou ainda, de duas afirmações contraditórias, uma é necessariamente falsa. II – principio do terceiro excluido Qualquer proposição é verdadeira ou é falsa, não existindo uma terceira opção. Exemplos de proposições 1 – Vasco da Gama descobriu o Brasil (F) 2 – Jorge Amado escreveu « mar morto » (V) 3 – ¾ é um numero inteiro (F) 4 – Brasilia é capital do Brasil (V) 5 – O maior jogador do mundo é Maradona (F) Argumentos lógicos Se eu ganhar na Loteria, serei rico Eu ganhei na Loteria Logo, sou rico Como a conclusão “sou rico” é uma decorrência lógica das duas premissas, esse argumento é considerado válido. A validade do argumento está diretamente ligada à forma pela qual ele se apresenta. Se eu ganhar na Loteria, serei rico Não ganhei na Loteria Logo, não sou rico Embora seja semelhante ao anterior, tem outra forma, e, nessa forma, a conclusão não se segue logicamente das premissas, e, portanto, não é um argumento válido. A Lógica dispõe de duas ferramentas que podem ser utilizadas pelo pensamento na busca de novos conhecimentos: a dedução e a indução Dedução - Os argumentos dedutivos pretendem que suas premissas forneçam uma prova conclusiva da veracidade da conclusão. Um argumento dedutivo é válido quando suas premissas, se verdadeiras, fornecem provas convincentes para sua conclusão, isto é, quando for impossível que as premissas sejam verdadeiras e a conclusão falsa; caso contrário, o argumento dedutivo é dito inválido. Indução - Os argumentos indutivos não pretendem que suas premissas forneçam provas cabais da veracidade da conclusão, mas apenas que forneçam indicações dessa veracidade. Joguei uma pedra no lago, e a pedra afundou; Joguei outra pedra no lago e ela também afundou; Joguei mais uma pedra no lago, e também esta afundou; Logo, se eu jogar uma outra pedra no lago, ela vai afundar. Os termos “válidos” e “inválidos” não se aplicam aos argumentos indutivos; eles costumam ser avaliados de acordo com a maior ou menor possibilidade com que suas conclusões sejam estabelecidas. Os argumentos indutivos partem do particular para o geral, isto é, a partir de observações particulares, procura estabelecer regras gerais. Uma proposição logicamente verdadeira é aquela cuja verdade depende exclusivamente do arranjo de certas expressões, ditos vocabulos lógicos, e não de um texto empirico ou observacional. Esses vocabulos são: e, ou, não, se ... então, todo. Ex. « Sócrates é mortal ou Sócrates não é mortal. » « João é cuiabano ou João não é cuiabano. » « todo homem é mortal e Sócrates é homem, então Sócrates é mortal. » As particulas (vocabulos) lógicas: e, ou, não, se ... então desempenham importante papel no estabelecimento das disciplinas, pois a partir de proposições simples podem ser formados proposições compostas. Normalmente as proposições são representadas por letras do alfabeto latino ou grego (p, q, t, α, β...) Proposições simples p: 5 < 8 q: o novo papa é alemão r: João é médico s: Pedro é analista proposições compostas w= junção de r e s: João é médico e Pedro é analista t: comprarei um carro se e somente se ganhar dinheiro v: Paulo é matogrossense ou é goiano A veracidade de uma proposição simples é imediata, enquanto a veracidade de uma proposição composta depende de duas coisas: 1) do valor lógico das proposições compostas, 2) do tipo de conectivo lógico que as une. Conectivos a serem estudados: e, ou, não, se ... então, se somente se, Exercícios 1. Antes de iniciarmos o estudo sistemático da Lógica, exercitemos desde já nosso raciocínio, e apelemos ao velho e útil bom senso para resolver os seguintes problemas: 2. 3. 4. Se eu não tenho carro, a afirmação “meu carro não é azul” é verdadeira ou falsa ? Existe um ditado popular que afirma que “toda regra tem exceção”. Considerando que essa frase é, por sua vez, também uma regra, podemos garantir que é verdadeira ? Ou que é falsa ? Durante uma expedição, um explorador encontra uma caverna com três deuses: o deus da sinceridade, que sempre fala a verdade; o deus da diplomacia, que às vezes diz a verdade, às vezes, não; e o deus da falsidade, cujas declarações são sempre mentirosas. O deus A diz: “B é o deus da sinceridade”, mas o deus B retruca: “Não, eu sou o deus da diplomacia”, e o deus C completa: “Nada disso, B é o deus da mentira”. Afinal, quem é quem ? 5. Havia tres garotas, Sueli, Marcia e Diana. Suponha que os seguintes fatos sao dados: a) Paulo ama ao menos uma das garotas; b) Se ele ama Sueli mas nao Diana entao tambem ama Marcia; c) Ou ele ama Diana e Marcia ou nenhuma das duas; d) Se ele ama Diana, entao tambem ama Sueli; Qual das garotas voce conclui que Paulo ama? 6. Qual das cinco se parece menos com os outros quatro? TATO PALADAR AUDIçÃO SORRISO VISÃO 7. Se voce reordenar as letras da ECHOOL, o resultado sera o nome de um: Oceano pais cidade estado animal Conectivo « e » (^) and ( . ) – conjunçao Definição Chama-se conjunção de duas proposições p e q a proposição representada por « p^q », cujo valor lógico é a verdade (V) quando as proposições p e q forem ambas verdadeiras, e falsidade (F) nos demais casos. Simbolicamente é representada por: « p^q », « p.q », « p and q » Ex. « Eu te darei uma bola e eu te darei uma chuteira » p: eu te darei uma bola q: eu te darei uma chuteira Valor lógico das proposições: Eu te darei uma bola p Eu te darei uma chuteira q Eu te darei uma bola e eu te darei uma chuteira p ^q V V V V F F F V F F F F Se as proposições p e q forem representadas como conjuntos, por meio de um diagrama, a conjunção " p e q " corresponderá à interseção do conjunto p com o conjunto q.