Universidade Federal do Piau Centro de Educao Aberta e a Distncia

Lgica I
Gerson Albuquerque de Arajo Neto

Ministrio da Educao - MEC Universidade Aberta do Brasil - UAB Universidade Federal do Piau - UFPI Universidade Aberta do Piau - UAPI Centro de Educao Aberta a Distncia - CEAD

Lgica I

Gerson Alburqueque de Arajo Neto

PRESIDENTE DA REPBLICA MINISTRIO DA EDUCAO GOVERNADOR DO ESTADO REITOR DA UNIVERSAIDADE FEDERAL DO PIAU SECRETRIO DE EDUCAO A DISTNCIA DO MEC PRESIDENTE DA CAPES COORDENADORIA GERAL DA UNIVERSIDADE ABERTA DO BRASIL DIRETOR DO CENTRO DE EDUCAO ABERTA A DISTNCIA DA UFPI CONSELHO EDITORIAL

Luiz Incio Lula da Silva Fernando Haddad Wilson Martins Luiz de Sousa Santos Jnior Carlos Eduardo Bielshowsky Jorge Almeida Guimares Celso Costa Gildsio Guedes Fernandes Prof. Dr. Ricardo Alaggio Ribeiro ( Presidente ) Des. Tomaz Gomes Campelo Prof. Dr. Jos Renato de Arajo Sousa Prof. Dr. Teresinha de Jesus Mesquita Queiroz Prof. Francisca Maria Soares Mendes Prof. Iracildes Maria de Moura F Lima Prof. Dr. Joo Renr Ferreira de Carvalho

COORDENAO DE MATERIAL DIDTICO PROJETO GRFICO DIAGRAMAO REVISO REVISOR GRFICO

Cleidinalva Maria Barbosa Oliveira Samuel Falco Silva Diego Albert Djanes Lemos Ferreira Gabirel Carmem Lcia Portela Santos

A663l Arajo, Gerson Albuquerque de Lgica: Gerson Albuquerque de Arajo - Teresina: EDUFPI/CEAD-UFPI, 2010 68 p. ISBN: 978-85-7463-305-3 1- Lgica. 2 - Educao a Distncia. I. Ttulo C.D.D. - 160

2010. Universidade Federal do Piau - UFPI. Todos os direitos reservados. A responsabilidade pelo contedo e imagens desta obra do autor. O contedo desta obra foi licenciado temporria e gratuitamente para utilizao no mbito do Sistema Universidade Aberta do Brasil, atravs da UFPI. O leitor se compromete a utilizar o contedo desta obra para aprendizado pessoal, sendo que a reproduo e distribuio ficaro limitadas ao mbito interno dos cursos. A citao desta obra em trabalhos acadmicos e/ou profissionais poder ser feita com indicao da fonte. A cpia deste obra sem autorizao expressa ou com intuito de lucro constitui crime contra a propriedade intelectual, com sanses previstas no Cdigo Penal.

 A lgica uma das partes da filosofia. Para o filsofo grego era uma das disciplinas propeduticas para o entendimento, aprofundamento e reflexo sobre os principais problemas da filosofia. Este texto tem o objetivo de apresentar aos alunos uma introduo reflexiva dos principais temas da lgica. O texto inicia com os principais conceitos da lgica. O captulo II trata do estudo dos argumentos. Logo a seguir vem um captulo sobre o Clculo Proposicional. As Tabelas Verdade o assunto do captulo IV. No captulo V feito um estudo sobre o Silogismo. As Falcias o tema do captulo VI. Segue-se o Clculo de Predicado no captulo seguinte. E por fim, pequenas notas introdutrias dos avanos da lgica no sculo XX. So as chamadas lgicas no clssicas. O objetivo do texto no o de esgotar toda a lgica, mas aparelhar o aluno intelectualmente para melhor tratar e entender os problemas da filosofia. Aquele que quiser se aprofundar mais na lgica deve procurar a bibliografia no final do livro.

09 19 27 37 43 53 61 69

UNIDADE 1

LGICA: CONCEITOS FUNDAMENTAIS ...........................................11 Teorias da Verdade 12

UNIDADE 2

ESTUDO DOS ARGUMENTOS...........................................................21

UNIDADE 3

CLCULO PROPOSICIONAL .............................................................29

UNIDADE 4

TABELAS VERDADE .........................................................................36 Validade do Argumento e Tabela Verdade 39

UNIDADE 5
SILOGISMO......................................................................................45

UNIDADE 6
FALCIAS ........................................................................................55

UNIDADE 7
CLCULO DE PREDICADOS .............................................................63 Quantificadores 63

BIBLIOGRAFIA
referncias ..................................................................................65

UNiDADE 01
Lgica: Conceitos Fundamentais

10

UNIDADE 01

Lgica: Conceitos Fundamentais

Antigamente lgica era entendida como o estudo dos raciocnios corretos. Hoje em dia entende-se lgica como o estudo dos argumentos corretos. O primeiro pensador a produzir uma obra sobre lgica foi Aristteles. Os estudiosos da histria da lgica discutem sobre a criao da lgica por Aristteles. Uma corrente defende a ideia de que Aristteles criou a lgica exnihilo, ou seja, do nada. Entre os defensores desta corrente esto Benson Mates e Prantl. Uma outra corrente afirma que Aristteles foi mais um compilador de ideias que j circulavam em seu tempo do que propriamente um criador da lgica do nada. Entre os pensadores que advogam estas ideias esto Bertrand Russell, Robert Blanch e o lgico polons Bochenski. O conhecimento produzido numa relao sujeito e objeto. Sendo que o objeto pode ser de trs tipos: material, abstrato, formal e virtual. Percepo: quando na relao sujeito objeto, o primeiro atinge o segundo sem nenhum esforo do intelecto. uma operao imediata. Conceito: uma operao do intelecto onde o sujeito apreende o objeto. Nos conceitos temos as dimenses da extenso e da compreenso. A extenso de um sujeito constitui o conjunto de notas que podem ser atribudos ao conceito. J a compreenso constitui os indivduos que podem ser aplicados os conceitos. Por exemplo, no conceito homem, a compreenso seria: ser racional, ser vivo, animal, mamfero, bpede, etc. A extenso seria: Antnio, Jos, Joo, etc.

Lgica I

