A Lógica Na Construção Dos Argumentos

Notas em Matemática Aplicada e-ISSN 2236-5915
Volume 14, 2012
Editado por
Eliana X.L. de Andrade

Universidade Estadual Paulista - UNESP
São José do Rio Preto, SP, Brasil
Rubens Sampaio
Pontifı́cia Universidade Católica do Rio de Janeiro -
Rio de Janeiro, RJ, Brasil
Geraldo N. Silva
Universidade Estadual Paulista - UNESP
São José do Rio Preto, SP, Brasil
Sociedade Brasileira de Matemática Aplicada e Computacional
2012
A Sociedade Brasileira de Matemática Aplicada e Computacional
- SBMAC publica, desde as primeiras edições do evento, monografias
dos cursos que são ministrados nos CNMAC.
Para a comemoração dos 25 anos da SBMAC, que ocorreu durante
o XXVI CNMAC em 2003, foi criada a série Notas em Matemática
Aplicada para publicar as monografias dos minicursos ministrados
nos CNMAC, o que permaneceu até o XXXIII CNMAC em 2010.
A partir de 2011, a série passa a publicar, também, livros nas áreas
de interesse da SBMAC. Os autores que submeterem textos à série
Notas em Matemática Aplicada devem estar cientes de que poderão
ser convidados a ministrarem minicursos nos eventos patrocinados pela
SBMAC, em especial nos CNMAC, sobre assunto a que se refere o
texto.
O livro deve ser preparado em Latex (compatı́vel com o Mik-
tex versão 2.7), as figuras em eps e deve ter entre 80 e 150
páginas. O texto deve ser redigido de forma clara, acompanhado de
uma excelente revisão bibliográfica e de exercı́cios de verificação
de aprendizagem ao final de cada capı́tulo.
Veja todos os tı́tulos publicados nesta série na página

http://www.sbmac.org.br/notas.php
2012
A LÓGICA NA CONSTRUÇÃO DOS
ARGUMENTOS
Angela Cruz - UFRN

angela@ufrnet.br
José Eduardo de Almeida Moura

jemoura@ufrnet.br
São Carlos - SP, Brasil

2012
Coordenação Editorial: Véra Lucia da Rocha Lopes
Coordenação Editorial da Série: Geraldo Nunes Silva
Editora: SBMAC
Capa: Matheus Botossi Trindade
Patrocı́nio: SBMAC
c
Copyright 2012 by Angela Cruz e José Eduardo de Almeida Moura.
Direitos reservados, 2012 pela SBMAC. A publicação nesta série não
impede o autor de publicar parte ou a totalidade da obra por outra
editora, em qualquer meio, desde que faça citação à edição original.
Catalogação elaborada pela Biblioteca do IBILCE/UNESP

Bibliotecária: Maria Luiza Fernandes Jardim Froner
Cruz, Angela.
A lógica na construção dos argumentos.
- São Carlos, SP: SBMAC, 2012, 50 p., 20.5 cm
- (Notas em Matemática Aplicada; v. 14)
e-ISBN 978-85-86883-81-1
1. Pensamento Racional. 2. Análise de Argumentos.

3. Discurso. 4. Regras de inferência e demonstração de validade.
I. Cruz, Angela. II. Moura, José Eduardo de Almeida. III. Tı́tulo.
IV. Série.
CDD - 51
Esta é uma republicação em formato de e-book do livro original do

mesmo tı́tulo publicado em 2005 nesta mesma série pela SBMAC.
Prefácio
Para a tradição ocidental, o pensamento racional se constrói a partir de cânones pro-

postos desde a antiguidade (por Aristóteles, por exemplo, no livro IV da Metafı́sica)
e discutidos na contemporaneidade por Brouwer, Lukasiewicz e outros lógicos, de-
nominados de princı́pios da não-contradição, do terceiro excluı́do e da identidade.
Com base nesses princı́pios se construiu a lógica clássica. O pensamento quando
expresso através de linguagens - do senso comum ou da ciência - pode se traduzir
em um discurso logicamente correto caso se preserve determinada estrutura lógica.
Neste trabalho pretende-se apresentar princı́pios e regras de inferência da lógica
clássica úteis à análise e à construção de argumentos e, com isto, distinguir as
noções de argumentação e demonstração (de validade).
Trata-se de um tema que tem suscitado interesse em vários domı́nios da ciência e
do seu ensino. Para ilustrar cita-se alguns casos de solicitações de cursos de gradua-
ção e pós-graduação: a) na Biblioteconomia, visando propiciar condições formais
para a extração e organização das informações; b) no Direito, com preocupações
sobre formas logicamente corretas de argumentação e sobre a modelagem lógica
dos discursos normativos; e, c) na Matemática para garantir o rigor formal mas,
também, com o objetivo de tornar essa ciência mais compreensı́vel a partir da
explicitação de propriedades matemáticas e de regras de inferências subjacentes aos
seus teoremas.
O conteúdo necessário para alcançar o objetivo delineado está distribuı́do em
cinco capı́tulos. O texto não é exaustivo, ou seja, tem-se consciência de que ele não
esgota todas as explicações dos conceitos envolvidos na temática. No entanto, os
capı́tulos trazem a discussão dos aspectos mais relevantes da lógica na construção
dos argumentos. Portanto, entende-se que esse texto pode servir a alunos de gra-
duação, de pós-graduação e professores interessados na explicitação da estrutura
lógica dos discursos.
Angela Maria Paiva Cruz

José Eduardo de Almeida Moura
vii
Agradecimentos
Agradecemos aos alunos dos cursos de Lógica que propiciam a discussão sobre
o assunto, com suas dúvidas e aos colegas da Base de Pesquisa ”Lógica, Conheci-
mento e Educação”da UFRN, sempre disponı́veis a contribuir para a construção e
disseminação do conhecimento.
ix
Conteúdo
1 PRINCÍPIOS DO PENSAMENTO RACIONAL 1

1.1 O PENSAMENTO RACIONAL . . . . . . . . . . . . . . . . . . . . 1
1.1.1 Provar, argumentar, demonstrar . . . . . . . . . . . . . . . . 1
1.1.2 Silogismos Categóricos . . . . . . . . . . . . . . . . . . . . . . 5
1.1.3 Formas válidas do silogismo categórico . . . . . . . . . . . . . 6
1.1.4 Formas válidas adicionais (ANTIGAS) . . . . . . . . . . . . . 7
1.2 O MODELO ARISTOTÉLICO . . . . . . . . . . . . . . . . . . . . . 8
1.3 OS PRINCÍPIOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2 PENSAMENTO versus LINGUAGEM 11
3 FORMAS DE ARGUMENTAÇÃO: DEDUÇÃO E INDUÇÃO 14

3.1 Principais formas de argumentação . . . . . . . . . . . . . . . . . . . 14
3.1.1 Indução por enumeração . . . . . . . . . . . . . . . . . . . . . 16
3.1.2 Indução por analogia . . . . . . . . . . . . . . . . . . . . . . . 18
3.1.3 Indução por eliminação . . . . . . . . . . . . . . . . . . . . . 20
3.2 Análise de argumentos por enumeração e analogia . . . . . . . . . . 23
4 LINGUAGEM E LÓGICA FORMAL 25

4.1 LINGUAGEM . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
4.2 REGRAS DE INFERÊNCIA . . . . . . . . . . . . . . . . . . . . . . 27
4.2.1 Aspectos semânticos . . . . . . . . . . . . . . . . . . . . . . . 36
5 ARGUMENTAÇÃO E DEMONSTRAÇÃO DE VALIDADE 42
Bibliografia 50
xi
Capı́tulo 1
PRINCÍPIOS DO
PENSAMENTO
RACIONAL
1.1 O PENSAMENTO RACIONAL

Falar do pensamento racional remete a Aristóteles, filósofo da antiguidade que em
sua obra denominada Metafı́sica se pergunta sobre a possibilidade de uma ciência
que explique as causas primeiras das coisas. Nos Livros IV e VI desta obra e nos
Segundos Analı́ticos ele afirma que cabe à Filosofia essa tarefa, e exige também desta
o estabelecimento dos princı́pios da demonstração (Metafı́sica, Livro IV, 1003b 15),
segundo os quais uma explicação racional verdadeira deve ser construı́da.
Ele estabelece ainda (Livro IV) que a Filosofia investiga as causas mais gerais
e necessárias, enquanto as ciências particulares (tais como a matemática, a fı́sica)
tratam das causas distintas e menos gerais, sem questionarem os princı́pios ou a-
xiomas estabelecidos pela primeira, porém seguindo-os com vistas à obtenção de
demonstrações logicamente corretas (Metafı́sica, Livro IV, 1005a 25, 30). Portanto,
é a Filosofia que apresenta o modelo do pensamento racional.
1.1.1 Provar, argumentar, demonstrar

A preocupação de Aristóteles com a ciência (a filosofia) foi muito além da apre-
sentação e discussão de seus princı́pios constitutivos. Ele investigou e resolveu prob-
lemas metodológicos da mais variada natureza e, sistematizando os procedimentos
de prova (apresentração das razões (justificativas)) das “verdades” propostas, con-
struiu as bases de duas grandes áreas atuais de investigação. De sua obra nascem,
de um lado, a lógica, que estuda exaustivamente os mecanismos e formas de demon-
stração, e do outro, a retórica, que estuda e estabelece os mecanismos e as formas
de argumentação.
1.1. O PENSAMENTO RACIONAL 2
No discurso comum, provar, argumentar e demonstrar são usados com muitos

e variados significados. O uso do dia-a-dia, impreciso por sua própria natureza,
não gera confusão ou desentendimento. Com a mesma insistência com que se exige
“Prove que estou errado!”, se diz que “Esse seu argumento não se sustenta” ou “Não
tem quem consiga demonstar que ele está mentindo”. Os pesquisadores das ciências
humanas e sociais nada provam, mas argumentam a favor de suas teses. Por sua vez,
os fı́sicos e quı́micos não argumentam a favor de seus resultados, mas os demonstram
empiricamente. Os matemáticos às vezes provam, outras vezes demonstram.
Afinal, há distinções razoáveis entre os significados desses termos? O que se
ganha com distingui-los e diferenciá-los?
Essa questão será tratada, primeiramente, com o olhar voltado para o passado.
Na Metafı́sica (Met. 1025b 25), Aristóteles classifica as ciências como:
1. ciências teoréticas, que têm como próposito último o conhecimento (a mate-
mática, a fı́sica, a metafı́sica);
2. ciências práticas, que visam ao conhecimento da conduta humana (a ética, a
polı́tica);
3. ciências produtivas, voltados para o conhecimento da construção de objetos
úteis e bonitos (a estética).
A parte da obra aristotélica reunida sob o tı́tulo Organon estuda questões que
não podem ser incluı́das em nenhuma dessas classes. Com efeito, o que hoje é
conhecido como Lógica,
não é de fato, de acordo com Aristóteles, uma ciência substantiva, mas
uma parte da cultura geral que todos deveriam aprender antes de estu-
dar qualquer ciênca, e que sozinha habilitará a saber para que tipos de
proposição pede-se prova e que tipos de prova se pediria para elas. (P.A.
(De Partibus Animalium) 639a 4; Met. 1005b 3, 1006a 6; E N. (Ethica
Nicomachea) 1094b 23). (cf. [12], p. 20).
Na verdade, Aristóteles não usava a palavra “lógica”, mas “analı́tica” para se
referir ao estudo do raciocı́nio, o conjunto dos conteúdos que estabeleceu no Órganon
(como se pronuncia):
1. nos Analytica Priora, estabeleceu a teoria do silogismo, exibido em todas as
suas formas, sem levar em conta o conteúdo – é esta matéria que pode ser
chamada de lógica formal ou lógica de consistência;
2. nos Analytica Posteriora, aplica a teoria do silogismo para caracterizar o
raciocı́nio cientı́fico – é uma lógica interessada na verdade, uma lógica mate-
rial, cujos conteúdos são, depois, absorvidos pela metodologia e pela filosofia
da ciência e, mesmo, pela teoria do conhecimento; e
3. nos Topica e nos Sophistici Elenchi, riquı́ssimo estudo de raciocı́nios silogisti-
camente corretos, mas que não satisfazem as condições para serem cientı́ficos.
Aristóteles tem, embora não discuta explicitamente a questão, uma clara

idéia da diferença entre a lógica e outros estudos com os quais ela tem
sido muitas vezes identificada ou confundida – gramática, psicologia,
metafı́sica. A lógica é, para ele, um estudo não de palavras, mas do
pensamento do qual as palavras são signos; do pensamento não com
referência a sua história natural, mas com referência a seu sucesso ou
fracasso em atingir a verdade; do pensamento não como construindo,
mas como apreendendo a natureza das coisas. ([12], p. 21)
Os demais livors do Organon, os Categoriae e De Interpretatione estudam os

termos e as proposições1 . Devem ser considerados como preliminares. De fato, nas
edições do Organon, são os dois primeiros estudos.
As Categoriae começa com considerações de fatos lingüı́sticos: distingue ”coisas
ditas sem combinação”de ”coisas ditas em combinação”(Cat. Ia 16), para tratar
de termos e conceitos. As ”palavras não combinadas”significam uma ou outra das
seguintes coisas (Cat. Ib 25):
1. substância (ex. ’homem’)
2. quantidade (ex. ’dois cúbitos de comprimento’)
3. qualidade (ex. ’branco’)
4. relação (ex. ’dobro’)
5. lugar (ex. ’no Liceu’)
6. data (ex. ’ontem’)

7. postura (ex. ’senta’)
8. posse (ex. ’está calçado’)
9. ação (ex. ’corta’)
10. passividade (ex. ’é cortado’)
Essa lista aparece em quase todos os trabalhos, e a doutrina é sempre tratada

como algo já estabelecido. É claro que Aristóteles estudou distinções lingüı́sticas,
mas não há lista de partes do discurso que sirva como base para as categorias (coisas
que a gramática distingue, as categorias juntam e categorias juntam coisas que a
gramática distingue (Cat. 6b6-11, 8a17-28)), as únicas partes do discurso que ele
distingue são o nome e o verbo (De Int. 2,3).
“Categoria” significa “predicado”, mas a primeira categoria, substância, tem
como membros substâncias individuais, que são sempre sujeitos. A substância é a
categoria primária: substrato pressuposto por todas as outras.
1 No decorrer deste texto as expressões ’proposição’, ’enunciado’ e ’sentença’ são usadas sem se
considerar os diversos significados que lhes são atribuı́dos. Não cabe, aqui, esta discussão.
Estabelecidos os “termos”, o De Interpretatione faz o estudo da proposição como

união ou separação de conceitos conforme a realidade. A “separação” (“divisão”)
pode ser vista, também, como união, composição com o conceito negativo. Decorre,
daı́, também, uma visão de verdade como correspondência.
As proposições são analisadas em nome, que é um som que tem um significado
estabelecido por convenção e não tem referência temporal, e do qual nenhuma parte
tomada em si tem um significado (De Int. 16a19 s), e verbo, que é aquele que, além
de ter um significado definido como a um nome, tem uma referência temporal e
indica algo asserido de algo mais (De Int. 16b6-8, 19-20).
Aristóteles reonhece a necessidade de nomes e verbos indefinidos – indefinidos
porque podem ser asseridos de todo tipo de coisas, existentes e não-existentes –, e
se põe como tarefa principal o estudo das relações de oposição entre as proposições
que podem ser construı́das.
Porque Aristóteles considera o termo “é” – a cópula –, um elemento distinto
do nome (sujeito) e do verbo (predicado) nas proposições, as apresenta na forma
’A é B’ ou ’B pertence a A’. E classifica-as pela qualidade, como afirmativas ou
negativas, e pela quantidade, em universais e particulares.
Sobre a natureza da negação, é importante levar em conta o que é dito na
Metafı́sica:
A negação não é a rejeição de uma afirmação prévia. É a rejeição de

