Você está na página 1de 40

Lgi c a da ar gument a o

Argumentos
Consldere a proposlao:
A modelo Glsele 8undchen e uma mulher bonlta.
Lssa proposlao e verdadelra ou falsa!
Mas, como avallar a beleza de alguem!
Poderiamos ate tentar por quesltos tals como slmetrla corporal, slmpatla,
altura, medldas e apresentaao, da mesma forma com que supostamente
cada um dos quesltos terla uma lmportancla dlferente, de acordo com a pre-
ferencla do avallador. O concelto de beleza, portanto, e relatlvo, mesmo para
a Glsele 8undchen.
O exemplo cltado e lmportante para compreendermos que a preocupa-
ao no estudo da Loglca nao e a de avallar o conteudo em sl, mas a forma, ou
se[a, procuramos aqul anallsar se um determlnado raclocinlo (argumento) fol
ou nao bem construido. Dessa manelra, o papel desempenhado pela Loglca
Pormal nao e o de avallar se e verdadelro ou falso que a Glsele 8undchen
e bonlta. A ldela central e a de estruturar um raclocinlo de modo que se[a
possivel apresentar uma proposlao como consequencla de outras, lnde-
pendentemente do teor da proposlao.
8runo e eldetlco.
palavra eldetlco.
Esse mat erial part e integrant e do Videoaulas on- line do I ESDE BRASI L S/ A,
mais informaes www.videoaulasonline.com.br
l24
Loglca da argumentaao
8runo e eldetlco, pols e paranaense e todos os paranaenses sao eldetlcos.
Lstamos dlante de uma conclusao baseada em algumas razes que nos
foram apresentadas. Lsse ultlmo raclocinlo esta bem estruturado, lndepen-
sao e realmente consequencla das causas.
Observe a forma desse argumento:
Premlssas (o que e envlado antes):
8runo e paranaense.
Todos os paranaenses sao eldetlcos.
Conclusao:
8runo e eldetlco.
Nesse argumento, as duas premlssas podem ser chamadas de anteceden-
tes e tem a funao de dar sustentaao a conclusao. A conclusao pode ser
chamada de consequente.
8runo
paranaenses
Lldetlcos
O dlagrama mostra que o argumento e valldo.
Apenas para esclarecer, [a que se fez referencla, segundo o dlclonarlo Au-
rello, eldetlco e uma pessoa que tem boa memorla para fatos ou ob[etos
vlstos anterlormente.
Plca claro mals uma vez que lnteressa apenas a forma com que estru-
turamos um argumento, e nao o conteudo do argumento. Para estruturar
adequadamente um argumento e observar a correspondente valldade,
e lmportante representa-lo por melo de simbolos. Observe novamente o
argumento:
Esse mat erial part e integrant e do Videoaulas on- line do I ESDE BRASI L S/ A,
mais informaes www.videoaulasonline.com.br
Loglca da argumentaao
l25
8runo e paranaense ......................................................................... Premlssa l
Todos os paranaenses sao eldetlcos. ......................................... Premlssa 2
8runo e eldetlco. ................................................................................ Conclusao
O argumento tem a segulnte forma:
8 e P. ........................................................................................................ Premlssa l
Todo P e L. ............................................................................................ Premlssa 2
Logo, 8 e L. ............................................................................................ Conclusao
Um argumento apresentado nessa forma e sempre correto, e legitlmo ou,
Nem sempre um argumento apresenta-se com clareza e permlte dlstln-
gulr as premlssas e a conclusao. Lxlstem argumentos da llnguagem comum
que sao apresentados de uma forma um tanto obscura. Por exemplo:
Os cldadaos que frequentam parques ecologlcos nao sao partldarlos do
desmatamento, pols os que nao frequentam defendem a construao descon-
trolada de predlos e os predlos nao sao construidos em parques ecologlcos.
Lstruturando o argumento, teriamos a segulnte forma:
Premlssa l:
Os cldadaos que nao frequentam os parques ecologlcos defendem a
construao descontrolada de predlos.
Premlssa 2:
Os predlos nao sao construidos em parques ecologlcos.
Conclusao:
Os cldadaos que frequentam parques ecologlcos nao sao partldarlos do
desmatamento.
A conclusao nao e consequencla das causas. Logo, esse argumento e ln-
correto, llegitlmo ou lnvalldo.
expresses que as caracterlzam, tals como: pols, como, porque, tendo em
vlsta que, dado que, sendo que, supondo que, entre outras.
Esse mat erial part e integrant e do Videoaulas on- line do I ESDE BRASI L S/ A,
mais informaes www.videoaulasonline.com.br
l26
Loglca da argumentaao
No caso das concluses, exlstem tambem palavras ou expresses que
gulnte, resulta que, entre outras.
Lembre-se sempre que nao ha lnteresse em avallar se as premlssas e a
conclusao sao verdadelras ou falsas. O que se pretende avallar e se o argu-
mento e valldo ou lnvalldo.
Argumentar e apresentar uma proposlao como sendo uma consequen-
cla de uma ou mals proposles.
De uma forma geral, um argumento e constltuido pelas proposles p
l
, p
2
,
..., p
n
, chamadas premlssas, nas quals nos baseamos para garantlr a veraclda-
de da proposlao c, denomlnada conclusao.
Lxlstem duas formas prlnclpals de se apresentar um argumento: a forma
slmbollca e a forma padronlzada.
Na forma slmbollca, um argumento apresenta-se da segulnte manelra:
p
l,
p
2
, ..., p
n
| c
tem|ssos ccnclusoc
Na forma padronlzada, um argumento apresenta-se do segulnte modo:
p
l
p
2
premlssas
p
n
c conclusao
Ambas as formas podem ser utlllzadas para representar argumentos.
do nas premlssas. Ou se[a, um argumento e valldo quando, sendo as premls-
sas slmultaneamente verdadelras, lnevltavelmente a conclusao tambem e
verdadelra.
Esse mat erial part e integrant e do Videoaulas on- line do I ESDE BRASI L S/ A,
mais informaes www.videoaulasonline.com.br
Loglca da argumentaao
l27
Quando as premlssas sao verdadelras e a conclusao e falsa, dlzemos que
falacla.
corretos os argumentos que loglcamente sao lncorretos. Utlllzando a llngua-
tlva e acalorada, dar anuencla a uma conclusao, mas que nao convencem
loglcamente.
VaIidade e verdade
clusao que compem um argumento sao verdadelras ou falsas. O lnteresse
pondo que essas premlssas se[am slmultaneamente verdadelras, lndepen-
dentemente dos respectlvos conteudos. Portanto, um argumento sera clas-
Lxemplo l:
Todos os paranaenses sao brasllelros ........................................ Premlssa l
Anselmo e paranaense. ................................................................... Premlssa 2
Anselmo e brasllelro. ........................................................................ Conclusao
8rasllelros
Paranaenses
Anselmo
Nesse caso, temos um argumento valldo com conteudo verdadelro.
Lxemplo 2:
Todos os paranaenses sao pesslmlstas. .................................... Premlssa l
Anselmo e paranaense. ................................................................... Premlssa 2
Anselmo e pesslmlsta. ..................................................................... Conclusao
Esse mat erial part e integrant e do Videoaulas on- line do I ESDE BRASI L S/ A,
mais informaes www.videoaulasonline.com.br
l28
Loglca da argumentaao
Pesslmlstas
Paranaenses
Anselmo
O argumento e valldo e o conteudo e falso.
Lxemplo 3:
Todos os paranaenses sao brasllelros. ....................................... Premlssa l
Lxlstem brasllelros pesslmlstas. ................................................... Premlssa 2
Lxlstem paranaenses pesslmlstas. .............................................. Conclusao
Pesslmlstas
8rasllelros
Paranaenses
De acordo com as premlssas, podem exlstlr paranaenses pesslmlstas ou
nao. A conclusao nao e necessarlamente verdadelra.
Lxemplo 4:
Todos os paranaenses sao pesslmlstas. .................................... Premlssa l
Anselmo e pesslmlsta. ..................................................................... Premlssa 2
Anselmo e paranaense. ................................................................... Conclusao
Esse mat erial part e integrant e do Videoaulas on- line do I ESDE BRASI L S/ A,
mais informaes www.videoaulasonline.com.br
Loglca da argumentaao
l29
Pesslmlstas
Paranaenses
Anselmo
De acordo com as premlssas, Anselmo pode ser paranaense ou nao. Logo,
a conclusao nao e necessarlamente verdadelra.
Por melo desses exemplos e possivel observar que, quando comparamos
a conclusao de um argumento com o correspondente conteudo, pode ocor-
rer de o argumento ser valldo sem que, necessarlamente, o conteudo se[a
verdadelro. Alem dlsso, pode tambem ocorrer de um argumento ser lnvalldo
Lxemplo 5:
Todos os lnsetos sao aves. .............................................................. Premlssa l
Todos as aves sao pedras. ............................................................... Premlssa 2
Lxlstem homens que sao lnsetos. ............................................... Premlssa 3
Lxlstem homens que sao pedras. ................................................ Conclusao
Pedras
Aves
|nsetos
Homens
O argumento e valldo e o conteudo e falso (as premlssas e a conclusao
sao falsas).
Esse mat erial part e integrant e do Videoaulas on- line do I ESDE BRASI L S/ A,
mais informaes www.videoaulasonline.com.br
l30
Loglca da argumentaao
Lxemplo 6:
Todo anlmal e um ser vlvo. ............................................................ Premlssa l
Uma pedra nao e um anlmal. ........................................................ Premlssa 2
Uma pedra nao e um ser vlvo. ...................................................... Conclusao
Seres vlvos
Anlmals
Pedra
De acordo com as premlssas, a pedra pode ser um ser vlvo ou nao. A con-
clusao nao e necessarlamente verdadelra.
dadelro (as premlssas e a conclusao sao verdadelras).
Plca claro que nao ha correspondencla entre a valldade e a verdade em
argumentos, ou se[a, podemos ter formas valldas com conteudos falsos e
vlce-versa. O lmportante na argumentaao e a clareza e a coerencla.
7ipos de argumentos
Conslderando-se a Loglca Pormal, exlstem dols tlpos prlnclpals de argu-
mentos a estudar: os argumentos categorlcos e os argumentos hlpotetlcos.
Argumentos categricos
Argumentos categorlcos sao aqueles compostos por premlssas represen-
su[elto, um predlcado e um verbo de llgaao (copula).
Lxemplos de argumentos categorlcos:
Esse mat erial part e integrant e do Videoaulas on- line do I ESDE BRASI L S/ A,
mais informaes www.videoaulasonline.com.br
Loglca da argumentaao
l3l
Todos os homens sao esperanosos.
Predlcado
Copula
Su[elto
Nenhum aluno e autodldata.
Predlcado
Copula
Su[elto
Lxlstem amblentes que sao lnsalubres.
Predlcado
Copula
Su[elto
Alguns homens nao sao honestos.
Predlcado
Copula
Particula de negaao
Su[elto
Argumentos bipoteticos
Argumentos hlpotetlcos sao aqueles compostos por sentenas con[untl-
vas, dls[untlvas, condlclonals ou blcondlclonals. Lm geral, apresentam con-
[ecturas, posslbllldades ou contlngenclas para a reallzaao da conclusao.
Argumento conjuntivo
Um argumento hlpotetlco con[untlvo e formado por premlssas nas quals
ocorre, ao menos em uma delas, a con[unao "e".
Esse mat erial part e integrant e do Videoaulas on- line do I ESDE BRASI L S/ A,
mais informaes www.videoaulasonline.com.br
l32
Loglca da argumentaao
Lxemplo:
Nenhuma pessoa pode ser ao mesmo tempo pal e
Lsse tlpo de argumento nao ocorre com multa frequencla na llnguagem
comum.
Argumento disjuntivo
Um argumento hlpotetlco dls[untlvo e formado por premlssas nas quals
ocorre, ao menos em uma delas, a dls[unao "ou" no sentldo de excluslvo.
Lxemplo:
Qualquer pessoa e honesta ou desonesta. 8runo e honesto. Logo, 8runo
nao e desonesto.
Argumento condicionaI
Um argumento condlclonal ou hlpotetlco proprlamente dlto e aquele
composto por uma condlao da forma "se... entao...".
Lxemplo:
Se ho[e e domlngo, lrel a mlssa. Mas, ho[e e domlngo. Logo, lrel a mlssa.
Argumento bicondicionaI
Um argumento blcondlclonal e aquele composto por uma condlao dupla
da forma "se, e somente se, ...".
Lxemplo:
Trabalho se, e somente se, e um dla utll. Ora, e um dla utll. Logo,
trabalho.
lndutlvo.
Esse mat erial part e integrant e do Videoaulas on- line do I ESDE BRASI L S/ A,
mais informaes www.videoaulasonline.com.br
Loglca da argumentaao
l33
Argumento dedutivo
Num argumento dedutlvo, a conclusao esta expliclta nas premlssas e nao
acrescenta qualquer lnformaao adlclonal alem das que foram expostas nas
premlssas.
Lxemplo:
Todos os homens sao mortals. .................................................... Premlssa l
Anselmo e um homem. ................................................................... Premlssa 2
Logo, Anselmo e mortal. ................................................................. Conclusao
Argumento indutivo
O argumento lndutlvo e aquele cu[a conclusao e geral e decorre de pre-
mlssas partlculares. A caracteristlca desse tlpo de argumento e a de apresen-
tar uma conclusao provavel, mas nao certa, [a que as premlssas sao constru-
idas por melo de uma observaao empirlca.
Lxemplo:
vl um clsne branco no lago. .......................................................... Premlssa l
vl dols clsnes brancos no lago. ..................................................... Premlssa 2
vl tres clsnes brancos no lago. ...................................................... Premlssa 3
...
vl n clsnes brancos no lago............................................................ Premlssa n
Logo, todos os clsnes do lago sao brancos. ............................. Conclusao
Apesar de valldo para alguns, para uma boa parte de estudlosos, entre-
tanto, os argumentos baseados no metodo lndutlvo nao sao conslderados
Argumentos vIidos e impIicao Igica
Consldere um argumento representado na forma slmbollca por:
p
l,
p
2
, ..., p
n
| c
Esse mat erial part e integrant e do Videoaulas on- line do I ESDE BRASI L S/ A,
mais informaes www.videoaulasonline.com.br
l34
Loglca da argumentaao
Um argumento valldo tem obrlgatorlamente a conclusao como conse-
quencla das premlssas. Asslm, quando um argumento e valldo, a con[unao
das premlssas verdadelras lmpllca loglcamente a conclusao:
p
l
p
2


... p
n
c
Uma lmpllcaao e verdadelra quando a correspondente proposlao
argumentos.
Um argumento p
l,
p
2
, ..., p
n
| c e valldo se, e somente se, a proposlao
condlclonal correspondente (p
l
p
2
... p
n
) c e uma tautologla.
supondo as premlssas verdadelras, a conclusao e verdadelra e decorre dessas
premlssas.
q, ~q | ~p.
tabela-verdade da proposlao condlclonal correspondente e comprovar se
e ou nao uma tautologla.
p q ~p ~q p q (p q) ~q [(p q) ~q] ~p
v v P P v P V
v P P v P P V
P v v P v P V
P P v v v v V
7outclc|o
Logo, como a proposlao condlclonal correspondente |(p q) ~q| ~p
e uma tautologla, o argumento p q, ~q | ~p e valldo. Apenas para cltar,
tal argumento e um tlpo de argumento fundamental denomlnado VcJus
7cllens.
Observaao:
O simbolo "|", utlllzado em argumentos para separar as premlssas da
conclusao, pode ser substltuido pelo simbolo " ". Lsse fato e bastante evl-
Esse mat erial part e integrant e do Videoaulas on- line do I ESDE BRASI L S/ A,
mais informaes www.videoaulasonline.com.br
Loglca da argumentaao
l35
dente, pols um argumento pode ser lnterpretado como sendo uma lmpllca-
ao loglca.
VaIidade de um argumento
por meio de tabeIas-verdade
mento e por melo de tabelas-verdade. Como um argumento e, em essencla,
um tlpo de lmpllcaao loglca, e preclso relembrar os valores loglcos de uma
proposlao condlclonal da forma p q.
p q p q
v v v
V F F
P v v
P P v
A condlclonal p q e falsa apenas quando p tem valor v e q tem valor P.
Da mesma manelra, lndependentemente do numero de premlssas, um
argumento da forma p
l,
p
2
, ..., p
n
| c sera valldo se a conclusao c tlver valor v
em todos os casos em que todas as premlssas p
l,
p
2
, ..., p
n
tlverem valor v. Ou
se[a, para que o argumento se[a valldo, nao pode ocorrer de todas as premls-
sas apresentarem valor v e a conclusao apresentar valor P.
vamos formallzar essa ldela por melo do segulnte procedlmento:
l.) Construa a tabela-verdade das proposles componentes do argumen-
to, destacando uma coluna para cada premlssa e uma para a conclu-
sao.
2.) Apos a construao da tabela-verdade, observe nas colunas das premls-
sas as llnhas em que todas essas premlssas tem valor v. Se a conclusao
tlver valor v em todas as llnhas em que as premlssas tlverem valor v,
entao o argumento e valldo. Se a conclusao tlver valor P em pelo me-
nos uma das llnhas em que todas as premlssas tenham valor v, o argu-
mento sera lnvalldo.
Observe exemplos de argumentos em que e testada a valldade de cada
um deles.
Esse mat erial part e integrant e do Videoaulas on- line do I ESDE BRASI L S/ A,
mais informaes www.videoaulasonline.com.br
l36
Loglca da argumentaao
Lxemplo l:
q, q | p.
vamos construlr a tabela-verdade correspondente:
p q p q
v v v
v P P
F V V
P P v
As proposles p q e q, correspondendo as premlssas do argumento,
tem slmultaneamente o valor v nas llnhas l e 3. Na llnha l, a conclusao p
tem valor v, mas na llnha 3 a conclusao p tem valor P. Pelo fato de a conclu-
sao apresentar valor loglco P em pelo menos uma llnha (llnha 3) em que as
premlssas sao slmultaneamente v, concluimos que o argumento e lnvalldo.
Lxemplo 2:
q, r s, p r | q s.
vamos construlr uma tabela-verdade:
p q r s p q r s p r q s
v v v v V V V V
v v v P v P v V
v v P v V V V V
v v P P V V V V
v P v v P v v V
v P v P P P v F
v P P v P v v V
v P P P P v v F
P v v v V V V V
P v v P v P v V
P v P v v v P V
P v P P v v P V
P P v v V V V V
P P v P v P v F
P P P v v v P V
P P P P v v P F
l l l C
C l l
Esse mat erial part e integrant e do Videoaulas on- line do I ESDE BRASI L S/ A,
mais informaes www.videoaulasonline.com.br
Loglca da argumentaao
l37
As premlssas (p q), (r s) e (p r) tem, slmultaneamente, valor v nas
llnhas l, 3, 4, 9 e l3. A conclusao (q s) tem valor v em todas essas llnhas em
que as premlssas tem valor v. Como em todas as llnhas em que as premlssas
sao verdadelras a conclusao tambem e verdadelra, concluimos que o argu-
mento e valldo. Adlante, veremos que tal argumento trata-se de um caso
fundamental de argumento do tlpo dllema construtlvo.
Lxemplo 3:
q, ~q | ~p.
-verdade:
p q ~p ~q p q
v v P P V
v P P v F
P v v P V
P P V V V
C P P
As premlssas (p q) e ~q tem ambas valor v na llnha 4. A conclusao ~p
tem tambem valor v nessa llnha 4. Como na unlca llnha em que as premlssas
sao verdadelras a conclusao tambem e verdadelra, concluimos que o argu-
mento e valldo. Tal argumento, como veremos, e um argumento fundamen-
tal do tlpo VcJus 7cllens.
Lxemplo 4:
Se 8runo brlga com Peglna, entao Peglna val a prala. Se Peglna val a prala,
entao Ana val ao teatro. Se Ana val ao teatro, entao Samuel brlga com Ana. Ora,
Samuel nao brlga com Ana. Logo, Ana nao val ao teatro e 8runo nao brlga com
Peglna.
Se[am as proposles:
p: 8runo brlga com Peglna
q: Peglna val a prala
r: Ana val ao teatro
s: Samuel brlga com Ana
Esse mat erial part e integrant e do Videoaulas on- line do I ESDE BRASI L S/ A,
mais informaes www.videoaulasonline.com.br
l38
Loglca da argumentaao
Premlssa l:
Se 8runo brlga com Peglna, entao Peglna val a prala.
Pepresentaao slmbollca: p q
Premlssa 2:
Se Peglna val a prala, entao Ana val ao teatro.
Pepresentaao slmbollca: q r
Premlssa 3:
Se Ana val ao teatro, entao Samuel brlga com Ana.
Pepresentaao slmbollca: r s
Premlssa 4:
Samuel nao brlga com Ana.
Pepresentaao slmbollca: ~s
Conclusao:
Ana nao val ao teatro e 8runo nao brlga com Peglna
Pepresentaao slmbollca: ~r ~p
O argumento pode ser escrlto na forma slmbollca da segulnte manelra:
p q, q r, r s, ~s | ~r ~p
vamos construlr uma tabela-verdade com 2
4
l6 llnhas, uma vez que
exlstem 4 proposles slmples (p, q, r, s):
p q r s ~p ~r p q q r r s ~s ~r ~p
v v v v P P V V V F F
v v v P P P V V F V F
v v P v P v V F V F F
v v P P P v V F V V F
v P v v P P F V V F F
v P v P P P F V F V F
v P P v P v F V V F F
Esse mat erial part e integrant e do Videoaulas on- line do I ESDE BRASI L S/ A,
mais informaes www.videoaulasonline.com.br
Loglca da argumentaao
l39
p q r s ~p ~r p q q r r s ~s ~r ~p
v P P P P v F V V V F
P v v v v P V V V F F
P v v P v P V V F V F
P v P v v v V F V F V
P v P P v v V F V V V
P P v v v P V V V F F
P P v P v P V V F V F
P P P v v v V V V F V
P P P P v v V V V V V
l l l l C
As quatro prlmelras colunas servlram de base para a construao dos va-
lores loglcos das demals colunas da tabela-verdade. 8asta utlllzar as regras
loglcas [a estudadas para completar a tabela a partlr das quatro prlmelras
colunas. Observe que as quatro premlssas (p q, q r, r s e ~s) sao slmul-
taneamente verdadelras somente na ultlma llnha (l6. llnha). Como na unlca
llnha em que as premlssas sao slmultaneamente verdadelras a conclusao
tambem e verdadelra, conclul-se que o argumento e valldo.
Lxemplo 5:
Sabe-se que Antnlo [ogar futebol e condlao necessarla para Carla lr as
Asslm, quando Dlana nao toma banho, conclul-se que Antnlo nao [oga fu-
tebol, Carla nao val as compras e Dlana nao toma banho.
Para montar os argumentos, e lmportante lembrar os conceltos de condl-
Se ho[e e domlngo, entao vou a mlssa.
Podemos representar a proposlao cltada na forma p q, em que p: ho[e
para a ocorrencla de q. A proposlao q (consequencla) e condlao necessarla
para a ocorrencla de p. Dessa forma, retornando a frase "Se ho[e e domlngo,
entao vou a mlssa", temos:
Esse mat erial part e integrant e do Videoaulas on- line do I ESDE BRASI L S/ A,
mais informaes www.videoaulasonline.com.br
l40
Loglca da argumentaao
q: vou a mlssa (condlao necessarla)
a relaao entre as proposles e blcondlclonal, ou se[a, da forma p q.
Agora vamos representar adequadamente as proposles do argumento
Se[am as proposles:
A: Antnlo [oga futebol
C: Carla val as compras

D: Dlana toma banho
Premlssa l:
Antnlo [ogar futebol e condlao necessarla para Carla lr as compras.
Pepresentaao slmbollca: C A
Premlssa 2:
Pepresentaao slmbollca: A 8
Premlssa 3:
banho.
Pepresentaao slmbollca: 8 D
Premlssa 4:
Dlana nao toma banho.
Pepresentaao slmbollca: ~D
Conclusao:
Antnlo nao [oga futebol, Carla nao val as compras e Dlana nao toma
banho.
Pepresentaao slmbollca: ~A ~C ~D
Esse mat erial part e integrant e do Videoaulas on- line do I ESDE BRASI L S/ A,
mais informaes www.videoaulasonline.com.br
Loglca da argumentaao
l4l
Asslm, o argumento pode ser escrlto na forma slmbollca da segulnte
manelra:
C A, A 8, 8 D, ~D | ~A ~C ~D
A tabela-verdade assoclada ao argumento possul 2
4
l6 llnhas, pols exls-
tem 4 proposles slmples (A, 8, C, D):
A 8 C D ~A ~C ~D C A A 8 8 D ~A ~C ~D
v v v v P P F V V V F
v v v P P P V V V F F
v v P v P v F V V V F
v v P P P v V V V F F
v P v v P P F V F F F
v P v P P P V V F V F
v P P v P v F V F F F
v P P P P v V V F V F
P v v v v P F F V V F
P v v P v P V F V F F
P v P v v v F V V V F
P v P P v v V V V F V
P P v v v P F F V F F
P P v P v P V F V V F
P P P v v v F V V F F
P P P P v v V V V V V
l l l l C
Como no exemplo anterlor, as quatro prlmelras colunas servlram de base
para a construao dos valores loglcos das demals colunas da tabela-verdade.
Observe que as quatro premlssas (C A, A 8, 8 D e ~D) sao slmultanea-
mente verdadelras somente na ultlma llnha (l6. llnha). Como na unlca llnha
em que as premlssas sao slmultaneamente verdadelras a conclusao tambem
e verdadelra, conclul-se que o argumento e valldo.
Lxemplo 6:
Ou Antropologla e facll ou 8eto nao gosta de Antropologla. Se Cltologla e
facll, entao Antropologla e dlficll. 8eto gosta de Antropologla. Logo, se Antro-
pologla e facll, entao Cltologla e facll.
Se[am as proposles:
A: Antropologla e facll
Esse mat erial part e integrant e do Videoaulas on- line do I ESDE BRASI L S/ A,
mais informaes www.videoaulasonline.com.br
l42
Loglca da argumentaao
8: 8eto gosta de Antropologla
C: Cltologla e facll
Premlssa l:
Ou Antropologla e facll ou 8eto nao gosta de Antropologla.
Pepresentaao slmbollca: A ~8
Premlssa 2:
Se Cltologla e facll, entao Antropologla e dlficll.
Pepresentaao slmbollca: C ~A
Premlssa 3:
8eto gosta de Antropologla.
Pepresentaao slmbollca: 8
Conclusao:
Se Antropologla e facll, entao Cltologla e facll.
Pepresentaao slmbollca: A C
Na forma slmbollca, o argumento pode ser escrlto da segulnte manelra:
A ~8, C ~A, 8 | A C
Nesse caso, a tabela verdade tera 2
3
8 llnhas, pols exlstem apenas 3 pro-
posles slmples (A, 8, C):
A 8 C ~8 A ~8 ~A C ~A A C
v V v P V P F V
v V P P V P V F
v F v v F P F V
v F P v F P V F
P V v P F v V V
P V P P F v V V
P F v v V v V V
P F P v V v V V
l l l C
A tabela-verdade construida possul tres premlssas (8, A ~8 e C ~A).
Esse mat erial part e integrant e do Videoaulas on- line do I ESDE BRASI L S/ A,
mais informaes www.videoaulasonline.com.br
Loglca da argumentaao
l43
Lssas premlssas sao slmultaneamente verdadelras somente na 2. llnha.
Nessa 2. llnha a conclusao (A C) e falsa. Como na unlca llnha em que as
premlssas sao slmultaneamente verdadelras a conclusao e falsa, conclul-
falacla.
Observaao:
-verdade e um procedlmento lnfalivel. Lntretanto, o tempo necessarlo para
de de um argumento, pode-se supor que as premlssas se[am verdadelras,
e utlllzando proprledades e regras loglcas, deduzlr pela veracldade ou nao
da conclusao e, consequentemente, pela valldade ou nao do argumento.
VaIidade de um argumento
sem o uso de tabeIas-verdade
llzaao de tabelas-verdade e lmpor que as premlssas se[am verdadelras e,
por melo de regras e artlficlos loglcos, constatar o valor loglco da conclu-
sao. Para tanto, e lmpresclndivel o dominlo das regras loglcas anterlormente
estudadas.
sem o uso de tabelas-verdade.
Lxemplo l:
Pulo ou corro. Levlto ou nao pulo. Nado ou nao corro. Nao nado. Logo,
pulo e levlto.
Se[am as proposles:
P: pulo
C: corro
Esse mat erial part e integrant e do Videoaulas on- line do I ESDE BRASI L S/ A,
mais informaes www.videoaulasonline.com.br
l44
Loglca da argumentaao
L: levlto
N: Nado
Premlssa l:
Pulo ou corro.
Pepresentaao slmbollca: P C
Premlssa 2:
Levlto ou nao pulo.
Pepresentaao slmbollca: L ~P
Premlssa 3:
Nado ou nao corro.
Pepresentaao slmbollca: N ~C
Premlssa 4:
Nao nado.
Pepresentaao slmbollca: ~N
Conclusao:
Pulo e levlto.
Pepresentaao slmbollca: P L
Pepresentaao slmbollca do argumento:
P C, L ~P, N ~C, ~N | P L
|nlcla-se supondo que as quatro premlssas sao verdadelras. Logo, as pre-
mlssas P C, L ~P, N ~C e ~N devem ser conslderadas slmultaneamente
verdadelras.
A anallse segue observando a premlssa representada por uma proposl-
ao slmples, quando exlste essa proposlao slmples. Nesse caso, a ultlma
proposlao, ~N, e uma proposlao slmples. Se ~N e verdadelra, conclul-se
que N e falsa.
Observe que a proposlao slmples N compe a tercelra premlssa, N ~C.
Esse mat erial part e integrant e do Videoaulas on- line do I ESDE BRASI L S/ A,
mais informaes www.videoaulasonline.com.br
Loglca da argumentaao
l45
Asslm, se N e falsa e N ~C deve ser verdadelra, conclul-se que ~C deve ser
verdadelra, pols, do contrarlo, a premlssa serla falsa. Logo, se ~C e verdadel-
ra, entao C e falsa.
Contlnuando, observe que a proposlao C compe a prlmelra premlssa,
P C. Ora, se C e falsa e a premlssa P C e verdadelra, conclul-se que a propo-
slao P deve ser verdadelra, pols, de outro modo, a premlssa serla falsa. Lm
segulda, observe que a segunda premlssa contem a proposlao ~P.
1a se sabe que P e verdadelra. Logo, ~P e falsa. Se a premlssa L ~P e ver-
dadelra e ~P e falsa, conclul-se que L deve ser, necessarlamente, verdadelra.
Ate agora, a anallse dos valores loglcos das proposles, supondo que
todas as premlssas se[am verdadelras, e a segulnte:
P: pulo (verdadelra)
C: corro (falsa)
L: levlto (verdadelra)
N: Nado (falsa)
L.
Observe que P e verdadelra e L tambem e verdadelra. Portanto, a con-
clusao e necessarlamente verdadelra e, consequentemente, o argumento e
valldo.
ve[amos agora um exemplo de argumento que nao possul qualquer pro-
poslao slmples.
Lxemplo 2:
-
mento:
Se nao esqueo, nao acelero. Se contemplo, nao esqueo. Se nao pratlco,
acelero. Se mexo, nao pratlco. Logo, se contemplo, nao mexo.
Se[am as proposles:
L: esquecer
A: acelerar
Esse mat erial part e integrant e do Videoaulas on- line do I ESDE BRASI L S/ A,
mais informaes www.videoaulasonline.com.br
l46
Loglca da argumentaao
C: contemplar
P: pratlcar
M: mexer
Premlssa l:
Se nao esqueo, nao acelero.
Pepresentaao slmbollca: ~L ~A
Premlssa 2:
Se contemplo, nao esqueo.
Pepresentaao slmbollca: C ~L
Premlssa 3:
Se nao pratlco, acelero.
Pepresentaao slmbollca: ~P A
Premlssa 4:
Se mexo, nao pratlco.
Pepresentaao slmbollca: M ~P
Conclusao:
Se contemplo, nao mexo.
Pepresentaao slmbollca: C ~M
Pepresentaao slmbollca do argumento:
(~L ~A), (C ~L), (~P A), (M ~P) | (C ~M)
O argumento nao apresenta uma proposlao slmples de modo que pos-
samos lnlclar a anallse. Nesse argumento vamos utlllzar dols fatos lmpor-
tantes:
l. fato lmportante:
Uma proposlao condlclonal e sua correspondente proposlao contrapo-
sltlva sao loglcamente equlvalentes, ou se[a:
Esse mat erial part e integrant e do Videoaulas on- line do I ESDE BRASI L S/ A,
mais informaes www.videoaulasonline.com.br
Loglca da argumentaao
l47
p q ~q ~p
2. fato lmportante:
L vallda a proprledade transltlva em lmpllcaes loglcas, ou se[a:
Se p q e q r, entao p r
Lssa proprledade e vallda para qualquer numero de transles:
Se (a b) e (b c) e (c d) e (d e) e ... e (y z), entao (a z)
rar o valor loglco das premlssas:
(~L ~A), (C ~L), (~P A), (M ~P) | (C ~M)
Prlmelro, vamos trocar a poslao das duas prlmelras premlssas:
(C ~L), (~L ~A), (~P A), (M ~P) | (C ~M)
Depols, vamos substltulr a 3. e 4. premlssas pelas contraposltlvas
correspondentes:
(C ~L), (~L ~A), (~A P), (P ~M) | (C ~M)
melras premlssas formam uma sequencla transltlva:
(C ~L), (~L ~A), (~A P), (P ~M)
O que podemos conclulr dessas quatro premlssas!
Pela proprledade transltlva, podemos conclulr que a prlmelra proposlao
lmpllca a ultlma, ou se[a:
(C ~M)
Como essa proposlao e a conclusao do argumento, certamente o argu-
mento e valldo.
SiIogismos
melra vez por Platao (429-348 a.C.). Aqul o sentldo adotado e o de um racloci-
Esse mat erial part e integrant e do Videoaulas on- line do I ESDE BRASI L S/ A,
mais informaes www.videoaulasonline.com.br
l48
Loglca da argumentaao
Arlstoteles (384-346 a.C.) utlllzou tal palavra para deslgnar um argumento
composto por duas premlssas e uma conclusao.
Observe um exemplo de slloglsmo:
1ogamos futebol no sabado ou no domlngo.
Nao [ogamos futebol no sabado.
Logo, [ogamos futebol no domlngo.
sabado ou no domlngo" e "nao [ogamos futebol no sabado" e a conclusao
"[ogamos futebol no domlngo".
Consldere as proposles:
p: "[ogamos futebol no sabado"
~p: "nao [ogamos futebol no sabado"
q: "[ogamos futebol no domlngo"
Asslm, em simbolos, o argumento poderla ser representado na forma pa-
dronlzada da segulnte manelra:
p q
~p
q
ou, na forma slmbollca por:
p q , ~p | q
Lsse argumento, contendo a proposlao dls[untlva p q, e valldo e recebe
o nome de slloglsmo dls[untlvo.
As letras p, q, r e outras slmllares, utlllzadas para representar slloglsmos,
sao denomlnadas letras sentenclals.
SiIogismo bipotetico
O slloglsmo hlpotetlco e aquele que se apresenta na forma de uma pro-
prledade transltlva: Se A 8 e 8 C, entao A C.
Esse mat erial part e integrant e do Videoaulas on- line do I ESDE BRASI L S/ A,
mais informaes www.videoaulasonline.com.br
Loglca da argumentaao
l49
Lxemplo:
Se tens amor, entao por ele vale a pena vlver e morrer.
Se pelo amor vale a pena vlver e morrer, entao tudo o que vlve e teu
proxlmo.
Ora, tu tens amor.
Logo, tudo o que vlve e teu proxlmo.
Porma slmbollca de um slloglsmo hlpotetlco:
p q, q r | p r
Comentarlo:
Para que a prlmelra premlssa p q se[a verdadelra, nao pode ocorrer de
p ser verdadelra e q ser falsa. Da mesma forma, para que a segunda premlssa
q r se[a verdadelra, nao pode ocorrer de q ser verdadelra e r ser falsa. Lntao,
a conclusao p r e certamente verdadelra, [a que nao pode ocorrer de p ser
verdadelra e r ser falsa.
SiIogismo disjuntivo
O slloglsmo dls[untlvo e aquele em que varlos termos ou enunclados
estao unldos pela particula dls[untlva "ou".
Lxemplo:
O que somos e consequencla do que pensamos ou nosso espirlto nasce
com nenhuma ldela.
Ora, nosso espirlto nao nasce com nenhuma ldela.
Logo, o que somos e consequencla do que pensamos.
Porma slmbollca de um slloglsmo dls[untlvo:
p q, ~q | p
Comentarlo:
Para que p q se[a verdadelra, pelo menos uma delas deve ser verdadelra. Se
Esse mat erial part e integrant e do Videoaulas on- line do I ESDE BRASI L S/ A,
mais informaes www.videoaulasonline.com.br
l50
Loglca da argumentaao
SiIogismo conjuntivo
O slloglsmo con[untlvo e aquele em que varlos termos ou enunclados
estao unldos pela particula con[untlva "e".
Lxemplo:
A verdadelra beleza esta em fazer o bem e uma pessoa equlllbrada e
aquela que tem o dominlo completo do espirlto sobre a materla.
Ora, a verdadelra beleza esta em fazer o bem.
Logo, uma pessoa equlllbrada e aquela que tem o dominlo completo do
espirlto sobre a materla.
Porma slmbollca de um slloglsmo con[untlvo:
p q, p | q
Comentarlo:
A premlssa p q e verdadelra se, e somente se, p e q forem ambas verda-
delras. A segunda premlssa e p e deve ser verdadelra, conforme a prlmelra
premlssa. Asslm, a conclusao q decorre dlretamente da prlmelra premlssa.
MeJus Penens
O argumento do tlpo VcJus lcnens e aquele que se basela em uma pro-
poslao condlclonal da forma p q.
Lxemplo:
Se voce alcanou a fellcldade, entao nao ha mals llmltes para a sua
consclencla.
Ora, voce alcanou a fellcldade.
Logo, nao ha mals llmltes para a sua consclencla.
Porma slmbollca de um VcJus lcnens:
p q, p | q
Comentarlo:
Para que a premlssa p q se[a verdadelra, nao pode ocorrer de p ser
verdadelra e q ser falsa. Como, de acordo com a segunda premlssa, p deve
Esse mat erial part e integrant e do Videoaulas on- line do I ESDE BRASI L S/ A,
mais informaes www.videoaulasonline.com.br
Loglca da argumentaao
l5l
ser verdadelra, conclul-se que q nao pode ser falsa, ou se[a, q e certamente
verdadelra.
MeJus 7ellens
O argumento do tlpo VcJus 7cllens e baseado na equlvalencla de uma
proprledade condlclonal e a respectlva contraposltlva.
Condlclonal: p q
Contraposltlva: ~q ~p
Lxemplo:
Se voce nao dlsslpou as duvldas do camlnho que traou para sl mesmo,
entao voce nao e um sablo.
Ora, voce e um sablo.
Logo, voce dlsslpou as duvldas do camlnho que traou para sl mesmo.
Porma slmbollca de um VcJus 7cllens:
p q, ~q | ~p
Comentarlo:
Para que a premlssa p q se[a verdadelra, nao pode ocorrer de p ser
verdadelra e q ser falsa. Como, de acordo com a premlssa 2, ~q deve ser ver-
dadelra, entao q deve ser falsa. Asslm, da prlmelra premlssa, p nao pode ser
verdadelra e, portanto, ~p e certamente verdadelra. Logo, a conclusao e ver-
dadelra se as premlssas forem verdadelras.
DiIema construtivo
O argumento do tlpo dllema construtlvo basela-se na utlllzaao da veracl-
dade de uma proposlao dls[untlva e de uma proposlao condlclonal.
Lxemplo:
Se dlsseres o que e [usto, entao os homens te odlarao.
Se dlsseres o que e ln[usto, os deuses te odlarao.
Mas, teras que dlzer uma colsa ou outra.
Esse mat erial part e integrant e do Videoaulas on- line do I ESDE BRASI L S/ A,
mais informaes www.videoaulasonline.com.br
l52
Loglca da argumentaao
Logo, de qualquer modo, seras odlado.
Porma slmbollca de um dllema construtlvo:
p q, r s, p r | q s
Comentarlo:
Para que a premlssa p q se[a verdadelra, nao pode ocorrer de p ser
verdadelra e q ser falsa. Da mesma forma, para que a premlssa r s se[a
verdadelra, nao pode ocorrer de r ser verdadelra e s ser falsa. Para que a ter-
celra premlssa p r se[a verdadelra, ao menos uma das proposles entre p
ou r deve ser verdadelra. |sso garante que ao menos uma das proposles
da conclusao q s se[a verdadelra. Portanto, a conclusao certamente sera
verdadelra.
DiIema destrutivo
O argumento do tlpo dllema destrutlvo basela-se na utlllzaao da vera-
cldade de uma proposlao dls[untlva, de uma proposlao condlclonal e da
correspondente proposlao contraposltlva.
Lxemplo:
Se eu for a 8ahla, entao lrel ao Pelourlnho.
Se eu for a Sao Paulo, entao correrel a Sao Sllvestre.
Mas, nao lrel ao Pelourlnho ou nao correrel a Sao Sllvestre.
Logo, nao lrel a 8ahla ou nao lrel a Sao Paulo.
Porma slmbollca de um dllema destrutlvo:
p q, r s, ~q ~s | ~p ~r
Comentarlo:
Para que a premlssa p q se[a verdadelra, nao pode ocorrer de p ser verda-
delra e q ser falsa. Da mesma forma, para que a premlssa r s se[a verdadelra,
nao pode ocorrer de r ser verdadelra e s ser falsa. Para que a tercelra premls-
sa ~q ~s se[a verdadelra, ao menos uma das proposles entre q ou s deve
ser falsa. |sso garante que ao menos uma das proposles p ou r deve ser falsa.
Asslm, certamente a proposlao concluslva ~p ~r sera verdadelra.
Esse mat erial part e integrant e do Videoaulas on- line do I ESDE BRASI L S/ A,
mais informaes www.videoaulasonline.com.br
Loglca da argumentaao
l53
AmpIiando seus conbecimentos
Texto extraido do llvro l|co! l l|ccl
(MACHADO, 2000, p. l3)
O trecho segulnte fol extraido do llvro As Aventutos Je lucllecetty l|nn.
"1lm dlsse que as abelhas nao plcarlam ldlotas, mas eu nao acredltel nlsso,
porque eu mesmo [a tentel multas vezes e elas nao me plcaram."
Trata-se de um argumento. Qual e a conclusao dele! Quals sao as premlssas!
Note que o texto representa uma brlncadelra do autor. Ha uma premlssa
sobre Huck Plnn que e mantlda lmpliclta, ou se[a, que e admltlda mas nao esta
escrlta. Qual e!
Comentarlos sobre o texto:
O argumento pode ser organlzado da manelra a segulr:
Premlssas:
As abelhas nao plcam ldlotas.
Huck Plnn tentou multas vezes ser plcado pelas abelhas e nao consegulu.
Conclusao:
Huck Plnn e ldlota.
A brlncadelra do autor refere-se ao fato de que, lndependentemente da atl-
tude das abelhas, Huck Plnn deve ser um ldlota. De acordo com o que dlsse 1lm,
uma pessoa nao e plcada pelas abelhas se, e somente se, e ldlota. Huck Plnn tenta
ser plcado pelas abelhas e nao consegue. A conclusao e a de que ele e ldlota, por
lsso elas nao o plcaram. Por outro lado, caso Huck Plnn fosse plcado pelas abelhas,
ele nao serla um ldlota. Lntretanto, paradoxalmente, alguem que tenta ser plcado
ldlota.
Esse mat erial part e integrant e do Videoaulas on- line do I ESDE BRASI L S/ A,
mais informaes www.videoaulasonline.com.br
l54
Loglca da argumentaao
Atividades de apIicao
1.
a) Se Ana for bonlta ou 8runo for magro, entao Carlos sera recom-
pensado.
8runo e magro.
Portanto, Carlos sera recompensado.
b) Se Dlego tlver um bom curriculo, entao ele consegulra um emprego.
Lle consegulu um emprego.
Portanto, Dlego tem um bom curriculo.
c)
entao o passarlnho nao canta.
Ora, o passarlnho canta.
Logo, se o passarlnho canta, entao o gato mla.
2.
Saulo quer lr a festa. Se Marla estlver certa, entao 1alr esta enga-
nado. Se 1alr estlver enganado, entao Leo esta enganado. Se Leo
estlver enganado, entao a festa nao ocorrera. Ora, a festa ocorrera
ou Saulo nao lra a festa. Sabe-se que Marla tem razao. Logo, Saulo
nao lra a festa.
3. (ANPAD - adap.) Qual e a conclusao do argumento expresso pela sen-
tena: "Ana sera quelmada, pols e uma bruxa multo fela, e as bruxas
multo felas sao quelmadas"!
4.
Se o reglme e de parlamentarlsmo, entao ha chefe de governo e
de Lstado. Se o reglme e de presldenclallsmo, entao ha chefe de
governo. Ora, nao ha chefe de governo ou nao ha chefe de gover-
no e de Lstado. |sso lmpllca que nao e parlamentarlsmo ou nao e
presldenclallsmo.
Esse mat erial part e integrant e do Videoaulas on- line do I ESDE BRASI L S/ A,
mais informaes www.videoaulasonline.com.br
Loglca da argumentaao
l55
5.
Se tenho dlnhelro, entao vla[o. Nao tlve dlnhelro. Logo, nao vla[el.
Referncias
A8LLAPDO, Pedro. Lgica para Principiantes. Petropolls: vozes, l994.
ALLNCAP P|LHO, Ldgard de. Iniciao a Lgica Matemtica. Sao Paulo: Nobel,
2003. 203 p.
AP|STTLLLS. 7picos. Sao Paulo: Abrll Cultural, l973. (Coleao Os Pensadores).
_____. Drganon. Sao Paulo: Nova Cultural, l999. (Coleao Os Pensadores).
8OLL, Marcel, PL|NHAPT, 1acques. A Histria da Lgica. Llsboa: Ldles 70, l982.
l27 p.
CASTPUCC|, 8enedlto. Introduo a Lgica Matemtica. 6. ed. Sao Paulo: Nobel,
l986. l58 p.
DLSCAPTLS, Pene. Discurso do Metodo. 4. ed. Sao Paulo: Martlns Pontes, 2003.
l02 p.
KLLLLP, vlcente, 8ASTOS, Cleverson L. Aprendendo Lgica. l2. ed. Petropolls:
vozes, 2000. l79 p.
KOPN|N, P. v. A DiaIetica como Lgica e 7eoria do Conbecimento. Plo de 1anel-
ro, l978. 353 p.
LAUSCHNLP, Poque. Lgica FormaI. 4. ed. rev. Porto Alegre: Sullna/ Unlslnos,
l984. 207 p.
L|APD, L. Lgica. 6. ed. Sao Paulo: Cla. Ldltora Naclonal, l965. 2ll p.
L|PSCHULTZ, Seymour. 7eoria dos Conjuntos. Sao Paulo: McGraw-Hlll, l972. 337 p.
MACHADO, Nllson 1ose. Matemtica 1 por Assunto - loglca, con[untos e fun-
es. Sao Paulo: Sclplone, l988. 240 p.
_____. Lgica! Lgicol Sao Paulo: Sclplone, 2000. 49 p. (Coleao vlvendo a
Matematlca).
MAP|TA|N, 1acques. : a ordem dos conceltos, loglca
menor. Plo de 1anelro: Aglr, l980. 3l8 p.
Esse mat erial part e integrant e do Videoaulas on- line do I ESDE BRASI L S/ A,
mais informaes www.videoaulasonline.com.br
l56
Loglca da argumentaao
MATLS, 8enson. Lgica Iementar. Traduao de: HLGLN8LPG, Lenldas H. 8.,
MOTA, Octanny Sllvelra da. Sao Paulo: Naclonal/ USP, l967. 298 p.
NAHPA, Cinara, wL8LP, |van Hlngo. Atraves da Lgica. 5. ed. Petropolls: vozes,
l997. l74 p.
OL|vL|PA, Augusto 1. Pranco de. Lgica Aritmetica. 8rasilla: Un8, 2004. 24l p.
SALMON, wesley C. Lgica. 4. ed. Plo de 1anelro: Zahar, l978. l42 p.
SLPATLS, 1onofon. Raciocnio Lgico. 8. ed. 8rasilla: 1onofon, l998. 432 p. v. l.
_____. Raciocnio Lgico. 8. ed. 8rasilla: 1onofon, l998. 467 p. v. 2.
SOAPLS, Ldvaldo. Fundamentos da Lgica - elementos da Loglca Pormal e Teorla
da Argumentaao. Sao Paulo: Atlas, 2003. l87 p.
Curso de Lgica FormaI. 3. ed. Sao Paulo: Ldusp, l973. 367 p
Esse mat erial part e integrant e do Videoaulas on- line do I ESDE BRASI L S/ A,
mais informaes www.videoaulasonline.com.br
Loglca da argumentaao
l57
Cabarito
1.
a) Se[am as proposles:
p: Ana for bonlta
q: 8runo for magro
r: Carlos sera recompensado
Porma do argumento:
(p q) r, q | r
Se, por hlpotese, as premlssas sao verdadelras, entao (p q) r e v
e q e v. Mas, se q e v, entao lndependentemente do valor de p, ne-
cessarlamente (p q) tem valor loglco v. Consequentemente, r tem
valor loglco v, para que a premlssa condlclonal (p q) r se[a real-
mente v. Dessa forma, conclul-se que a conclusao r e verdadelra.
Portanto, o argumento e valldo.
b) Se[am as proposles:
p: Dlego tem um bom curriculo
q: Dlego consegue um emprego
Porma do argumento:
p q, q | p
Se, por hlpotese, as premlssas sao verdadelras, entao (p q) e v e
q e v. Mas, se q e v, entao a proposlao p pode ser verdadelra ou
falsa que, em ambos os casos, o valor de (p q) e necessarlamente
v. Consequentemente, a conclusao p nao e necessarlamente ver-
dadelra. Asslm, conclul-se que o argumento e lnvalldo.
c) Se[am as proposles:

q: o gato mla
r: o passarlnho canta
Esse mat erial part e integrant e do Videoaulas on- line do I ESDE BRASI L S/ A,
mais informaes www.videoaulasonline.com.br
l58
Loglca da argumentaao
Porma do argumento:
~p q, p ~r, r, r q
Pode-se comear anallsando a tercelra premlssa, [a que e a unlca
que contem uma proposlao slmples. Para que a premlssa r se[a
verdadelra, e necessarlo que ~r se[a falsa. Mas, se ~r deve ser falsa
e a segunda premlssa p ~r deve ser verdadelra, a proposlao p
deve ser falsa, pols se p for verdadelra e ~r falsa, a premlssa p ~r
serla falsa, o que nao pode ocorrer. Lntao, p deve ser falsa. Para que
a prlmelra premlssa se[a tambem verdadelra, a proposlao q deve
ser verdadelra, pols se q fosse falsa, a premlssa ~p q serla falsa,
pelo mesmo motlvo da segunda premlssa. Dessa forma, obrlgato-
rlamente, p e falsa, q e verdadelra e r e verdadelra.
A conclusao, r q, e verdadelra, pols r e q sao ambas verdadelras.
Portanto, o argumento e valldo e tem a forma:
~p q , p ~r, r | r q
A resoluao poderla tambem ser efetuada por melo da tabela-ver-
dade. Nesse caso, serla mals trabalhosa. Para encontrar a alternatl-
va correta por melo da tabela-verdade, e necessarlo observar nas
llnhas em que as premlssas sao slmultaneamente verdadelras se a
conclusao e sempre verdadelra para essas llnhas.
2. Conslderemos as proposles:
p: Marla esta certa
q: 1alr esta enganado
r: Leo esta enganado
s: a festa ocorrera
t: Saulo lra a festa
Porma do argumento:
p q, q r, r ~s, s ~t, p | ~t
Esse mat erial part e integrant e do Videoaulas on- line do I ESDE BRASI L S/ A,
mais informaes www.videoaulasonline.com.br
Loglca da argumentaao
l59
Comeando a anallse pela ultlma premlssa, pols e a unlca que e uma
proposlao slmples, temos que p deve ser verdadelra. Observando a
prlmelra premlssa da forma p q, e sabendo que p e verdadelra, con-
cluimos que a proposlao q deve ser tambem verdadelra, pols se q for
falsa, a premlssa p q serla falsa, o que nao pode ocorrer. Da mesma
forma, para a segunda premlssa, q r, se q e verdadelra, r tambem
deve ser verdadelra. Na tercelra premlssa, r ~s, se r e verdadelra, ~s
deve tambem ser verdadelra. Na quarta premlssa, se ~s e verdadelra,
s e falsa e, para que s ~t se[a verdadelra, ~t deve ser verdadelra, pols
se ~t for falsa, a proposlao s ~t sera falsa, o que nao pode ocorrer.
Dessa forma, p e verdadelra, q e verdadelra, r e verdadelra, s e falsa e t
e falsa. A conclusao do argumento "Saulo nao lra a festa" (~t) e neces-
sarlamente verdadelra.
Portanto, o argumento e valldo e tem a segulnte forma slmbollca:
p q, q r, r ~s, s ~t, p | ~t
3. Lmbora este[a corretamente escrlto e se[a multo utlllzado na llngua-
gem comum, o argumento "Ana sera quelmada, pols e uma bruxa mul-
to fela, e as bruxas multo felas sao quelmadas" nao esta apresentado
de uma forma multo clara. A palavra "pols", presente na sentena, des-
depols estao as premlssas e antes esta a conclusao. O argumento mals
bem organlzado pode ser escrlto da segulnte manelra:
Premlssa l: Ana e uma bruxa fela.
Premlssa 2: 8ruxas multo felas sao quelmadas.
Conclusao: Ana sera quelmada.
Asslm, a conclusao e a de que Ana sera quelmada.
4. Organlzando as proposles, observa-se um argumento fundamental
do tlpo dllema destrutlvo:
p q, r s, ~q ~s | ~p ~r
Conslderando as proposles p: o reglme e de parlamentarlsmo, q: ha
chefe de governo e de Lstado, r: o reglme e de presldenclallsmo, s: ha
chefe de governo, as premlssas podem ser representadas por: p q,
r s, ~q ~s
Esse mat erial part e integrant e do Videoaulas on- line do I ESDE BRASI L S/ A,
mais informaes www.videoaulasonline.com.br
l60
Loglca da argumentaao
Se a premlssa p q e verdadelra, entao nao pode ocorrer de p ser ver-
dadelra e q ser falsa. Se a premlssa r s e verdadelra, entao nao pode
ocorrer de r ser verdadelra e s ser falsa. Se a tercelra premlssa ~q ~s
deve ser verdadelra, ao menos uma das proposles entre q ou s deve
ser falsa. Logo, ao menos uma das proposles p ou r deve ser falsa e,
asslm, a proposlao concluslva ~p ~r: "nao e parlamentarlsmo ou nao
e presldenclallsmo" sera verdadelra.
Portanto, o argumento e valldo.
5. Se[am as proposles:
p: Tenho dlnhelro
q: vla[o
O argumento tem a forma slmbollca:
p q, ~p | ~q
Tabela-verdade:
p q ~p ~q p q
v v P P V
v P P v F
P v V F V
P P V V V
l C l
Observe que as premlssas p q e ~p sao slmultaneamente verdadel-
ras na 3. e na 4. llnhas. Lntretanto, a conclusao ~q e falsa na 3. llnha.
Como a conclusao e falsa em pelo menos uma llnha em que as premls-
sas sao slmultaneamente verdadelras, conclul-se que o argumento e
lnvalldo.
Esse mat erial part e integrant e do Videoaulas on- line do I ESDE BRASI L S/ A,
mais informaes www.videoaulasonline.com.br
Esse mat erial part e integrant e do Videoaulas on- line do I ESDE BRASI L S/ A,
mais informaes www.videoaulasonline.com.br
Esse mat erial part e integrant e do Videoaulas on- line do I ESDE BRASI L S/ A,
mais informaes www.videoaulasonline.com.br