11

 Existe uma relao de proporcionalidade inversa na relao compreenso e extenso. Quanto maior a compreenso menor a extenso. Termo: a externalizao do conceito. Os termos so classificados de dois tipos: categoremticos e sincategoremticos. Os termos sincategoremticos no tm sentido isoladamente. Exemplo so os termos mas, alm, e, cada. J os termos categoremticos tm sentido isoladamente e podem ocupar o lugar de sujeito e predicado na proposio. Juzo a operao intelectual onde dois conceitos so unidos, quando afirmamos ou os dois conceitos so separados, quando negamos. Proposio a externalizao do juzo. Uma proposio diferente do enunciado porque pode receber valor de verdade. Verdade no uma noo simples. E o que seria a verdade? Vamos agora estudar um pouco sobre ela para trabalharmos melhor os conceitos da lgica. A noo de verdade no ocidente etimologicamente vem do grego, do latim e do hebraico. No grego verdade que significar desvelar. Significar dizer desvelar aquilo que estava velado. Tirar o vu daquilo que estava encoberto. descobrir aquilo que estava encoberto. No latim verdade veritas que significa relato fiel. o discurso que relata um fato igual como ele aconteceu. No hebraico, verdade dita emunah e est ligada a crena no cumprimento das promessas anunciadas por Deus. Podemos encontrar uma relao temporal para estas noes de verdade. Veritas est ligada a noo temporal passado. Aletia est ligada ao presente e emunah est ligada a noo temporal de futuro. Toda esta influncia contribuiu para aumentar a complexidade da ideia de verdade. Esta complexidade tanta que gerou vrias teorias da verdade. Teorias da Verdade Existem quatro grandes teorias da verdade: a Teoria da Verdade por Correspondncia, a Teoria da Verdade por Coerncia, Teoria Convencional da Verdade e a Teoria Pragmtica da Verdade. Teoria da Verdade por Correspondncia: Esta teoria defende que uma proposio verdadeira quando ela diz sobre um fenmeno
12

UNIDADE 01

corresponde ao fenmeno. Exemplo: A proposio Chove l fora verdadeira se realmente chove l fora. A proposio o quadro branco verdadeira se o quadro for banco. Um dos defensores da teoria da verdade por correspondncia foi Aristteles. No livro Metafsica, Aristteles diz: Verdade dizer daquilo que , , e daquilo que no , no . Falso dizer daquilo que , no , e daquilo que no , . Outro defensor da teoria da verdade por correspondncia foi o lgico polons, que se radicou nos Estados Unidos, Alfred Tarski. Ele escreveu nos anos trinta do sculo XX, a magistral obra A Teoria Semntica da Verdade, onde discute a teoria da verdade por correspondncia. Teoria da Verdade Pragmtica: os pensadores que defendem a teoria da verdade pragmtica assumem que uma proposio verdadeira se o que estar sendo dito na proposio pode ser confirmado na prtica. Uma verso desta teoria assumir como verdadeiro aquilo que funciona. Teoria da Verdade por Coerncia: Os defensores desta teoria defendem que uma proposio verdadeira se o que ela diz mantm coerncia com outras proposies s quais est ligada. Teoria da Verdade Convencional: Segundo os adeptos desta teoria a verdade de uma proposio estabelecida em conveno. Aristteles, no livro Delta da Metafsica, diz que verdade dizer daquilo que , e daquilo que no , no . Falso dizer daquilo que , no e daquilo que no , . Principais representantes: Aristteles e Alfred Tarski. Diferena entre proposio e sentenas. A sentena o suporte lingustico da proposio. Observemos o exemplo a seguir: A casa branca. The house is White. Le Maison est blanc. Der hauss ist weiss. No exemplo acima temos quatro sentenas, mas uma s proposio. As proposies podem ser classificadas por diversos critrios: 1. Pela quantidade: por este critrio as proposies podem ser classificadas em universais e particulares.

Lgica I

13

Proposies universais so aquelas que se referem a todos os elementos ou membros de uma classe. Exemplo: Todo pernambucano nordestino. Neste exemplo anterior a proposio se refere a todos os membros da classe dos pernambucanos. Proposies particulares so aquelas que se refere a uma parte dos elementos ou membros de uma determinada classe. Alguns autores defendem que alm das proposies universais e particulares, existem as proposies singulares. Estas se referem a um determinado indivduo ou elemento de uma classe. Exemplo: Scrates homem. Para maioria dos autores, no entanto, s existem as proposies universais e as proposies particulares. 2. Quanto qualidade, as proposies so classificadas em afirmativas e negativas. Uma proposio afirmativa aquela em que os termos sujeito e predicado so unidos. Exemplo: Pedro professor. No exemplo acima o termo Pedro unido ao termo professor. Uma proposio negativa quando os termos sujeito e predicado so separados. Exemplo: Roberto no professor. Neste exemplo o termo Roberto separado do termo professor. 3. As proposies podem, tambm, ser classificadas em analticas e sintticas. A maior parte dos livros se referem a juzos analticos e a juzos sintticos. Mas como vimos, na lgica o juzo uma operao mental ou intelectual, s ocorrendo dentro dos nossos crebros. A proposio a sua externalizao.
14

UNIDADE 01

 A proposio analtica aquela onde o predicado est contido no sujeito. Exemplo: Todo tringulo tem trs ngulos. Na proposio acima o predicado tem trs ngulos est contido no sujeito tringulo. A proposio sinttica aquela em o predicado no est contido, obrigatoriamente, no sujeito. Exemplo: A casa verde. Neste exemplo o predicado verde no est contido no sujeito casa. 4. As proposies podem ser classificadas em a priori e a posteriori. Uma proposio a priori aquela que no precisa de experincia para se verificar se ela verdadeira ou falsa. Uma proposio a posteriori aquela que precisa da experincia para se verificar se ela verdadeira ou falsa. 5. Segundo a modalidade as proposies so classificadas em necessrias e possveis. Uma proposio contingente aquela que pode ser verdadeira ou falsa. A verdade ou falsidade vai depender de algumas condies ou contextos. J uma proposio necessria aquela que em qualquer situao verdadeira. Exemplos: A proposio Joo professor. Esta proposio pode ser verdadeira em alguns contextos. J a proposio Todo tringulo tem trs ngulos verdade em qualquer contexto. As proposies so compostas de um termo, chamado sujeito e outro termo chamado predicado. A ligao entre os dois termos feita pela cpula. Exemplo: A Lua redonda.