uma conexão sugerida, mas é igualmente verdadeiro que a afirmação é
a aceitação de uma conexão sugerida (Met. 1017a31-35).
Aristóteles, no entanto, não comete o erro de reduzir o negativo ao afirmativo,

dizendo que ”A não é B”significa ”A é não-B”, que é uma afirmação com um
predicado estranho e sem importância
Essas quatro proposições:
A Universal Afirmativa: “Todo A é B”, Todo homem é mortal;
E Universal Negativa: “Nenhuma A é B”, Nenhum homem é mortal;
I Particular Afirmativa: “Algum A é B”, Algum homem é mortal; e
O Particular Negativa: “Algum A não é B”, Algum homem não é mortal.
vão ser estudadas exaustivamente no Quadrado de Oposições e aı́ serão estabelecidas
as inferências imediatas, fundamentais para o processo de tranformação conhecido
como conversão.
O Quadrado de Oposições estabelece, basicamente, o seguinte:
1. “Todo A é B” e “Algum A não é B” são contraditórias;
2. “Nenhum A é B” e “Algum A é B” são contraditórias;
3. “Todo A é B” e “Nenhum A é B” são contrárias;
4. “Algum A é B” e “Algum A não é B” são subcontrárias;
5. “Algum A é B” é subalterna de ”Todo A é B”;
6. “Algum A não é B” é subalterna de “Nenhum A á B”.
As definições seguintes esclarecem o significado dos “termos técnicos” usados no

Quadrado:
Definição 1 Duas proposições são contraditórias se e somente se não podem ser

ambas verdadeiras, nem podem ser ambas falsas.
Definição 2 Duas proposições são contrárias se e somente se não podem ser ambas
verdadeiras.
Definição 3 Duas proposições são subcontrárias se e somente se não podem ser

ambas falsas.
Definição 4 Uma proposição é uma subalterna de outra se e somente se deve ser

verdadeira se sua “superalterna” é verdadeira e a “superalterna” deve ser falsa se
a subalterna é falsa.
Definição 5 O termo Sujeito é distribuı́do nas proposições Universais e o termo

Predicado é distribuı́do nas proposições Negativas.
Usando um “d” junto ao S(ujeito) ou ao P(redicado) para indicar que o termo

é distribuı́do, obtém-se a seguinte Tabela de Distribuição:
Tipo Letra Representação Sentença padrão
Universal Afirmativa A Sd A P Todo A é B
Universal Negativa E Sd E Pd Nenhum A é B
Particular Afirmativa I SI P Algum A é B
Particular Negativa O S O Pd Algum A não é B
que se aplica, junto com as regras que serão enunciadas adiante, para a avaliação da
validade do tipo de “raciocı́nio” mais conhecido e estudado: o Silogismo Categórico.
1.1.2 Silogismos Categóricos

O Silogismo Categórico é um tipo de prova (argumento ou demonstração), composto
exatamente por duas premissas e uma conclusão, nas quais ocorrem somente três
termos distintos.
Os termos Sujeito e Predicado da conclusão são chamados, termo menor e termo
maior, respectivamente, e as premissas em que eles ocorrem premissa menor e
premissa maior. O terceiro termo, que está presente nas premissas e não ocorre
na conclusão, é o termo médio, assim chamado por “mediar” a passagem entre os
outros termos, por ter uma “extensão” intermediária.
Assim, a validade de qualquer silogismo categórico pode ser determinada pela
aplicação das seguintes Regras de Avaliação:
1. O termo médio está distribuı́do exatamente uma vez.
2. Nenhum termo extremo pode estar distribuı́do apenas uma vez.
3. O número de premissas negativas deve ser igual ao número de conclusões

negativas.
Uma observação atenta das possibilidades de combinação das Proposiçoes Ca-

tegóricas (que são quatro), três a três (duas premissas e uma conclusão), com três
termos diferentes (um dos quais não ocorre na conclusão), permite constituir gru-
pos caracterizados pels posição desse termo médio, chamados figuras, que são as
seguintes:
1. 1a figura: o termo médio é sujeito na premissa maior e predicado na menor
2. 2a figura: o termo médio é predicado nas duas premissas
3. 3a figura: o termo médio é sujeito nas duas premissas
4. 4a figura: o termo médio é predicado na premissa maior e sujeito na menor
Pois bem, das 256 formas possı́veis de silogismo, somente são válidas as seguintes:
1.1.3 Formas válidas do silogismo categórico

Md A P Md E Pd Md A P Md E Pd
Sd A M Sd A M S I M S I M
1a FIG. S I P
Sd A P Sd E P d S O Pd
Pd E Md Pd A M Pd E Md Pd A M
Sd A M Sd E M d S I M S O Md
2a FIG.
Sd E P d Sd E P d S O Pd S O Pd
M I P Md A P M O Pd Md E Pd
Md A S M I S Md A S M I S
3a FIG. S I P S I P S O Pd S O Pd
Pd A M P I M Pd E Md
M d E Sd Md A S M I S
4a FIG. S I P
Sd E P d S O Pd
1.1.4 Formas válidas adicionais (ANTIGAS)

Md A P Md E Pd
Md A S Md A S
3a FIG. S I P S O Pd
Pd A M Pd E Md
a Md A S Md A S
4 FIG. S I P S O Pd
– O que valida estas formas estranhas?

– A suposição de existência (não-vacuidade do sujeito) das universais.
É a partir da teoria do silogismo válido que Aristóteles constrói, por uma lado, a
idéia de demonstração, e, por outro, a de argumentação, como se usa hoje.
Como somente o silogismo garante que a verdade das premissas se “trans-
mite” para a conclusão, a prova cientı́fica – demonstração – estudada nos Segundos
Analı́ticos é caracterizada como um silogismo cujas premissas são “verdadeiras e
primeiras”, i. e., são evidências que se impõem à razão. É esta vertente, estrita-
mente formal, que trata a relação entre premissas e conclusão somente a partir da
forma lógica das proposiçoes que as representam, que gerou as discussões do fim
do século XIX e fizeram surgir as reflexões de De Morgan, Boole e Frege que origi-
naram a lógica contemporânea, que oferece os mais requintados instrumentos para
a análise das demonstrações matemáticas. Os sistemas axiomáticos e de dedução
natural de hoje são as conseqüências históricas mais marcantes dos esforços para
criticar e aperfeiçoar as intuições aristotélicas.
Da mesma forma, as atuais teorias da argumentação, nascem das elaborações
aristotélicas dos Tópicos e da Retórica. E se referem como as demonstrações ao
mesmo silogismo. A diferença fundamental está na natureza das premissas. Agora,
elas podem ser opiniões aceitas “por todos os homens, pela maioria dos homens, ou
pelos sábios ou pela maioria deles”.
Assim, pode-se, hoje, associar à argumentação toda forma de prova que en-
volve controvérsia, ou tem como finalidade persuadir ou convencer. A discussão, o
diálogo são situações argumentativas tı́picas, tratadas pela teoria da argumentação
e pela lógica informal. Esse campo de estudos afasta-se da lógica e da teoria da
demonstração, também, por dispensar e considerar impossı́vel a tradução do que é
expresso em linguagem natural em fórmulas ou outro recurso que reduza a riqueza
de significados contida nos contextos de enunciação.
Assim, embora muita claramente distintas e distinguidas, prova, demonstração e
argumentação continuam sendo usadas, em todos os campos, imprecisamente, sem
causar confusão.
1.2. O MODELO ARISTOTÉLICO 8
1.2 O MODELO ARISTOTÉLICO

O modelo de racionalidade cientı́fica, elaborado a partir das idéias de Aristóteles,
também denominado de realismo aristotélico, se caracteriza por assumir que as
coisas realmente existem e pela exigência da demonstração.
Segundo este modelo, há uma realidade (mundo real que está-aı́) que se apresenta
ao sujeito pesquisador para ser explicada. Para Aristóteles, conhecer algo é conhecer
a causa pela qual a coisa é e não pode ser de outra forma. Ou seja, ao conhecimento
cientı́fico estão associadas as noções de causalidade e de necessidade. Assim, só se
conhece o que uma coisa é se a coisa está determinada pela sua causa.
Nessa perspectiva, as explicações da realidade construı́das pelo senso comum
ou pela ciência podem ser verdadeiras (ou aproximadamente verdadeiras) na me-
dida em que descrevem e apreendem as relações causais do mundo real. Desse
modo, o discurso sobre o mundo tem por objetivo apresentar as causas e princı́pios
necessários das coisas. Esta caracterı́stica imprime à ciência aristotélica o caráter
demonstrativo, isto é, as teorias cientı́ficas ou outros discursos que buscam explicar
fenômenos, devem apresentar uma estrutura dedutiva fundamentada em princı́pios
ou axiomas. Este aspecto demonstrativo está explı́cito também nos Analı́ticos Pos-
teriores (Livro I, 71a) onde Aristóteles afirma que todo conhecimento se funda em
um conhecimento anterior (prévio), com base no qual o novo se constrói. Explicitar
esses fundamentos é o que se faz a seguir.
1.3 OS PRINCÍPIOS
Por princı́pio designa-se a causa, a premissa, o axioma ou postulado que se esta-
belece, como conhecimento prévio, para garantir a validade lógica de uma argu-
mentação sobre determinado tema. De acordo com fontes contemporâneas ([6]),
são três os princı́pios básicos do pensamento racional, a saber: da identidade, da
contradição ou não-contradição e do terceiro excluı́do. No Livro IV da Metafı́sica,
Aristóteles apresenta os dois últimos, mas não insiste na defesa da identidade com
o status de princı́pio.
Interpretações mais atuais (tais como a de Lukasiewicz, apud [6]), sugerem uma
formulação ontológica e uma formulação lógica dos princı́pios. É o que vem a seguir:
1. Princı́pio da Identidade ou da Reflexividade

• Formulação ontológica:
a) O ente é ente, ou ainda “o não ente é não ente” (Metafı́sica, Livro
IV, 1003b 10, 12)
b) O que é é.
c) Toda coisa que é, é aquilo que é.
d) A é A.
• Formulação lógica na linguagem da lógica proposicional (caso a) e b)) e
na linguagem da lógica de predicados (caso c):
1.3. OS PRINCÍPIOS 9
a) p → p
b) p ↔ p
c) ∀ x (x = x).
2. Não-contradição:
a) É impossı́vel ser e não ser simultaneamente. (Metafı́sica, Livro IV,
1006a 4, 5).
b) O mesmo atributo não pode, ao mesmo tempo, pertencer e não per-
tencer ao mesmo sujeito com relação à mesma coisa. (Metafı́sica,
Livro IV, 1005b 19, 20).
• Formulação lógica:
a) Dadas duas proposições contraditórias uma delas é falsa. (Metafı́sica,
Livro IV, 1006b 30)
b) ∼ (A ∧ ∼ A) (na linguagem da lógica proposicional)
De acordo com este princı́pio, não é possı́vel afirmar, por exemplo, que o vı́rus
tem o atributo de “ser vivo”e também não ter este atributo. Se fosse possı́vel
fazer tal afirmação sobre o vı́rus, toda a informação sobre vı́rus e sobre qual-
quer coisa poderia ser formulada, e na mesma medida, nada poderia ser dito
com verdade sobre as coisas. Isto ocorre porque, se a mesma coisa pode pos-
suir e não possuir uma certa propriedade, não haveria distinção possı́vel entre
as coisas, entre os fenômenos, e não seria possı́vel, portanto, haver pensamento
(racional) sobre o mundo.
3. Terceiro excluı́do:
a) Entre os contraditórios não existe um meio termo. (Metafı́sica, Livro
IV, 1011b 20, 25)
b) Ou algo é ou não é.
• Formulação lógica:
a) A é B ou A não é B.
b) (A ∨ ∼ A) (na linguagem da lógica proposicional)
Para exemplificar, dado o enunciado “O vı́rus é um ser vivo”, obedecer a estes

princı́pios significa que:
a) O vı́rus é ser vivo e esta é a caracterı́stica que fornece identidade ao vı́rus, sendo
portanto, impossı́vel ser de outro modo.
b) É impossı́vel que o vı́rus seja um ser vivo e não seja um ser vivo, simultanea-
mente.
1.3. OS PRINCÍPIOS 10
c) O vı́rus é um ser vivo ou não é um ser vivo, ou seja, o enunciado “O vı́rus é um

ser vivo”, ou é verdadeiro ou é falso, não havendo uma terceira alternativa
entre o verdadeiro e o falso.
A lógica que satisfaz estes princı́pios é denominada “clássica” e no âmbito dessa

lógica há várias discussões sobre as relações entre eles. Essa lógica é considerada
a lógica subjacente ao pensamento racional desde a antiguidade e é esperado que
discursos sobre a realidade, seja do senso comum ou da ciência, sejam estruturados
segundo ela. Discute-se a seguir, o papel da lógica clássica na construção e análise
dos argumentos constituintes dos discursos.
Capı́tulo 2
PENSAMENTO versus
LINGUAGEM
Um pensamento, entendido aqui como processo mental, pode conter um raciocı́nio,

ou seja, ele pode inferir um juı́zo (ou asserção) com base em outros juı́zos que lhe
dão suporte estrutural. Assim, nem todo pensamento é um raciocı́nio, mas todo
raciocı́nio é um pensamento. ([5])
A expressão do pensamento inferencial ou raciocı́nio em alguma linguagem con-
stitui o que se chama de argumento. Desse modo, tal como o raciocı́nio é formado por
juı́zos, o argumento é formado por sentenças. Uma destas sentenças é denominada
conclusão e as demais, que podem oferecer explicações para esta, são denominadas
premissas.
A construção de um discurso (oral ou escrito) se fundamenta assim, no estabe-
lecimento de relações entre sentenças, de modo a se obter desde argumentos mais
simples por exemplo, com apenas uma premissa, até argumentos mais complexos, os
quais estruturam o texto (oral ou escrito) em parágrafos menores ou maiores. Por
conseguinte, um discurso é um argumento, composto por vários outros argumentos
mais simples. É importante notar, no entanto, que os discursos não contêm apenas
argumentos. Outros recursos lingüı́sticos podem ser encontrados permeando os
discursos, principalmente com funções estéticas. Assim como na construção de
um discurso as sentenças devem ser usadas para a elaboração de uma estrutura
argumentativa, a análise de discursos exige o reconhecimento dos argumentos, desde
os mais simples até os mais complexos, como uma primeira tarefa.
Nos trechos a seguir, distingue-se argumentos de outras associações de sentenças:
1 Se alguém quer formar uma opinião real sobre alguém, pode observar a im-
pressão que causa a primeira observação de uma carta escrita por essa pessoa;
2 Foi assinalado que, embora os ciclos de negócios não sejam perı́odos, são
adequadamente descritos pelo termo “ciclos” e, portanto, são suscetı́veis de medição.
No primeiro caso, há apenas uma sentença na forma “se ...., então...”; já no
caso b) as informações contidas nas sentenças indicam que o termo “portanto” está
CAPÍTULO 2. PENSAMENTO VERSUS LINGUAGEM 12
apontando uma conclusão logicamente inferida das primeiras.

