Você está na página 1de 52

Clique para editar o estilo do subttulo mestre

INTRODUO A LGICA

Prof. Gisleine Saraiva de Negreiros gisleine.unip@gmail.com 5/30/12

Lgica a cola que gruda os mtodos de raciocnio.


Schneider e Gries

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

-1716 - Gottfried von Leibniz

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

1783 Leonhard Euler Booleano George Boole

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

1871 - Augustus DeMorgan 1925 - Gottlob Frege

Publica em 1847 um Tratado de Lgica Formal (formal no sentido de forma)

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

1923 John Venn, 1952 E.W.Veitch, 1953 M.Karnaugh


Ampliao a representao grfica

1861

1947 Alfred North-Whitehead e 1872 1970 Bertrand Russel


Publicam Princpia Mathematica Impulsionam a base lgica para toda Matemtica (Programa sugerido por Leibniz) a

5/30/12

Histria
1937
o

A. Nakashima

Utiliza pela 1 vez a lgebra de Boole aplicandoa a anlise de circuitos de reles.

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

Para que serve a lgica?


O

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

dos enunciados seguintes so argumentos. Identifique as suas premissas e a sua concluso:

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

dos enunciados seguintes so argumentos. Identifique as suas premissas e a sua concluso:

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
-

Falcia de Raciocnio circular


So Exemplo:
-

as falcias de assumir o que se quer provar.

Nudez publica imoral porque ela uma ofensa evidente.

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

Falcia de Raciocnio circular


Outro
-

Exemplo:

claro que o testemunho de Bob verdadeiro. Ele testemunhou isso, no foi?.

Este argumento assume implicitamente que o testemunho de Bob foi verdadeiro, o qual o que est sendo provado. - A suposio implcita esta:
-

Foi verdadeiro verdadeiro!?

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.

- Paladares apurados preferem o vinho x. Eu tenho um


paladar apurado. Eu devo preferir o vinho x.
As

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.

- Na segunda-feira passada eu bati meu carro. Na


segunda-feira anterior meu forno quebrou. Coisas ms acontecem comigo sempre as segundas-feiras.
Dois

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.

- Se Sara herdou uma fortuna, ento ela rica. Ela


rica. Sara herdou uma fortuna.

falso que Sara herdou uma fortuna; ela rica porque tem uma indstria de computadores!

5/30/12

Falcias de premissas falsas

Ou voc est do nosso lado ou voc est contra ns. Voc no est do nosso lado. Voc est contra ns.

uma terceira opo: permanecer neutro questo.

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

Classificao das Proposies


Simples

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

Algumas leis do Quadrado Lgico


Regras

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

Relacionamento entre Proposies

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

Relacionamento entre Proposies


Regras das Contrrias - As proposies so universais, mas diferem na qualidade. Exemplos: - A. Todos os advogados so juristas. - E. Nenhum advogado jurista. (No podem ser verdadeiras ao mesmo tempo, mas podem ser falsas ao mesmo tempo)

5/30/12

Relacionamento entre Proposies


Subcontrrias - As proposies so particulares, diferem na qualidade. Exemplos: - I. Alguns advogados so juristas. - O. Alguns advogados so juristas. (Podem ser ambas verdadeiras ao mesmo tempo. No podem ser as duas falsas ao mesmo tempo.)
Regras

5/30/12

Relacionamento entre Proposies


Subalternas Ambas as proposies so afirmativas ou negativas, diferem na quantidade. Exemplos: - B. Todos os advogados so juristas. - O. Alguns advogados so juristas. - E. Nenhum advogado juristas. - I. Alguns advogados so juristas. (Se a universal verdade, a particular verdadeira. Se a particular falsa, a universal falsa.)
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

palavras usadas para conectar proposies formando novas sentenas.


Conectivo /~ ^ v Estrutura Lgica No p Peq P ou q Exemplos

as

Operao Negao Conjuno Disjuno Inclusiva

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

Disjuno Exclusiva Condicional

Ou p ou q Se p ento q

Bicondicional

P se e somente se q

5/30/12

Exerccios III Conectivos Lgicos


Considerando

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

Substituir valores lgicos por 1 e0


nega disjun conjun condicion bicondicion o o o al al ~p 0 0 1 1 pvq 1 1 1 0 p^q 1 0 0 0 pq 1 0 1 1 pq 1 0 0 1 disjuno exclusiva pvq 0 1 1 0 p 1 1 0 0 q 1 0 1 0

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

Exerccio IV - Tabela Verdade


p q ~p ~q pvq p^q p ^~ q

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