Lgica I

15

O termo Lua o sujeito. O termo redonda o predicado. E a cpula o verbo ser, que aqui conjugado corresponde a .

1. Explique a diferena entre conceito e termo. 2. Explique, com exemplos, a diferena entre juzo e proposio. 3. Qual a relao entre compreenso e extenso de um conceito? Na relao sujeito e objeto podemos ter o raciocnio. Este a operao intelectual onde dois termos so relacionados com um terceiro termo. Nesta atividade elaborado em um conjunto de proposies onde por um processo de inferncia chega-se a uma proposio conclusiva. As proposies das quais fazemos a inferncia so chamadas de antecedentes ou premissas. E a proposio inferida chamada consequente ou concluso. Juzos analticos e universais. Chama-se argumento a externalizao do raciocnio. No exemplo abaixo as duas primeiras proposies so chamadas de premissas. E a ltima chamada de concluso: Todo homem mortal Joo homem ___________________ Logo, Joo mortal. Principios da Lgica Princpio da Identidade: diz que algo igual a si mesmo, ou seja, A = A, ou ainda, xx=x. Princpio da No Contradio: diz que algo no pode ser e no ser ao mesmo tempo, ou seja, uma proposio no pode ser verdadeira e falsa ao mesmo tempo. Probe pp Princpio do Terceiro Excludo: diz que algo s pode ser verdadeiro ou falso, no podendo, acontecer alternativa diferente. Ou seja, s podemos ter: pp.
16

UNIDADE 01

Podemos ter ainda outros princpios da lgica como: Princpio da Trplice Identidade: Diz que se duas coisas so iguais, e uma delas igual a uma terceira, ento elas so iguais entre si. Ou seja: Se A = B, e B = C , ento A = C. Ou ainda: ((A = B) (B = C) (A = C)). Princpio da Razo Suficiente: Diz que tudo tem uma razo para acontecer. Outros conceitos importantes para o estudo da lgica: Contradio: afirmar p p. Tautologia: uma verdade necessria. Por exemplo afirmar p p. Aporia: etimologicamente vem do grego sem passagem. um raciocnio que leva algum a uma situao sem sada. Exemplo: quantos cabelos algum tem que perder para ser chamado de careca? Paradoxo: um tipo de raciocnio onde se chega a uma concluso que uma contradio. Vrios so os exemplos e tipos de paradoxos. So bastante conhecidos os paradoxos do mentiroso, dos conjuntos normais, do marinheiro, etc. Exemplo do paradoxo do mentiroso: Um interlocutor apresenta um dilogo com as seguintes frases: Todo cretense mentiroso Ora, eu sou cretense. Antinomia: um tipo de paradoxo em que o raciocnio est correto. 1) Comente os princpios da lgica. 2) Qual a diferena entre proposio e juzo? 3) Discuta a diferena entre sentena e proposio.

Lgica I

17

O presente captulo visa apresentar ao aluno os principais conceitos da lgica. Isto se faz necessrio melhor entender as questes principais da lgica. Alm dos conceitos principais da lgica tambm apresentados os Princpios da Lgica. Entre os principais conceitos discutidos esto o de conceito, termo, juzo, proposio, raciocnio e argumento. discutido o conceito de verdade, bem como as teorias da verdade.

18

UNIDADE 01

UNiDADE 02
Estudo dos Argumentos

20

UNIDADE 02

Estudo dos Argumentos

Os argumentos em geral podem ser classificados em Dedutivos e Indutivos. A Deduo um tipo de raciocnio onde a verdade das premissas garantem a verdade da concluso. Ou seja, se as premissas forem verdadeiras, a concluso obrigatoriamente tambm o ser. Exemplo: Todo piauiense brasileiro. Todo teresinense piauiense. ___________________________ Logo todo teresinense brasileiro. Na deduo prope-se que a partir de algumas premissas que so tomadas como verdadeiras infere-se uma concluso. Este mtodo era considerado o raciocnio por excelncia por Aristteles. Na deduo as verdades das premissas garantem a verdade da concluso. Ou seja, no possvel que as premissas sejam verdadeiras e a concluso seja falsa. H uma incompatibilidade entre a verdade das premissas e a falsidade da concluso. Por exemplo: Todo homem mortal Scrates homem _____________________ Logo Scrates mortal No exemplo acima se as duas premissas forem verdadeiras, ou seja, se todo homem mortal e Scrates homem impossvel que ele no seja
Lgica I

Saiba mais
Deduo: Estudada por Aristteles, foi considerado por muito tempo como o raciocnio por execelncia.

21

mortal. De uma deduo no se diz que seja verdadeira ou falsa, mas que seja vlida ou invlida. A deduo no um processo nico. Ele pode ser de vrios tipos, os principais so: Modus Ponendo Ponnes, Modus Tollendo Tollens, Modus Ponendo tolles e Modus Tollendo Ponens. No Modus Ponendo Ponens, abreviadamente chamado Modus Ponnes, se uma premissa afirma que se ocorrer um antecedente ocorre um consequente. Ora, se o antecedente ocorrer, ento o consequente ocorre. Exemplo: Se chove a rua est molhada Ora, chove ________________________ Logo a rua est molhada Formalizando, temos: Se A ento B Ora A ________________________ Logo B No Modus Tollendo Tollens, abreviadamente chamado Modus Tollens, a premissa principal afirma que se um antecedente acontecendo, ento, ocorre um consequente. Ora se este consequente no ocorre porque o antecedente no ocorreu. Por exemplo: Se chove, a rua est molhada Ora, a rua no est molhada _________________________ Logo, no chove Formalmente, o Modus Tollens pode ser representado: Se A ento B Ora no B _______________________ Logo, no A No Modus Ponendo Tollens, o raciocnio parte de uma disjuno
22

UNIDADE 02