Algumas vezes o contexto permite distinguir as premissas da conclusão, mas
há na linguagem, palavras ou expressões que as distinguem, a saber, pois, uma
vez que, visto que, porque, considerando que, etc., indicam que as sentenças que
se seguem são premissas, e palavras ou expressões tais como portanto, daı́, segue-
se que, conseqüentemente, conclui-se que, logo, assim, então, etc., indicam que a
sentença seguinte é a conclusão do argumento.
Propõe-se que, após uma leitura cuidadosa dos trechos de variados discursos,
colocados a seguir, identifique-se aqueles que contêm argumentos:
1. Citando o dito da Rainha de Navarra, ocorre-me que entre o povo, quando
uma pessoa vê outra arrufada, costuma perguntar-lhes: “Gentes, quem matou
seus cachorrinhos?”, como se dissesse “quem lhe levou os amores, as aventuras
secretas, etc.” Mas este capı́tulo não é sério. (Machado de Assis, Memórias
póstumas de Brás Cubas “O que não é sério”).
2. Sempre que observamos um eclipse da Lua, vemos que a forma da sombra nela
projetada é curva. Ora, o corpo que projeta sua sombra na Lua é a Terra.
Por conseguinte, a forma da Terra deve ser redonda.
3. A abolição não melhorou de modo algum a situação social e econômica dos
antigos escravos no Brasil. De fato, aqueles que, no passado, constituı́am ”as
mãos e os pés”do senhor de engenho, aqueles que só recebiam ”pão, pau e
pano”, isto é, alimento barato, castigos em profusão e roupa barata, aque-
les que foram escravos de nossos antepassados continuaram a trabalhar no
campo e na cidade em condições subhumanas. Nenhuma real oportunidade
de progresso na escala social lhes foi oferecida.
4. Se dermos à eternidade o significado não de duração temporal infinita mas
de intemporalidade, então a vida eterna pertence aos que vivem no presente.
(Wittgenstein, Tractatus Lógico-Philosophicus).
5. Peça o mesmo para mim, pois os amigos devem ter todas as coisas em comum.
(Platão, Fedro).
6. A nenhum homem é consentido ser juiz em causa própria, porque seu interesse
certamente influirá em seu julgamento e, não improvavelmente, corromperá
sua integridade.
7. Ainda que exista um embusteiro, sumamente poderoso, sumamente ardiloso,
que empregue todos os seus esforços para manter-me perpetuamente ludi-
briado, não pode subsistir dúvida alguma de que existo, uma vez que ele
me ludibria; e por mais que me engane a seu bel-prazer, jamais conseguirá
que eu não exista, enquanto eu continuar pensando que sou alguma coisa.
Então, uma vez ponderados escrupulosamente todos os argumentos, tenho
de concluir que, sempre que digo ou concebo em meu espı́rito Eu sou, logo
eu existo, esta proposição tem que ser necessariamente verdadeira. (René
Descartes, Meditações Metafı́sicas).
CAPÍTULO 2. PENSAMENTO VERSUS LINGUAGEM 13
É fácil concluir que as sentenças contidas no texto 1) constituem uma narrativa

não qual não há indicador, seja explı́cito ou implı́cito, de premissas ou de conclusão.
E a sentença que compõe o texto 4) é apenas um sentença condicional, caracteri-
zada pelo uso de “se ..., então ...”. Assim 1) e 4) não contêm argumentos. Mas, os
demais textos possuem uma estrutura argumentativa. No exemplo 2), a expressão
“por conseguinte” indica que a sentença “a forma da Terra deve ser redonda” é a
conclusão do argumento; no exemplo 3), todas as sentenças que se seguem à ex-
pressão “De fato” são evidências ou premissas para a sentença “A abolição não
melhorou de modo algum a situação social e econômica dos antigos escravos no
Brasil”, que constitui a conclusão; no exemplo 5), a palavra “pois” explica a con-
clusão que a antecede, o que ocorre também com o exemplo seguinte; no exemplo
7), todas as sentenças que precedem a expressão “tenho de concluir que”, explicam
que “Eu sou, logo eu existo” é uma proposição verdadeira.
Capı́tulo 3
FORMAS DE
ARGUMENTAÇÃO:
DEDUÇÃO E INDUÇÃO
3.1 Principais formas de argumentação

A sustentabilidade ou força que as premissas fornecem à conclusão é variável, pois
dada a natureza do que o discurso pretende descrever, duas possibilidades se apre-
sentam: a) as premissas oferecem evidência total (ou conclusiva) para a conclusão;
ou b) as premissas oferecem evidência parcial para a conclusão. No primeiro caso,
os argumentos são ditos dedutivos e no segundo, indutivos.
Nos casos a seguir identificar-se-ão os argumentos dedutivos e indutivos ([11]):
1. Como os testes demonstraram que foram precisos, pelo menos 2,3 segundos
para manobrar a culatra do rifle de Oswald, é óbvio que Oswald não poderia
ter disparado três vezes – atingindo Kennedy duas vezes e Connally uma vez
– em 5,6 segundos ou menos.
2. Jânio Quadros renunciou à presidência em circunstâncias excepcionais. Ora,
todo aquele que renuncia à presidência em circunstâncias excepcionais pre-
tende ser reconduzido triunfalmente ao poder. Portanto, o que Jânio pretendia
era isso: ser reconduzido ao poder.
3. O Japão possui baixa renda per capita e nı́vel calórico alimentar insuficiente,
mas sua indústria é altamente desenvolvida. Portanto, um paı́s desenvolvido
pode apresentar caracterı́sticas de subdesenvolvimento.
4. O analfabetismo é igualmente um dos traços do subdesenvolvimento. En-

quanto a proporção de maiores de 10 anos de idade iletrados é de no máximo
3.1. PRINCIPAIS FORMAS DE ARGUMENTAÇÃO 15
4% nos paı́ses desenvolvidos, ela aumenta consideravelmente nos subdesen-

volvidos. As taxas são as seguintes: 17% na Argentina, 23% na Itália e na
Espanha, 41% na Grécia, 40% em Portugal, 57% no Brasil e na Venezuela,
70% na Turquia, 86% no Egito e Malásia, mais de 90% na Índia e na África
Negra. A única exceção é o Japão com apenas 5%.
Observa-se que, nos dois primeiros exemplos, a conclusão do argumento (respec-

tivamente, ”Oswald não poderia ter disparado três vezes – atingindo Kennedy duas
vezes e Connally uma vez – em 5,6 segundos ou menos” e “o que Jânio pretendia era
isso: ser reconduzido ao poder”) é uma conseqüência lógica das premissas, sendo
portanto impossı́vel, que estas sejam verdadeiras e a conclusão seja falsa. Porém,
o exemplo 3 apresenta um argumento indutivo, pois a conclusão ”um paı́s desen-
volvido pode apresentar caracterı́sticas de subdesenvolvimento”é enunciada a partir
da observação de apenas um caso de paı́s desenvolvido, o Japão. O mesmo ocorre
com o último exemplo, porque embora se apresentem várias evidências (as taxas
altas de iletrados em vários paı́ses subdesenvolvidos) para se concluir que “O anal-
fabetismo é igualmente um dos traços do subdesenvolvimento”, elas ainda não são
suficientes para garantir a verdade dessa conclusão.
Os argumentos dedutivos são válidos quando o conteúdo da conclusão já está
contido no conteúdo das premissas e, assim, a verdade das premissas implica na
verdade da conclusão. Não ocorre, portanto, que em um argumento válido as pre-
missas sejam verdadeiras e sua conclusão seja falsa. Caso contrário, o argumento
dedutivo é inválido.
Nos exemplos a seguir distingue-se os argumentos dedutivos válidos dos dedu-
tivos inválidos.
1. Se o mordomo estivesse presente, então teria sido visto. Se tivesse sido visto,
teria sido interrogado. Se tivesse sido interrogado, teria respondido e se tivesse
respondido teria sido ouvido. Mas o mordomo não foi ouvido. Se não foi visto
nem ouvido, então o mordomo estaria no seu trabalho; e se estivesse no seu
trabalho, deveria ter estado presente. Assim, o mordomo foi interrogado.
2. Quando os preços são baixos, as vendas são altas. Se forem vendidos produtos
de qualidade, então os clientes ficarão satisfeitos. Conseqüentemente, se os
preços forem baixos e se venderem produtos de qualidade, as vendas serão
altas ou os clientes ficarão satisfeitos.
No exemplo 1, as informações contidas nas premissas conduzem logicamente à

conclusão de que o mordomo não foi interrogado. Logo, o argumento segue um
esquema dedutivo, mas apresenta uma falha lógica ao enunciar a conclusão “o mor-
domo foi interrogado”. O exemplo 2 apresenta um argumento dedutivo, cuja con-
clusão, mais complexa que a do exemplo 1, segue logicamente das premissas.
A distinção entre argumentos dedutivos válidos e dedutivos inválidos é possı́vel
ser feita com um certo esforço analı́tico, salvo em argumentos mais longos e com-
plexos. Para avaliar essa capacidade analı́tica o exercı́cio que se propõe é esboçar a
conclusão dos argumentos que se seguem:
1. Se todos os nossos atos têm uma causa, então não há atos livres. Se não há
atos livres, então todos os nossos atos têm uma causa. Logo, .....
2. Carlos Drumond é poeta e mineiro. Assim, ...
3. Se o mundo está em desordem, então se um sábio não aparece, o mundo não

é reformável. Se, porém, o mundo está em desordem, não aparece um sábio.
Por conseguinte, ...... .
É possı́vel também, deduzir a conclusão dos argumentos abaixo (ver [1]), onde
o sı́mbolo ⊢ representa a relação de conseqüência lógica:
a) x + 0 = y → x = y, x + 0 = y ⊢
b) x 6= 0 → x + y 6= y, x + y = y ⊢
c) x + 8 = 12 ∨ x 6= 4, x + 8 6= 12 ⊢
d) xy = 6 → xy + 5 = 11, xy + 5 = 11 → y = 2 ⊢
Os argumentos indutivos, grosso modo, são classificados em fortes ou fracos,
conforme o grau de certeza que a conclusão recebe das premissas. Nesses argumen-
tos, a conclusão contém informações que não estavam contidas nas premissas. Suas
formas mais comuns são a enumeração, a analogia e a eliminação.
3.1.1 Indução por enumeração

Um tipo especial de indução por enumeração já havia sido estabelecida por Aristóteles
que a denominava indução completa ou formal. A enumeração é utilizada quando
uma conclusão é enunciada para todos os elementos ou para um determinado ele-
mento de uma categoria, a partir de elementos dessa categoria que foram observados
ou analisados. A indução por enumeração completa (aristotélica) é aquela em que
todos os elementos da categoria foram observado, como ilustra o exemplo a seguir:
a) Se a segunda-feira, a terça-feira, a quarta-feira, a quinta-feira, a sexta-feira,
o sábado e o domingo têm 24 horas de duração e são os dias da semana, conclui-se
que todos os dias da semana têm 24 horas.
Uma análise superficial desse argumento é suficiente para mostrar que a con-
clusão é garantida logicamente pelas premissas, pois se já é dada uma caracterı́stica
de todos os elementos (terem 24 horas de duração), não constitui algo novo ou difer-
ente o que está afirmado na conclusão. Esse resultado é ressaltado quando Galileu
Galilei (1564 - 1642) e Francis Bacon (1561 - 1626) propuseram como modelo a
”indução incompleta”também denominada de ”cientı́fica”, a qual se fundamenta na
observação de que vários elementos do universo de análise (mas não todos) pos-
suem uma determinada caracterı́stica e enuncia-se uma conclusão atribuindo essa
caracterı́stica a todos os elementos ou a um elemento não observado. Os exemplos
a seguir ilustram esse tipo de agumento indutivo:
a) Todos os números primos analisados podem ser escritos sob determinada

forma. Logo, todos os números primos são expressos por essa forma.
b) Cerca de 80% dos estudantes de Ciências Exatas gostam de Fı́sica. Portanto,

Carlos, aluno de Matemática, gosta de Fı́sica.
c) Da população de 170 milhões de pessoas com diabetes no mundo, 90% a-

presentam colesterol alto. Logo, 90% das pessoas no mundo têm colesterol
alto.
d) A maioria dos brasileiros ganha salário mı́nimo. Daı́ conclui-se que José ganha
salário mı́nimo.
É importante descrever as várias possibilidades de se usar esse tipo de lógica

nos argumentos.
1. De uma amostra para uma população
a) Generalização indutiva: quando da amostra se elabora uma conclusão

universal (hipótese).
Todos os animais observados eram mamı́feros.
Logo, todos os animais são mamı́feros.
b) Generalizações universais: a partir de informações obtidas de elementos
observados obtém-se uma conclusão generalizando as informações para
todos os elementos de uma amostra.
Todo universitário observado, da amostra, era usuário da internet.
Logo, todo universitário é usuário da internet.
c) Generalizações estatı́sticas: afirmam que apenas uma parte dos elementos
de um conjunto possui uma tal propriedade.
85% das pessoas consultadas votaram no Partido dos trabalhadores (PT).
Portanto, 85% das pessoas são eleitores do PT.
2. De uma população para uma amostra da população
a) Estatı́stica direta: a partir de informações sobre a população gera-se in-

formações sobre uma de suas amostras tomada ao acaso.
80% dos estudantes de cursos noturnos trabalham.
Logo, 80% dos que irão matricular-se nos cursos noturnos serão pessoas
que trabalham.
b) Singular: parte de uma população para um caso especı́fico de seus com-
ponentes tomado ao acaso.
A maioria das pessoas que ganha salários fixos não possui casa própria.
Assim, José Américo, um assalariado (aleatoriamente escolhido) não pos-
sui casa própria.
3. De uma amostra para uma amostra

a) Preditiva-padrão: com base em elementos observados obtém-se uma con-

clusão para uma amostra aleatória.
Todas os metais até hoje observados dilataram-se quando são submetidos
ao calor.
Logo, a estrutura metálica da ponte X, se dilatará quando aquecida.
b) Preditiva estatı́stica: similar ao caso anterior, porém indicando o per-
centual estatı́stico:
Cerca de 85% dos estudantes de filosofia que conhecem grego, têm mais
facilidade para ler obras originais.
Logo, de um grupo de estudantes de filosofia, escolhidos aleatoriamente,
se conhecerem grego, cerca de 85% terão mais facilidade para ler as obras
filosóficas originais.
c) Preditiva singular: semelhante ao caso anterior mas concluindo para um
caso particular da amostra, tomado aleatoriamente.
Grande parte dos alunos de ciências humanas não gosta de matemática
ou de lógica.
Logo, Igor, estudante de Comunicação, escolhido aleatoriamente, não
gosta de matemática ou de lógica.
4. De conseqüências verificáveis de uma hipótese para a própria hipótese

Neste caso colocam-se os exemplos, próprios das ciências empı́ricas, em que a
impossibilidade de se testar diretamente uma hipótese, que é um enunciado
geral, parte-se das conseqüências verificáveis para se concluir a hipótese, como
é possı́vel observar no exemplo:
Com base nas informações obtidas através de fotografias tiradas a grande
altitude ou do afastamento de um navio em relação a um observador em
terra, é possı́vel verificar que a terra é redonda.
Logo, a Terra é redonda.
3.1.2 Indução por analogia

Um argumento indutivo por analogia pode ser enunciado quando os objetos de um
certo tipo são bastante semelhantes, em determinados aspectos, a objetos de outro
tipo. Sabendo-se que os do primeiro tipo têm certo aspecto e não sabendo se os do
segundo tipo apresentam esse aspecto, conclui-se, em função das semelhanças nos
demais aspectos, que esses possuem o aspecto em pauta. Isso pode ser resumido na
forma abaixo:
Objetos do tipo X têm as propriedades G, H, etc.
Objetos do tipo Y têm as propriedades G, H, etc.
Objetos do tipo X têm a propriedade F.
Logo, objetos do tipo Y têm a propriedade F.
Os argumentos indutivos por analogia são muito utilizados seja na linguagem
comum, no discurso cientı́fico ou filosófico. Alguns textos ilustram isso:
a) Alguns pacifistas, em defesa da paz, da justiça e da fraternidade, argumentam

