Академический Документы
Профессиональный Документы
Культура Документы
INTRODUO A LGICA
5/30/12
Histria
Perodo Aristotlico
384 a.C. a 1840 d.C. Criou a lgica a partir do nada ( Lgica Aristotlica) Filsofos gregos passaram a us-la em sentenas na forma afirmativa/ negativa Grande valia na mtemtica No teve alteraes significativas por 2000 mil anos. Silogismo (teoria do argumento valido)
5/30/12
Histria
1646
o
Primeiro a propor o uso de linguagens artificiais: Criar uma linguagem artificial com um calculo que permitisse tirar automaticamente concluses. o Traduzir pensamentos para essa linguagem e calcular respostas: os problemas estariam resolvidos.
1707
Introduziu a representao grfica 1815 d.C. a 1864 d.C. lgebra Lgica (Boole) / lgebra Booleana 5/30/12 Simbologia Matemtica
Perodo
Histria
1806
o
1848
Publica em 1879 Conceitografia A escrita dos Conceitos Revoluciona a lgica sistematizando o raciocnio matemtico, formalizando as regras de demonstrao de maneira precisa Comea a surgir aplicaes em lingsticas matemtica e cincias da computao.
5/30/12
Histria
1834
o
1861
5/30/12
Histria
1937
o
A. Nakashima
1938
- Claude E. Shannon
Demonstra a lgebra de Boole na anlise de circuito de reles Cria a base para o desenvolvimento da teoria dos interruptores
5/30/12
O que Lgica?
Talvez
esta seja a primeira curiosidade que advm a nossa mente, pois, o pblico no especialista costuma empregar o termo LGICA em vrias acepes: A lgica do amor A lgica do tcnico de futebol A lgica do presidente
CONTEXTOS
INADEQUADOS
5/30/12
O que Lgica?
Vem
do grego logos (), que significa palavra, pensamento, idia, argumento, relato. Razo. dos princpios da argumentao vlida. o estudo dos argumentos / Estudo da Razo e/ou Estudo do Raciocnio uma cincia de ndole matemtica e fortemente ligada Filosofia.
5/30/12
Trata
O que Lgica?
O
objetivo fundamental da lgica estudar a diferena entre argumentos vlidos e os argumentos invlidos.
5/30/12
aprendizado da Lgica auxilia os estudantes no raciocnio, na compreenso de conceitos bsicos, na verificao formal de programas e melhor os prepara para o entendimento do contedo de tpicos mais avanados.
5/30/12
ARGUMENTAO
Argumentao:
modo de expor ou apresentar raciocnios de modo a concordar ou refutar determinado ponto de vista, idia, hiptese.
5/30/12
ARGUMENTAO
Pode
ser definido ainda, como um conjunto de sentenas, das quais uma chamada concluso, as outras de premissas, e pretende-se que as premissas justifiquem, garantam ou dem evidncias para a concluso. EXEMPLO: Todos os homens so mortais (Premissa)
Scrates homem (Premissa) Portanto, Scrates mortal (Concluso) As duas primeiras so premissa, pois, provam a concluso.
5/30/12
ARGUMENTAO
As
premissas e a concluso de um argumento so sempre enunciadas (ou proposies) idias verdadeiras ou falsas. Perguntas, ordens, exclamaes no so admitidas em argumentos por no serem sentenas declarativas.
Lembre-se
a um conjunto de sentenas quaisquer, sem relao umas com as outras, no constitui um argumento, deve haver a inteno de se afirmar a Concluso com base nas premissas, ou seja: A concluso deve estar garantida pelas premissas.
5/30/12
EXERCCIO 1
Alguns
1 Ele Leo, pois nasceu na primeira semana de Agosto 2 - Como a economia pode ser melhorada? O dficit comercial est crescendo todo dia. 3 - Eu no quero ir para cama, mame. O filme ainda no acabou. 4 - O edifcio estava em runas, coberto de fuligem marrom, numa regio abandonada. A fuga dos ratos ressoava pelos 5/30/12 corredores
EXERCCIO 1
Alguns
6 - Ns estvamos superados em nmero e em armas pelo inimigo, e suas tropas estavam constantemente sendo reforadas enquanto as nossas foras estavam diminuindo. Assim, um ataque direto teria sido suicida. 7 - Ele est respirando e, portanto, est vivo. 8 - O tringulo ABC eqingulo. Portanto, cada um de seus ngulos internos mede 60 graus.
5/30/12
Falcia
Falcias so erros que ocorrem nos argumentos e que afetam sua irrefutabilidade, ou seja, quando um argumento falaz, as premissas no sustentam a concluso. Argumentos falaciosos so enganosos, pois parecem ser, superficialmente, bons argumentos. Tipos de falcias: Falcia de Relevncia Falcia de Raciocnio Circular Falcias Semnticas Falcias Indutivas Falcias Formais 5/30/12
Falcia de Relevncia
Ocorrem
quando as premissas do argumento no tm relao com a concluso e, freqentemente, incluem um elemento para desviar a ateno do real problema. Exemplo:
-
Jones diz que viu meu cliente cometer um crime. Jones um bbado inveterado. O testemunho de Jones sem valor. Jones acredita que nos deveramos abster de licor. Jones um bbado inveterado. No nos devemos abster de licor.
No primeiro argumento, embora Jones seja um bbado inveterado, a observao pode ter sido efetuada quando ele estava sbrio. - No segundo, os atos de Jones no tm relao 5/30/12
-
A premissa Nudez publica uma ofensa evidente. - A concluso Nudez publica imoral.
-
As duas sentenas dizem a MESMA COISA. A premissa est simplesmente reformulada como concluso 5/30/12
Exemplo:
Este argumento assume implicitamente que o testemunho de Bob foi verdadeiro, o qual o que est sendo provado. - A suposio implcita esta:
-
que
testemunho
de
Bob
foi
5/30/12
Falcias semnticas
Resultam
quando a linguagem utilizada na construo dos argumentos tem mltiplos significados ou excessivamente vaga, que interfere na avaliao do argumento.
premissas so relevantes para a concluso, mas seus significados so vagos, logo suas veracidades so discutveis. O que e quem tem um paladar apurado? Em publicidade os significados das palavras so freqentemente deixados vagos a fim de que os consumidores possam interpret-los do modo que mais lhe convenham.
5/30/12
Falcias indutivas
Ocorrem
quando a probabilidade da concluso de um argumento baixa ou, pelo menos, menor do que o argumentador supe.
eventos ruins em duas segundas-feiras dificilmente so suficientes para garantir uma concluso sobre todas as segundas-feiras.
5/30/12
Falcias formais
Ocorrem
quando fazemos mau uso de uma regra de inferncia (raciocnio) vlida ou quando inferimos uma regra que tem sua demonstrabilidade invalida.
falso que Sara herdou uma fortuna; ela rica porque tem uma indstria de computadores!
5/30/12
Ou voc est do nosso lado ou voc est contra ns. Voc no est do nosso lado. Voc est contra ns.
5/30/12
Lgica Aristotlica
Tem
como cerne o SILOGISMO: Tipo particular de argumento, tendo duas premissas e uma concluso, utilizando somente as proposies categricas, que correspondem a uma das quatro formas seguintes: Universal Afirmativa Todo Universal Negativa Nenhum AB Particular Afirmativa Algum Particular Negativa - Nenhum
5/30/12
Lgica Aristotlica
Exemplo: Se
substituirmos alguns termos, como gato e mamfero, por variveis como A, B, etc., Forma-se um argumento: Todo A B C um A Logo, C B. Assim, para analisar a validade de um argumento deixa-se de lado o seu contedo, concentra-se apenas em seus aspectos formais
5/30/12
Classificao da Lgica
Lgica Indutiva: Usada no estudo da
Probabilidade
5/30/12
Classificao da Lgica
Lgica Dedutiva
Pode
ser dividida em: Lgica Clssica: Considerada como o ncleo da lgica dedutiva. Utiliza o princpio da: Bivalncia S pode assumir dois valores V ou F. Exemplo: - Todos os homens so mortais. - Scrates um homem. - Logo, Scrates mortal.
5/30/12
Classificao da Lgica
Lgicas
complementares da clssica: Complementam de algum modo a lgica clssica estendendo o seu domnio. Lgica Modal, dentica, epistmica, etc. Exemplos: - Lgicas modal: Para que X seja possvel necessrio Y
5/30/12
Classificao da Lgica
Lgicas
No - Clssicas Caracterizadas por no obedecer alguns dos princpios da lgica clssica. Exemplos - Paracompletas e Intuicionistas (derrogam o princpio do terceiro excludo); - Paraconsistentes (derrogam o princpio da contradio); - No-alticas (derrogam o terceiro excludo e o da contradio); - No - reflexivas (derrogam o princpio da identidade).
5/30/12
Representao Lgica
Existem -
3 maneiras de representao lgica. Linguagem natural; Exemplo: Carlos funcionrio pblico. Simblica: Tudo abreviado. letras latinas minsculas p,q,r,s,.... para indicar as proposies (frmulas atmicas) Exemplo: p = Carlos funcionrio pblico. q = A neve branca Diagrama lgico. 5/30/12 Exemplo:
p
SISTEMAS DICOTMICOS
5/30/12
Proposio
uma sentena declarativa classificada como Falso (F) ou Verdadeiro (V). Satisfaz trs princpios fundamentais. Princpio da identidade: se qualquer proposio verdadeira, ento, ela verdadeira. Princpio do terceiro excludo: uma proposio s pode ser verdadeira ou falsa. Princpio da no contradio: uma proposio no pode ser ao mesmo tempo verdadeira e falsa.
5/30/12
Proposio
Exemplos
Frases -
que SO PROPOSIES A lua o nico satlite do planeta (V) A cidade de Salvador a capital do estado do Amazonas (F) O nmero 712 mpar (F) Raiz quadrada de dois um nmero irracional (V)
http://www.inf.ufsc.br/ine5365/introlog.html
5/30/12
Proposio
Exemplos
Frases que NO SO PROPOSIES -Pare! -Quer uma xcara de caf? -Eu no estou bem certo se esta cor me agrada. http://www.inf.ufsc.br/ine5365/introlog.html
http://www.inf.ufsc.br/ine536
5/30/12
Proposio
Uma
proposio verdadeira possui o valor lgico V (verdade) e uma proposio falsa possui o valor lgico F (falso). Esses valores tambm podem ser representados por 0 para as proposies falsas e por 1 para as proposies verdadeiras. Sendo assim, a representao (0 ou F) e (1 ou V) so corretas.
http://www.inf.ufsc.br/ine536
5/30/12
ou atmica: no contm nenhuma outra proposio como parte integrante de si mesma. Exemplos: p q, r, s etc. ou P,Q,R,S etc. a) p: Carlos inteligente. b) q: 7 um nmero par.
Compostas:
formada pela combinao de duas ou mais proposies simples. Exemplos: a) p: Carlos inteligente e Manoel torcedor do Botafogo. b) q: Se Pedro5/30/12 sozinho, ento infeliz.
Proposies Lgicas
As proposies so relacionadas logicamente de acordo com o quadro lgico ou tbua de oposies.
5/30/12
Tipo de Proposies
H
4 tipos de proposies :
A- Universal Afirmativa: Todos os As so B - Exemplo: Todos os jogadores de futebol so craques / Todo homem mortal E- Universal Negativa: Nenhum A B - Exemplo: Nenhum jogador de futebol craque / Nenhum homem mortal I- Particular Afirmativa: Alguns As so B - Exemplo: Alguns jogadores de futebol so craques / Algum homem mortal O -Particular Negativa: Alguns As no so B Exemplo: Alguns jogadores de futebol no so craques / Algum homem no mortal
5/30/12
das Contrrias: Duas proposies no podem ser ambas verdadeiras ao mesmo tempo. Regras das Contraditrias: Duas proposies contraditrias no podem ser nem verdadeiras nem falsas ao mesmo tempo. Regra das Subcontrrias: Duas proposies subcontrrias no podem ser ambas falsas ao mesmo tempo.
http:://pt.wikipdia.org/wiki/Quadrado das oposies
5/30/12
Regras Contraditrias As proposies diferem na quantidade e na qualidade Exemplos: A. Todos os advogados so juristas. O. Alguns advogados so juristas. E. Nenhum advogado e jurista I. Alguns advogados so juristas. 5/30/12
5/30/12
5/30/12
Regras
Exerccios II - Proposies
Quais A) B) C) D) E) F)
das sentenas abaixo so proposies: O Brasil um pais da Amrica do Sul. A Receita Federal pertence ao poder judicirio. Boa Sorte! Joselias, um bom professor? 3+5=7 x+y = 7
5/30/12
Conectivos Lgicos
So
as
A bicicleta no azul Thiago mdico e Joo engenheiro. Thiago mdico ou Joo Engenheiro Ou Thiago Mdico ou Joo Engenheiro Se Thiago Mdico ento Joo Engenheiro Thiago mdico se e somente se Joo Mdico
Ou p ou q Se p ento q
Bicondicional
P se e somente se q
5/30/12
as proposies simples: a) p: Joselias estatstico. b) q: Flvio advogado Represente as proposies abaixo: a) p v q b) p ^ q c) p ^~q d) p q
5/30/12
Conectivos Lgicos
O
valor lgico de qualquer proposio composta depende unicamente dos valores lgicos das proposies simples componentes, ficando por eles univocamente determinados. Isto quer dizer que, o valor lgico da proposio composta depender do conectivo e existe uma regra de como se produzir este valor lgico, que chamamos de TABELA VERDADE.
5/30/12
Tabela Verdade
nega disjun conjun condicion bicondicion o o o al al p V V F F q V F V F ~p F F V V pvq V V V F p^q V F F F pq V F V V pq V F F V disjuno exclusiva pvq F V V F
Regras: Negao: Troca o valor lgico. Se p for V, ~p ser F. Disjuno: O ou s ser F se todos os valores lgicos forem F. Conjuno: O e s ser V se todos os valores lgicos forem V. Condicional: Ser F quando os valores lgicos p for V e q for F. Bicondicional: S ser V se ambos valores forem V. Disjuno Exclusiva: S ser V se ambos valores forem diferentes.
5/30/12
Tabela Verdade
Regras: Negao: Troca o valor lgico. Se p for V, ~p ser F. Disjuno: O ou s ser F se todos os valores lgicos forem F. Conjuno: O e s ser V se todos os valores lgicos forem V. Condicional: Ser F quando os valores lgicos p for V e q for F. Bicondicional: S ser V se ambos valores forem V. Disjuno Exclusiva: S ser V se ambos valores forem diferentes.
5/30/12
V V F F
V F V F
5/30/12
Bibliografia!
ABE,
J. M. Introduo lgica para a cincia da computao. 2.ed. So Paulo: Arte & Cincia, 2001. ALENCAR FILHO, E. Iniciao lgica matemtica. 21.ed. So Paulo: Nobel, 2002. DAGGLIAN, J. Lgica e lgebra de boole. 4.ed. So Paulo: Atlas, 1995. MORTARI, C.A. Introduo lgica. So Paulo: UNESP, 2001. NOLT, J. Lgica. So Paulo: McGraw-Hill, 1991. SALMON, W. C. Lgica. 3.ed. Rio de Janeiro, 1993.
5/30/12