lgica(explicar em nota de rodap). Onde se uma das premissas afirmada uma das partes da premissa disjuntiva, ento a outra parte negada na concluso. Exemplo: Ou h governo ou h anarquia Ora, h governo __________________________ Logo, no h anarquia Formalmente representada por: A ou B Ora A __________________________ Logo no B No Modus Tollendo Ponens, o raciocnio parte de uma Disjuno Lgica. Onde se uma das partes da premissa negada, a outra parte da premissa afirmada na concluso. Exemplo: Ou h governo ou h anarquia, Ora, no h governo _____________________ Logo, h anarquia Formalmente representada por: A ou B Ora no A ____________________ Logo, B Na induo a verdade das premissas no garante a verdade da concluso, mas, apenas apia a verdade desta. A induo no verdadeira ou falsa, mas forte ou fraca. A induo, tambm, no um processo nico. Ela pode ser por simples enumerao, por analogia e probabilstica. A induo por simples enumerao o processo pelo qual cada

Saiba mais
Induo foi considerada, po Francis Bacon, o melhor mtodo para se alcanar conhecimentos novos. Por isso devia ser adotado na prtica cientfica.

Lgica I

23

premissa se refere a um elemento de uma determinada classe. Para cada elemento associado um mesmo predicado. Na concluso infere-se que todos os membros da classe possuem esse predicado. Exemplo: Um determinado cisne observado branco. Um segundo cisne observado branco. Outro cisne observado branco. Outro cisne observado branco. ________________________________ Logo todo cisne branco. A induo por Analogia aquele processo em que um determinado objeto ou espcie tm funcionamento semelhante a outro. Por analogia espera-se que uma determinada propriedade que funcione, funcione no outro. Exemplo: O homem e o rato so mamferos e tm sistemas imunolgicos semelhantes. Portanto uma droga aplicada nos ratos deve ter efeitos semelhantes nos humanos. A induo Probabilstica o processo onde no se pode ou no desejvel se trabalhar com todos os membros de uma classe e utilizase uma amostra dessa classe. Deve-se claro ter cuidado para que esta amostra seja representativa. Exemplo so as sondagens de opinio pblica.

1. Discuta a diferena entre argumento indutivo e argumento dedutivo. 2. Quais os principais tipos de deduo. 3. Quais os principais tipos de induo. 4. Apresente um exemplo de deduo modos ponens. 5. Apresente um exemplo de deduo modos tollens. 6. Apresente um exemplo de induo por simples enumerao. 7. Apresente um exemplo de induo por analogia.

24

UNIDADE 02

Neste captulo ser estudado o argumento. O estudo abordar tanto os argumentos dedutivos, como os argumentos indutivos. Os primeiros sero divididos em modos ponens, modos tollens, modos ponendo tollens e modos tollendo ponens. Os indutivos sero dividos em induo por simples enumerao, induo por analogia, e induo probabilstica.

Lgica I

25

26

UNIDADE 02

UNiDADE 03
Clculo Proposicional

28

UNIDADE 03

Clculo Proposicional
Os lgicos detectaram imperfeies na linguagem ordinria. Ou seja, a linguagem ordinria contm problemas que produzem dificuldades no seu uso. Para superar esta deficincia os lgicos criaram o Clculo Proposicional. Esta uma formalizao das proposies da linguagem ordinria. No Clculo Proposicional as proposies so traduzidas por letras do alfabeto. Cada proposio representada por uma letra. Exemplos: A casa branca traduzida pela letra p. A casa grande traduzida pela q. Quando se quer negar uma proposio antecipa-se o sinal antes da letra que representa a proposio. Por exemplo: p significa a casa no branca. q significa a casa no grande. O sinal de negao pode ser representado ~ ou - . Nos exemplos anteriores teremos: ~p : A casa no branca. - q : A casa no grande. As proposies no se encontram somente isoladas e no Clculo Proposicional quando duas proposies esto unidas a situao chamada de Conjuno e representada pelo smbolo: ^. Outras vezes representada
Lgica I

29

pelos smbolos: . ou &. Exemplos: p ^ q : A casa branca e a casa grande ou a casa branca e grande. P ^ q : A casa branca mas no grande. As proposies podem estar numa relao de alternncia. Neste caso ser chamada disjuno e representada pelo smbolo v. Exemplo: Seja r: a casa verde. p v q : A casa branca ou verde. As proposies podem estar numa relao de implicao, onde uma proposio implica outra. A proposio que implica chamada antecedente e a proposio implicada chamada de consequente. A implicao representada pelo seguinte smbolo: . Exemplo: Se p ento q : Se a casa for branca ento a casa no ser verde. Pode ainda ser representada: p q : Se a casa for branca ento a casa no ser verde. As proposies podem estar numa relao em que a primeira implica a segunda e vice-versa. Esta relao chamada bi-condicional, e representada pelo seguinte smbolo: . Exemplo: s: Joo maior de idade. t: Joo tiver mais que 18 anos de idade. p q : Joo maior de idade se e somente se tiver mais que 18 anos de idade. As proposies podem ser representadas por diagramas de Venn. No caso da negao temos:

30

UNIDADE 03

 A rea do circulo claro p. A rea hachuriada no p. Se considerarmos o retngulo como um conjunto universo U, podemos dizer que p so todos os elementos que pertencem a U e no pertencem a p. p = {x U ^ x p} No caso da disjuno temos o seguinte diagrama:

A rea do primeiro crculo p e a rea do segundo crculo q. Podemos dizer que p ou q so os elementos que pertecem a p, ou a q, ou ainda pertencem aos dois. p v q = {(x p) v (x q)} No caso da conjuno temos o seguinte diagrama de Venn:

O primeiro crculo representa p. O segundo crculo representa q. A area hachuriada representa os elementos que pertecem, simultaneamente
Lgica I

31

a p e q. p ^ q = {(x p) e (x q)} No caso da disjuno exclusiva temos o seguinte diagrama de Venn:

A rea do primeiro crculo p. A rea do segundo crculo q. A primeira rea hachuriada representa os elementos que so s p e no q. J a rea hachuriada no sugundo crculo representa os elementos que s so q e no so p. No caso da implicao, emos a seguinte representao do diagrama de Venn:

O crculo menor, que est hachuriado, representa p. J o crculo maior representa q. No caso da implicao p q, a figura mostra-nos que se um elemento pertence ao crculo p, ento ele pertencem ao crculo q. p q ={(x p) (x q)} No caso da bi-implicao, temos a seguinte representao por diagrama de Venn.

32