mais ou menos nesses moldes: quando se planta trigo é o trigo que se colhe;
quando se planta centeio, o centeio é que nasce; quem planta amoras não
espera colher morangos. De maneira análoga, plantando o ódio e a morte,
não é possı́vel obter paz, justiça e fraternidade.
b) Uma das formas de discutir o problema da existência de outras mentes é indicar

que existem outras mentes, pela experiência individual. Cada pessoa tem
conhecimento de seus próprios estados mentais, como os resultantes de uma
sensação de dor ou de alegria. A partir da crença de que as pessoas têm
experiências muito parecidas, infere-se que elas também têm mente, porque
estão agindo como se estivessem pensando, duvidando, desejando, sentindo
dor ou prazer, etc.
c) Um argumento usado para explicar a existência de Deus, refere-se às criações e

aos seus criadores: ”(...) Olhem para o mundo: contemplem-no e notem cada
uma de suas partes: verão que não passa de uma grande máquina, subdivi-
dida numa infinidade de mecanismos menores, subdivididos, por seu turno, em
partes ainda menores, até um ponto que as faculdades humanas são incapazes
de acompanhar e explicar. Todas essas máquinas e todas as suas diminutas
peças estão minuciosamente ajustadas, provocando a admiração de todos os
homens que a examinaram. A feliz combinação de meios e fins, em toda a
natureza, embora muito mais perfeita, lembra a que se dá nas produções do
engenho humano, projetadas com sabedoria e inteligência. Como os efeitos se
parecem, inferimos, guiados pelas regras da analogia, que também as causas
são semelhantes; inferimos que o Autor da Natureza é, de algum modo, pare-
cido com a mente humana, embora, com muito maiores poderes, compatı́veis
com a grandiosidade da obra que executou.”(David Hume, Dialogues concern-
ing natural religion).
d) Podemos observar uma semelhança muito grande entre esta Terra que habita-
mos e os outros planetas, Saturno, Júpiter, Marte, Vênus e Mercúrio. Todos
eles gravitam em torno do Sol, tal como a Terra, embora a diferentes distâncias
e em perı́odos diferentes. Todos recebem sua luz do Sol, tal como a Terra.
Sabe-se que muitos deles giram em redor de seus eixos, tal como a Terra; e,
por isso, devem também apresentar uma sucessão de dias e noites. Alguns
deles têm luas, que servem para dar-lhes luz na ausência do Sol, tal como
nossa Lua nos dá. Todos eles, em seus movimentos, estão sujeitos à mesma lei
de gravitação, tal como acontece à Terra. Baseando-se em todas estas semel-
hanças, não é disparatado pensar que esses planetas, à semelhança da Terra,
possam estar habitados por criaturas viventes de várias ordens. Existe uma
certa probabilidade nesta conclusão por analogia. (Thomas Reid, Essays on
the Intellectual Powers of Man (Ensaio I, capı́tulo 4).
e) Dissemos que as pessoas normais têm pouca motivação para desenvolver es-
forços especiais no estudo por iniciativa própria. A mesma coisa é verdadeira
a respeito da aritmética. Se a motivação não fosse suprida pelos pais e a

pressão da escola, haveria pouca aprendizagem em matemática. Por analogia,
parece possı́vel que as crianças pudessem ser motivadas e treinadas para usar
seus recursos mentais na resolução de problemas emocionais. Elas não recebem
quase nenhum treino nesse importante domı́nio, atualmente. (John Dollard,
Neal E. Miller, Personality and Psichotherapy. Copyright, 1950. McGraw-Hill
Book Company, Inc.).
Evidentemente, algumas falhas podem ocorrer nessa forma de argumentar. Ob-

serva-se, por exemplo, que a) contém uma analogia bastante fraca, por tratar de
”plantações”de diferentes tipos, e que o analogia contida em d) é forte.
3.1.3 Indução por eliminação

Outra forma de argumento indutivo é utilizada, principalmente, na investigação
cientı́fica, quando se deseja explicar os fenômenos, pela formulação de uma hipótese.
As hipóteses formuladas procuram estabelecer as relações necessárias ou suficientes
entre os condicionantes e os fenômenos, mas nem todas as hipóteses cumprem essa
função de explicação causal. Para decidir, numa lista de hipóteses, qual aquela que
estabelece uma relação causal, evidenciando a causa necessária ou suficiente para
um dado fenômeno, usa-se os Métodos de Eliminação. Os dois princı́pios básicos
da eliminação são:
a) Uma condição necessária de um fenômeno não pode estar ausente quando o

fenômeno estar presente.
b) Uma condição suficiente de um fenômeno não pode estar presente quando o

fenômeno está ausente.
Para utilizar esses princı́pios, alguns métodos foram estabelecidos. Entre eles
encontram-se: o método da concordância, método da diferença, o método com-
binado da concordância direta e da diferença. Esses métodos são designados por
”Métodos de Mill de inferência indutiva”, propostos por John Stuart Mill (1806-
1873).
A formulação geral do Método da Concordância é: Se dois ou mais casos do
fenômeno que se investiga têm somente uma circunstância em comum, a circunstância
em que todos os casos concordam é a causa necessária do fenômeno dado. Se le-
tras maiúsculas representam as circunstâncias e as letras minúsculas representam
os fenômenos, tem-se o seguinte argumento:
A B C D ocorrem juntamente com a b c d.
A E F G ocorrem juntamente com a e f g.
Portanto, A é a causa de a.
Exemplo:
As possı́veis propriedades condicionantes da combustão são a presença de oxi-
gênio (O), de hidrogênio (H), de uma centelha (C) e o aumento de temperatura
(A). Após algumas observações constata-se que é a presença de oxigênio que causa
combustão, conforme tabela abaixo.
Tabela 1
Caso Possı́veis condicionantes Fenômeno
A C O H E
1 P P P A P
2 P A P P P
3 A P P A P
No caso 1. observa-se que o hidrogênio está ausente quando o fenômeno está pre-
sente. Isso significa que não pode ser a causa necessária. Os casos 2 e 3 mostram que
a centelha e o aumento de temperatura, respectivamente, não podem ser condições
necessárias do fenômeno, visto que estão ausentes quando o fenômeno está pre-
sente. A condicionante não eliminada é o oxigênio. Portanto, a possı́vel condição
necessária para que ocorra a combustão é a presença de oxigênio.
Método da Diferença: deseja-se determinar condições suficientes de um fenômeno
numa ocorrência particular.
Exemplo:
As hipóteses para a morte de um cidadão são: A = afogamento, C = colapso, S
= estrangulamento, V = envenenamento. São feitas três observações apresentadas
na tabela 2.
Tabela 2
A S C V E
x P A P P P
1 P A A P A
2 A A A A A
Obtém-se que o caso 1 elimina A e V como condição suficiente, pois estão pre-
sentes quando o fenômeno está ausente. O caso 2 reforça essa conclusão porque
na ausência das referidas condições o fenômeno não correu. A condição S não foi
eliminada como condição suficiente pelo princı́pio de eliminação, mas não pode
ser responsável pelo fenômeno no caso x, por estar ausente nesse caso e uma pro-
priedade só pode ser a condição suficiente do fenômeno para essa ocorrência par-
ticular, quando ela está presente nessa ocorrência e ausente todas as vezes que o
fenômeno estiver ausente.
O Método Combinado é utilizado quando se quer determinar a condição neces-
sária e a condição suficiente para um fenômeno, em uma certa ocorrência x.
Exemplo:
Suponha que se tenha como possı́veis causas da complicação do quadro de um
paciente que fez uma cirurgia as condições L = lesão cerebral, T = trombose, H
= hepatite, I = infecção bacteriana. Na tabela que segue são apresentadas três
observações.
Tabela 3
Simples Complexas
T H L U ∼T ∼H ∼L ∼U E
x P A P A A P A P P
2 P A A A A P P P A
3 A P P P P A A A P
Pelo Método da Diferença, observa-se que as propriedades T, L, ∼ H e ∼U

podem ser condição suficiente do fenômeno, pois em x estão presentes na presença
do fenômeno. Mas a observação 1 evidencia que T, ∼U e ∼H não o podem ser, dado
que estão presentes quando o fenômeno está ausente. A única possı́vel é a condição
L, ausente, quando o fenômeno não ocorre. Já as condições H, U, ∼T e ∼L são
eliminadas como condição necessária para E, na ocorrência x, pois estão ausentes
quando E ocorre. Observa-se que apenas a condição L, está presente em todas as
ocorrências de E. Portanto L é a condição necessária e suficiente para a ocorrência
do fenômeno.
Esses métodos formulados por Stuart Mill, acrescentando o Método dos Resı́duos
e de Variação Concomitante, constituem verdadeiros cânones da inferência indutiva.
Apenas para ilustrar, apresentam-se os esquemas dos dois últimos.
Método dos Resı́duos:
ABC abc
B é causa conhecida de b.
C é a causa conhecida de c
Logo, A é a causa de a.
O exemplo apresentado por ([5], p. 348), é o do argumento sobre a descoberta
do planeta Netuno.
“Em 1821, Bouvard de Paris publicou tábuas de movimentos de alguns planetas,
entre eles e Urano. Ao preparar as tábuas do último, depara-se com uma grande di-
ficuldade para fazer concordar a órbita calculada, baseada, a partir das observações
realizadas, imediatamente após sua descoberta. Finalmente, pôs de lado as ob-
servações mais antigas e baseou suas tábuas nas observações mais recentes. Mas,
em poucos anos, as posições calculadas das tábuas divergiam das posições obser-
vados dos planetas, e, em 1844, a discrepância atingia 2 minutos de arco. Como
os movimentos de todos os outros planetas coincidiam com os calculados anterior-
mente, a discrepância no caso de Urano originou muitas discussões.
Em 1845, Leverrier, então um jovem, atacou o problema. Reviu os cálculos
de Bouvard e achou-os, essencialmente, corretos. Pressentiu, então, que a única
explicação satisfatória para o problema deveria ser encontrada na presença de um
planeta que estivesse situado mais além de Urano, e que perturbaria os movimen-
tos deste. Em meados de 1846, Leverrier concluiu os seus cálculos. Em setembro,
escreveu a Galle, em Berlim, e solicitou-lhe que procurasse um novo planeta em
determinada região do céu. Da qual novos mapas das estrelas tinham sido, recen-
temente, preparados na Alemanha; porém, segundo parecia, Leverrier ainda não
3.2. ANÁLISE DE ARGUMENTOS POR ENUMERAÇÃO E ANALOGIA 23
recebera cópias. Em 23 de setembro, Galle iniciou a busca e, em menos de uma

hora, encontrou um objeto que não figurava no mapa. Na noite seguinte, esse objeto
moveu-se apreciavelmente, e o novo planeta, logo batizado de Netuno, foi descoberto
a 1o do lugar que fora previsto. Esta descoberta figura entre as maiores realizações
da astronomia matemática.”
O Método da Variação Concomitante é mais complicado, mas tenta refletir a
interconexão entre fenômenos e pode ser resumido como segue: Um fenômeno que
varia de qualquer maneira, sempre que um outro fenômeno varia de uma deter-
minada maneira, é uma causa ou um efeito desse fenômeno, ou está com ele rela-
cionado, através de algum fato de causalidade.
Nos outros métodos obtém-se apenas as causas necessárias ou suficientes de um
dado fenômeno e esse é um aspecto qualitativo da investigação cientı́fica. O Método
da Variação Concomitante introduz o aspecto quantitativo, quando avalia em que
grau (+ e -, para indicar, respectivamente, “maior” ou “menor” grau) um fenômeno
variável está presente em determinada situação. O esquema abaixo representa essa
variação.
ABC abc
A+BC a+bc
A-BC a-bc
Portanto, A e a estão causalmente ligados.
Variados são os exemplos que a ciência em geral fornece desse método. Apenas
para ilustrar, cita-se o caso dos preços das mercadorias e de suas vendas, e o da
dimensão de uma colheita e a qualidade do fertilizante utilizado, etc.
Sem mais detalhes, é importante ressaltar que o uso rigoroso dos métodos apre-
sentados, ainda não é suficiente para garantir que as conclusões obtidas nos argu-
mentos sejam verdadeiras. Nessas formas indutivas de argumentação, a conclusão
dos argumentos são apenas verdades possı́veis, mesmo que todos os pressupostos
(premissas) sejam verdadeiros.
3.2 Análise de argumentos por enumeração e analo-

gia
A análise dos argumentos indutivos expostos seja por enumeração ou por analo-
gia, indica que mesmo que as suas premissas sejam verdadeiras, suas conclusões
podem ser falsas. Assim, a argumentação por indução não assegura a certeza da
conclusão, as premissas apenas conferem verossimilhança ou probabilidade de sua
certeza. Porém, há critérios para se dizer se esses argumentos são fortes ou fracos
(falaciosos). Na enumeração, são relevantes a quantidade e a qualidade dos objetos
observados, de modo que, quanto maior a amostra e quanto mais representativa
ela for, maior será a força indutiva, ou seja, maior será a probabilidade de se obter
uma conclusão verdadeira. De acordo com esses critérios, o argumento contido no
item b), acima, é um argumento forte, pois a premissa fornece uma informação so-
bre 80% dos alunos das Ciências Exatas, enquanto o item c) contém um argumento
3.2. ANÁLISE DE ARGUMENTOS POR ENUMERAÇÃO E ANALOGIA 24
falacioso, uma vez que a conclusão traz uma generalização estatı́stica fundamentada
em uma amostra que é insuficiente (dos 170 milhões de diabéticos) e tendenciosa
(os diabéticos em relação à população mundial).
Na analogia a análise recai, principalmente, na quantidade de objetos compara-
dos, de semelhanças e dessemelhanças entre os objetos, de modo que, quanto maior
o número de objetos comparados e de semelhanças entre eles, maior a força indu-
tiva das premissas para a conclusão. Inversamente, a certeza da conclusão diminui
à medida em que aumenta o número de dessemelhanças entre os objetos compara-
dos. Desse modo, as conclusões sobre o uso de certas substâncias em humanos a
partir de observações e experimentos com ratos têm alta probabilidade de serem
verdadeiras, enquanto que a conclusão sobre a existência de seres vivos em Marte
tem baixa probabilidade de ser verdadeira, face à informação de que, tal como a
Terra, Marte recebe a luz do Sol.
A avaliação da força dos argumentos indutivos é tarefa inerente à lógica deno-
minada ”indutiva”e a discussão sobre a validade dos argumentos dedutivos é parte
da tarefa da lógica chamada ”dedutiva”. Obviamente, os argumentos dedutivos e
indutivos se mesclam nos discursos, mas é objetivo deste trabalho a avaliação da
validade dos argumentos. E assim, tratar-se-á no próximo capı́tulo da contribuição
da lógica formal nessa avaliação.
Capı́tulo 4
LINGUAGEM E LÓGICA
FORMAL
Na linguagem informal, é possı́vel se cometer erros lógicos na argumentação. Tais

