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 Luiz Incio Lula da Silva
MINISTRIO DA EDUCAO Fernando Haddad
GOVERNADOR DO ESTADO Wilson Martins
REITOR DA UNIVERSAIDADE FEDERAL DO PIAU Luiz de Sousa Santos Jnior
SECRETRIO DE EDUCAO A DISTNCIA DO MEC Carlos Eduardo Bielshowsky
PRESIDENTE DA CAPES Jorge Almeida Guimares
COORDENADORIA GERAL DA UNIVERSIDADE ABERTA DO BRASIL Celso Costa
DIRETOR DO CENTRO DE EDUCAO ABERTA A DISTNCIA DA UFPI Gildsio Guedes Fernandes

CONSELHO EDITORIAL 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 Cleidinalva Maria Barbosa Oliveira

PROJETO GRFICO Samuel Falco Silva
DIAGRAMAO Diego Albert
REVISO Djanes Lemos Ferreira Gabirel
REVISOR GRFICO 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 tem-
porria 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 c-
pia deste obra sem autorizao expressa ou com intuito de lucro constitui crime contra a propriedade intelec-
tual, 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.
 UNIDADE 1
09 LGICA: CONCEITOS FUNDAMENTAIS ...........................................11
Teorias da Verdade 12

UNIDADE 2
19 ESTUDO DOS ARGUMENTOS...........................................................21

UNIDADE 3
27 CLCULO PROPOSICIONAL .............................................................29

UNIDADE 4
37 TABELAS VERDADE .........................................................................36
Validade do Argumento e Tabela Verdade 39

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

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

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

BIBLIOGRAFIA
69 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 ex-
nihilo, 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 Saiba mais
verdadeiras, a concluso obrigatoriamente tambm o ser.
Deduo: Estudada
por Aristteles, foi
Exemplo: considerado por
Todo piauiense brasileiro. muito tempo como
Todo teresinense piauiense. o raciocnio por
execelncia.
___________________________
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 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 Saiba mais
____________________
Induo foi
Logo, B
considerada, po
Francis Bacon, o
Na induo a verdade das premissas no garante a verdade da melhor mtodo
concluso, mas, apenas apia a verdade desta. A induo no verdadeira para se alcanar
conhecimentos
ou falsa, mas forte ou fraca.
novos. Por isso
A induo, tambm, no um processo nico. Ela pode ser por devia ser adotado na
simples enumerao, por analogia e probabilstica. prtica cientfica.
A induo por simples enumerao o processo pelo qual cada

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 utiliza-
se 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 ar-
gumentos dedutivos, como os argumentos indutivos. Os primeiros sero di-
vididos em modos ponens, modos tollens, modos ponendo tollens e modos
tollendo ponens. Os indutivos sero dividos em induo por simples enume-
rao, 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 ~p
V F
F V

Quando duas proposies so associadas atravs da conjuno

recebem a seguinte representao na tabela verdade.
P Q P^Q
V V V
V F F
F V F
F F F

Quando duas proposies so associadas atravs da disjuno

recebem a seguinte representao na tabela verdade
P Q PvQ
V V V
V F V
F V V
F F F

Lgica I 37
 No caso da disjuno estamos nos referindo a disjuno no exclu-
siva. No entanto a tabela para disjuno excluisiva o que segue abaixo:
P Q P q
V V F
V F V
F V V
F F F

Quando duas proposies so associadas atravs da implicao
recebem a seguinte representao na tabela verdade:
P Q P q
V V V
V F F
F V V
F F F

Quando duas proposies esto associadas atravs da bi-implica-
o, temos a seguinte tabela verdade:
P Q Pq
V V V
V F F
F V F
F F V

Conforme o resultado da tabela verdade, a frmula que ela repre-
senta pode ser classificada em tautologia, contingncia ou contradio.
Chama-se tautologia uma frmula onde o resultado da tabela ver-
dade composto somente de verdade.
Exemplo:

^
Seja a seguinte frmula: p q(p q), vamos construir a tabela
verdade.
P Q ^
P q (p q) ^
P q(pq)

V V V V V
V F F F V
F V F F V
F F F V V

38 UNIDADE 04
 Chama-se contradio uma frmula onde o resultado da tabela ver-
dade composto somente de falso.
Exemplo:
Seja a seguinte frmula: p (p q), vamos construir a tabela ver-
dade.
^
P Q P Q P ^Q P (P Q)
^ ^
V V F F F F
V F F V V F
F V V F F F
F F V V F F

Chama-se contingncia uma frmula onde o resultado da tabela ver-
dade composto de verdade e falso.

Exemplo:
Seja a seguinte frmula, vamos construir a tabela verdade. P V Q P
P Q PVQ PVQP
V V V V
V F V V
F V V F
F F F V

Validade do Argumento e Tabela Verdade

As tabelas verdade servem para demonstrar a validade de argumen-

to. 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 Q Pvq q P
V V V F V
V F V V V
F V V F F
F F F V 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 Q Pq p Q
V V V V V
V F F V F
F V V F V
F F V F F

Analisando a tabela verdade verificamos que a nica linha onde as
premissas so verdadeiras a linha um. Verificamos tambm que a con-
cluso verdadeira, portanto uma frmula vlida.

Vamos analisar outro exemplo:

pq
q
______
P

Construindo a tabela verdade temos:

P Q Pq Q P
V V V V V
V F F F V
F V V V F
F F V F F

Analisando a tabela verdade verificamos que as premissas so ver-

dadeiras 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 tau-

tologias, 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 pensa-
mento.
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 relaciona-

dos atravs de um terceiro termo. No exemplo anterior os termos Scrates
e mortal so relacionados atravs do termo homem. Este termo chama-
do 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 de-
terminado 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 verdadei-

ras e nem ambas falsas.
3. Duas proposies subalternas, se a proposio universal for afir-
mativa 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 diferen-
tes, 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 vli-
da):

MATEMTICA 49
 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 pos-
sveis 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
UNIDADE 01
 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 55
Lgica II 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. Prefere-
se 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
UNIDADE 01
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 57
Lgica II 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
UNIDADE 01
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 59
Lgica II 59
60
60 UNIDADE06
UNIDADE 01
UNiDADE 07

Clculo de Predicados
62 UNIDADE 07
 Clculo de
Predicados

Observando a incapacidade ou insuficincia do Clculo Proposicio-

nal 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 le-
tras maisculas.
3)As proposies so traduzidas ou simbolizadas na seguinte or-
dem: 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 existen-
cial, simbolizado por e universal .
A

Nas tradues das proposies particulares utilizada o quantifi-

cador . 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 univer-
sal, representado pelo seguinte smbolo: .
Vamos traduzir a proposio abaixo para o clculo de predicados:
Todo homem mortal.
A
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)
A

Onde H representa homem e I representa imortal.

64 UNIDADE 07
ALENCAR FILHO, Edgar de. Iniciao lgica matemtica. So Paulo:
Nobel, 1986.

BASTOS, Cleverson: KELLER, Vicente. Apredendo lgica. 2. ed. Petrpo-

lis: 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 ra-

ciocnio. Porto Alegre: Sulina; So Leopoldo: Unisinos, 1997.

Lgica I 65
 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