UNIDADE 03

 Aqui, h uma coincidncia de duas figuras. So dois crculos coincidentes. Um representa p e o outro representa q. Neste caso temos que de um elemento pertence a p, ento pertence a q e vice-versa, se pertence a q, tambm, pertence a p. p q = {((x p) (x q)) (x q) ((x p))}.

Este captulo abordar o Clculo Proposicional. Este consiste de uma linguagem formal. Sero estudados os smbolos utilizados pela linguagem do clculo proposicional e as regras de traduo das proposies da linguagem ordinria para a linguagem do clculo proposicional.

Lgica I

33

34

UNIDADE 03

UNiDADE 04
tabelas Verdade

36

UNIDADE 04

Tabelas Verdade
Toda proposio pode receber valor de verdade, o que em lgica quer significar que uma proposio pode ser verdadeira (V) ou falsa (F). Uma proposio chamada atmica se tiver isolada e chamada molecular se tiver relacionada com outras proposies. Neste caso esta relao se dar por um dos conectivos. Uma proposio atmica, que pode ser V ou F, na tabela verdade recebe a seguinte representao:

P V F

~p F V

Quando duas proposies so associadas atravs da conjuno recebem a seguinte representao na tabela verdade.

P V V F F

Q V F V F

P^Q V F F F

Quando duas proposies so associadas atravs da disjuno recebem a seguinte representao na tabela verdade

P V V F F

Q V F V F

PvQ V V V F

Lgica I

37

 No caso da disjuno estamos nos referindo a disjuno no exclusiva. No entanto a tabela para disjuno excluisiva o que segue abaixo:

P V V F F

Q V F V F

P q F V V F

Quando duas proposies so associadas atravs da implicao recebem a seguinte representao na tabela verdade:

P V V F F

Q V F V F

P q V F V F

Quando duas proposies esto associadas atravs da bi-implicao, temos a seguinte tabela verdade:

P V V F F

Q V F V F

Pq V F F V

Conforme o resultado da tabela verdade, a frmula que ela representa pode ser classificada em tautologia, contingncia ou contradio. Chama-se tautologia uma frmula onde o resultado da tabela verdade composto somente de verdade. Exemplo: Seja a seguinte frmula: p q(p q), vamos construir a tabela verdade.

P V V F F

Q V F V F

P q ^ V F F F

(p q) V F F V

P q(pq) ^ V V V V

38

UNIDADE 04

 Chama-se contradio uma frmula onde o resultado da tabela verdade composto somente de falso. Exemplo: Seja a seguinte frmula: p (p q), vamos construir a tabela verdade.

P V V F F

Q V F V F

P F F V V

Q F V F V

P ^Q F V F F

P (P Q) ^ ^ F F F F

Chama-se contingncia uma frmula onde o resultado da tabela verdade composto de verdade e falso. Exemplo: Seja a seguinte frmula, vamos construir a tabela verdade. P V Q P

P V V F F

Q V F V F

PVQ V V V F

PVQP V V F V

Validade do Argumento e Tabela Verdade As tabelas verdade servem para demonstrar a validade de argumento. Um argumento vlido se sua frmula nas tabelas verdade toda vez que as premissas forem verdadeiras a concluso tambm ser. No exemplo: pvq q _____ P Construo da tabela verdade

P V V F F

Q V F V F

Pvq V V V F

q F V F V

P V V F F
Lgica I

39

 Analisando a tabela verdade verificamos que a nica linha em que as premissas so verdadeiras a linha dois. Se observarmos a concluso verdadeira, portanto uma frmula vlida. As outras linhas no precisam ser investigadas, pois nelas as premissas no so todas verdadeiras. Vamos analisar o seguinte exemplo: p q p _______ Q Construindo a tabela verdade temos:

P V V F F

Q V F V F

Pq V F V V

p V V F F

Q V F V F

Analisando a tabela verdade verificamos que a nica linha onde as premissas so verdadeiras a linha um. Verificamos tambm que a concluso verdadeira, portanto uma frmula vlida. Vamos analisar outro exemplo: pq q ______ P Construindo a tabela verdade temos:

P V V F F

Q V F V F

Pq V F V V

Q V F V F

P V V F F

Analisando a tabela verdade verificamos que as premissas so verdadeiras nas linhas um e trs, contudo a concluso s verdadeira na linha um. Portanto no uma frmula vlida.

40

UNIDADE 04

1) Calcule as tabelas verdade das frmulas: a) (P Q) b)(P Q) c)(P v Q)(P Q) d)(P Q)(PQ)

^ ^

2)Calcule as tabelas verdades das frmulas abaixo e classifique-as em tautologias, contradio ou contingncia. a) (PQ)(QP) b) (P Q)(Q) c) (P Q)(PvQ) d)(P Q) (PvQ)

^ ^ ^

3)Atravs da utilizao das tabelas verdade, diga se as frmulas abaixo so vlidas ou no. a) PQ Q _________ P b) P Q P _________ Q

Neste captulo sero estudadas as tabelas verdade. Estas abrangero as quatro operaes entre as proposies; conjuno, disjuno, implicao e bi-implicao. Ser estudado, tambm, como calcular se uma frmula vlida utilizando as tabelas verdades.

Lgica I

41

42

UNIDADE 04

UNiDADE 05
silogismo

44

Unidade 05

Silogismo
Etimologicamente a palavra silogismo vem do idioma grego . Onde, significa reunir e significa pensamento. O silogismo um raciocnio onde, de duas premissas, infere-se uma concluso. Exemplo: Todo homem mortal Scrates homem _____________________ Logo Scrates mortal No silogismo ocorre um raciocnio, onde dois termos so relacionados atravs de um terceiro termo. No exemplo anterior os termos Scrates e mortal so relacionados atravs do termo homem. Este termo chamado mdio. Os outros dois termos so chamados termo maior e termo menor, sendo que na concluso o termo menor aparece como sujeito e o termo maior aparece como predicado. No exemplo abaixo: Todo piauiense brasileiro. Todo teresinense piauiense. _________________________ Logo, todo teresinense brasileiro. O termo mdio piauiense.
MATEMTICA

45