erros denominados de falácias formais decorrem, geralmente, de ambigüidades e im-
precisões da linguagem natural ou ainda devido a falhas no modo de gerar inferências
do ser humano (aspecto não muito raro segundo Pinker [10]). Por exemplo, se à sen-
tença Se chove, as ruas ficam molhadas, acrescenta-se a sentença que informa que
As ruas estão molhadas, alguém pode concluir, erroneamente, que Choveu. Mas se
à primeira sentença adiciona-se Choveu, conclui-se corretamente que As ruas estão
molhadas.
Evidencia-se assim que, a forma segundo a qual as sentenças estão arranjadas
em um argumento (e conseqüentemente, em um discurso) é um fator determinante
na sua correção lógica. Considerando que a lógica formal trata dos arranjos dos
elementos constituintes de uma linguagem segundo certos princı́pios, depreende-
se que as falhas lógicas podem ser percebidas e corrigidas mais facilmente, pela
avaliação dos argumentos no âmbito dessa lógica, entendida aqui como um sistema
formal com linguagem (vocabulário e regras de formação) e postulados (regras ou
axiomas) e uma noção de conseqüência lógica bem definidos. Esse era o ideal de
Frege. Nesta perspectiva apresenta-se, a seguir, a linguagem de uma Lógica de
Predicados, P, de 1a Ordem.([8]).
4.1 LINGUAGEM
Seja L a linguagem de P. A linguagem L contém tem os sı́mbolos lógicos e os não-
lógicos. Os primeiros são:
a) conectivos: ∼ (negação), ∧ (conjunção), ∨ (disjunção), → (condicional), ↔
(bicondicional),
b) quantificadores: ∀ (quantificador universal), ∃ (quantificador existencial),
c) parênteses: ( , ).
4.1. LINGUAGEM 26
E os sı́mbolos não-lógicos são:

a) letras predicativas: A, B, C, ...Z, A1 , B1 , C1 ,..., Z1 , ...
b) constantes ou letras funcionais: a, b, c, ..., t, a1 , b1 , c1 , ..., t1 ,...
c) variáveis individuais: u, v, x, y, z, w, u1 , v1 , x1 , y1 , z1 , w1 , ...
Com essa linguagem é possı́vel obter-se inúmeras seqüências finitas de sı́mbolos
lógicos e não-lógicos, que são denominadas expressões ou, simplesmente, fórmulas.
Por exemplo, xb(Av), A ∀ →, ∀x(Ax → Bx) e (A ∨ B) são expressões, das quais
algumas têm um significado que será especificado da definição de fórmulas bem
formadas.
Definição 6 (fórmulas bem formadas (fbf ) ou fórmula):
1. Se Φ é uma letra predicativa seguida de zero ou mais constantes, Φ é uma fbf

(fórmula atômica)
2. Se Φ é uma fbf, então ∼ Φ é uma fbf.
3. Se Φ e Ψ são fbfs, então (Φ ∧ Ψ), (Φ ∨ Ψ), (Φ → Ψ) e (Φ ↔ Ψ) são fbf ’s.
4. Se Φ é uma fbf e β é uma variável, então ∀βΦβ /α é uma fbf, onde Φβ /α é

o resultado da substituição de todas as ocorrências da constante α de Φ por
uma variável β que não ocorre em Φ.
5. Se Φ é uma fbf e β é uma variável, então ∃βΦβ /α é uma fbf, onde Φβ /α é

o resultado da substituição de todas as ocorrências da constante α de Φ por
uma variável β que não ocorre em Φ.
6. Φ é uma fbf se, e somente se, é obtida pelas condições acima enumeradas.
De acordo com essa definição, as formulas xb(Av) e A∀ → não são bem formadas,
mas ∀x(Ax → Bx) e (A ∨ B) o são.
Um exercı́cio de aplicação da definição dada, consiste em aplicá-la para deter-
minar quais das expressões abaixo são fórmulas bem formadas:
1. ∀x∃yF x
2. ∃xF x ∨ Ba
3. ∀xAx ∧ ∃yF y
4. (∼ R)
5. Ba →∼ A
6. ∼ P ↔ (Q ∧ R)
Por aplicação da definição constata-se que os itens 1 e 4 não contêm fórmula

pelos itens 5 e 1 respectivamente.
4.2. REGRAS DE INFERÊNCIA 27
4.2 REGRAS DE INFERÊNCIA

Introdução da Conjunção (I∧):
Φ, Ψ ⊢ Φ ∧ Ψ
Eliminação da Conjunção (E∧):
Φ∧Ψ⊢Φ
Φ∧Ψ⊢Ψ
Introdução da Disjunção (I∨):
Φ⊢Φ∨Ψ
Ψ⊢Φ∨Ψ
Eliminação da Disjunção (E∨):
Φ ∨ Ψ, Φ → Θ, Ψ → Θ ⊢ Θ
Introdução da Negação (Prova Indireta ou Redução ao Absurdo) (RAA):

Se
Φ⊢Ψ
e
Φ ⊢∼ Ψ
então
∼Φ
Eliminação da Negação (E∼):
∼∼ Φ ⊢ Φ
Introdução do Condicional (Prova Direta ou Condicionalização) (I→ ou PC):
Se
Φ⊢Ψ
então
⊢Φ→Ψ
Eliminação do Condicional (Modus Ponens) (E→):
Φ → Ψ, Φ ⊢ Ψ
Introdução do Bicondicional (I↔):
Φ → Ψ, Ψ → Φ ⊢ Φ ↔ Ψ
Eliminação do Bicondicional (E↔):
Φ↔Ψ⊢Φ→Ψ
Φ↔Ψ⊢Ψ→Φ
Introdução do Quantificador Universal (I∀):
Φ ⊢ ∀βΦβ /α
desde que a constante α não ocorra em premissa ou hipótese vigente na linha em
que Φ ocorre.
Eliminação do Quantificador Universal (E∀):
∀βΦ ⊢ Φα /β
Introdução do Quantificador Existencial (I∃):
Φ ⊢ ∃βΦβ /α
Eliminação do Quantificador Existencial (E∃):
Se da fbf ∃βΦ e de uma hipótese Φα /β deriva-se uma fbf Ψ, então descarta-se
a hipótese e infere-se Ψ, se α não ocorre em Ψ, nem em premissa ou em hipótese
vigente no momento da aplicação da regra.
As definições de dedução e de teorema são necessárias para a finalidade deste
trabalho.
Definição 7 (dedução ou derivação de um conjunto Γ de fbf ’s): Uma dedução

a partir de Γ é uma seqüência finita de fórmulas Φ1 , ...., Φn de L em que cada
Φi , 1 ≤ i ≤ n, satisfaz uma das seguintes condições:
1 Φi ∈ Γ, ou
2 Φi é obtida de fbf ’s anteriores pela aplicação de uma regra de inferência.
Definição 8 (Teorema de P): Uma fbf Φ é um teorema de P se somente se { }

⊢ Φ (ou simplesmente ⊢ Φ).
A lógica de predicados de 1a ordem, assim definida, é uma lógica clássica, isto é,
ela satisfaz os princı́pios tratados no item 1, que balizam a construção e a análise de
discursos sobre a realidade, e particularmente a construção e a análise de argumen-
tos. Se a argumentação é uma tarefa tão essencial à produção do conhecimento, não
menos essencial é a tarefa de garantir a correção lógica da estrutura argumentativa,
o que será feito a seguir. Os argumentos abaixo poderão ser avaliados após a sua
tradução na linguagem L.
1. Nenhum atleta é estudioso. Carol não é atleta, pois ela é estudiosa.

2. Todas as operações no interior de uma máquina têm uma causa, porque todo
evento tem uma causa e além disso, todas essas operações são eventos.
3. Os argumentos matemáticos são todos dedutivos. Ora, muitos argumentos
matemáticos não são silogismos. Logo, muitos argumentos dedutivos não são
silogismos.
4. Toda pedra é uma substância e todo ser vivo é também substância. Dado que
todo homem é um ser vivo, conclui-se que todo homem é substância.
5. Todos os que exploram a confiança do povo são polı́ticos ambiciosos. Os
demagogos exploram a confiança do povo. Então os demagogos são polı́ticos
ambiciosos.
6. Todos os legumes são saborosos, mas alguns não alimentam. Sabendo-se que
os legumes são vegetais, segue-se que alguns vegetais são saborosos mas não
alimentam.
Alguns argumentos são instâncias das regras de inferências, ou seja, eles já se
encontram na mesma forma de uma das regras apresentadas, Outros, porém, se
apresentam em forma mais complexa e a derivação da conclusão pode exigir uma
conjugação de várias regras ou uma aplicação reiterada da mesma regra.
Além das regras de inferências, consideradas primitivas, há muitas outras regras
de inferências derivadas dessas que são bastante úteis na demonstração da validade
dos argumentos. Algumas delas são apresentadas.
Modus Tollens (MT): Das fórmulas Φ → Ψ e ∼ Ψ, obtém-se ∼ Φ.
Φ → Ψ, ∼ Ψ ⊢∼ Φ
Demonstração:
1. Φ → Ψ premissa
2. ∼ Ψ premissa
3. ∼∼ Φ hipótese por Redução ao Absurdo
4. Φ 3/E∼
5. Ψ 1, 4 / E →
6. Ψ ∧ Ψ 2, 5 / I ∧
7. ∼∼∼ Φ 3 - 6 / por Redução ao absurdo
8. ∼ Φ 7/E∼
Alguns argumentos parecem ter essa forma lógica mas são falaciosos. Os exem-
plos são ilustrativos:
a) Se Rebeca estudar bastante, então será aprovada no exame final. Rebeca não
estuda bastante. Logo, ela será reprovada no exame.
Trata-se de uma falácia, denominada “falácia da negação do antecedente”,
pois não necessariamente Rebeca será reprovada, caso não estude.
b) Se Rebeca estudar bastante, então será aprovada no exame final. Rebeca foi
aprovada. Logo, ela estudou bastante.
Afirmar “Rebeca foi aprovada”, que é afirmação do conseqüente da primeira
premissa, não tem como conseqüência lógica que “ela tenha estudado”.
Essa forma de argumento se chama “falácia da afirmação do conseqüente”.
As falácias apresentadas, por suas semelhanças às Regras de Modus Ponens e

de Modus Tollens, representam modos de argumentar muito comum, pelos falantes
em geral, inclusive por pessoas com vida escolar ampla. O exemplo a seguir pode
ilustrar isso:
Se os senhores desejam pagar maiores impostos e comprar menos com o
seu dinheiro e acreditam que não vale a pena ter um governo honesto,
então os senhores devem votar no meu oponente. Não é verdade que os
senhores estejam dispostos a pagar maiores impostos e a comprar menos
com seu dinheiro ou que acreditem não valer a pena ter um governo hon-
esto. Portanto, os senhores não devem votar no meu oponente. Votem
em mim!
Contradição (CON): Das fórmulas Φ e ∼ Φ, infere-se qualquer fórmula Ψ.

Φ, ∼ Φ ⊢ Ψ
Demonstração:
1. Φ premissa
2. ∼ Φ premissa
3. ∼ Ψ hipótese para Redução ao Absurdo
4. Φ∧ ∼ Φ 1, 2 / I ∧
5. ∼∼ Ψ 3 - 4 / Redução ao Absurdo
6. Ψ 5/E∼
Silogismo Disjuntivo (SD): Com base nas fórmulas Φ ∨ Ψ e ∼ Φ, deduz-se Ψ.

Φ ∨ Ψ, ∼ Φ ⊢ Ψ.
ou,
Φ ∨ Ψ, ∼ Ψ ⊢ Φ.
Demonstração:
1. Φ ∨ Ψ premissa
2. ∼ Ψ premissa
3. Ψ hipótese para I →
4. Ψ∧ ∼ Ψ 2, 3 / I ∧
5. Φ 4 / CON
6. Ψ → Φ 3-5/I→
7. Φ hipótese para I →
8. Φ → Φ 7-7/I→
9. Φ 1, 6, 8 / E ∨
Silogismo hipotético (SH): Das fórmulas Φ → Ψ e Ψ → Λ, infere-se Φ → Λ
Φ → Ψ, Ψ → Λ ⊢ Φ → Λ
Demonstração:
1. Φ → Ψ premissa
2. Ψ → Λ premissa
3. Φ hipótese por I →
4. Ψ 1, 3 / E →
5. Λ 2, 4 / E →
6. Φ → Λ 3-5/I→
Essa regra expressa que o operador condicional (→) tem a propriedade de tran-
sitividade, o que mostra a sua larga utilização para justificar a validade de cadeias
de sentenças condicionais, como ilustra o seguinte exemplo: “Se um dado polı́gono
tem três lados, então ele possui três ângulos. Se o polı́gono possui três ângulos, a
soma das medidas dos ângulos internos é igual a 180o . Logo, se um polı́gono tem
três lados, então a soma das medidas dos ângulos internos é igual a 180o .”
Dilema Construtivo (DC): Das fórmulas Φ ∨ Ψ, Φ → Λ e Ψ → Ξ, segue-se que

Λ ∨ Ξ.
Φ ∨ Ψ, Φ → Λ, Ψ → Ξ ⊢ Λ ∨ Ξ.
Essa regra representa dilemas em geral, que muitas vezes, mas não necessaria-
mente, envolve uma escolha que não é agradável ou confortável para quem decide.
Seguem exemplos para mostrar essa caracterı́stica.
1. Um motorista foi obrigado a comparecer a um tribunal porque foi acusado de

cometer uma infração, que realmente, não havia cometido. Ao ser interrogado
sobre sua culpa ele se sente em dilema. Ou se diz culpado ou se considera
inocente. Se se diz culpado, deverá pagar uma multa (não muito alta para
ele) pela infração cometida. Ao se declarar inocente ficará o dia todo no
tribunal para justificar (o que também lhe causaria transtornos). Logo, ou
paga a multa por falta não cometida ou passa o dia no tribunal.
2. Sobre a existência do mal no universo não há muita discordância, apesar de
existirem discussões sobre a sua natureza e implicações ou sobre sua presença
na definição da natureza humana. A partir dessa afirmação, tem-se que Deus
não pode ou não quer evitar o mal. Se Ele não deseja evitar o mal, Deus não é
benevolente. Se Deus não pode evitar o mal, Ele não é onipotente. Portanto,
ou Deus não é benevolente ou não é onipotente.
Introdução ou substituição de equivalentes: Se Φ e Ψ são interderiváveis e Φ

é uma subfórmula (isto é, parte de uma fórmula bem formada que é uma fórmula
bem formada) de alguma fórmula bem formada Λ, então de Λ infere-se o resultado
da substituição de uma ou mais ocorrências de Φ em Λ por Ψ.
Além das regras derivadas acrescentam-se, agora, várias equivalências lógicas

(suas denominações e respectivas abreviaturas), que podem ser demonstradas a
partir de um conjunto de regras e que também são bastante úteis nas demonstrações,
principalmente para contextos em que vale a regra de substituição de equivalentes.
1. ∼ (Φ ∧ Ψ) ↔ (∼Φ ∨ ∼Ψ) Lei de De Morgan (DM)
2. ∼(Φ ∨ Ψ) ↔ ( ∼Φ ∧ ∼Ψ) Lei de De Morgan (DM)
3. (Φ ∨ Ψ) ↔ (Ψ ∨ Φ) Comutação (COMD)
4. (Φ ∧ Ψ) ↔ (Ψ ∧ Φ) Comutação (COMC)
5. (Φ ∨ (Ψ ∨ Λ)) ↔ ((Φ ∨ Ψ) ∨ Λ) Associação (ASSOC)
6. (Φ ∧ (Ψ ∧ Λ)) ↔ ((Φ ∧ Ψ) ∧ Λ) Associação (ASSOC)
7. (Φ ∧ (Ψ ∨ Λ)) ↔ ((Φ ∧ Ψ) ∨ (Φ ∧ Λ)) Distribuição (DIST)
8. (Φ ∨ (Ψ ∧ Λ)) ↔ ((Φ ∨ Ψ) ∧ (Φ ∨ Λ)) Distribuição (DIST)
9. Φ↔∼∼Φ Dupla negação (DN)
10. (Φ → Ψ) ↔ ( ∼ Ψ→ ∼Φ) Transposição (TRANS)
11. (Φ → Ψ) ↔ ( ∼ Φ v Ψ) Implicação material (IM)
12. ((Φ ∧ Ψ) → Λ) ↔ (Φ → (Ψ→Λ)) Exportação (EXP)
13. Φ ↔ (Φ ∧ Φ) Idempotência (IDEM)
14. Φ ↔ (Φ v Φ) Idempotência (IDEM)
O exemplo a seguir ilustra que o uso de regras derivadas e equivalências pode
abreviar demonstrações que seriam muito longas, se fossem utilizadas apenas as
regras de inferências primitivas.
Prove que A → (B → ∼ C), C ⊢ ∼ A v ∼B
1. A → (B → ∼ C) premissa
2. C premissa
3. (A ∧ B) → ∼ C 1/ EXP
4. ∼∼C 2 / DN
5. ∼ ( A ∧ B) 3, 4 / MT
6. ∼ A ∨ ∼B 5 / DM
Com os recursos sintáticos aqui apresentados é possı́vel provar a validade de ar-
gumentos com mais rigor. Retoma-se agora alguns dos argumentos listados na seção
3.1 para serem completados com uma conclusão que o tornassem válidos (p. 14).
Após apresentar uma conclusão possı́vel passa-se ao esboço da sua demonstração:
1. Se todos os atos têm uma causa , então não há ato livre. Se não há ato livre,
então todos os nossos atos têm uma causa. Logo, os atos têm uma causa se,
e somente se, não há ato livre.
Simbolização:
∀x(Ax → Cx) →∼ ∃xLx, ∼ ∃xLx → ∀x(Ax → Cx) ⊢ ∀x(Ax → Cx) →∼
∃xLx) ↔ (∼ ∃xLx → ∀x(Ax → Cx))
Demonstração:
1. ∀x(Ax → Cx) →∼ ∃xLx premissa
2. ∼ ∃xLx → ∀x(Ax → Cx) premissa
3. ∀x(Ax → Cx) →∼ ∃xLx) ↔ (∼ ∃xLx → ∀x(Ax → Cx)) 1, 2 / I ↔
2. Carlos Drumond é poeta ou mineiro. Assim, Drumond é poeta.

Simbolização:
Pc ∧ Mc ⊢ Pc
Demonstração:
1. Pc ∧ Mc premissa
2. Pc 1/E∧

é reformável. Se, porém, o mundo está em desordem, não aparece um sábio.
Por conseguinte, o mundo não é reformável, se está em desordem.
Simbolização:
D → (∼ S →∼ R), D →∼ S ⊢ D →∼ R
Demonstração:
1. D → (∼S → ∼R) premissa
2. D → ∼S premissa
3. (D ∧ ∼ S) → ∼ R 1/ Exp
4. D hipótese por I →
5. ∼ S → ∼R 1, 4 / E →
6. ∼S 2, 5 / E →
7. ∼R 5, 6 / E →
8. D → ∼R 4-7/I→
4. xy = 6 → xy + 5 = 11, xy + 5 = 11 → y = 2 ⊢ xy = 6 → y = 2
Simbolização:
A → B, B → C ⊢ A → C
Demonstração:
1. A→B premissa
2. B→C premissa
3. A→C 1, 2 / SH
Agora serão esboçadas as demonstrações dos argumentos listados na seção 4.2,

p. 29.
1. Nenhum atleta é estudioso. Carol não é atleta, pois ela é estudiosa.

Simbolização:
∀x (Ax → ∼ Ex), Ec ⊢ ∼Ac
Demonstração:
1. ∀x (Ax → ∼ Ex) premissa

2. Ec premissa
3. Ac → ∼ Ec 1 / E∀
4. ∼ Ac 2, 3 / MT
2. Todas as operações no interior de uma máquina têm uma causa, porque todo
evento tem uma causa e além disso, todos essas operações são eventos.
Simbolização:
∀x (Ex → Cx), ∀x (Ox → Ex) ⊢ ∀x (Ox → Cx),
Demonstração:
1. ∀x (Ex → Cx) premissa
2. ∀x (Ox → Ex) premissa
3. Ea → Ca 1 / E∀
4. Oa → Ea 2 / E∀
5. Oa → Ca 3, 4 / SH
6. ∀x (Ox → Cx) 5 / I∀
3. Os argumentos matemáticos são todos dedutivos. Ora, muitos argumentos

matemáticos não são silogı́sticos. Logo, muitos argumentos dedutivos não são
silogı́sticos.
Simbolização:
∀x (Ax → Dx), ∃x (Ax ∧ ∼ Sx) ⊢ ∃x (Dx ∧ ∼Sx)
Demonstração:
1. ∀x (Ax → Dx) premissa
2. ∃x (Ax ∧ ∼ Sx) premissa
3. Aa ∧ ∼Sa hipótese por E∃
4. Aa → Da 1 / E∀
5. Aa 3/E∧
6. Da 4, 5 / E →
7. ∼ Sa 3/E∧
8. Da ∧ ∼ Aa 6, 7 / I ∧
9. Da ∧ ∼ Aa 3-8/E∃
10. ∃x (Dx ∧ ∼ Sx) 9/I∃
4. Toda pedra é uma substância e todo ser vivo é, também, substância. Dado
que todo homem é um ser vivo, conclui-se que todo homem é substância.
Simbolização:
∀x (Px → Sx), ∀x (Vx → Sx), ∀x (Hx → Vx) ⊢ ∀x (Hx → Sx)
Demonstração:
1. ∀x (Px → Sx) premissa

2. ∀x (Vx → Sx) premissa
3. ∀x (Hx → Vx) premissa
4. Va → Sa 2/E∀
5. Ha → Va 3/E∀
6. Ha → Sa 4, 5 / SH
7. ∀x (Hx → Sx) 6/I∀
Nessa demonstração, a primeira premissa, “∀x (Px → Sx)”, não foi utilizada
para deduzir a conclusão, o que indica que ela é irrelevante para se obter ∀x
(Hx → Sx).
5. Todos os que exploram a confiança do povo são polı́ticos ambiciosos. Os

demagogos exploram a confiança do povo. Então os demagogos são polı́ticos
ambiciosos.
Simbolização:
∀x (Ex → Ax), ∀x (Dx → Ex) ⊢ ∀x (Dx → Ax)
Demonstração:
1. ∀x (Ex → Ax) premissa
2. ∀x (Dx → Ex) premissa
3. Ea → Aa 1/E∀
4. Da → Ea 2/E∀
5. Da → Aa 3, 4 / SH
6. ∀x (Dx → Ax) 5/I∀
6. Todos os legumes são saborosos, mas alguns não alimentam. Sabendo-se que
os legumes são vegetais, segue-se que alguns vegetais são saborosos mas não
alimentam.
Simbolização:
∀x (Lx → Sx), ∃x (Lx ∧ ∼ Ax), ∀x (Lx → Gx) ⊢ ∃x ((Gx ∧ Sx) ∧ ∼ Ax)
Demonstração:
1. ∀x (Lx → Sx) premissa

2. ∃x (Lx ∧ ∼ Ax) premissa
3. ∀x (Lx → Gx) premissa
4. La ∧ ∼ Aa hipótese por E ∃
5. La 4/E∧
6. ∼ Aa 4/E∧
7. La → Sa 1/E∀
8. La → Ga 3/E∀
9. Sa 5, 7 / E →
10. Ga 5, 8 / E →
11. Ga ∧ Sa 10, 9 / I ∧
12. (Ga ∧ Sa) ∧ ∼ Aa 11, 6 / I ∧
13. (Ga ∧ Sa) ∧ ∼ Aa 4 - 12 / E ∃
14. ∃x ((Gx ∧ Sx) ∧ ∼ Ax) 13 / I ∃
O uso das regras de inferências é útil, como foi visto, para provar, a validade dos
argumentos. Mas não constitui um mecanismo para decidir se um argumento é ou
não válido. Só com o tratamento semântico dos operadores lógicos é possı́vel fazer
essa análise. Para isso, serão apresentadas a seguir as definições semânticas dos
operadores da linguagem L, a partir das quais se pode esboçar um procedimento
para mostrar a não validade de argumentos.
4.2.1 Aspectos semânticos

Considerando que a lógica P, aqui apresentada, é clássica, vale o princı́pio do ter-
ceiro excluı́do, também denominado ’princı́pio da bivalência” por Jan Lukasiewicz.
Segundo esse princı́pio, uma sentença tem apenas um valor de verdade. Assim, se
Φ é uma sentença, o valor de verdade de Φ, V(Φ) = V (Verdadeiro) ou V(Φ) = F
(Falso).
Para efeito de simplificação, cuida-se nessa seção dos aspectos semânticos da
parte proposicional ou sentencial de P. Isso requer que seja apresentado o significado
dos operadores de negação, (∼), de conjunção (∧), de disjunção (∨), de condicional
ou implicação (→) e de bicondicional (↔), ao que se seguirá um procedimento para
a análise semântica de fórmulas bem formadas compostas.
A negação (∼) é uma operação simples porém radical. É simples porque é
monádica, ou seja, ela afeta uma sentença, atômica ou composta. E é radical
porque altera, simetricamente, o sentido primitivo da sentença, de tal modo que, se
a sentença é verdadeira, sua negação é falsa e vice-versa. Em resumo tem-se uma
tabela de verdade para Φ e ∼ Φ:
Tabela 4
Φ ∼Φ
V F
F V
Assim, se a sentença “Hoje é sexta-feira” é verdadeira, sua negação “Hoje não

é sexta-feira” é falsa e vice-versa.
A conjunção (∧) de duas sentenças também pode ser verdadeira ou falsa de-
pendendo dos valores que cada sentença assume. A sentença “Newton é cientista
e Newton é filósofo” é verdadeira se é verdadeiro que “Newton é cientista” e que
“Newton é filósofo”. Mas se ao menos uma dessas sentenças é falsa, a conjunção é
falsa. Isso pode ser resumido como segue:
Tabela 5
Φ Ψ Φ∧Ψ
V V V
V F F
F V F
F F F
A disjunção (∨) é obtida quando sentenças são conectadas pela palavra ou, a qual
pode ser interpretada de duas maneiras: inclusiva e exclusiva. Na lógica P, quando o
contexto não especificar o contrário, Φ v Ψ é uma disjunção inclusiva, ou seja, ou Φ
é verdadeira, ou Ψ é verdadeira ou ambas são verdadeiras. Usando as sentenças do
exemplo anterior, “Newton é cientista ou filósofo” constitui uma disjunção inclusiva,
própria da lógica clássica, uma vez que é possı́vel também, que seja verdadeiro que
“Newton é cientista” e que “Newton é filósofo”. Desse modo, uma disjunção só é
falsa quando ambas as sentenças constituintes (chamadas disjunctos) são falsas:
Tabela 6
Φ Ψ Φ∨Ψ
V V V
V F V
F V V
F F F
A disjunção exclusiva significa que apenas uma das sentenças componentes pode
ser verdadeira. Na sentença “O número natural n ou é par ou é ı́mpar” o ou é
exclusivo, pois ou “n é par” é verdadeira ou “n é ı́mpar” é verdadeira, ou ambas
falsas, não sendo possı́vel “n é par e n é ı́mpar” ser verdadeira também. Nesse caso,
o ou significa alternação, cujo significado pode ser dado por (Φ ∨ Ψ) ∧ ∼ (Φ ∧ Ψ)
cuja tabela de verdade é:
Tabela 7
Φ Ψ (Φ ∨ Ψ) ∧ ∼(Φ ∧ Ψ)
V V V
V F F
F V F
F F V
O condicional (→) é chamado condicional material. A sentença Φ → Ψ é ver-

dadeira se e somente se, não é o caso que Φ é verdadeira e Ψ é falsa, ou seja, Φ
→ Ψ é equivalente a ∼ (Φ ∧ ∼ Ψ). Assim, o condicional material é falso se o seu
antecedente (Φ) é verdadeiro e conseqüente (Ψ) é falso. A sentença ’Se Newton é
cientista, então é filósofo” é verdadeira em todos os casos, exceto quando a sentença
“Newton é cientista” é verdadeira e “Newton é filósofo” é falsa. A seguir a tabela
de valores:
Tabela 8
Φ Ψ (Φ → Ψ)
V V V
V F F
F V V
F F V
Embora existam outros tipos de condicional, o condicional material (→) tem

sido usado em lógica e em matemática, pela sua simplicidade e ao mesmo tempo,
pela sua abrangência.
O bicondicional (↔) é um condicional material em duas vias, pois Φ ↔ Ψ
significa que (Φ → Ψ) ∧ (Ψ → Φ). A sentença “Newton é cientista” se, e somente
se, “Newton é filósofo” é verdadeira se “Newton é cientista” e “Newton é filósofo”
tiverem o mesmo valor de verdade.
Tabela 9
Φ Ψ (Φ ↔ Ψ)
V V V
V F F
F V F
F F V
As tabelas de verdade para uma fórmula complexa Φ, tem o número de linhas

diretamente proporcional ao número de sentenças constitutivas de Φ. Isto significa
que o número de linhas da tabela é determinado pelo número de letras predicativas
(de grau zero) de Φ, cujo valor é obtido por aplicação do princı́pio fundamental da
contagem. Quando se tem n letras predicativas em Φ, cada uma das quais só pode
n
{z } = 2 .
ser V ou F, o número de linhas é dado por |2.2.2.....2
n vezes
Cada uma das n colunas da tabela de verdade de Φ deve ser preenchida com
blocos de 22 V’s e 22 F’s, que representam as combinações possı́veis de V’s e F’s
n n
das sentenças constituintes. Após o preenchimento das colunas que contêm letras
predicativas calcula-se o valor de verdade de cada subfórmula de Φ. O valor de
verdade de Φ é dado pela coluna de valores do operador principal de Φ.
Pode ser obtido nesse resultado final, uma coluna de V’s, uma coluna de F’s ou
uma coluna com V’s e F’s. De acordo com esse resultado a sentença complexa Φ
pode ser tautológica, quando todos os valores são verdadeiros, inconsistente quando
todos os valores são F’s, e contingente, quando há V’s e F’s.
A tabela de verdade, construı́da de acordo com essas regras, constitui um pro-
cedimento efetivo (mecânico, pois cada passo pode ser realizado rigorosamente,
através de aplicação de regras) para se decidir se um certo argumento é válido ou
inválido.
Dado um argumento, faz-se a simbolização na linguagem L, constrói-se a tabela
de verdade do condicional correspondente ao argumento (isto é, o condicional cujo
antecedente é formado pela conjunção de todas as premissas e cujo conseqüente é a
conclusão do argumento) e analisa-se o resultado final. Se esse resultado apresenta
uma tautologia, o argumento é válido, se apresenta uma inconsistência ou uma
contingência o argumento é inválido.
Desse modo, a tabela de verdade é um procedimento efetivo para decidir sobre
a invalidade ou validade dos argumentos, como ilustram os exemplos.
1. Carlos Drumond é poeta ou mineiro. Assim, Drumond é poeta.
Simbolização: Pc ∧ Mc ⊢ Pc
Condicional correspondente: (Pc ∧ Mc) → Pc
Tabela 10
Pc Mc Pc ∧ Mc (Pc ∧ Mc) → Pc
V V V V
V F F V
F V F V
F F F V
A validade desse argumento já havia sido demonstrada, anteriormente, por

aplicação de regras de inferência. O procedimento semântico deve, portanto, confir-
mar esse resultado. De acordo com o resultado final, o condicional correspondente
ao argumento (dado pela fórmula (Pc ∧ Mc) → Pc) é tautológico, o que garante
semanticamente a sua validade.