O termo maior brasileiro. O termo menor teresinense. Chama-se premissa maior a premissa que contm o termo maior e premissa menor a premissa que contm o termo menor. Princpios do Silogismo O silogismo obedece os seguintes princpios: 1. Princpio da Identidade. 2. Princpio da No Contradio. 3. Princpio do Terceiro Excludo. 4. Princpio do Terceiro Equivalente. 5. Princpio da Razo Suficiente. Todos estes princpios anteriores j foram discutidos no captulo primeiro. 6.O que se afirma para uma classe pode-se afirmar de qualquer membro da classe. Exemplo: Todo homem respira. vlido dizer para qualquer membro da classe dos homens que este membro respira. 7.O que se nega de uma classe pode-se negar de qualquer membro da classe. Exemplo: Nenhum brasileiro ganhou o prmio nobel da paz. Pode-se negar que qualquer membro da classe dos brasileiros tenha ganho o prmio nobel da paz. Quadrado das Oposies As proposies universais so aquelas que se referem a todos os indivduos de uma classe ou elementos de uma classe. Exemplo: Todos os homens so mortais.
46 Unidade 05

As proposies particulares so aquelas que se referem a alguns indivduos ou elementos de uma classe. Exemplo: Alguns homens so jogadores de futebol. Alguns autores defendem que alm das proposies universais e particulares, existem as proposies singulares. Estas se referiam a um determinado indivduo ou elemento de uma classe. Exemplo: Scrates homem. Para maioria dos autores, no entanto, s existem as proposies universais e as proposies particulares. As proposies A, E, I e O mantm as seguintes relaes: 1.Duas proposies contrrias no podem ser ambas verdadeiras, mas podem ser ambas falsas. Exemplo: Todo brasileiro branco. (F) Nenhum brasileiro branco. (F) 2. Duas proposies contraditrias no podem ser ambas verdadeiras e nem ambas falsas. 3. Duas proposies subalternas, se a proposio universal for afirmativa a proposio particular tambm . Exemplo: Todo piauiense corajoso. (V). Algum piauiense corajoso. (V). 4. Duas proposies sub-contrrias podem ser ambas verdadeiras, mas no podem ser ambas falsas Modos do Silogismo Chama-se modo do silogismo a disposio das proposies quanto a universalidade e particularidade no silogismo.

MATEMTICA

47

No exemplo: Todo piauiense brasileiro Todo teresinense piauiense _______________________________ Logo todo teresinense brasileiro Temos a seguinte distribuio: A A A J no exemplo abaixo: Todo piauiense brasileiro Todo teresinense piauiense _______________________________ Logo algum teresinense brasileiro Temos a seguinte distribuio A A I possvel fazer-se diversas combinaes com estas disposies. Abaixo encontramos as 64 combinaes possveis: AAAA AAAA AAAA AAA A A A A A E E E E I I I I O O O O A E I O A E I O A E I O A E I O EEEE EEEE EEEE EEEE A A A A E E E E I I I I O O O O A E I O A E I O A E I O A E I O I I I I I I I I I I I I I I I I A A A A E E E E I I I I O OO O A E I O A E I O A E I O A E I O OOOO OOOO OOOO OO OO A A A A E E E E I I I I O O O O A E I O A E I O A E I O A E I O Figura do Silogismo
48 Unidade 05

 Chama-se figura do silogismo a disposio dos termos nas proposies do silogismo. Podemos encontrar quatro disposies diferentes, que so as seguintes: M T TM M T T M T M t M M t M t ____ _____ ____ ____ t T t T t T t T 1. Figura 2. Figura 3. Figura 4. Figura Como existem 64 modos de silogismo, pode-se combinar para cada figura os 64 modos. Portanto 64 X 4 = 256 silogismos. pois possvel 256 formas de silogismo. Aristteles estudou estes 256 silogismos e verificou que s 21 deles so vlidos. Ele estabeleceu oito regras para se saber se um silogismo vlido ou no. As oito regras so as seguintes: 1. Regra: todo silogismo s pode ter trs termos. Veja os exemplos abaixo para melhor entender esta regra; Todo touro muge Ora, touro uma constelao _________________________ Logo tem uma constelao que muge. No exemplo acima temos quatro termos: touro animal, muge, touro constelao, e constelao. E a est o motivo para o equvoco. Todo macaco mamfero O macaco hidrulico um instrumento mecnico __________________________________________ Logo, tem um instrumento mecnico que mamfero. Neste exemplo, tambm h quatro termos: macaco animal, macaco hidrulico, mamfero e instrumento mecnico. 2.Regra: De duas premissas negativas, nada se pode concluir. No exemplo abaixo, apresentado por Maritain( no se pode ter concluso vlida):
49

MATEMTICA

 Os poderosos no so misericordiosos Os pobres no so poderosos __________________________________ Logo os pobres so misericordiosos (?????). Esta concluso no vlida. 3. Regra: De duas premissas particulares, nada se pode concluir. No exemplo abaixo, no se pode ter concluso vlida: Algum piauiense brasileiro. Algum teresinense piauiense ____________________________ Logo, algum teresinense brasileiro (?????) Esta concluso no vlida. 4. Regra: De duas premissas afirmativas, no se pode ter concluso negativa. Veja o exemplo abaixo, apresentado por Maritain: Tudo que ofende a Deus deve ser evitado. Ora toda mentira ofende a Deus. _________________________________ Logo, alguma mentira no ofende a Deus. 5. Regra: A concluso segue sempre a premissa mais fraca. Veja o exemplo apresentado por Maritain: Tudo que fere a caridade deve ser evitado. Alguma severidade fere a caridade. ___________________________________ Logo, toda severidade deve ser evitada 6. Regra: O termo mdio no pode aparecer na concluso. Veja o exemplo abaixo, retirado do livro de Mariatin: Todo chumbo metal. Todo metal corpo. _____________________________
50 Unidade 05

 Logo todo metal corpo ou chumbo. 7. Regra: O termo mdio deve ser universal ao menos uma vez. Vejamos o exemplo abaixo, apresentado por Maritain. Algum soldado corajoso. Algum covarde soldado. _______________________________ Algum covarde corajoso. No exemplo acima o termo mdio soldado particular nas duas premissas. 8. Regra: Na concluso os termos no podem ter extenso maior do que nas premissas. Veja o exemplo abaixo, apresentado por Mariatin: Algum ser vivo homem. Alguma planta no homem. _______________________________ Logo nenhuma planta ser vivo. No exemplo acima, o termo planta na concluso tomado com a extenso maior do que na concluso. Devemos lembrar que s vezes um candidato a silogismo pode ferir mais de uma, das oito regras. Aplicando-se as oito regras de validade de silogismo s 256 possveis formas de silogismo encontramos 19 formas de silogismos vlidos, que so os seguintes: Na primeira figura temos seis silogismos vlidos, que so AAA, EAE, AII, EIO, AEO E IEO. Na segunda figura temos quatro silogismos vlidos, que so: EAE, AEE, EIO e AOO. Na terceira figura temos cinco silogismos vlidos, que so: AAI, AEE, IAI, EAO e EIO. Na quarta figura temos cinco silogismos vlidos, que so: AAI, AEE, IAI, EAO e EIO.