é reformável. Se, porém, o mundo está em desordem, não aparece um sábio. Por
conseguinte, o mundo não é reformável, se está em desordem.
Simbolização: D → ( ∼S → ∼R), D → ∼S ⊢ D → ∼R
Condicional correspondente: : ((D → ( ∼S → ∼R)) ∧ (D → ∼S)) → (D → ∼R)
Esse argumento contém três sentenças diferentes representadas por D, S e R.
Daı́, a tabela terá 23 = 8 linhas. Os algarismos de 1 - 8, colocados abaixo dos
operadores indicam a ordem de cálculo das operações lógicas.
Tabela 11
D S R ∼S ∼R ((D → (∼ S →∼ R)) ∧ (D →∼ S)) → (D →∼ R)
(1) (2) (4) (3) (6) (5) (8) (7)
V V V F F V V F F V F
F V V F F V V V V V V
V F V V F F F F V V V
F F V V F V F V V V V
V V F F V V V F F V V
F V F F V V V V V V V
V F F V V V V V V V V
F F F V V V V V V V V
Conforme o resultado obtido na coluna (8), o condicional correspondente é tau-

tológico, do que se segue a validade do argumento analisado.
3. Se 7 é menor que quatro, então 7 não é primo. 7 não é menor que 4. Logo, 7
é primo.
Simbolização: S → ∼ P, ∼ S ⊢ P
Condicional correspondente: ((S → ∼ P) ∧ ∼ S) → P
Tabela 12
S P ∼S ∼P S → ∼P ((S →∼ P )∧ ∼ S)) ((S →∼ P ))∧ ∼ S) → P
V V F F F F V
V F F V V F V
F V V F V V V
F F V V V V F
É possı́vel observar que o condicional correspondente ao argumento é contin-

gente, pois apresenta na linha 4 da tabela o valor F (falso). Isso mostra que o
argumento é inválido. Esse resultado esclarece a definição de argumento dedutivo
válido, anteriormente, apresentada. A definição estabelece que o argumento dedu-
tivo válido é aquele em que não ocorre que as premissas sejam verdadeiras (V) e a
conclusão seja falsa (F), isto é, em um argumento válido, quando as premissas são
verdadeiras, a conclusão também é verdadeira.
As tabelas de verdade são mecanismos bastante interessantes para a parte pro-
posicional da lógica. Contudo, elas não constituem um procedimento adequado para
testar a invalidade dos argumentos que envolvem os quantificadores e variáveis, uma
vez que as variáveis assumem valores em domı́nios que podem ser conjuntos finitos
com grande cardinalidade ou conjuntos infinitos. Quando isso ocorre, um procedi-
mento algorı́tmico, mecânico, não pode ser aplicado. Esse resultado é chamado de
indecidibilidade do cálculo de predicados de 1a ordem. Existem, entretanto, alguns
métodos que podem ser utilizados para certas formas de argumentos desse cálculo.
Entre esses métodos encontram-se os diagramas de Euler (mais conhecidos por dia-
gramas de Venn) e as árvores de refutação. Mas nenhum dos dois se aplica de forma
geral nem pode garantir que, seguindo um conjunto de passos, mesmo um grande
número deles, se obtenha a resposta procurada, qual seja, a invalidade ou validade

do argumento analisado. Por essa razão, a análise desses argumentos através do
uso de regras de inferências é mais adequada. No entanto, isso não significa que a
lógica de predicados não tenha uma semântica bem definida (ver [9]).
Capı́tulo 5
ARGUMENTAÇÃO E
DEMONSTRAÇÃO DE
VALIDADE
Conforme os capı́tulos anteriores, fica evidenciado que a argumentação é uma tarefa

lingüı́stica, mas a garantia de sua correção lógica pode ser fornecida no plano de
uma linguagem formal. O exercı́cio a ser feito é simbolizar os argumentos na lin-
guagem formal da lógica em apreço e desenvolver uma derivação da conclusão a
partir do conjunto de premissas do argumento, utilizando-se para isto as regras de
inferências já estabelecidas. Além disto, com base nessa derivação e na regra de
condicionalização (referida anteriormente) a fórmula resultante da simbolização de
um argumento válido é um teorema do sistema, visto que a demonstração da sua
validade pode ser feita na lógica P.
A seguinte sentença da teoria de conjuntos (formalizada com base na lógica de
predicados de 1a ordem P) ilustra o que foi afirmado:
“Dados os conjuntos A, B e D, se A ⊂ B e B ⊂ D, então A ⊂ D”.
Para provar a validade deste argumento, faz-se primeiramente a tradução para
linguagem formal e em seguida a dedução.
Premissa 1. ∀ x (Ax → Bx)
Premissa 2. ∀ x (Bx → Dx)
Conclusão: ∀ x (Ax → Dx)
O teorema correspondente a essa forma de argumento é a fórmula ((∀ x (Ax →
Bx) ∧ ∀ x (Bx → Dx))→ ∀ x (Ax → Dx)).
Dedução:
CAPÍTULO 5. ARGUMENTAÇÃO E DEMONSTRAÇÃO DE VALIDADE 43
1. ∀ x (Ax → Bx) ∧ ∀ x (Bx → Dx) Hipótese.

2. ∀ x (Ax → Bx) 1/ E∧
3. ∀ x (Bx → Dx) 1/ E∧
4. Aa → Ba 2/ E∀
5. Ba → Da 3/ E∀
6. Aa → Da 4, 5 (Transit. de →)
7. ∀ x (Ax → Dx) 6 / I∀
8. ((∀ x (Ax → Bx) ∧
∀ x (Bx → Dx))→ ∀ x (Ax → Dx) 1 − 7/ I→
Assim obtém-se que ⊢ ((∀ x (Ax → Bx) ∧ ∀ x (Bx → Dx))→ ∀ (Ax → Dx), ou
seja, a sentença “Dados os conjuntos A, B e D, se A ⊂ B e B ⊂ D, então A ⊂ D”
é um teorema da referida teoria.
Antes de apresentar outros exemplos das formas de demonstração de validade
(que aqui está sendo denominada de dedução) é importante apresentar os vários
modos de se apresentar os teoremas nas teorias matemáticas, bem como alguns
teoremas lógicos fundamentais para facilitar as simbolizações em L e as deduções,
tendo como subjacente a lógica P.
Os teoremas das teorias matemáticas apresentam-se, em geral, na forma de:
a) enunciado condicional (se ..., então ...),
b) enunciado universal (para todo), ou
c) enunciado existencial.
No primeiro caso os enunciados são simbolizados na forma Φ → Ψ. Em relação
a esse condicional define-se o seu recı́proco por Ψ → Φ, o contrário por ∼ Φ →∼ Ψ,
e o contrapositivo por ∼ Ψ →∼ Φ, que são denominados enunciados aparentados .
Um exemplo pode mostrar como esses enunciados e suas conversões são freqüentes
em matemática. Dado o enunciado “Se dois lados de um triângulo são congruentes,
então os ângulos opostos aos lados congruentes são congruentes”, os condicionais
aparentados são os que se seguem.
Recı́proco: “Se os ângulos opostos aos lados congruentes de um triângulo são
congruentes, então os dois lados do triângulo são congruentes”.
Contrário: “Se dois lados de um triângulo não são congruentes, então os ângulos
opostos aos lados congruentes não são congruentes”.
Contrapositivo: “Se os ângulos opostos aos lados congruentes de um triângulo
não são congruentes, então os dois lados do triângulo não são congruentes”.
É fácil provar as seguintes equivalências lógicas:
a) ⊢ (Φ → Ψ) ↔ (∼ Ψ →∼ Φ) (o condicional é equivalente ao seu contraposi-
tivo)
b) ⊢ (Ψ → Φ) ↔ (∼ Φ →∼ Ψ) (o recı́proco é equivalente ao contrário do
condicional).
Essas equivalências podem ser utilizadas para melhorar a compreensão de um
teorema e de sua demonstração. Por exemplo, para o condicional: se A ⊂ B e B ⊂
D, então A ⊂ D, o seu recı́proco é “se A ⊂ D, então A ⊂ B e B ⊂ D”; o contrário
é “A 6⊂ B ou B 6⊂ D, então A 6⊂ D”; e o contrapositivo é “se A 6⊂ D, então A 6⊂ B

ou B 6⊂ D”.
Para os enunciados contendo quantificadores as seguintes equivalências lógicas
podem ser demonstradas:
a) ⊢ ∀ x Fx ↔∼ ∃ x ∼ Fx
b) ⊢ ∀ x ∼ Fx ↔∼ ∃ x Fx
c) ⊢ ∃ x Fx →∼ ∀ x ∼ Fx
d) ⊢ ∃ x ∼ Fx →∼ ∀ x Fx
Quando F estiver representando o predicado “x2 ≤ 0, para x ∈ R”, a fórmula
do item a) afirma que ∀ x (x2 ≤ 0) ↔∼ ∃ x (x2 > 0).
Ainda para ilustrar o uso de regras de inferências demonstra-se aqui a equiva-
lência do item (c): ∃x Fx ↔ ∼ ∀x ∼ Fx.
Demonstração:
1. ∃xFx hipótese por I →
2. Fa hipótese por E∃
3. ∀x ∼ Fx hipótese por Redução ao Absurdo
4. ∼ Fa 3 / E∀
5. Fa ∧ ∼ Fa 2, 4 / I ∧
6. ∼∀x ∼ Fx 3 - 5 / Redução ao Absurdo
7. ∼∀x ∼ Fx 1, 2 - 6 / E∃
8. ∃x Fx → ∼∀x ∼ Fx 1-7/I→
9. ∼∀x ∼Fx hipótese por I →
10. ∼∃x Fx hipótese por Redução ao Absurdo
11. Fa hipótese por Redução ao Absurdo
12. ∃x Fx 11 / I ∃
13. ∃x Fx ∧ ∼ ∃x Fx 10, 12 / I ∃
14. ∼ Fa 11 - 13 / Redução ao Absurdo
15. ∀x ∼ Fx 14 / I ∀
16. ∀x ∼ Fx ∧ ∼ ∀x ∼ Fx 9, 15 / I ∧
17. ∼ ∼ ∃x Fx 10 - 16 / Redução ao Absurdo
18. ∃x Fx 17 / E ∼
19. ∼∀x ∼Fx → ∃x Fx 9 - 18 / I →
20. ∃x Fx ↔ ∼∀x ∼ Fx 8, 19 / I ↔
As equivalências mencionadas podem ser utilizadas nas demonstrações de enun-
ciados quantificados sempre que isso facilitar a aplicação das regras de inferências.
Todas essas equivalências são úteis, uma vez que na matemática em geral consi-
dera-se que cada teorema T, tem a forma Hipótese (H) → Tese (T) e que, demonstrar
a validade de T consiste em assumir a hipótese, H, como verdadeira e deduzir T, por
aplicações de axiomas, teoremas e regras de inferências. É tarefa da lógica dedutiva
explicitar todos os passos dessas deduções H ⊢ T.
As técnicas de demonstração dos teoremas podem ser caracterizadas, de modo
geral, pelas seguintes denominações: prova direta, prova indireta, prova por indução
e prova por casos.
A prova direta (também conhecida por técnica condicional) pode ser usada sem-
pre que se puder reescrever o teorema na forma condicional, e consiste na aplicação
da regra de introdução do condicional (I→), como pode ser visto no teorema antes
demonstrado. Contudo, essa técnica de demonstração exige mais esclarecimentos
quando a hipótese ou a tese envolve um conceito cujo significado depende do sig-
nificado de outros conceitos. Explicitamos a seguir os casos de hipótese e tese
conjuntivas ou disjuntivas (de acordo com [4]).
Caso 1: Teorema com hipótese conjuntiva
Se um teorema tem uma hipótese conjuntiva, ele pode ser representado por
H1 ∧ H2 → T. Nesse caso, intuitivamente, se pretende demonstrar que (H1 → T)
∧ (H2 → T). Mas do ponto de vista lógico, é suficiente demonstrar que ou (H1 →
T) ou (H2 → T) para garantir que H1 ∧ H2 → T, pois são possı́veis os seguintes
teoremas:
a) (H1 → T) → ((H1 ∧ H2 ) → T)
b) (H2 → T) → ((H1 ∧ H2 ) → T).
Apresenta-se aqui a demonstração de a).
Demonstração:
1. H1 → T hipótese por I →
2. H1 ∧ H2 hipótese por I →
3. H1 2/E∧
4. T 1, 3 / E →
5. (H1 ∧ H2 ) → T 2-4/I→
6. (H1 → T) → ((H1 ∧ H2 ) → T) 1-5/I→
Caso 2: Teorema com tese conjuntiva
Quando o teorema possui a tese conjuntiva, representado por H → (T1 → T2 ),
é fácil demonstrar, usando propriedades da lógica de 1a ordem, P, que é necessário
demonstrar que H → T1 e H → T2 , ou seja, ⊢ (H → (T1 ∧ T2 )) ↔ ((H → T1 ) ∧
(H → T2 )), cuja demonstração é a que segue.
Demonstração:
1. (H → T1 ) ∧ (H → T2 ) hipótese por I →
2. ∼ (H ∧ ∼ T1 ) ∧ ∼ (H ∧ ∼ T2 ) 1 / IM e DM
3. ∼ ((H ∧ ∼ T1 ) v (H ∧ ∼ T2 )) 2 / DM
4. ∼ (H ∧ (∼T1 v ∼ T2 )) 3 / DIST
5. ∼ (H ∧ ∼ (T1 ∧ T2 )) 4 / DM
6. H → (T1 ∧ T2 ) 5 / IM e DM
7. ((H → T1 ) ∧ (H → T2 )) → (H → (T1 ∧ T2 )) 1 - 6 / I →
8. (H → (T1 ∧ T2 )) → ((H → T1 ) ∧ (H → T2 )) 6 - 1
9. (H → (T1 ∧ T2 )) ↔ ((H → T1 ) ∧ (H → T2 )) 7, 8 / I ↔
A sentença “Em todo paralelogramo, os lados opostos são congruentes e os
ângulos opostos são congruentes” é um teorema dessa categoria.
Caso 3. Teorema com hipótese disjuntiva
Esse tipo de inferência ocorre quando a hipótese inclui diferentes situações a
serem analisadas e pode ser representada por H1 ∨ H2 → T. Considerando a definição
da disjunção, é necessário demonstrar que de cada caso, H1 ou H2 , se deduz T. Isso

é o que fica estabelecido pela seguinte equivalência lógica ⊢ ((H1 ∨ H2 ) → T) ↔
((H1 → T) ∧ (H2 → T)). A demonstração do teorema “O produto de dois números
inteiros consecutivos é par”, tem essa caracterı́stica, pois ela exige que se considere
os dois casos: H1 : sejam a = 2k e b = 2k + 1 e H2 : sejam a = 2k + 1 e b = 2k +
1, para obter que em ambos os casos o produto de a e b é um número par.
Segue a demonstração de ((H1 v H2 ) → T) ↔ ((H1 → T) ∧ (H2 → T)):
Demonstração:
1. (H1 → T) ∧ (H2 → T) hipótese por I →
2. ∼ (H1 ∧ ∼ T) ∧ ∼ (H2 ∧ ∼ T) 1 / IM e DM
3. ∼ ((H1 ∧ ∼ T) v (H2 ∧ ∼ T)) 2 / DM
4. ∼ ((H1 v H2 ) ∧ ∼ T)) 3/ DIST
5. (H1 v H2 ) → T 4 / DM e IM
6. ((H1 → T) ∧ (H2 → T)) → ((H1 v H2 ) → T) 1-5/I→
7. ((H1 v H2 ) → T)) → ((H1 → T) ∧ (H2 → T)) 5 - 1
8. ((H1 v H2 ) → T)) ↔ ((H1 → T) ∧ (H2 → T)) 6, 7 / I ↔
Caso 4. Teorema com tese disjuntiva
O teorema “Se a reta r é perpendicular à s, e esta é perpendicular à t, então
r e t são retas paralelas ou retas coincidentes”, possui a tese disjuntiva. Esse caso
pode ser representado por H → (T1 ∨ T2 ), cujo significado é que H → T1 ou H →
T2 . Em P, demonstra-se que ⊢ ((H → (T1 ∨ T2 ) ↔ ((H → T1 ) ∨ (H → T2 ).
Demonstração:
1. H → (T1 ∨ T2 ) I→
2. ∼ (H ∧ ∼ (T1 ∨ T2 )) 1 / IM e DM
3. ∼ (H ∧ (∼ T1 ∧ ∼ T2 )) 2 / DM
4. ∼ ((H ∧ H) ∧ (∼ T1 ∧ ∼ T2 )) 3 / IDEM
5. ∼ (H ∧ ∼ T1 ) ∧ (H ∧ ∼ T2 )) 4 /ASSOC e
COMC
6. ∼ (H ∧ ∼T1 ) ∨ ∼ (H ∧ ∼ T2 ) 5 / DM
7. (H → T1 ) ∨ (H → T2 ) 6 / DM e IM
8. (H → (T1 ∨ T2 )) → ((H → T1 ) ∨ (H → T2 )) 1 - 7 / I →
9. ((H → T1 ) ∨ (H → T2 )) → (H → (T1 ∨ T2 )) 7 - 1
10. (H → (T1 ∨ T2 )) ↔ ((H → T1 ) ∨ (H → T2 )) 8, 9 / I ↔
Nem sempre é possı́vel demonstrar teoremas na forma direta H → T. Nessas
circunstâncias uma das estratégias é usar a prova indireta, que pode ser resumida
em dois tipos. O primeiro consiste em utilizar a equivalência de um condicional ao
seu contrapositivo, ou seja, (H → T) ↔ (∼ T →∼ H). Usar essa equivalência lógica
significa recorrer a uma prova direta, pois a demonstração consistirá em assumir a
negação da tese, ∼ T, para demonstrar a negação da hipótese, ∼ H. O segundo tipo
de prova indireta é a técnica de redução ao absurdo, apresentada como a regra de
inferência, também denominada introdução da negação. Em resumo, a prova por
redução ao absurdo consiste em acrescentar a negação da tese, ∼ T, como hipótese
e, através da aplicação de regras e do uso de propriedades já demonstradas, gerar
uma contradição, da qual se infere a afirmação da tese,T. Essa prova se traduz na
equivalência (H → T) ↔ ((H ∧ ∼ T) → T). O teorema “Em todo triângulo, se um

ângulo é reto, os outros são agudos” pode ser demonstrado, facilmente, pela forma
indireta:
Seja H = m(A) = 90o
Tese: m(B) < 90o e m(C) < 90o .
1. m(A) = 90o , hipótese
2. m(B) ≥ 90o ∧ m(C) ≥ 90o , Hipótese por Redução ao Absurdo
3. m(A) + m(B) + m(C) > 180o , 1 e 2
4. m(A) + m(B) + m(C) = 180o , propriedade da geometria euclidiana
5. Φ∧ ∼ Φ, 3,4/I∧
6. m(B) < 90o e m(C) < 90o .
A indução matemática (IM) constitui uma das mais poderosas técnicas de de-
monstração, visto que ela pode ser aplicada às sentenças que afirmam que uma
certa propriedade vale para um certo conjunto de indivı́duos ([7]). Essas sentenças
podem ser vistas como aquelas que são quantificadas universalmente. A IM pode
ser utilizada sempre que o universo do discurso que as variaveis percorrem seja
um conjunto enumerável. Isso ocorre, por exemplo com certas propriedades dos
números naturais. Em toda demonstração de validade por indução matemática a
sentença a ser demonstrada tem a forma “Para todo x, x ∈ N, P(x)” ou P é uma
propriedade que se aplica aos elementos de um conjunto enumerável.
A demonstração por IM consiste em duas partes:
1. provar que P vale para o menor elemento do conjunto ao qual P se refere;
2. provar que para todo x, se P(x) → P(x + 1).
A parte 1 é denominada a base da indução e a parte 2 constitui o passo indutivo,
no qual P(x) representa a hipótese da indução. Assim, a demonstração por IM se
resume nas etapas seguintes: a) demonstrar que P vale para um menor valor de x,
P(Base); b) assumir P(n); e c) demonstrar P(n + 1).
Os vários exemplos, a seguir, têm por objetivo ilustrar melhor essa técnica.
a) Para todo número natural n, n ≤ 1, 3n ≤ 1 + 2n.
Demonstração por IM:
Base: n = 1: 31 ≤ 1 + 2.1.
Hipótese indutiva: 3k
1) 3k ≤ 1 + 2k P(k)
2) 3.3k ≤ 3(1 + 2k)
3) 3k+1 ≤ 1 + 2k + 2 + 4k
4) 1 + 2k + 2 + 4k ≤ 1 + 2k + 2
5) 3k+1 ≤ 1 + 2k + 2
6) 3k+1 ≤ 1 + 2(k + 1)
i. e. ∀ n, vale P(n).
n(n + 1)
b) 1 + 2 + ... + n = 2
Base: n = 1
n(n + 1) 1(1 + 1)
2 = 2 =1
Passo Indutivo:
n(n + 1)
Hipótese indutiva (HI): P(n) = 1 + 2 + ... + n = 2
(n + 1)((n + 1) + 1)
Provar P(n + 1) = 1 + 2 + ... + n + n + 1 = 2
n(n + 1)
1. 1 + 2 + ... + n + n + 1 = 2 +n+1 Por HI
n2 + n)
2. 1 + 2 + ... + n + n + 1 = 2 + (n + 1)
2
3. 1 + 2 + ... + n + n + 1 = n + n +
2
2n + 2
2
4. 1 + 2 + ... + n + n + 1 = n + 3n
2
+2
(n + 1)(n + 2
5. 1 + 2 + ... + n + n + 1 = 2
(n + 1)((n + 1) + 1)
6. 1 + 2 + ... + n + n + 1 = 2
Logo, a propriedade vale para todo número natural.
c) 3n(n + 1) é divisı́vel por 6
Base: n = 1
3n(n + 1) = 3.1(1 + 1) = 6
Passo indutivo: Se 3n(n + 1) é divisı́vel por 6, então 3(n + 1)((n + 1) + 1) é
divisı́vel por 6.
Hipótese Indutiva (HI): 3n(n + 1) é divisı́vel por 6.
Ora, 3(n+1)((n+1)+1) = (3n+3)(n+2) = 3n2 +3n+6n+6 = 3n(n+1)+6n+6.
Pela hipótese indutiva a primeira parcela do resultado, 3n(n + 1), é divisı́vel por
6. Dado que as outras parcelas são também divisı́veis por 6, a sua soma também o
é.
Portanto, a propriedade vale para os números naturais.
d)Para todo x ∈ N, am+x = am .ax .
Base: P(1): am+1 = a.a.a.a......a
| {z
m
} .a = a .a
m vezes
Passo indutivo: Assumir P (n) = am+n = am .an e provar P (n+1) = am+(n+1) =
m (n+1)
a .a .
1. am+n = am .an HI
2. am+n .a = am .an .a Princı́pio multiplicativo
3. am+n .a = a(m+n)+1 = am+(n+1) Princı́pio associativo da adição
4. am+(n+1) = am+n .a = am .an .a 2,3 / Associatividade
5. am+(n+1) = (am .an ).a 4 / Associatividade
6. (am .an ).a = am .(an .a) 5 / Associativade
7. am .(an .a) = am .(an+1 ) Propriedade de potência
8. am+(n+1) = am .(an+1 ) 5 a 7 por transitividade
Portanto, considerando a base e o passo indutivo, para todo x ∈ N, am+x =

a .ax .
m
e) Provar que x! > x2 , para todo x ∈ N − {1, 2, 3}

Base: P(4) = 4! = 4.3.2.1 = 24 > 16 = 42 .
Passo indutivo: assumindo P (n) = n! > n2 , provar que P (n + 1) = (n + 1)! >
(n + 1)2 .
1. (n + 1)! = (n + 1).n! Por definição
2. (n + 1).n! > (n + 1).n2 pela HI
3. n2 > n + 1 Propriedade da teoria dos números
4. (n + 1)! > (n + 1).(n + 1) 2, 3 / Substituição
5. (n + 1)! > (n + 1)2 4 / Propriedade de potência
Logo, vale a propriedade enunciada para x ∈ N − {1, 2, 3}.
f) Para todo x ∈ N , x é divisı́vel por 1.
Base: n = 1.
P(1): 1 é divisı́vel por ele mesmo, propriedade da divisão.
Passo indutivo: Se P (n), então P (n + 1).
Hipótese indutiva: n é divisı́vel por 1.
1. n é divisı́vel por 1 HI
2. 1 é divisı́vel por 1 Base
3. n é divisı́vel por 1 e 1 é divisı́vel por1 1, 2 /I ∧
4. Se n e 1 são divisı́veis por 1, então n + 1 é divisı́vel por 1 Teorema
5. n + 1 é divisı́vel por 1 3, 4 /E →
Assim, vale a propriedade enunciada para todo número natural.
A prova por caso já foi referida no Caso 3 da prova direta. Ela pode ser utilizada
naquele caso, utilizando a equivalência ⊢ ((H1 ∨ H2 ) → T) ↔ ((H1 → T) ∧ (H2 →
T)) e sempre que a fórmula a ser provada dependa de uma hipótese que tenha forma
disjuntiva, pela regra de eliminação da disjunção.
As técnicas de demonstração apresentadas podem ser utilizadas concomitante-
mente na demonstração de um mesmo teorema. Por exemplo, pode ser necessário
associar prova direta e redução ao absurdo na mesma demonstração, a partir de
diferentes hipóteses, como já foi visto anteriormente.
Textos envolvendo argumentos complexos e outros exemplos de prova de validade
de argumentos de acordo com a lógica acima referida são analisados na literatura
especializada.
Bibliografia
[1] Alencar Filho, E. de, Iniciação à lógica matemática, Nobel, São Paulo, 1984.
[2] Aristóteles, Metafı́sica. 2 ed. Tradução por Valentin Garcı́a Yebra. Gredos,
Madrid, 1970.
[3] Aristóteles, Posterior Analytics, 71a, 1-75a,36. (Trad. Por G.R.G. Mure). In:
HUTCHINS, R.M. (Ed.). Great Books of the Western World, 8. Aristotle: I,
Encyclopaedia Britannica, Chicago, 1952, pp.97-103
[4] Barbosa, R. M., Elementos de lógica aplicados ao ensino secundário, Nobel,
São Paulo, 1968.
[5] Copi, I., Introdução à lógica. 2 ed. Trad. Álvaro Cabral, Mestre Jou, São
Paulo, 1978.
[6] Da Costa, N. C. A., Ensaios sobre os fundamentos da lógica, Hucitec, São

Paulo, 1980.
[7] Fossa, J., Técnicas de demonstração em matemática, Clima, Natal, 1990.
[8] Nolt, J., Rohatyn, D., Lógica, McGraw-Hill, São Paulo, 1991.
[9] Mendelson, E. Introduction to mathematical logic. 3rd ed. Wadsworth, Cali-

fornia, 1987.
[10] Pinker, S., Como a mente funciona, Tradução de Laura Teixeira Motta, Cia
das Letras, São Paulo, 1998.
[11] Pinto, P. R. M., Introdução à lógica simbólica, Editora UFMG, Belo Hori-
zonte, 2001.
[12] Ross, D. Aristotle, Methuen, London, 1974.

A Lógica Na Construção Dos Argumentos

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

A Lógica Na Construção Dos Argumentos

Cargado por

Copyright:

Formatos disponibles

Notas em Matemática Aplicada e-ISSN 2236-5915

Volume 14, 2012

Eliana X.L. de Andrade

Sociedade Brasileira de Matemática Aplicada e Computacional

Veja todos os tı́tulos publicados nesta série na página

Sociedade Brasileira de Matemática Aplicada e Computacional

Angela Cruz - UFRN

José Eduardo de Almeida Moura

Sociedade Brasileira de Matemática Aplicada e Computacional

São Carlos - SP, Brasil

Coordenação Editorial da Série: Geraldo Nunes Silva

Capa: Matheus Botossi Trindade

Catalogação elaborada pela Biblioteca do IBILCE/UNESP

1. Pensamento Racional. 2. Análise de Argumentos.

Esta é uma republicação em formato de e-book do livro original do

Para a tradição ocidental, o pensamento racional se constrói a partir de cânones pro-

Angela Maria Paiva Cruz

1 PRINCÍPIOS DO PENSAMENTO RACIONAL 1

2 PENSAMENTO versus LINGUAGEM 11

3 FORMAS DE ARGUMENTAÇÃO: DEDUÇÃO E INDUÇÃO 14

4 LINGUAGEM E LÓGICA FORMAL 25

5 ARGUMENTAÇÃO E DEMONSTRAÇÃO DE VALIDADE 42

1.1 O PENSAMENTO RACIONAL

1.1.1 Provar, argumentar, demonstrar

No discurso comum, provar, argumentar e demonstrar são usados com muitos

Aristóteles tem, embora não discuta explicitamente a questão, uma clara

Os demais livors do Organon, os Categoriae e De Interpretatione estudam os

1. substância (ex. ’homem’)

2. quantidade (ex. ’dois cúbitos de comprimento’)

3. qualidade (ex. ’branco’)

4. relação (ex. ’dobro’)

5. lugar (ex. ’no Liceu’)

6. data (ex. ’ontem’)

8. posse (ex. ’está calçado’)

9. ação (ex. ’corta’)

10. passividade (ex. ’é cortado’)

Essa lista aparece em quase todos os trabalhos, e a doutrina é sempre tratada

Estabelecidos os “termos”, o De Interpretatione faz o estudo da proposição como

A negação não é a rejeição de uma aﬁrmação prévia. É a rejeição de

Aristóteles, no entanto, não comete o erro de reduzir o negativo ao aﬁrmativo,

5. “Algum A é B” é subalterna de ”Todo A é B”;

6. “Algum A não é B” é subalterna de “Nenhum A á B”.

As deﬁnições seguintes esclarecem o signiﬁcado dos “termos técnicos” usados no

Definição 1 Duas proposições são contraditórias se e somente se não podem ser

Definição 3 Duas proposições são subcontrárias se e somente se não podem ser

Definição 4 Uma proposição é uma subalterna de outra se e somente se deve ser

Definição 5 O termo Sujeito é distribuı́do nas proposições Universais e o termo

Usando um “d” junto ao S(ujeito) ou ao P(redicado) para indicar que o termo

1.1.2 Silogismos Categóricos

1. O termo médio está distribuı́do exatamente uma vez.

2. Nenhum termo extremo pode estar distribuı́do apenas uma vez.

3. O número de premissas negativas deve ser igual ao número de conclusões

Uma observação atenta das possibilidades de combinação das Proposiçoes Ca-

1. 1a ﬁgura: o termo médio é sujeito na premissa maior e predicado na menor

2. 2a ﬁgura: o termo médio é predicado nas duas premissas

3. 3a ﬁgura: o termo médio é sujeito nas duas premissas

4. 4a ﬁgura: o termo médio é predicado na premissa maior e sujeito na menor

1.1.3 Formas válidas do silogismo categórico

1.1.4 Formas válidas adicionais (ANTIGAS)

– O que valida estas formas estranhas?

1.2 O MODELO ARISTOTÉLICO

1. Princı́pio da Identidade ou da Reﬂexividade

Para exempliﬁcar, dado o enunciado “O vı́rus é um ser vivo”, obedecer a estes

c) O vı́rus é um ser vivo ou não é um ser vivo, ou seja, o enunciado “O vı́rus é um