MATEMTICA

51

O objetivo a ser estudado neste captulo o silogismo. Ser estudado as regras de validade de silogismo, pois embora seja possvel 256 tipos de silogismos, nem todos so vlidos.

52

Unidade 05

UNiDADE 06
Falcias

54 54

UNIDADE06 01 UNIDADE

Falcias
Falcias so raciocnios equivocados que aparentemente esto corretos. Podem ser intencionais ou no. Quando intencionais so chamados sofisma. Existem vrios tipos de falcia, a seguir iniciaremos a apresentao e discusso delas. 1. Falcia ad hominem ofensivo: Em vez de se atacar o argumento, ataca-se o proponente do argumento. Ataca-se s vezes a honra, o sexo, opo sexual, raa, idade etc. 2 Falcia de culpa por associao. Neste tipo de falcia ataca-se o proponente do argumento acusando-o de ser amigo ou estar associado a algum. 3 Falcia tu quoque (voc tambm). Ataca-se nesse caso, no o argumento, mas o locutor que apresenta o argumento acusando-o de cometer o erro ou falha apresentada no argumento. Um exemplo algum desqualificar um mdico que afirma que o fumar faz mal a sade, porque este fuma. 4 Falcia de interesse revestido. Neste caso ataca-se quem fez o argumento alegando-se que ele tem interesse no assunto discutido. Um exemplo disso um educador defender a tese de mais verbas para a educao. Acusa-se ele pelo fato de ser professor e ter interesse no assunto discutido no argumento. 5 Falcia ad hominem circunstancial. Acusa-se quem apresentou o argumento, de mudar de opinio com muita frequncia, portanto o argumento
Lgica Lgica I I

55 55

apresentado por ele estaria errado. 6 Falcia do tipo homem de palha. Na argumentao o interlocutor foge do tema principal em discusso. Este nome homem de palha vem do nome de exerccio da poca medieval, em que os cavaleiros duelavam com lanas, como no podiam treinar com humanos treinavam com homens ou bonecos feitos de palha. 7 Argumento ad baculum (apelo fora). Tenta-se convencer algum no com a fora do argumento, mas com a ameaa e a intimidao. 8 Argumento ad verecudiam (apelo autoridade). Para se convencer algum apela para uma personalidade, no entanto, esta no autoridade no assunto. Exemplo disto a utilizao de um artista vendendo um produto, ou um cientista falando sobre determinado assunto que no sua area. 9 Argumento ad populum (apelo ao povo). A defesa de um argumento feita com justificativa que a maioria aprova. A maioria pode estar errada. Na lgica no vale o ditado popular que diz Vox Populum Vox Dei. 10 Argumento ad misericordiam (apelo a misericrdia). Para se convencer algum, apela no para a fora do argumento, mas sim para a compaixo, para a misericrdia. 11 Argumento ad ignorantiam (apelo a ignorncia). Para se justificar, algum, em vez de apresentar um argumento, apela informando que no conhecia o assunto. 12 Ignoratio elenchi ou concluso irrelevante. Ocorre quando se est discutindo um assunto importante. A discusso com as premissas importante, com uma concluso pfia. 13 Impertinncia. Introduz-se na discusso algo para chamar a ateno do interlocutor e desviar a discusso em pauta. Estes treze tipos de falcias so classificados por Nolt e Rohatyn como falcias de relevncia. Para vrios autores Falcia de Relevncia o tipo de falcia em que no se discute as premissas do argumento. Preferese apontar para outras variveis. Estes dois autores fazem uma classificao das falcias em: Falcia de Relevncia, Falcia de Raciocnio Circular, Falcias Semnticas, Falcias
56 56

UNIDADE06 01 UNIDADE

Indutivas, Falcias Formais e Falcias de Premissas Falsas. 14. Falcia do Tipo Raciocnio Circular. feita quando num argumento as premissas se auto-justificam. Por exemplo algum diz que determinado livro religioso a palavra de Deus porque no livro isto est escrito. 15. Falcias Semnticas. As Falcias semnticas podem se dividir em quatro tipos, como veremos abaixo: 15.1 Falcia de Ambiguidade, tambm chamada equvoco. Usa-se, no argumento termos que tm mltiplos significados. Por exemplo, a palavra manga pode se referir a fruta ou a uma parte de uma pea de roupa. 15.2. Falcia de anfibolia. Neste caso na elaborao do argumento h um erro de estrutura nas premissas. 15.3 Falcia de vaguidade. Na construo do argumento so utilizados termos que no tm significados precisos, tais como negcio, coisa, etc. 15.4 Falcia de nfase. No argumento escolhe-se uma palavra para se dar nfase, para se convencer algum. Um exemplo seria um poltico que quer convencer as pessoas de sua honestidade e fica a repetir que honesto. Outro exemplo seria algum que fica, a todo momento, afirmando que homem, para com isso convencer algum da sua masculinidade. 16 Falcias Indutivas. As falcias indutivas podem ser classificadas como segue abaixo: 16.1 Falcia de generalizao apressada. Esta falcia ocorre quando quem elabora o argumento se baseia num nmero pequeno de casos de uma determinada classe ou conjunto para fazer uma concluso geral sobre a classe ou conjunto. 16.2 Falcia do tipo analogia defeituosa. O argumentador se equivoca ao fazer algumas comparaes. Se algo tem algumas propriedades semelhantes com outrem no quer dizer que todas as propriedades so semelhantes. 16.3 Falcia do jogador. Num argumento algum afirma que algo
Lgica Lgica I I

57 57

acontecer porque este algo no tem acontecido ultimamente, ou ento o contrrio, algo vai acontecer porque tem acontecido. 16.4 Falcia da falsa causa. Relaciona-se um fenmeno a uma causa. No entanto, no esta a causadora do fenmeno. 16.5 Falcia da evidncia suprimida: Constri-se um argumento, onde uma premissa importante suprimida. Mas a concluso seria outra se esta premissa no tivesse sido suprimida. 17. Falcias Formais. Podem ser classificadas como segue abaixo: 17.1 Falcia da negao do antecedente. Erra-se ao fazer o seguinte raciocnio: pq ora p logo q 17.2 Falcia da afirmao do consequente. Comete-se erro quando se faz o seguinte raciocnio: PQ Ora Q Logo P 18. Falcia de Premissas Falsas. Pode ser classificada em: 18. 1 Dicotomia: o tipo de raciocnio em que estabelecido uma dicotomia no existente. Por exemplo, quando se estabelece o seguinte raciocnio: Ou voc est do meu lado ou est contra mim. 18.2 Falcia de Pergunta Complexa. Por exemplo, quando se faz a seguinte pergunta a algum: Voc j roubou hoje? Se a pessoa diz sim porque rouba, se diz no porque j roubou em outros dias. 19. Falcia de Composio: Consiste em se elaborar um argumento em que a verdade das partes atribuda a verdade do todo. Copi (1978) apresenta como exemplo o fato de partes de uma mquina serem leves inferir-se que a mquina quando montada, tambm, ser leve. 20. Falcia de Diviso: Consiste, no contrrio, da falcia de
58 58

UNIDADE06 01 UNIDADE

composio, em elaborar um argumento em caractersticas que se aplicadas ao todo so verdades, aplica-se, tambm, as partes.

1) Construa dois exemplos de falcia indutiva. 2) Construa um exemplo, sobre a poltica brasileira, de falcia ad hominem ofensivo. 3) Conceitue falcia. 4) Explique a diferena entre falcia e sofisma.

O objetivo deste captulo estudar as falcias. O estudo das falcias de grande importncia, pois estas so raciocnios que aparentemente parecem corretos. Portanto os estudos das falcias nos ajuda a identific-las nos discursos, bem como, nos ajuda a no comet-las nos nossos dilogos, j que nem todas s vezes ela intencional.

Lgica Lgica I I

59 59

60 60

UNIDADE06 01 UNIDADE

UNiDADE 07
Clculo de Predicados

62

UNIDADE 07

Clculo de Predicados
Observando a incapacidade ou insuficincia do Clculo Proposicional como linguagem perfeita, os lgicos criaram o Clculo de Predicados. No clculo de predicados so introduzidas algumas regras para a traduo das proposies da linguagem ordinria: 1)Os sujeitos so traduzidos ou simbolizados por letras minsculas. 2)Os predicados ou atributos so traduzidos ou simbolizados por letras maisculas. 3)As proposies so traduzidas ou simbolizadas na seguinte ordem: primeiro a letra maiscula (predicado) e depois a minscula (sujeito). Exemplo: Joo professor. Traduo: j: Joo. P: professor, Traduo: Pj Quantificadores No clculo de predicados h dois tipos de quantificadores: o existencial, simbolizado por e universal . Nas tradues das proposies particulares utilizada o quantificador . Vejamos, o exemplo abaixo: Joo professor. j : Joo P: professor x (Jx Px) J uma proposio particular negativa, traduz-se para a linguagem do clculo de predicados da seguinte forma:
Lgica I

63

 Joo n ao professor. x (Jx Px) Nas tradues das proposies universais da linguagem cotidiana para a linguagem do clculo de predicados utiliza-se o quantificador universal, representado pelo seguinte smbolo: . Vamos traduzir a proposio abaixo para o clculo de predicados: Todo homem mortal. x (HxMx) Onde H representa homem e M representa mortal. Nas proposies universais negativas, a traduo feita como no exemplo abaixo: Nenhum homem imortal. x (HxIx) Onde H representa homem e I representa imortal. A

64

UNIDADE 07

ALENCAR FILHO, Edgar de. Iniciao lgica matemtica. So Paulo: Nobel, 1986. BASTOS, Cleverson: KELLER, Vicente. Apredendo lgica. 2. ed. Petrpolis: Vozes, 1993. BLANCH, Robert. Histria da lgica. Lisboa: Edies 70, s. d. COPI, Irving. Introduo lgica. So Paulo: Mestre Jou, 1978. COSTA, Newton. Enaios sobre os fundamentos da lgica. So Paulo: Hucitec, 1994. HAACK, Susan. Filosofia das lgicas. So Paulo: Unesp, 2002. HEGENBERG, Lenidas. Lgica simblica. So Paulo: Herder, 1966. HEGENBERG, Lenidas. Lgica: o clculo de predicados. So Paulo: EPU: Edusp, 1973. HEGENBERG, Lenidas. Lgica simbolizao, e deduo. So Paulo: EPU: Edusp, 1975. HEGENBERG, Lenidas. Lgica: exerccios IV deduo no clculo de predicados. So Paulo: EPU: Edusp, 1978 HEGENBERG, Lenidas. Dicionrio de lgica. So Paulo: EPU, 1995. KNEALE, William; KNEALE, Marta. O Desenvolvimento da lgica. 3.ed. Lisboa: Fundao Calouste Gulbenkian, 1991. LAUSCHNER, Roque. Lgica formal: tcnica de desenvolvimento de raciocnio. Porto Alegre: Sulina; So Leopoldo: Unisinos, 1997.
65

Lgica I

MARITAIN, Jacques. Elementos de filosofia II: a ordem dos conceitos lgica menor. 4. ed. Rio de Janeiro: Agir, 1986. MATES, Benson. Lgica elementar. So Paulo: Nacional: Edusp, 1975. MORA, Jos Ferrater; LEBLANC, Hugues. Lgica matemtica. Mxico: Fondo de Cultura Econmico, 1992. NOLT, John; ROHATYN, Dennis. Lgica. So Paulo: MacGraw-Hill, 1991. (Coleo Schaum). SOARES, Edvaldo. Fundamentos de lgica: elementos de lgica formal e teoria da argumentao. So Paulo: Atlas, 2003. WALTON, Douglas. Lgica informal. So Paulo: Martins Fontes, 2006.

66

UNIDADE 07

Lgica I

67