Académique Documents
Professionnel Documents
Culture Documents
RACIOCNIO LGICO
Deduo corresponde a determinar a concluso. Utilizase da regra e sua premissa para chegar a uma concluso.
Exemplo: "Quando chove, a grama fica molhada. Choveu
hoje. Portanto, a grama est molhada." comum associar
os matemticos com este tipo de raciocnio.
Induo determinar a regra. aprender a regra a partir
de diversos exemplos de como a concluso segue
da premissa. Exemplo: "A grama ficou molhada todas as
vezes em que choveu. Ento, se chover amanh, a grama
ficar molhada." comum associar os cientistas com este
estilo de raciocnio.
Abduo significa
determinar
a premissa.
Usa-se
a concluso e a regra para defender que a premissa poderia
explicar a concluso. Exemplo: "Quando chove, a grama fica
molhada. A grama est molhada, ento pode ter chovido."
Associa-se
este
tipo
de
raciocnio
aos diagnosticistas e detetives.
Compreenso de estruturas lgicas. Lgica de argumentao; analogias, inferncias, dedues e concluses. Diagramas lgicos. Princpios de contagem e
probabilidade.
Lgica Matemtica
Imagine que voc foi convocado a participar de um jri
em um processo criminal e o advogado de defesa apresenta
os seguintes argumentos:
Ao procurarmos a soluo de um problema quando dispomos de dados como um ponto de partida e temos um
objetivo a estimularmos, mas no sabemos como chegar a
esse objetivo temos um problema. Se soubssemos no
haveria problema.
necessrio, portanto, que comece por explorar as possibilidades, por experimentar hipteses, voltar atrs num
caminho e tentar outro. preciso buscar idias que se conformem natureza do problema, rejeitar aqueles que no se
ajustam a estrutura total da questo e organizar-se.
Pergunta: O argumento do advogado esta correto? Como voc deveria votar o destino do ru?
E mais fcil responder a essa pergunta reescrevendo o
argumento com a notao de lgica formal, que retira todo o
palavrrio que causa confuso e permite que nos concentremos na argumentao subjacente.
A lgica formal fornece as bases para o mtodo de pensar organizado e cuidadoso que caracteriza qualquer atividade racional.
"Lgica: Coerncia de raciocnio, de ideias. Modo de raciocinar peculiar a algum, ou a um grupo. Sequencia coerente, regular e necessria de acontecimentos, de coisas."
(dicionrio Aurlio), portanto podemos dizer que a Lgica e a
cincia do raciocnio.
A cincia bsicamente a combinao do raciocnio lgico bom com o conhecimento prtico bom de fenmenos
naturais reais. Todos os seres humanos fazem algum raciocnio lgico e tm algum conhecimento prtico de alguns
fenmenos naturais reais, mas na maior parte tm que combinar cincia com sobrevivncia. Alguns povos puderam
devotar muito de seu tempo ao raciocnio e/ou a ganhar o
conhecimento melhor da natureza e com isso nos legaram
contribuies pequenas ou grandes ao desenvolvimento da
cincia. http://wwwracimate.blogspot.com.br/
Partindo-se do contexto histrico, a lgica enquanto cincia do raciocnio pode ser subdividida em duas grandes correntes, quais sejam: Lgica Clssica e Lgica Formal.
Em lgica, pode-se distinguir trs tipos de raciocnio lgico: deduo, induo e abduo. Dada uma premissa,
uma concluso, e uma regra segundo a qual apremis-
Raciocnio Lgico
Enquanto Lgica Clssica esta fundamentada em processos no matemticos, processos no analticos, sendo
que suas verdades advm de entidades filosficas. Pode-se
dizer que a Lgica Clssica tem um carter intuitivo.
Enquanto Lgica Formal, a qual encerra dentre outras
tendncias a Lgica Matemtica, esta baseada em mtodos
e tcnicas matemticas.
APOSTILAS OPO
tncia dos smbolos e passam a analisar o raciocnio segundo operaes e ralaes de clculo especfico.
1.2 CLCULO PROPOSICIONAL E CLCULO DOS
PREDICADOS:
A Lgica Matemtica fundamentada pelo clculo proposicional (ou clculo dos enunciados, ou clculo sentencial) e
pelo clculo dos predicados. No clculo sentencial tm-se as
entidades mnimas de anlise (proposies ou enunciados)
como elementos geradores. No clculo dos predicados os
elementos de anlise correspondem s chamadas funes
proposicionais.
Desta forma toda sentena declarativa, afirmativa de sentido completo que expresso um determinado pensamento
so denominado predicados ou enunciados, as quais de
acordo com o universo relacional onde se encontram sempre possvel predicar-se verdade ou a falsidade.
So exemplos de proposies:
Se todo homem inteligente uma flor, ento flores racionais so homens solitrios.
Portanto os exemplos acima permitem afirmar que o nmero de nomes e/ou predicados que constituem as sentenas declarativas, afirmativas de sentido completo do origem
s denominadas proposies simples ou proposies compostas.
Exemplos de no proposies:
Com o va i voc ?
Com o is s o pode a conte ce r!
Uma proposio simples ou um tomo ou ainda uma proposio atmica, constituem a unidade mnima de anlise do
clculo sentencial e corresponde a uma estrutura tal em que
no existe nenhuma outra proposio como parte integrante
de si prprio. Tais estruturas sero designadas pelas letras
latinas minsculas tais como:
Neste sistema de raciocnio tem-se estabelecido to somente dois estados de verdade, isto , a verdade e a no
verdade. Portanto a Lgica Matemtica um sistema bivalente ou dicotmico, onde os dois estados de verdade servem para caracterizar todas as situaes possveis sendo
mutuamente excludentes (isto , a ocorrncia da primeira
exclui a existncia da segunda).
A Lgica Matemtica constitui em termos gerais um sistema cientfico de raciocnio, que se baseia em estados bivalentes, ou seja, um sistema dicotmico onde a quaisquer
de suas entidades pode-se predicar a verdade ou a falsi-
Raciocnio Lgico
APOSTILAS OPO
p: A filosofia arte
q: A dialtica cincia.
Seja, portanto, a proposio composta A filosofia arte
embora a dialtica a cincia.
Para se indicar que a dada sentena designada pela letra proposicional P, sendo constituda de p e q componentes
adota-se a notao P (p, q): A filosofia arte embora a dialtica a cincia.
Observe que uma frmula proposicional pode ser constituda de outras frmulas proposicionais. Alm do mais uma
letra proposicional pode designar uma nica proposio, quer
seja simples ou composta, contudo uma dada proposio
pode ser qualificada por quaisquer das letras proposicionais
num dado universo.
Sejam as proposies:
p: A lgica condiciona a Matemtica
Vejam os exemplos:
P (p, q): A lgica condiciona a Matemtica, mas a dialtica fundamenta o pensamento ambguo.
Q (p, q): A lgica condiciona a Matemtica e/ou a dialtica fundamenta o pensamento ambguo.
S (P, Q): Se a lgica condiciona a Matemtica mas a dialtica fundamente o pensamento ambguo, ento a Lgica
condiciona a matemtica e/ou a dialtica fundamente o pensamento ambguo.
Tem-se que:
P (p, q): p e q.
Partindo-se do fato de que a lgica matemtica um sistema cientfico de raciocnios, bivalentes e dicotmicos, em
que existem apenas dois estados de verdade capazes de
gerar todos os resultados possveis, a verdade corresponde
a afirmaes do fato enquanto tal, sendo a falsidade a contradio ou a negao do fato enquanto tal. Assim a verdade
ou a falsidade, corresponde respectivamente ao verdadeiro
ou falso, segundo o referencial terico que institui as determinadas entidades proposies ou enunciados, de um
dado universo relacional.
Q (p, q): p ou q.
R (p, q): p ou q, e no ambos.
S (p, q): Se p, ento q.
W (p, q): p se, e somente se q.
P1 (p): no p
Observe que as frmulas proposicionais ou proposies
compostas anteriormente apresentadas foram obtidas a partir
de duas proposies simples quaisquer, unidas pelo conjunto
de palavras, quando utilizadas para estabelecer a conexo
entre duas ou mais proposies (simples ou compostas), so
denominadas conectivos lgicos ou conectivos proposicionais, os quais definem classes de frmulas proposicionais
especficas.
Prof.a Paula Francis Benevides
Smbolos
Raciocnio Lgico
no
ou
se ... ento
APOSTILAS OPO
se e somente se
tal que
implica
equivalente
existe
existe um e somente
um
,,~
ou '
proposio que queremos justificar tem o nome de concluso; as proposies que pretendem apoiar a concluso ou a
justificam tm o nome de premissas.
Supe que queres pedir aos teus pais um aumento da
"mesada". Como justificas este aumento? Recorrendo a
razes, no ? Dirs qualquer coisa como:
Valor lgiSmbolo
co
Negao
Expresso
no, falso, no verdade que
Conjuno
Disjuno
ou
Condicional
Bicondicional
Muito bem, a lgica estuda argumentos. Mas qual o interesse disso para a filosofia? Bem, tenho de te lembrar que
a argumentao o corao da filosofia. Em filosofia temos a
liberdade de defender as nossas ideias, mas temos de sustentar o que defendemos com bons argumentos e, claro,
tambm temos de aceitar discutir os nossos argumentos.
Exemplo 2
Premissa: O Joo e o Jos so alunos do 11. ano.
Concluso: Logo, o Joo aluno do 11. ano.
Os argumentos constituem um dos trs elementos centrais da filosofia. Os outros dois so os problemas e as teorias. Com efeito, ao longo dos sculos, os filsofos tm procurado resolver problemas, criando teorias que se apoiam em
argumentos.
Ests a ver por que que o estudo dos argumentos importante, isto , por que que a lgica importante. importante, porque nos ajuda a distinguir os argumentos vlidos
dos invlidos, permite-nos compreender por que razo uns
so vlidos e outros no e ensina-nos a argumentar correctamente. E isto fundamental para a filosofia.
Exemplo 2
Premissa 1: Se no houvesse vida para alm da morte,
ento a vida no faria sentido.
Premissa 2: Mas a vida faz sentido.
Concluso: Logo, h vida para alm da morte.
O que um argumento?
Um argumento um conjunto de proposies que utilizamos para justificar (provar, dar razo, suportar) algo. A
Raciocnio Lgico
APOSTILAS OPO
Exemplo 3:
Proposies e frases
Um argumento um conjunto de proposies. Quer as
premissas quer a concluso de um argumento so proposies. Mas o que uma proposio?
Uma proposio o pensamento que uma frase
declarativa exprime literalmente.
Neste argumento, a concluso est claramente identificada ("podemos concluir que..."), mas nem sempre isto acontece. Contudo, h certas expresses que nos ajudam a perceber qual a concluso do argumento e quais so as premissas. Repara, no argumento anterior, na expresso "dado
que". Esta expresso um indicador de premissa: ficamos a
saber que o que se segue a esta expresso uma premissa
do argumento. Tambm h indicadores de concluso: dois
dos mais utilizados so "logo" e "portanto".
H vrios tipos de frases: declarativas, interrogativas, imperativas e exclamativas. Mas s as frases declarativas exprimem proposies. Uma frase s exprime uma proposio
quando o que ela afirma tem valor de verdade.
Por exemplo, as seguintes frases no exprimem proposies, porque no tm valor de verdade, isto , no so verdadeiras nem falsas:
Indicadores de concluso
pois
porque
dado que
como foi dito
visto que
devido a
a razo que
admitindo que
sabendo-se que
assumindo que
por isso
por conseguinte
implica que
logo
portanto
ento
da que
segue-se que
pode-se inferir que
consequentemente
Ambiguidade e vagueza
Para alm de podermos ter a mesma proposio expressa por diferentes frases, tambm pode acontecer que a
mesma frase exprima mais do que uma proposio. Neste
caso dizemos que a frase ambgua. A frase "Em cada dez
minutos, um homem portugus pega numa mulher ao colo"
ambgua, porque exprime mais do que uma proposio: tanto
pode querer dizer que existe um homem portugus (sempre
o mesmo) que, em cada dez minutos, pega numa mulher ao
Por outro lado, aqueles indicadores (palavras e expresses) podem aparecer em frases sem que essas frases sejam premissas ou concluses de argumentos. Por exemplo,
se eu disser:
Depois de se separar do dono, o co nunca mais foi o
mesmo. Ento, um dia ele partiu e nunca mais foi visto.
Admitindo que no morreu, onde estar?
Raciocnio Lgico
APOSTILAS OPO
Validade e verdade
A verdade uma propriedade das proposies. A validade uma propriedade dos argumentos. incorrecto falar em
proposies vlidas. As proposies no so vlidas nem
invlidas. As proposies s podem ser verdadeiras ou falsas. Tambm incorrecto dizer que os argumentos so verdadeiros ou que so falsos. Os argumentos no so verdadeiros nem falsos. Os argumentos dizem-se vlidos ou invlidos.
Quando que um argumento vlido? Por agora, referirei apenas a validade dedutiva. Diz-se que um argumento
dedutivo vlido quando impossvel que as suas premissas sejam verdadeiras e a concluso falsa. Repara que, para
um argumento ser vlido, no basta que as premissas e a
concluso sejam verdadeiras. preciso que seja impossvel
que sendo as premissas verdadeiras, a concluso seja falsa.
Raciocnio Lgico
APOSTILAS OPO
Mas no penses que s os argumentos em que a concluso repete a premissa que so maus. Um argumento
mau (ou fraco) se as premissas no forem mais plausveis do
que a concluso. o que acontece com o seguinte argumento:
Para que um argumento seja bom (ou forte), as premissas tm de ser mais plausveis do que a concluso, como
acontece no seguinte exemplo:
As noes de lgica que acabei de apresentar so elementares, certo, mas, se as dominares, ajudar-te-o a
fazer um melhor trabalho na disciplina de Filosofia e, porventura, noutras.
Um argumento bom (ou forte) um argumento vlido persuasivo (persuasivo, do ponto de vista racional).
As proposies simples ou atmicas so assim caracterizadas por apresentarem apenas uma idia. So indicadas
pelas letras minsculas: p, q, r, s, t...
Talvez recorras a argumentos deste tipo, isto , argumentos que no so bons (apesar de slidos), mais vezes do que
imaginas. Com certeza, j viveste situaes semelhantes a
esta:
As proposies compostas ou moleculares so assim caracterizadas por apresentarem mais de uma proposio
conectadas pelos conectivos lgicos. So indicadas pelas
letras maisculas: P, Q, R, S, T...
Raciocnio Lgico
APOSTILAS OPO
Noes de Lgica
Srgio Biagi Gregrio
5. SOFISMA
1. CONCEITO DE LGICA
Sofisma um raciocnio falso que se apresenta com aparncia de verdadeiro. Todo erro provm de um raciocnio
ilegtimo, portanto, de um sofisma.
Esta ltima qualidade aquela que efetivamente distingue o homem dentre os demais seres vivos (2).
3. JUZO E O RACIOCNIO
Entende-se por juzo qualquer tipo de afirmao ou negao entre duas idias ou dois conceitos. Ao afirmarmos,
por exemplo, que este livro de filosofia, acabamos de
formular um juzo.
O enunciado verbal de
do proposio ou premissa.
um
juzo
Aristteles considerado, com razo, o fundador da lgica. Foi ele, realmente, o primeiro a investigar, cientificamente, as leis do pensamento. Suas pesquisas lgicas foram
reunidas, sob o nome de Organon, por Digenes Larcio. As
leis do pensamento formuladas por Aristteles se caracterizam pelo rigor e pela exatido. Por isso, foram adotadas
pelos pensadores antigos e medievais e, ainda hoje, so
admitidas por muitos filsofos.
denomina-
Raciocnio - o processo mental que consiste em coordenar dois ou mais juzos antecedentes, em busca de um
juzo novo, denominado concluso ou inferncia.
O objetivo primacial da lgica , portanto, o estudo da inteligncia sob o ponto de vista de seu uso no conhecimento.
ela que fornece ao filsofo o instrumento e a tcnica necessria para a investigao segura da verdade. Mas, para
atingir a verdade, precisamos partir de dados exatos e raciocinar corretamente, a fim de que o esprito no caia em contradio consigo mesmo ou com os objetos, afirmando-os
diferentes do que, na realidade, so. Da as vrias divises
da lgica.
4. SILOGISMO
Silogismo o raciocnio composto de trs proposies,
dispostas de tal maneira que a terceira, chamada concluso,
deriva logicamente das duas primeiras, chamadas premissas.
Todo silogismo regular contm, portanto, trs proposies nas quais trs termos so comparados, dois a dois.
Exemplo: toda a virtude louvvel; ora, a caridade uma
virtude; logo, a caridade louvvel (1).
Raciocnio Lgico
PROPOSIO
APOSTILAS OPO
No so proposies:
1) frases interrogativas: Qual o seu nome?
2) frases exclamativas: Que linda essa mulher!
3) frases imperativas: Estude mais.
4) frases optativas: Deus te acompanhe.
5) frases sem verbo: O caderno de Maria.
6) sentenas abertas (o valor lgico da sentena depende do
valor (do nome) atribudo a varivel):
ARGUMENTO
PROPOSIO CATEGRICA
Proposio categrica faz uma afirmao da qual no ficaremos com duvidas.
Essas no so proposies categricas, e somos deixados na dvida sobre quando o produto realmente ser entregue.
Um argumento categrico (formado por proposies categricas) , ento, o mais efetivo dos argumentos porque
nos fornece certo conhecimento.
- PROPOSIO HIPOTTICA.
A Hiptese (do gr. Hypthesis) uma proposio que se
admite de modo provisrio como verdadeira e como ponto de
partida a partir do qual se pode deduzir, pelas regras da
lgica, um conjunto secundrio de proposies, que tm por
objetivo elucidar o mecanismo associado s evidncias e
dados experimentais a se explicar.
Literalmente pode ser compreendida como uma suposio ou proposio na forma de pergunta, uma conjetura que
orienta uma investigao por antecipar caractersticas provveis do objeto investigado e que vale quer pela concordncia
com os fatos conhecidos quer pela confirmao atravs de
dedues lgicas dessas caractersticas, quer pelo confronto
com os resultados obtidos via novos caminhos de investigao
(novas
hipteses
e
novos
experimentos).
No possvel provar ou refutar uma hiptese, mas confirm-la ou invalid-la: provar e confirmar so coisas diferentes
embora divisadas por uma linha tnue. Entretanto, para as
questes mais complexas, lembre-se, podem existir muitas
explicaes possveis, uma ou duas experincias talvez no
provem ou refutar uma hiptese.
- TAUTOLOGIA
A origem do termo vem de do grego taut, que significa "o
mesmo", mais logos, que significa "assunto".Portanto, tautologia dizer sempre a mesma coisa em termos diferentes.
Argumentos dedutivos
Em filosofia diz-se que um argumento tautolgico quando se explica por ele prprio, s vezes redundante
ou falaciosamente.
Raciocnio Lgico
APOSTILAS OPO
verdade menos universal ou singular. Esta forma de
raciocnio vlida quando suas premissas, sendo
verdadeiras, fornecem provas evidentes para sua concluso.
Sua caracterstica principal a necessidade, uma vez que
ns admitimos como verdadeira as premissas teremos que
admitir a concluso como verdadeira, pois a concluso
decorre necessariamente das premissas. Dessa forma, o
argumento deve ser considerado vlido. Um raciocnio
dedutivo vlido quando suas premissas, se verdadeiras,
fornecem provas convincentes para sua concluso, isto ,
quando as premissas e a concluso esto de tal modo
relacionados que absolutamente impossvel as premissas
serem verdadeiras se a concluso tampouco for verdadeira
(COPI, 1978, p.35). Geralmente os argumentos dedutivos
so estreis, uma vez que eles no apresentam nenhum
conhecimento novo. Como dissemos, a concluso j est
contida nas premissas. A concluso nunca vai alm das
premissas. Mesmo que a cincia no faa tanto uso da
deduo em suas descobertas, exceto a matemtica, ela
continua sendo o modelo de rigor dentro da lgica. Note que
em todos os argumentos dedutivos a concluso j est
contida nas premissas.
Validade
Argumentos tanto podem ser vlidos ou invlidos. Se um
argumento vlido, e a sua premissa verdadeira, a
concluso deve ser verdadeira: um argumento vlido no
pode ter premissa verdadeira e uma concluso falsa.
A validade de um argumento depende, porm, da real
veracidade ou falsidade das suas premissas e e de sua
concluses. No entanto, apenas o argumento possui uma
forma lgica. A validade de um argumento no uma
garantia da verdade da sua concluso. Um argumento vlido
pode ter premissas falsas e uma concluso falsa.
A Lgica visa descobrir as formas vlidas, ou seja, as
formas que fazer argumentos vlidos. Uma Forma de
Argumento vlida se e somente se todos os seus
argumentos so vlidos. Uma vez que a validade de um
argumento depende da sua forma, um argumento pode ser
demonstrado como invlido, mostrando que a sua forma
invlida, e isso pode ser feito, dando um outro argumento da
mesma forma que tenha premissas verdadeiras mas uma
falsa concluso. Na lgica informal este argumento
chamado de contador.
A forma de argumento pode ser demonstrada atravs da
utilizao de smbolos. Para cada forma de argumento,
Raciocnio Lgico
10
APOSTILAS OPO
argumentos indutivos, que so: O mtodo da concordncia, o
mtodo da diferena, e o mtodo das variaes
concomitantes.
Argumentao convincente
Um argumento convincente se e somente se a
veracidade das premissas tornar verdade a provvel
concluso (isto , o argumento forte), e as premissas do
argumento so, de fato, verdadeiras. Exemplo:
Falcias e no argumentos
Uma falcia um argumento invlido que parece vlido,
ou um argumento vlido com premissas "disfaradas". Em
primeiro Lugar, as concluses devem ser declaraes,
capazes de serem verdadeiras ou falsas. Em segundo lugar
no necessrio afirmar que a concluso resulta das
premissas. As palavras, por isso, porque, normalmente e
consequentemente separam as premissas a partir da
concluso de um argumento, mas isto no
necessariamente assim. Exemplo: Scrates um homem e
todos os homens so mortais, logo, Scrates mortal. Isso
claramente um argumento, j que evidente que a
afirmao de que Scrates mortal decorre das declaraes
anteriores. No entanto: eu estava com sede e, por isso, eu
bebi no um argumento, apesar de sua aparncia. Ele no
est reivindicando que eu bebi por causa da sede, eu poderia
ter bebido por algum outro motivo.
Argumentos elpticos
Muitas vezes um argumento no vlido, porque existe
uma premissa que necessita de algo mais para torn-lo
vlido. Alguns escritores, muitas vezes, deixam de fora uma
premissa estritamente necessria no seu conjunto de
premissas se ela amplamente aceita e o escritor no
pretende indicar o bvio. Exemplo: Ferro um metal, por
isso, ele ir expandir quando aquecido. (premissa
descartada: todos os metais se expandem quando
aquecidos). Por outro lado, um argumento aparentemente
vlido pode ser encontrado pela falta de uma premissa - um
"pressuposto oculto" - o que se descartou pode mostrar uma
falha
no
raciocnio.
Exemplo:
Uma
testemunha
fundamentada diz Ningum saiu pela porta da frente, exceto
o pastor, por isso, o assassino deve ter sado pela porta dos
fundos. (hiptese que o pastor no era o assassino).
Retrica, dialtica e dilogos argumentativos
Considerando que os argumentos so formais (como se
encontram em um livro ou em um artigo de investigao), os
dilogos argumentativos so dinmicos. Servem como um
registro publicado de justificao para uma afirmao.
Argumentos podem tambm ser interativos tendo como
interlocutor a relao simtrica. As premissas so discutidas,
bem como a validade das inferncias intermedirias.
Argumentos matemticos
A base de verdade matemtica tem sido objeto de um
longo debate. Frege procurou demonstrar, em particular, que
as verdades aritmticas podem ser obtidas a partir de lgicas
puramente axiomticas e, por conseguinte, so, no final,
lgicas de verdades. Se um argumento pode ser expresso
sob a forma de frases em Lgica Simblica, ento ele pode
ser testado atravs da aplicao de provas. Este tem sido
realizado usando Axioma de Peano. Seja como for, um
argumento em Matemtica, como em qualquer outra
disciplina, pode ser considerado vlido apenas no caso de
poder ser demonstrado que de uma forma tal que no
possa ter verdadeiras premissas e uma falsa concluso.
Argumentos polticos
Um argumento poltico um exemplo de uma
argumentao lgica aplicada a poltica. Argumentos
Polticos so utilizados por acadmicos, meios de
comunicao social, candidatos a cargos polticos e
funcionrios pblicos. Argumentos polticos tambm so
utilizados por cidados comuns em interaes de comentar e
compreender sobre os acontecimentos polticos.
FORMA DE UM ARGUMENTO
Os argumentos lgicos, em geral, possuem uma
certa forma (estrutura). Uma estrutura pode ser criada a
partir da substituio de palavras diferentes ou sentenas,
que geram uma substituio de letras (variveis lgicas) ao
logo das linhas da lgebra.
Um exemplo de um argumento:
(1) Todos os humanos so mentirosos. Joo humano.
Logo, Joo mentiroso.
Podemos reescrever o argumento separando cada
sentena em sua determinada linha:
(2) Todo humano mentiroso.
(3) Joo humano.
(4) Logo, Joo mentiroso.
Raciocnio Lgico
11
APOSTILAS OPO
(6) J H.
(7) Logo, J M.
O que fizemos em C foi substituir "humano" por "H",
"Joo" por "J" e "mentiroso" por "M", como resultado dessas
alteraes temos que (5-7) uma forma do argumento
original (1), ou seja (5-7) a forma de argumento de (1).
Alm disso, cada sentena individual de (5-7) a forma de
sentena de uma respectiva sentena em (1).
A CONTRARIO
A contrario (ou a contrario sensu1 ) uma locuo
latina que qualifica um processo de argumentao em que a
forma idntica a outro processo de argumentao, mas em
que a hiptese e, por consequncia, a concluso so as
inversas deste ltimo.2 Tal como na locuo "a pari", usavase originalmente, em linguagem jurdica, para se referir a um
argumento que, usado a respeito de uma dada espcie,
poderia ser aplicado a outra espcie do mesmo gnero.
Tornou-se posteriormente um tipo de raciocnio aplicvel a
outros campos do conhecimento em que a oposio
existente numa hiptese se reencontra tambm como
oposio nas consequncias dessa hiptese.3
Muito utilizado em Direito, o argumento "a contrario" tem
de ser fundamentado nas leis lgicas de oposio por
contrrios,
para
que
no
se
caia
num
argumentofalacioso.4 Assim, se duas proposies contrrias
no podem ser simultaneamente verdadeiras, podem ser
simultaneamente falsas, j que podem admitir a particular
intermdia. Por exemplo, proposio verdadeira "todos os
portugueses tm direito segurana social" ope-se a
proposio falsa "nenhum portugus tem direito segurana
social"; contudo, o contrrio da proposio falsa "todos os
portugueses tm direito de voto" continua a ser falsa a
proposio "nenhum portugus tem direito de voto", j que
existe um meio termo verdadeiro: "alguns portugueses tm
direito de voto". Da mesma forma, ao estar consignado na
Constituio Portuguesa que "a lei estabelecer garantias
efectivas contra a obteno e utilizao abusivas, ou
contrrias dignidade humana, de informaes relativas s
pessoas e famlias", pode-se inferir que "A lei poder no
estabelecer garantias efectivas contra a obteno e
utilizao abusivas, ou contrrias dignidade humana, de
informaes relativas s pessoas e famlias".
Inferncia
Inferncia, em Lgica, o ato ou processo de derivar
concluses
lgicas
de premissas conhecida
ou
decididamente verdadeiras. A concluso tambm chamada
de idiomtica.
Definio
O processo pelo qual uma concluso inferida a partir de
mltiplas observaes chamado processo dedutivo ou
indutivo, dependendo do contexto. A concluso pode ser
correta , incorreta, correta dentro de um certo grau de
preciso, ou correta em certas situaes. Concluses
inferidas a partir de observaes mltiplas podem ser
testadas por observaes adicionais.
Raciocnio Lgico
12
APOSTILAS OPO
RACIOCNIO
uma
operao lgica discursiva e mental. Neste, o intelecto
humano utiliza uma ou mais proposies, para concluir,
atravs de mecanismos de comparaes e abstraes, quais
so os dados que levam s respostas verdadeiras, falsas ou
provveis. Das premissas chegamos a concluses.
Foi pelo processo do raciocnio que ocorreu o
desenvolvimento do mtodo matemtico, este considerado
instrumento puramente terico e dedutivo, que prescinde de
dados empricos.
Atravs da aplicao do raciocnio, as cincias como um
todo evoluram para uma crescente capacidade do intelecto
em alavancar o conhecimento. Este utilizado para isolar
questes e desenvolver mtodos e resolues nas mais
diversas questes relacionadas existncia e sobrevivncia
humana.
O raciocnio, um mecanismo da inteligncia, gerou a
convico nos humanos de que a razo unida
imaginao constituem os instrumentos fundamentais para
a compreenso do universo, cuja ordem interna, alis, tem
um carter racional, portanto, segundo alguns, este processo
a base do racionalismo.
Logo, resumidamente, o raciocnio pode ser considerado
tambm um dos integrantes dos mecanismos dos
processos cognitivos superiores da formao de conceitos e
da soluo de problemas, sendo parte do pensamento.
Lgica De Predicados
Gottlob Frege, em sua Conceitografia (Begriffsschrift),
descobriu uma maneira de reordenar vrias sentenas para
tornar sua forma lgica clara, com a inteno de mostrar
como as sentenas se relacionam em certos aspectos. Antes
de Frege, a lgica formal no obteve sucesso alm do nvel
da lgica de sentenas: ela podia representar a estrutura de
sentenas compostas de outras sentenas, usando palavras
como "e", "ou" e "no", mas no podia quebrar sentenas em
partes menores. No era possvel mostrar como "Vacas so
animais" leva a concluir que "Partes de vacas so partes de
animais".
A lgica sentencial explica como funcionam palavras
como "e", "mas", "ou", "no", "se-ento", "se e somente se", e
"nem-ou". Frege expandiu a lgica para incluir palavras como
"todos", "alguns", e "nenhum". Ele mostrou como podemos
introduzir variveis e quantificadores para reorganizar
sentenas.
Raciocnio Lgico
13
APOSTILAS OPO
propriedade geral dos indivduos de um universo de discurso,
assim como derivar generalizaes a partir de fatos que
valem para um indivduo arbitrrio do universo de discurso.
Para ter tal poder de expresso, a linguagem de primeira
ordem vai usar um arsenal de smbolos mais sofisticado do
que o da linguagem proposicional.
Considere a sentena "Todo objeto igual a si mesmo".
Para expressar propriedades gerais (que valem para todos os indivduos) ou existenciais (que valem para alguns
indivduos) de um universo so utilizados os quantificadores
(universal) e (existencial), respectivamente. Estes quantificadores viro sempre seguidos de um smbolo de varivel,
captando, desta forma, a idia de estarem simbolizando as
palavras "para qualquer" e "para algum".
Considere as sentenas:
"Scrates homem"
"Todo aluno do departamento de Cincia da Computao
estuda lgica"
ARGUMENTO DEDUTIVO: vlido quando suas premissas, se verdadeiras, a concluso tambm verdadeira.
Premissa : "Todo homem mortal."
Premissa : "Joo homem."
Concluso : "Joo mortal."
ARGUMENTO INDUTIVO: a verdade das premissas no
basta para assegurar a verdade da concluso.
Premissa : " comum aps a chuva ficar nublado."
Premissa : "Est chovendo."
Concluso: "Ficar nublado."
As premissas e a concluso de um argumento, formuladas em uma linguagem estruturada, permitem que o argumento possa ter uma anlise lgica apropriada para a verificao de sua validade. Tais tcnicas de anlise sero tratadas no decorrer deste roteiro.
OS SMBOLOS DA LINGUAGEM DO CLCULO PROPOSICIONAL
VARIVEIS PROPOSICIONAIS: letras latinas minsculas p,q,r,s,.... para indicar as proposies (frmulas
atmicas) .
Exemplos:
CONECTIVOS LGICOS: As frmulas atmicas podem ser combinadas entre si e, para representar tais
combinaes usaremos os conectivos lgicos:
: e , : ou , : se...ento , : se e somente se , : no
Exemplos:
A lua quadrada e a neve branca. : p q (p e q so chamados conjuntos)
A lua quadrada ou a neve branca. : p q ( p e q so
chamados disjuntos)
Raciocnio Lgico
A lua quadrada: p
A neve branca : q
14
APOSTILAS OPO
Exemplos:
Se a lua quadrada e a neve branca ento a lua
no quadrada.: ((p q) p)
A lua no quadrada se e somente se a neve
branca.: (( p) q))
DEFINIO DE FRMULA :
1. Toda frmula atmica uma frmula.
2. Se A e B so frmulas ento (A B), (A B), (A B),
(A B) e ( A) tambm so frmulas.
3. So frmulas apenas as obtidas por 1. e 2. .
h
uma
falcia
da
demonstrao pretendida. As vrias provas invlidas
(e.g., que 1 = 2) so exemplos clssicos, geralmente
dependendo de uma diviso por zero despercebida.
Outro exemplo o paradoxo do cavalo.
Um paradoxo que no pertence a nenhuma das classes
acima pode ser uma antinomia, uma declarao que
chega a um resultado auto-contraditrio aplicando
apropriadamente meios aceitveis de raciocnio. Por
exemplo, o paradoxo de Grelling-Nelson aponta
problemas genunos na nossa compreenso das
idias de verdade e descrio.
Paradoxo
O frasco com auto-fluxo de Robert Boyle preenche a si
prprio neste diagrama, mas mquinas de moto contnuo no
existem.
Um paradoxo uma declarao aparentemente
verdadeira que leva a uma contradio lgica, ou a uma
situao que contradiz a intuio comum. Em termos
simples, um paradoxo "o oposto do que algum pensa ser
a verdade". A identificao de um paradoxo baseado em
conceitos aparentemente simples e racionais tem, por vezes,
auxiliado significativamente o progresso da cincia, filosofia e
matemtica.
A etimologia da palavra paradoxo pode ser traada a
textos que remontam aurora da Renascena, um perodo
de acelerado pensamento cientfico na Europa e sia que
comeou por volta do ano de 1500. As primeiras formas da
palavra tiveram por base a palavra latina paradoxum, mas
tambm so encontradas em textos em grego como
paradoxon (entretanto, o Latim fortemente derivado do
alfabeto grego e, alm do mais, o Portugus tambm
derivado do Latim romano, com a adio das letras "J" e "U").
A palavra composta do prefixo para-, que quer dizer
"contrrio a", "alterado" ou "oposto de", conjungada com o
sufixo nominal doxa, que quer dizer "opinio". Compare com
ortodoxia e heterodoxo.
Proposio
Segundo Quine, toda proposio uma frase mas nem
toda frase uma proposio; uma frase uma proposio
apenas quando admite um dos dois valores lgicos: Falso
(F)ou Verdadeiro (V). Exemplos:
1. Frases que no so proposies
o Pare!
o Quer uma xcara de caf?
o Eu no estou bem certo se esta cor me agrada
2. Frases que so proposies
o A lua o nico satlite do planeta terra (V)
o A cidade de Salvador a capital do estado do Amazonas (F)
o O numero 712 mpar (F)
o Raiz quadrada de dois um nmero irracional (V)
Composio de Proposies
possvel construir proposies a partir de proposies
j existentes. Este processo conhecido por Composio
de Proposies. Suponha que tenhamos duas proposies,
1. A = "Maria tem 23 anos"
2. B = "Maria menor"
Raciocnio Lgico
15
APOSTILAS OPO
Lei da Contradio
TIPOS DE PROPOSIO
Simples ou Atmicas - a proposio que no contm
nenhuma outra proposio como parte integrante de si mesma. As proposies simples so geralmente designadas por
letras minsculas p, q, r, s ..., chamadas letras proposicionais.
Observao: Pode ser usada qualquer letra do alfabeto
minsculo para representar uma proposio simples.
Exemplo:
p: Oscar prudente;
q: Mrio engenheiro;
r: Maria morena.
Composta ou Molecular - a proposio formada pela
combinao de duas ou mais proposies. So habitualmente designadas por letras maisculas P, Q, R, S ..., tambm
denominadas letras proposicionais.
Exemplo:
p : Walter engenheiro E Pedro estudante;
q : Mauro dedicado OU Pedro trabalhador;
r : SE Flvio estudioso ENTO ser aprovado.
Observao: As proposies compostas so tambm
denominadas frmulas proposicionais ou apenas frmulas.
Quando interessa destacar que uma proposio composta P
formada pela combinao de proposies simples, escreve-se: P ( p, q, r ...);
Conectivos - so palavras que se usam para formar novas proposies a partir de outras.
Exemplo:
P: 6 par E 8 cubo perfeito;
Q: NO vai chover;
R: SE Mauro mdico, ENTO sabe biologia;
S: o tringulo ABC issceles OU equiltero;
T: o tringulo ABC equiltero SE E SOMENTE SE
equiltero.
So conectivos usuais em lgica Matemtica as palavras
que esto grifadas, isto "e", "ou", "no", "se ... ento", "... se
e somente se ..."
Exemplo:
a) a lua um satlite da Terra;
b) O sol amarelo;
c) Braslia a capital do Brasil.
Princpios Adotados como Regras Fundamentais do
Pensamento, na Lgica Matemtica
Princpio da no contradio - uma proposio no
pode ser verdadeira e falsa ao mesmo tempo.
Princpio do terceiro excludo - toda proposio ou
verdadeira ou falsa, isto , verifica-se sempre um
destes casos e nunca um terceiro.
Valores Lgicos das Proposies
Chama-se valor lgico de uma proposio a verdade se a
proposio verdadeira e a falsidade se a proposio
falsa.
Valor Lgico
Smbolo de Designao
Verdade
Falsidade
Raciocnio Lgico
Exemplo:
a) o mercrio mais pesado que a gua; valor lgico da
proposio: verdade (V)
b) o sol gira em torno da Terra; valor lgico da proposio: falsidade (F)
VERDADES E MENTIRAS
Este item trata de questes em que algumas personagens
mentem e outras falam a verdade. Trata-se de descobrir qual
o fato correto a partir das afirmaes que forem feitas por
eles, evidentemente, sem conhecer quem fala verdade ou
quem fala mentira.
Tambm no h uma teoria a respeito. A aprendizagem das
solues de questes desse tipo depende apenas de treinamento.
Um dos mtodos para resolver questes desse tipo consiste
em considerar uma das afirmaes verdadeira e, em seguida, verificar se as demais so ou no consistentes com ela.
Isto significa verificar se h ou no contradio nas demais
afirmaes.
Exemplo 1 - (Fiscal Trabalho 98 ESAF) - Um crime foi
cometido por uma e apenas uma pessoa de um grupo de
cinco suspeitos: Armando, Celso, Edu, Juarez e Tarso. Perguntados
sobre quem era o culpado, cada um deles respondeu:
Armando: "Sou inocente"
16
APOSTILAS OPO
Celso: "Edu o culpado"
Edu: "Tarso o culpado"
Juarez: "Armando disse a verdade"
Tarso: "Celso mentiu"
Sabendo-se que apenas um dos suspeitos mentiu e que
todos os outros disseram a verdade, pode-se concluir que o
culpado :
a) Armando
b) Celso
c) Edu
d) Juarez
e)
Tarso
Vamos considerar que Armando foi quem mentiu.
Neste caso ele o culpado. Isto contradiz s palavras de
Celso, pois se Armando mente, Celso teria dito uma verdade.
Teramos ento dois culpados: Armando e Tarso. Portanto,
Armando no mente.
Passemos agora a considerar Celso o mentiroso.
Isto consistente. Pois, como j foi dito, Armando diz a verdade . Edu inocente (Celso mente). Edu diz a verdade.
Juarez tambm disse uma verdade. Tarso tambm foi verdadeiro. Portanto, o culpado Tarso. Resposta: letra (e)
Exemplo 2 - (CVM 2000 ESAF) - Cinco colegas foram a um
parque de diverses e um deles entrou sem pagar. Apanhados por um funcionrio do parque, que queria saber qual
deles entrou sem pagar, ao serem interpelados:
No fui eu, nem o Manuel, disse Marcos.
Foi o Manuel ou a Maria, disse Mrio.
Foi a Mara, disse Manuel.
O Mrio est mentindo, disse Mara.
Foi a Mara ou o Marcos, disse Maria.
Sabendo-se que um e somente um dos cinco colegas mentiu, conclui-se logicamente que quem entrou sem pagar foi:
a) Mrio b) Marcos
c) Mara
d) Manuel
e) Maria
Faamos como no item anterior.
Hiptese 1: Marcos o mentiroso. Se Marcos o mentiroso, ento um dos dois entrou sem pagar. Mas como Manuel
deve dizer a verdade (s um mente), Mara entrou sem pagar.
Assim, seriam dois a entrar sem pagar Mara e Marcos ou
Mara e Manuel. Concluso Marcos fala a verdade.
Hiptese 2: Mrio o mentiroso. Nesse caso, nem Maria e
nem Manuel teria entrado sem pagar. Pois quando se usa o
ou, ser verdade desde que um deles seja verdadeiro. Esto
eliminados Marcos, Manuel e Maria, de acordo com a verdade de Marcos. Seria ento Mara pois Manuel no seria mentiroso. Mara teria dito a verdade pois, de acordo com a hiptese somente Mrio o mentiroso. Como Maria tambm no
seria a mentirosa, nem Mara nem Marcos teria entrado sem
pagar.
Portanto: Marcos, Manuel, Mario e Maria so os que pagaram a entrada e Mara a que no pagou.
Mas e se houver outra possibilidade? Devemos ento tentar
outras hipteses.
Hiptese 3: Manuel o mentiroso. Como Marcos fala a
verdade, no foi ele (Marcos) e nem o Manuel. Como Mrio
tambm fala a verdade, um dos dois Manuel ou Maria entrou
sem pagar. Mas Marcos pagou. Ento Maria entrou sem
pagar. Maria tambm diz a verdade, No teria pago a entrada, Marcos ou Mara. Mas, outra vez, Marcos pagou. Ento
Mara no pagou a entrada.
Temos duas pessoas que entraram sem pagar: Maria e Mara. Isto falso, pois somente uma pessoa no pagou a entrada.
Hiptese 4: Mara a mentirosa. No foi Marcos e nem
Manuel, segundo a afirmao de Marcos que verdadeiro.
Como no pode ter sido o Manuel, pela fala de Mrio, teria
sido Maria. Mas segundo Manuel, teria sido Mara. Novamente dois mentirosos. Hiptese que no pode ser aceita pois
teriam duas pessoas entrado sem pagar.
Hiptese 5: Maria a mentirosa. Se Maria mentirosa,
Mrio no poderia estar mentido. Ento Mara estaria falando
Raciocnio Lgico
17
APOSTILAS OPO
a) 1.
b) 2.
d) 4.
e) 5.
Soluo:
Vejamos as informaes:
(1) Os andrides do tipo M sempre mentem.
(2) Os andrides do tipo V sempre falam a verdade.
Sendo feita a pergunta, voc mente, a resposta s poderia
ser uma: NO. Pois, o mentiroso iria negar dizendo NO e o
verdadeiro tambm iria negar dizendo NO.
Como a resposta tinha que ser NO e Beta disse que alfa
respondeu SIM, Beta est mentindo.
Como Gama disse Beta est mentindo, ento Gama disse a
verdade.
Como Delta disse que Gama est mentindo, Delta um
mentiroso.
Restam agora Alfa e psilon.
psilon disse que Alfa do tipo M. Isto Alfa mentiroso.
Das duas uma: (1) se psilon fala a verdade, ele do tipo V
e Alfa do tipo M; (2) se psilon do tipo M ele mente. Ento Alfa do tipo V. Assim, um dos dois do tipo V.
Portanto, alm do andride Gama tem mais um andride do
tipo V. So ento, dois andrides do tipo V. Resposta: letra
(b) Aula 8 - internet
CONTINGNCIA
a) x + 3 = 10
b) x > 5
c) (x+1)2 5 = x2
d) x y = 20
e) Em 2004 foram registradas 800+z acidentes de
trnsito em So Paulo.
f) Ele o juiz do TRT da 5 Regio.
Tais sentenas no so consideradas proposies porque seu valor lgico (V ou F) depende do valor atribudo
varivel (x, y, z,...). O pronome ele que aparece na ltima
sentena acima, funciona como uma varivel, a qual se pode
atribuir nomes de pessoas.
H, entretanto, duas maneiras de transformar sentenas
abertas em proposies:
1) atribuir valor s variveis;
proposies contingentes,
que
no
so
necessariamente verdadeiras nem necessariamente falsas
(exemplos: H apenas trs planetas; H mais que trs
planetas).
proposies possveis, que so verdadeiras ou poderiam
ter sido verdadeiras sob certas circunstncias (exemplos: 2 +
2 = 4; H apenas trs planetas; H mais que trs planetas).
Todas as proposies necessariamente verdadeiras e
todas as proposies contingentes tambm so proposies
possveis.
LGICA MODAL
Lgica
modal se
refere
a
qualquer
sistema
de lgica formal que procure lidar com modalidades (tratar de
modos quanto a tempo, possibilidade, probabilidade, etc.).
Tradicionalmente,
as
modalidades
mais
comuns
so possibilidade e necessidade. Lgicas para lidar com
outros
termos
relacionados,
como probabilidade,eventualidade, padronizao, poder, pod
eria, deve, so por extenso tambm chamadas de lgicas
modais, j que elas podem ser tratadas de maneira similar.
Raciocnio Lgico
2) utilizar quantificadores.
A primeira maneira foi mostrada no captulo um, mas vejamos outros exemplos:
Ao atribuir a x o valor 5 na sentena aberta x + 3 = 10,
esta transforma-se na proposio 5 + 3 = 10, cujo valor lgico F.
Ao atribuir a x o valor 2 na sentena aberta (x+1)2 5 =
x2, esta transforma-se na proposio (2+1)2 5 = 22, que
resulta em 4 = 4, tendo, portanto, valor lgico V.
A seguir, veremos a transformao de uma sentena aberta numa proposio por meio de quantificadores.
Quantificadores
Consideremos as afirmaes:
a) Todo sangue vermelho.
b) Cada um dos alunos participar da excurso.
c) Algum animal selvagem.
d) Pelo menos um professor no rico.
18
APOSTILAS OPO
e) Existe uma pessoa que poliglota.
f) Nenhum crime perfeito.
Expresses como todo, cada um, "algum", "pelo menos um", existe, nenhum so quantificadores.
H fundamentalmente dois tipos de quantificadores: Universal e Existencial.
So quantificadores:
outro(s)
pouco(s)
quantos
tanto(s)
qualquer / quaisquer
certo(s)
todo(s)
ambos
algum / alguns
vrio(s) / vria(s)
Desde Aristteles, seu primeiro grande organizador, os estudos da lgica orientaram-se em duas direes principais: a
Na lgica de predicados, a quantificao universal
da lgica formal, tambm chamada de lgica menor e a da
uma formalizao da noo de que algumas coisas so verlgica material, tambm conhecida como lgica maior.
dadeiras para todas as coisas, ou para todas as coisas relevantes. O resultado uma afirmao universalmente quantiA lgica formal preocupa-se com a correo formal do
ficada. Em smbolos lgicos, o quantificador universal (usupensamento.
Para oesse campo de estudos da lgica, o conalmente
)
universo
o smbolo
de
usado
para denotar
tedo ou a matria do raciocnio tem uma importncia relatiquantificao, informalmente lido como "para todo".
va. A preocupao sempre ser com a sua forma. A forma
respeitada quando se preenchem as exigncias de coerncia
Na lgica de predicados, um quantificador existencial
interna, mesmo que as concluses possam ser absurdas do
a predicao de uma propriedade ou relao para, pelo meponto de vista material (contedo). Nem sempre um raciocnos, umel emento do domnio.
nio formalmente correto corresponde quilo que chamamos
de realidade dos fatos.
LGICA DE ARGUMENTAO
1. Introduo
Desde suas origens na Grcia Antiga, especialmente de
Aristteles (384-322 a.C.) em diante, a lgica tornou-se um
dos campos mais frteis do pensamento humano, particularmente da filosofia. Em sua longa histria e nas mltiplas
modalidades em que se desenvolveu, sempre foi bem claro
seu objetivo: fornecer subsdios para a produo de um bom
raciocnio.
Por raciocnio, entende-se tanto uma atividade mental
quanto o produto dessa atividade. Esse, por sua vez, pode
ser analisado sob muitos ngulos: o psiclogo poder estudar o papel das emoes sobre um determinado raciocnio; o
socilogo considerar as influncias do meio; o criminlogo
levar em conta as circunstncias que o favoreceram na
prtica de um ato criminoso etc. Apesar de todas estas possibilidades, o raciocnio estudado de modo muito especial
no mbito da lgica. Para ela, pouco importam os contextos
psicolgico, econmico, poltico, religioso, ideolgico, jurdico
ou de qualquer outra esfera que constituam o ambiente do
raciocnio.
Ao lgico, no interessa se o raciocnio teve esta ou aquela motivao, se respeita ou no a moral social, se teve influncias das emoes ou no, se est de acordo com uma
doutrina religiosa ou no, se foi produzido por uma pessoa
embriagada ou sbria. Ele considera a sua forma. Ao considerar a forma, ele investiga a coerncia do raciocnio, as
relaes entre as premissas e a concluso, em suma, sua
obedincia a algumas regras apropriadas ao modo como foi
formulado etc.
Raciocnio Lgico
19
APOSTILAS OPO
Em seu conjunto, a lgica investiga as regras adequadas
produo de um raciocnio vlido, por meio do qual visa-se
consecuo da verdade, seja ela formal ou material. Relacionando a lgica com a prtica, pode-se dizer que importante que se obtenha no somente uma verdade formal, mas,
tambm, uma verdade que corresponda experincia. Que
seja, portanto, materialmente vlida. A conexo entre os
princpios formais da lgica e o contedo de seus raciocnios
pode ser denominada de lgica informal. Trata-se de uma
lgica aplicada ao plano existencial, vida quotidiana.
Raciocnio Lgico
20
APOSTILAS OPO
de acordo com a intencionalidade presente no ato mental.
Como resultado, a expresso mulher rica pode ser tratada
como dois termos: pode ser uma pessoa do sexo feminino
cujos bens materiais ou financeiros esto acima da mdia ou
aquela cuja trajetria existencial destaca-se pela bondade,
virtude, afetividade e equilbrio.
Para que no se obstrua a coerncia do raciocnio, preciso que fique bem claro, em funo do contexto ou de uma
manifestao de quem emite o juzo, o significado dos termos empregados no discurso.
1.5. Princpios lgicos
Existem alguns princpios tidos como conditio sine qua
non para que a coerncia do raciocnio, em absoluto, possa
ocorrer. Podem ser entendidos como princpios que se referem tanto realidade das coisas (plano ontolgico), quanto
ao pensamento (plano lgico), ou seja, se as coisas em geral
devem respeitar tais princpios, assim tambm o pensamento
deve respeit-los. So eles:
a) Princpio da identidade, pelo qual se delimita a realidade de um ser. Trata-se de conceituar logicamente qual a
identidade de algo a que se est fazendo referncia. Uma
vez conceituada uma certa coisa, seu conceito deve manterse ao longo do raciocnio. Por exemplo, se estou falando de
um homem chamado Pedro, no posso estar me referindo a
Antnio.
b) Princpio da no-contradio. Se algo aquilo que ,
no pode ser outra coisa, sob o mesmo aspecto e ao mesmo
tempo. Por exemplo, se o brasileiro Joo est doente agora,
no est so, ainda que, daqui a pouco possa vir a curar-se,
embora, enquanto Joo, ele seja brasileiro, doente ou so; c)
Princpio da excluso do terceiro termo. Entre o falso e o
verdadeiro no h meio termo, ou falso ou verdadeiro. Ou
est chovendo ou no est, no possvel um terceiro termo: est meio chovendo ou coisa parecida.
A lgica clssica e a lgica matemtica aceitam os trs
princpios como suas pedras angulares, no entanto, mais
recentemente, Lukasiewicz e outros pensadores desenvolveram sistemas lgicos sem o princpio do terceiro excludo,
admitindo valor lgico no somente ao falso e ao verdadeiro,
como tambm ao indeterminado.
2. Argumentao e Tipos de Raciocnio
Conforme vimos, a argumentao o modo como exposto um raciocnio, na tentativa de convencer algum de
alguma coisa. Quem argumenta, por sua vez, pode fazer uso
de diversos tipos de raciocnio. s vezes, so empregados
raciocnios aceitveis do ponto de vista lgico, j, em outras
ocasies, pode-se apelar para raciocnios fracos ou invlidos
sob o mesmo ponto de vista. bastante comum que raciocnios desse tipo sejam usados para convencer e logrem o
efeito desejado, explorando a incapacidade momentnea ou
persistente de quem est sendo persuadido de avaliar o valor
lgico do raciocnio empregado na argumentao.
Um bom raciocnio, capaz de resistir a crticas, precisa ser
dotado de duas caractersticas fundamentais: ter premissas
aceitveis e ser desenvolvido conforme as normas apropriadas. Dos raciocnios mais empregados na argumentao,
merecem ser citados a analogia, a induo e a deduo. Dos
trs, o primeiro o menos preciso, ainda que um meio bastante poderoso de convencimento, sendo bastante usado
pela filosofia, pelo senso comum e, particularmente, nos
discursos jurdico e religioso; o segundo amplamente empregado pela cincia e, tambm, pelo senso comum e, por
Raciocnio Lgico
21
APOSTILAS OPO
"a) Os elementos comparados devem ser verdadeiros e
relevantes, no imaginrios ou insignificantes."
Analogia forte - Ana Maria sempre teve bom gosto ao
comprar suas roupas, logo, ter bom gosto ao comprar as
roupas de sua filha.
Analogia fraca - Joo usa terno, sapato de cromo e perfume francs e um bom advogado;
Antnio usa terno, sapato de cromo e perfume francs; logo, deve ser um bom advogado.
b) O nmero de aspectos semelhantes entre uma situao
e outra deve ser significativo.tc "b) O nmero de aspectos
semelhantes entre uma situao e outra deve ser significativo."
Analogia forte - A Terra um planeta com atmosfera,
com clima ameno e tem gua; em Marte, tal como na Terra,
houve atmosfera, clima ameno e gua; na Terra existe vida,
logo, tal como na Terra, em Marte deve ter havido algum tipo
de vida.
Analogia fraca - T. Edison dormia entre 3 e 4 horas por
noite e foi um gnio inventor; eu dormirei durante 3 1/2 horas
por noite e, por isso, tambm serei um gnio inventor.
c) No devem existir divergncias marcantes na comparao.tc "c) No devem existir divergncias marcantes na comparao.."
Analogia forte - A pescaria em rios no proveitosa por
ocasio de tormentas e tempestades;
a pescaria marinha no est tendo sucesso porque troveja
muito.
Analogia fraca - Os operrios suos que recebem o salrio mnimo vivem bem; a maioria dos operrios brasileiros, tal
como os operrios suos, tambm recebe um salrio mnimo; logo, a maioria dos operrios brasileiros tambm vive
bem, como os suos.
Pode-se notar que, no caso da analogia, no basta considerar a forma de raciocnio, muito importante que se avalie
o seu contedo. Por isso, esse tipo de raciocnio no admitido pela lgica formal. Se as premissas forem verdadeiras, a
concluso no o ser necessariamente, mas possivelmente,
isto caso cumpram-se as exigncias acima.
Tal ocorre porque, apesar de existir uma estrutura geral do
raciocnio analgico, no existem regras claras e precisas
que, uma vez observadas, levariam a uma concluso necessariamente vlida.
O esquema bsico do raciocnio analgico :
A N, L, Y, X;
B, tal como A, N, L, Y, X;
A , tambm, Z
logo, B, tal como A, tambm Z.
Se, do ponto de vista da lgica formal, o raciocnio analgico precrio, ele muito importante na formulao de
hipteses cientficas e de teses jurdicas ou filosficas. Contudo, as hipteses cientficas oriundas de um raciocnio analgico necessitam de uma avaliao posterior, mediante
procedimentos indutivos ou dedutivos.
Raciocnio Lgico
22
APOSTILAS OPO
Os exemplos acima sugerem, sob o ponto de vista do valor lgico, dois tipos de induo: a induo fraca e a induo
forte. forte quando no h boas probabilidades de que um
caso particular discorde da generalizao obtida das premissas: a concluso nenhuma cobra voa tem grande probalidade de ser vlida. J, no caso do gato preto, no parece
haver sustentabilidade da concluso, por se tratar de mera
coincidncia, tratando-se de uma induo fraca. Alm disso,
h casos em que
uma simples anlise das premissas suficiente para detectar a sua fraqueza.
Vejam-se os exemplos das concluses que pretendem ser
aplicadas ao comportamento da totalidade dos membros de
um grupo ou de uma classe tendo como modelo o comportamento de alguns de seus componentes:
1. Adriana mulher e dirige mal;
Ana Maria mulher e dirige mal;
Mnica mulher e dirige mal;
Carla mulher e dirige mal;
logo, todas as mulheres dirigem mal.
2. Antnio Carlos poltico e corrupto;
Fernando poltico e corrupto;
Paulo poltico e corrupto;
Estevo poltico e corrupto;
logo, todos os polticos so corruptos.
A avaliao da suficincia ou no dos elementos no tarefa simples, havendo muitos exemplos na histria do conhecimento indicadores dos riscos das concluses por induo.
Basta que um caso contrarie os exemplos at ento colhidos
para que caia por terra uma verdade por ela sustentada.
Um exemplo famoso o da cor dos cisnes. Antes da descoberta da Austrlia, onde foram encontrados cisnes pretos,
acreditava-se que todos os cisnes fossem brancos porque
todos os at ento observados eram brancos. Ao ser visto o
primeiro cisne preto, uma certeza de sculos caiu por terra.
2.2.1. Procedimentos indutivos
Apesar das muitas crticas de que passvel o raciocnio
indutivo, este um dos recursos mais empregados pelas
cincias para tirar as suas concluses. H dois procedimentos principais de desenvolvimento e aplicao desse tipo de
raciocnio: o da induo por enumerao incompleta suficiente e o da induo por enumerao completa.
a. Induo por enumerao incompleta suficiente
Nesse procedimento, os elementos enumerados so tidos
como suficientes para serem tiradas determinadas concluses. o caso do exemplo das cobras, no qual, apesar de
no poderem ser conferidos todos os elementos (cobras) em
particular, os que foram enumerados so representativos do
todo e suficientes para a generalizao (todas as cobras...)
b. Induo por enumerao completa
Costuma-se tambm classificar como indutivo o raciocnio
baseado na enumerao completa.
Ainda que alguns a classifiquem como tautologia, ela ocorre quando:
b.a. todos os casos so verificados e contabilizados;
b.b. todas as partes de um conjunto so enumeradas.
Raciocnio Lgico
23
APOSTILAS OPO
b) A probabilidade moral a relativa a fatos humanos
destitudos de carter matemtico. o caso da possibilidade
de um comportamento criminoso ou virtuoso, de uma reao
alegre ou triste etc.
Exemplos: considerando seu comportamento pregresso,
provvel que Pedro no tenha cometido o crime, contudo...
Conhecendo-se a meiguice de Maria, provvel que ela o
receba bem, mas...
c) A probabilidade natural a relativa a fenmenos naturais dos quais nem todas as possibilidades so conhecidas.
A previso meteorolgica um exemplo particular de probalidade natural. A teoria do caos assenta-se na tese da imprevisibilidade relativa e da descrio apenas parcial de alguns
eventos naturais.
Por lidarem com probabilidades, a induo e a analogia
so passveis de concluses inexatas.
Assim sendo, deve-se ter um relativo cuidado com as suas
concluses. Elas expressam muito bem a necessidade humana de explicar e prever os acontecimentos e as coisas,
contudo, tambm revelam as limitaes humanas no que diz
respeito construo do conhecimento.
2.3. Raciocnio dedutivo - do geral ao particular
O raciocnio dedutivo, conforme a convico de muitos estudiosos da lgica, aquele no qual so superadas as deficincias da analogia e da induo.
No raciocnio dedutivo, inversamente ao indutivo, parte-se
do geral e vai-se ao particular. As inferncias ocorrem a partir
do progressivo avano de uma premissa de cunho geral,
para se chegar a uma concluso to ou menos ampla que a
premissa. O silogismo o melhor exemplo desse tipo de
raciocnio:
Premissa maior: Todos os homens so mamferos. universal
Premissa menor: Pedro homem.
Concluso: Logo, Pedro mamfero. Particular
No raciocnio dedutivo, de uma premissa de cunho geral
podem-se tirar concluses de cunho particular.
Aristteles refere-se deduo como a inferncia na
qual, colocadas certas coisas, outra diferente se lhe segue
necessariamente, somente pelo fato de terem sido postas.
Uma vez posto que todos os homens so mamferos e que
Pedro homem, h de se inferir, necessariamente, que Pedro um mamfero. De certo modo, a concluso j est presente nas premissas, basta observar algumas regras e inferir
a concluso.
2.3.1. Construo do Silogismo
A estrutura bsica do silogismo (sn/com + lgos/razo)
consiste na determinao de uma premissa maior (ponto de
partida), de uma premissa menor (termo mdio) e de uma
concluso, inferida a partir da premissa menor. Em outras
palavras, o silogismo sai de uma premissa maior, progride
atravs da premissa menor e infere, necessariamente, uma
concluso adequada.
Eis um exemplo de silogismo:
Todos os atos que ferem a lei so punveis Premissa Maior
A concusso um ato que fere a lei Premissa Menor
Logo, a concusso punvel Concluso
Raciocnio Lgico
24
APOSTILAS OPO
Termo Mdio: Ora os ignorantes so homens
Termo Menor: Logo, os ignorantes so sbios
O predicado homens do termo mdio no universal,
mas particular.
2.3.1.1.2. Regras das Premissas
5) De duas premissas negativas, nada se conclui.
Exemplo de formulao incorreta:
Premissa Maior: Nenhum gato mamfero
Premissa Menor: Lulu no um gato.
Concluso: (?).
6) De duas premissas afirmativas, no se tira uma concluso negativa.
Exemplo de formulao incorreta:
Premissa Maior: Todos os bens morais devem ser desejados.
Premissa Menor: Ajudar ao prximo um bem moral.
Concluso: Ajudar ao prximo no (?) deve ser desejado.
7) A concluso segue sempre a premissa mais fraca. A
premissa mais fraca sempre a de carter negativo.
Exemplo de formulao incorreta:
Premissa Maior: As aves so animais que voam.
Premissa Menor: Alguns animais no so aves.
Concluso: Alguns animais no voam.
Exemplo de formulao incorreta:
Premissa Maior: As aves so animais que voam.
Premissa Menor: Alguns animais no so aves.
Concluso: Alguns animais voam.
8) De duas premissas particulares nada se conclui.
Exemplo de formulao incorreta:
Premissa Maior: Mimi um gato.
Premissa Menor: Um gato foi covarde.
Concluso: (?)
http://www.guiadoconcursopublico.com.br/apostilas/24_12
0.pdf
Raciocnio Lgico
25
APOSTILAS OPO
soa x, sejam f(x) o pai de x e g(x) a me de x. A esse respeito, assinale a afirmativa FALSA.
a) f[f(x)] = av paterno de x
b) g[g(x)] = av materna de x
c) f[g(x)] = av materno de x
d) f[g(x)] = g[f(x)]
10) Numa avenida reta h cinco pontos comerciais, todos do
mesmo lado da rua. A farmcia fica entre a padaria e o restaurante, a padaria fica entre o supermercado e a lotrica e o
supermercado fica entre o restaurante e a farmcia. Nessas
condies, qual das proposies abaixo verdadeira?
a) O supermercado fica entre a padaria e a lotrica.
b) A lotrica fica entre a padaria e o supermercado.
c) Para ir do supermercado lotrica, passa-se em frente ao
restaurante.
d) A farmcia fica entre o supermercado e a padaria.
11) Andr inocente ou Beto inocente. Se Beto inocente,
ento Caio culpado. Caio inocente se e somente se Dnis culpado. Ora, Dnis culpado. Logo:
a) Caio e Beto so inocentes
b) Andr e Caio so inocentes
c) Andr e Beto so inocentes
d) Caio e Dnis so culpados
12) Qual das alternativas a seguir melhor representa a afirmao: Para todo fato necessrio um ato gerador?
a) possvel que algum fato no tenha ato gerador.
b) No possvel que algum fato no tenha ato gerador.
c) necessrio que algum fato no tenha ato gerador.
d) No necessrio que todo fato tenha um ato gerador.
13) (QUESTES DE RACIOCNIO LGICO) Marcos que
pesar trs mas numa balana de dois pratos, mas ele
dispes apenas de um bloco de 200 gramas. Observando o
equilbrio na balana, ele percebe que a ma maior tem o
mesmo peso que as outras duas mas; o bloco e a ma
menor pesam tanto quanto as outras duas mas; a ma
maior junto com a menor pesam tanto quanto o bloco. Qual
o peso total das trs mas?
a) 300 gramas.
b) 150 gramas.
c) 100 gramas.
d) 50 gramas.
14) Se Joo toca piano, ento Lucas acorda cedo e Cristina
no consegue estudar. Mas Cristina consegue estudar. Segue-se logicamente que:
a) Lucas acorda cedo.
b) Lucas no acorda cedo.
c) Joo toca piano.
d) Joo no toca piano.
15) Alice entra em uma sala onde h apenas duas sadas,
uma que fica a Leste e outra a Oeste. Uma das sadas leva
ao Paraso, a outra ao Inferno. Na sala, tambm h dois
homens, um alto e outro baixo. Um dos homens apenas fala
a verdade, o outro apenas diz o falso. Ento, Alice mantm o
seguinte dilogo com um deles:
- O homem baixo diria que a sada do Leste que leva ao
Paraso? - questiona Alice.
- Sim, o homem baixo diria que a sada do Leste que levaria ao Paraso - diz o homem alto.
Considerando essa situao, pode-se afirmar que:
a) o homem alto necessariamente disse algo falso, mas a
porta Leste leva ao Paraso.
b) o homem alto necessariamente disse a verdade e a porta
Leste leva ao Inferno.
c) a porta Leste necessariamente leva ao Paraso, mas no
se pode dizer se o homem alto disse a verdade ou no.
d) a porta Leste necessariamente leva ao Inferno, mas no
Raciocnio Lgico
26
APOSTILAS OPO
22) A negao lgica da proposio "O pai de Marcos pernambucano, e a me de Marcos gacha" :
a) "O pai de Marcos no pernambucano, e a me de Marcos no gacha".
b) "O pai de Marcos no pernambucano, ou a me de Marcos no gacha".
c) "O pai de Marcos no pernambucano, ou a me de Marcos gacha".
d) "O pai de Marcos pernambucano, e a me de Marcos
no gacha".
c) 28;
d) 21;
Gabarito
1.D 2.A 3.D 4.B 5.B 6.A 7.D 8.D 9.D 10.D 11.B 12.B 13.A
14.D 15.D 16.D 17.C 18.B 19.D 20.D 21.A 22.B 23.A 24.D
25.B 26.C 27.B 28.D 29.A 30.D
Postado por cleiton silva
Raciocnio Lgico
27
APOSTILAS OPO
lgica de predicados o uso dos quantificadores todo, algum
e nenhum. por esse motivo que a validade de um argumento como o (2) depende da estrutura interna das sentenas. A diferena entre a lgica sentencial e a lgica de predicados ficar mais clara no decorrer desta e da prxima unidade.
Usualmente o estudo da lgica comea pela lgica sentencial, e seguiremos esse caminho aqui. Nesta unidade
vamos estudar alguns elementos da lgica sentencial. Na
prxima unidade, estudaremos elementos da lgica de predicados.
2. Sentenas atmicas e moleculares
Considere-se a sentena
(1) Lula brasileiro.
A sentena (1) composta por um nome prprio, Lula, e
um predicado, ... brasileiro. Em lgica, para evitar o uso
de ..., usamos uma varivel para marcar o(s) lugar(es) em
que podemos completar um predicado. Aqui, expresses do
tipo x brasileiro designam predicados. Considere agora a
sentena (2) Xuxa me de Sasha.
A sentena (2) pode ser analisada de trs maneiras diferentes, que correspondem a trs predicados diferentes que
podem ser formados a partir de (2):
(2a) x me de Sasha;
(2b) Xuxa me de x;
(2c) x me de y.
Do ponto de vista lgico, em (2c) temos o que chamado
de um predicado binrio, isto , um predicado que, diferentemente de x brasileiro, deve completado por dois nomes
prprios para formar uma sentena.
As sentenas (1) e (2) acima so denominadas sentenas
atmicas. Uma sentena atmica uma sentena formada
por um predicado com um ou mais espaos vazios, sendo
todos os espaos vazios completados por nomes prprios.
Sentenas atmicas no contm nenhum dos operadores
lgicos e, ou, se...ento etc., nem os quantificadores todo,
nenhum, algum etc.
Sentenas moleculares so sentenas formadas com o
auxlio dos operadores sentenciais. Exemplos de sentenas
moleculares so
(3) Lula brasileiro e Zidane francs,
(4) Se voc beber, no dirija,
(5) Joo vai praia ou vai ao clube.
3. A interpretao vero-funcional dos operadores sentenciais
Os operadores sentenciais que estudaremos aqui so as
partculas do portugus no, ou, e, se...ento, se, e somente
se. A lgica sentencial interpreta esses operadores como
funes de verdade ou vero-funcionalmente. Isso significa
que eles operam apenas com os valores de verdade dos
seus operandos, ou em outras palavras, o valor de verdade
de uma sentena formada com um dos operadores determinado somente pelos valores de verdade das sentenas
que a constituem.
Os operadores sentenciais se comportam de uma maneira anloga s funes matemticas. Estas recebem nmeros
como argumentos e produzem nmeros como valores. Os
operadores sentenciais so funes porque recebem valores
de verdade como argumentos e produzem valores de verdade. Considere-se a seguinte funo matemtica:
(4) y =x + 1.
Dizemos que y =f(x), is to ,
y fun o de x
, o que s g
i-
Raciocnio Lgico
28
APOSTILAS OPO
ABAeB
VVV
VFF
FVF
FFF
Note que, na interpretao vero-funcional da conjuno,
A e B equivalente a B e A. No faz diferena alguma afirmarmos (11) ou (14) Pedro foi ao futebol e Joo foi praia.
importante observar que a interpretao vero-funcional
da conjuno no expressa todos os usos da partcula e em
portugus. A sentena
(15) Maria e Pedro tiveram um filho e casaram no equivalente a
(16) Maria e Pedro casaram e tiveram um filho.
Em outras palavras, o e que ocorre em (15) e (16) no
uma funo de verdade.
6. A disjuno
Uma sentena do tipo A ou B denominada uma disjuno. H dois tipos de disjuno, a inclusiva e a exclusiva.
Ambas tomam dois valores de verdade como argumentos e
produzem um valor de verdade como resultado. Comearei
pela disjuno inclusiva. Considere-se a sentena
(17) Ou Joo vai praia ou Joo vai ao clube, que formada pela sentenas
(18) Joo vai praia
e
(19) Joo vai ao clube combinadas pelo operador ou. A
sentena (17) verdadeira em trs situaes:
(i) Joo vai praia e tambm vai ao clube;
(ii) Joo vai praia mas no vai ao clube e
(iii) Joo no vai praia mas vai ao clube.
A tabela de verdade da disjuno inclusiva a seguinte:
A B A ou B
VVV
VFV
FVV
FFF
No sentido inclusivo do ou, uma sentena A ou B verdadeira quando uma das sentenas A e B verdadeira ou
quando so ambas verdadeiras, isto , a disjuno inclusiva
admite a possibilidade de A e B serem simultaneamente
verdadeiras.
No sentido exclusivo do ou, uma sentena A ou B verdadeira apenas em duas situaes:
(i) A verdadeira e B falsa;
(ii) B verdadeira e A e falsa.
No h, na disjuno exclusiva, a possibilidade de serem
ambas as sentenas verdadeiras. A tabela de verdade da
disjuno exclusiva
A B A ou B
VVF
VFV
FVV
FFF
Um exemplo de disjuno exnclusiva
(20) Ou o PMDB ou o PP receber o ministrio da sade,
que formada a partir das sentenas:
(21) o PMDB receber o ministrio da sade;
(22) o PP receber o ministrio da sade.
Quando se diz que um determinado partido receber um
ministrio, isso significa que um membro de tal partido ser
nomeado ministro. Posto que h somente um ministro da
Raciocnio Lgico
29
APOSTILAS OPO
Raciocnio Lgico
9. Negaes
Agora ns vamos aprender a negar sentenas construdas com os operadores sentenciais.
Negar uma sentena o mesmo afirmar que a sentena
falsa. Por esse motivo, para negar uma sentena construda com os operadores sentenciais e, ou e se...ento, basta
afirmar a(s) linha(s) da tabela de verdade em que a sentena
falsa.
9a. Negao da disjuno
Comecemos pelos caso mais simples, a disjuno (inclusiva). Como vimos, uma disjuno A ou B falsa no caso em
que tanto A quanto B so falsas. Logo, para negar uma disjuno, ns precisamos dizer que A falsa e tambm que B
falsa, isto , no A e no B. Fica como exerccio para o
leitor a construo das tabelas de verdade de A ou B e no A
30
APOSTILAS OPO
e no B para constatar que so idnticas.
(1) Joo comprou um carro ou uma moto.
A negao de (1) :
(2) Joo no comprou um carro e no comprou uma moto,
ou
(3) Joo nem comprou um carro, nem comprou uma moto.
Na linguagem natural, freqentemente formulamos a negao de uma disjuno com a expresso nem...nem. Nem
A, nem B significa o mesmo que no A e no B.
(4) O PMDB receber o ministrio da sade ou o PP receber o ministrio da cultura.
A negao de (4) :
(5) Nem o PMDB receber o ministrio da sade, nem o
PP receber o ministrio da cultura.
Exerccio: complete a coluna da direita da tabela abaixo
com a negao das sentenas do lado esquerdo.
DISJUNO NEGAO
A ou B no A e no B
A ou no B
no A ou B
no A ou no B
9b. Negao da conjuno
Por um raciocnio anlogo ao utilizado na negao da disjuno, para negar uma conjuno precisamos afirmar os
casos em que a conjuno falsa. Esses casos so a segunda, a terceira e a quarta linhas da tabela de verdade. Isto
, A e B falsa quando:
(i) A falsa,
(ii) B falsa ou
(iii) A e B so ambas falsas.
fcil perceber que basta uma das sentenas ligadas pelo e ser falsa para a conjuno ser falsa. A negao de A e
B, portanto, no A ou no B. Fica como exerccio para o
leitor a construo das tabelas de verdade de A e B e no A
ou no B para constatar que so idnticas.
Exemplos de negaes de conjunes:
(6) O PMDB receber o ministrio da sade e o ministrio
da cultura.
A negao de (6)
(6a) Ou PMDB no receber o ministrio da sade, ou
no receber o ministrio da cultura.
(7) Beba e dirija.
A negao de (7)
(7a) no beba ou no dirija.
Fonte: http://abilioazambuja.sites.uol.com.br/1d.pdf
QUESTES I
01. Sendo p a proposio Paulo paulista e q a proposio
Ronaldo carioca, traduzir para a linguagem corrente as
seguintes proposies:
a) ~q
b) p ^ q
c) p v q
d) p " q
e) p " (~q)
02. Sendo p a proposio Roberto fala ingls e q a proposio Ricardo fala italiano traduzir para a linguagem simblica
as seguintes proposies:
a) Roberto fala ingls e Ricardo fala italiano.
b) Ou Roberto no fala ingls ou Ricardo fala italiano.
c) Se Ricardo fala italiano ento Roberto fala ingls.
d) Roberto no fala ingls e Ricardo no fala italiano.
03. (UFB) Se p uma proposio verdadeira, ento:
a) p ^ q verdadeira, qualquer que seja q;
Raciocnio Lgico
31
04. C
05. A
06. C
APOSTILAS OPO
07. C
08. C
10. C
http://www.coladaweb.com/matematica/logica
JULGUE SE PROPOSIO E JUSTIFIQUE:
1. Paulo alto.
2. Ele foi o melhor jogador da copa.
3. x > y
4. Rossana mais velha que Marcela?
5. Mrio pintor
6. x + 2 = 5
7. 3 + 4 = 9
8. um pssimo livro de geografia
9. Se x um nmero primo ento x um nmero real
10. x um nmero primo.
GABARITO
1.proposio
2. vaga ou sentena aberta
3.sentena aberta
4. interrogativa
5. proposio
6. sentena aberta
7. proposio
8. proposio
9. proposio ( varivel no livre )
10. sentena aberta ou imperativa
TESTES
1. Julgue se a afirmao a seguir CERTA ou
ERRADA.
H duas proposies no seguinte conjunto de
sentenas:
I O BB foi criado em 1980.
II Faa seu trabalho corretamente.
III Manuela tem mais de 40 anos de idade.
2. Julgue com CERTO ou ERRADO:
Na lista de frases apresentadas a seguir, h
exatamente trs proposies.
a frase dentro destas aspas uma mentira
A expresso x + y positiva
O valor de + 3 = 7
Pel marcou dez gols para a seleo brasileira.
O que isto?
3. Agente Fiscal de Rendas Nvel I / SP 2006
FCC
Considere as seguintes frases:
I Ele foi o melhor jogador do mundo em 2005.
II (x + y) / 5 um nmero inteiro
III Joo da Silva foi o Secretrio da Fazenda do
Estado de So Paulo em 2000.
verdade que APENAS
a) I e II so sentenas abertas
b) I e III so sentenas abertas
c) II e III so sentenas abertas
d) I uma sentena aberta
e) II uma sentena aberta
4. Das cinco frases abaixo, quatro delas tm
uma mesma caracterstica lgica em comum,
enquanto uma delas no tem essa
caracterstica.
I Que belo dia!
II Um excelente livro de raciocnio lgico.
III O jogo terminou empatado?
IV Existe vida em outros planetas do universo.
V Escreva uma poesia.
A frase que no possui essa caracterstica
comum a
a) I
b) II
Raciocnio Lgico
c) III
d) IV
e) V
5. CESPE (Adaptado) JULGUE COM CERTO
OU ERRADO:
Das cinco (5) afirmaes abaixo, trs delas
so proposies.
I Mariana mora em Pima.
II Em Vila Velha, visite o Convento da Penha.
III A expresso algbrica x + y positiva.
IV Se Joana economista, ento ela no
entende de polticas pblicas.
V A SEGER oferece 220 vagas em concurso
pblico.
GABARITO
1. certa
2. errada
3.A
4.D
5. certa
ESTRUTURAS LGICAS
As questes de Raciocnio Lgico sempre vo ser compostas por proposies que provam, do suporte, do razo
a algo, ou seja, so afirmaes que expressam um pensamento de sentindo completo. Essas proposies podem ter
um sentindo positivo ou negativo.
Exemplo 1: Joo anda de bicicleta.
Exemplo 2: Maria no gosta de banana.
Tanto o exemplo 1 quanto o 2 caracterizam uma afirmao/proposio.
A base das estruturas lgicas saber o que verdade ou mentira (verdadeiro/falso).
Os resultados das proposies SEMPRE tem que dar
verdadeiro.
H alguns princpios bsicos:
Contradio: Nenhuma proposio pode ser verdadeira e
falsa ao mesmo tempo.
Terceiro Excludo: Dadas duas proposies lgicas contraditrias somente uma delas verdadeira. Uma proposio
ou verdadeira ou falsa, no h um terceiro valor lgico
(mais ou menos, meio verdade ou meio mentira).
Ex. Estudar fcil. (o contrrio seria: Estudar difcil.
No existe meio termo, ou estudar fcil ou estudar difcil).
Para facilitar a resoluo das questes de lgica usam-se
os Conectivos Lgicos, que so smbolos que comprovam
a veracidade das informaes e unem as proposies uma a
outra ou as transformam numa terceira proposio.
Veja abaixo:
(~) no: negao
() e: conjuno
(V) ou: disjuno
() se...ento: condicional
() se e somente se: bicondicional
Agora, vejamos na prtica como funcionam estes conectivos:
32
APOSTILAS OPO
CONDICIONAL (smbolo )
Este conectivo d a ideia de condio para que a outra
proposio exista. P ser condio suficiente para Q e Q
condio necessria para P.
Ex4.: P Q. (Se o Po barato ento o Queijo no
bom.) = se...ento
~P
PQ
BICONDICIONAL (smbolo )
O resultado dessas proposies ser verdadeiro se e
somente se as duas forem iguais (as duas verdadeiras ou as
duas falsas). P ser condio suficiente e necessria para
Q
Ex5.: P Q. (O Po barato se e somente se o Queijo
no bom.) = se e somente se
CONJUNO (smbolo ):
Este conectivo utilizado para unir duas proposies
formando uma terceira. O resultado dessa unio somente
ser verdadeiro se as duas proposies (P e Q) forem verdadeiras, ou seja, sendo pelo menos uma falsa, o resultado
ser FALSO.
PQ
PQ
Fonte: http://www.concursospublicosonline.com/
TABELA VERDADE
Tabela-verdade, tabela de verdade ou tabela veritativa
um tipo de tabela matemtica usada em Lgica para
determinar se uma frmula vlida ou se um sequente
correto.
As tabelas-verdade derivam do trabalho de Gottlob Frege,
Charles Peirce e outros da dcada de 1880, e tomaram a
forma atual em 1922 atravs dos trabalhos de Emil Post e
Ludwig Wittgenstein. A publicao do Tractatus LogicoPhilosophicus, de Wittgenstein, utilizava as mesmas para
classificar funes veritativas em uma srie. A vasta
influncia de seu trabalho levou, ento, difuso do uso de
tabelas-verdade.
Como construir uma Tabela Verdade
PVQ
Raciocnio Lgico
33
C) , (AB)C , AB ,
APOSTILAS OPO
Negao
~A
V
V
F
F
V
F
V
F
A(B
F
V
V
F
Conjuno (E)
A conjuno verdadeira se e somente se os operandos
so verdadeiros
B
V
F
V
F
A
V
V
F
F
AB
V
F
F
V
B
V
F
V
F
V
V
F
F
V
F
V
F
AB
A(B
V
V
V
F
F
F
F
V
A^B
V
F
F
F
Disjuno (OU)
A disjuno falsa se, e somente se ambos os
operandos forem falsos
A
V
V
F
F
B
V
F
V
F
A
V
V
F
F
AvB
V
V
V
F
B
V
F
V
F
AB
V
F
V
V
Modus tollens
B
V
F
V
F
A
V
V
F
F
AB
V
F
V
V
B
V
F
V
F
A
F
F
V
V
B
F
V
F
V
AB
V
F
V
V
Silogismo Hipottico
Raciocnio Lgico
34
APOSTILAS OPO
A
V
V
V
V
F
F
F
F
B
V
V
F
F
V
V
F
F
C
V
F
V
F
V
F
V
F
AB
V
V
F
F
V
V
V
V
BC
V
F
V
V
V
F
V
V
AC
V
F
V
F
V
V
V
V
Algumas falcias
Afirmao do conseqente
Se A, ento B. (AB)
B.
Logo, A.
A
V
V
F
F
B
V
F
V
F
AB
V
F
V
V
B
V
F
V
F
AB
V
F
V
V
BA
V
V
F
V
Fonte: Wikipdia
DIAGRAMAS LGICOS
Histria
Para entender os diagramas lgicos vamos dar uma rpida passada em sua origem.
O suo Leonhard Euler (1707 1783) por volta de 1770,
ao escrever cartas a uma princesa da Alemanha, usou os
diagramas ao explicar o significado das quatro proposies
categricas:
Todo A B.
Algum A B.
Nenhum A B.
Algum A no B.
Mais de 100 anos depois de Euler, o logicista ingls John
Venn (1834 1923) aperfeioou o emprego dos diagramas,
utilizando sempre crculos. Desta forma, hoje conhecemos
como diagramas de Euler/Venn.
Tipos
Raciocnio Lgico
35
APOSTILAS OPO
A arte que dirige o prprio ato da razo, ou seja, nos
permite chegar com ordem, facilmente e sem erro, ao prprio
ato da razo o raciocnio (Jacques Maritain).
A lgica o estudo dos mtodos e princpios usados para distinguir o raciocnio correto do incorreto (Irving Copi).
A lgica investiga o pensamento no como ele , mas
como deve ser (Edmundo D. Nascimento).
A princpio, a lgica no tem compromissos. No entanto,
sua histria demonstra o poder que a mesma possui quando
bem dominada e dirigida a um propsito determinado, como
o fizeram os sofistas, a escolstica, o pensamento cientfico
ocidental e, mais recentemente, a informtica (Bastos; Keller).
1.1. Lgica formal e Lgica material
Desde Aristteles, seu primeiro grande organizador, os
estudos da lgica orientaram-se em duas direes principais:
a da lgica formal, tambm chamada de lgica menor e a
da lgica material, tambm conhecida como lgica maior.
A lgica formal preocupa-se com a correo formal do
pensamento. Para esse campo de estudos da lgica, o contedo ou a matria do raciocnio tem uma importncia relativa. A preocupao sempre ser com a sua forma. A forma
respeitada quando se preenchem as exigncias de coerncia
interna, mesmo que as concluses possam ser absurdas do
ponto de vista material (contedo). Nem sempre um raciocnio formalmente correto corresponde quilo que chamamos
de realidade dos fatos. No entanto, o erro no est no seu
aspecto formal e, sim, na sua matria. Por exemplo, partindo
das premissas que
(1) todos os brasileiros so europeus
e que
(2) Pedro brasileiro,
formalmente, chegar-se- concluso lgica que
(3) Pedro europeu.
Materialmente, este um raciocnio falso porque a experincia nos diz que a premissa falsa.
No entanto, formalmente, um raciocnio vlido, porque a
concluso adequada s premissas. nesse sentido que se
costuma dizer que o computador falho, j que, na maioria
dos casos, processa formalmente informaes nele previamente inseridas, mas no tem a capacidade de verificar o
valor emprico de tais informaes.
J, a lgica material preocupa-se com a aplicao das
operaes do pensamento realidade, de acordo com a
natureza ou matria do objeto em questo. Nesse caso,
interessa que o raciocnio no s seja formalmente correto,
mas que tambm respeite a matria, ou seja, que o seu contedo corresponda natureza do objeto a que se refere.
Neste caso, trata-se da correspondncia entre pensamento e
realidade.
Assim sendo, do ponto de vista lgico, costuma-se falar
de dois tipos de verdade: a verdade formal e a verdade material. A verdade formal diz respeito, somente e to-somente,
forma do discurso; j a verdade material tem a ver com a
forma do discurso e as suas relaes com a matria ou o
contedo do prprio discurso. Se houver coerncia, no primeiro caso, e coerncia e correspondncia, no segundo,
tem-se a verdade.
Raciocnio Lgico
36
APOSTILAS OPO
fim, argumentar corretamente (sem armar ciladas para o
interlocutor) apresentar boas razes para o debate, sustentar adequadamente um dilogo, promovendo a dinamizao
do pensamento. Tudo isso pressupe um clima democrtico.
1.3. Inferncia Lgica
Cabe lgica a tarefa de indicar os caminhos para um
raciocnio vlido, visando verdade.
Contudo, s faz sentido falar de verdade ou falsidade
quando entram em jogo asseres nas quais se declara algo,
emitindo-se um juzo de realidade. Existem, ento, dois tipos
de frases: as assertivas e as no assertivas, que tambm
podem ser chamadas de proposies ou juzos.
Nas frases assertivas afirma-se algo, como nos exemplos: a raiz quadrada de 9 3 ou o sol brilha noite. J,
nas frases no assertivas, no entram em jogo o falso e o
verdadeiro, e, por isso, elas no tm valor de verdade. o
caso das interrogaes ou das frases que expressam estados emocionais difusos, valores vivenciados subjetivamente
ou ordens. A frase toque a bola, por exemplo, no falsa
nem verdadeira, por no se tratar de uma assero (juzo).
As frases declaratrias ou assertivas podem ser combinadas de modo a levarem a concluses conseqentes, constituindo raciocnios vlidos. Veja-se o exemplo:
(1) No h crime sem uma lei que o defina;
(2) no h uma lei que defina matar ETs como crime;
(3) logo, no crime matar ETs.
Ao serem ligadas estas assertivas, na mente do interlocutor, vo sendo criadas as condies lgicas adequadas
concluso do raciocnio. Esse processo, que muitas vezes
permite que a concluso seja antecipada sem que ainda
sejam emitidas todas as proposies do raciocnio, chamase
inferncia. O ponto de partida de um raciocnio (as premissas) deve levar a concluses bvias.
1.4. Termo e Conceito
Para que a validade de um raciocnio seja preservada,
fundamental que se respeite uma exigncia bsica: as palavras empregadas na sua construo no podem sofrer modificaes de significado. Observe-se o exemplo:
Os jaguares so quadrpedes;
Meu carro um Jaguar
logo, meu carro um quadrpede.
O termo jaguar sofreu uma alterao de significado ao
longo do raciocnio, por isso, no tem validade.
Quando pensamos e comunicamos os nossos pensamentos aos outros, empregamos palavras tais como animal,
lei, mulher rica, crime, cadeira, furto etc. Do ponto de
vista da lgica, tais palavras so classificadas como termos,
que so palavras acompanhadas de conceitos. Assim sendo,
o termo o signo lingstico, falado ou escrito, referido a um
conceito, que o ato mental correspondente ao signo.
Desse modo, quando se emprega, por exemplo, o termo
mulher rica, tende-se a pensar no conjunto das mulheres s
quais se aplica esse conceito, procurando apreender uma
nota caracterstica comum a todos os elementos do conjunto,
de acordo com a intencionalidade presente no ato mental.
Como resultado, a expresso mulher rica pode ser tratada
Raciocnio Lgico
37
APOSTILAS OPO
discursos jurdico e religioso; o segundo amplamente empregado pela cincia e, tambm, pelo senso comum e, por
fim, a deduo tida por alguns como o nico raciocnio
autenticamente lgico, por isso, o verdadeiro objeto da lgica
formal.
Raciocnio Lgico
Analogia fraca - Joo usa terno, sapato de cromo e perfume francs e um bom advogado;
Antnio usa terno, sapato de cromo e perfume francs;
logo, deve ser um bom advogado.
b) O nmero de aspectos semelhantes entre uma situao e outra deve ser significativo.tc "b) O nmero de aspectos semelhantes entre uma situao e outra deve ser significativo."
Analogia forte - A Terra um planeta com atmosfera,
com clima ameno e tem gua; em Marte, tal como na Terra,
houve atmosfera, clima ameno e gua; na Terra existe vida,
logo, tal como na Terra, em Marte deve ter havido algum tipo
de vida.
Analogia fraca - T. Edison dormia entre 3 e 4 horas por
noite e foi um gnio inventor; eu dormirei durante 3 1/2 horas
por noite e, por isso, tambm serei um gnio inventor.
c) No devem existir divergncias marcantes na comparao.tc "c) No devem existir divergncias marcantes na
comparao.."
Analogia forte - A pescaria em rios no proveitosa por
ocasio de tormentas e tempestades; a pescaria marinha
no est tendo sucesso porque troveja muito.
Analogia fraca - Os operrios suos que recebem o salrio mnimo vivem bem; a maioria dos operrios brasileiros,
tal como os operrios suos, tambm recebe um salrio
mnimo; logo, a maioria dos operrios brasileiros tambm
vive bem, como os suos.
Pode-se notar que, no caso da analogia, no basta considerar a forma de raciocnio, muito importante que se
avalie o seu contedo. Por isso, esse tipo de raciocnio no
admitido pela lgica formal. Se as premissas forem verdadeiras, a concluso no o ser necessariamente, mas possivelmente, isto caso cumpram-se as exigncias acima.
Tal ocorre porque, apesar de existir uma estrutura geral
do raciocnio analgico, no existem regras claras e precisas
que, uma vez observadas, levariam a uma concluso necessariamente vlida.
O esquema bsico do raciocnio analgico :
A N, L, Y, X;
B, tal como A, N, L, Y, X;
A , tambm, Z
logo, B, tal como A, tambm Z.
Se, do ponto de vista da lgica formal, o raciocnio analgico precrio, ele muito importante na formulao de
hipteses cientficas e de teses jurdicas ou filosficas. Contudo, as hipteses cientficas oriundas de um raciocnio analgico necessitam de uma avaliao posterior, mediante
procedimentos indutivos ou dedutivos.
38
APOSTILAS OPO
Observe-se o seguinte exemplo: John Holland, fsico e
professor de cincia da computao da Universidade de
Michigan, lanou a hiptese (1995) de se verificar, no campo
da computao, uma situao semelhante que ocorre no
da gentica. Assim como na natureza espcies diferentes
podem ser cruzadas para obter o chamado melhoramento
gentico - um indivduo mais adaptado ao ambiente -, na
informtica, tambm o cruzamento de programas pode contribuir para montar um programa mais adequado para resolver um determinado problema. Se quisermos obter uma rosa
mais bonita e perfumada, teremos que cruzar duas espcies:
uma com forte perfume e outra que seja bela diz Holland.
Para resolver um problema, fazemos o mesmo. Pegamos
um programa que d conta de uma parte do problema e
cruzamos com outro programa que solucione outra parte.
Entre as vrias solues possveis, selecionam-se aquelas
que parecem mais adequadas. Esse processo se repete por
vrias geraes - sempre selecionando o melhor programa at obter o descendente que mais se adapta questo. ,
portanto, semelhante ao processo de seleo natural, em
que s sobrevivem os mais aptos. (Entrevista ao JB,
19/10/95, 1 cad., p. 12).
Nesse exemplo, fica bem clara a necessidade da averiguao indutiva das concluses extradas desse tipo de
raciocnio para, s depois, serem confirmadas ou no.
2.2. Raciocnio Indutivo - do particular ao geral
Ainda que alguns autores considerem a analogia como
uma variao do raciocnio indutivo, esse ltimo tem uma
base mais ampla de sustentao. A induo consiste em
partir de uma srie de casos particulares e chegar a uma
concluso de cunho geral. Nele, est pressuposta a possibilidade da coleta de dados ou da observao de muitos fatos
e, na maioria dos casos, tambm da verificao experimental. Como dificilmente so investigados todos os casos possveis, acaba-se aplicando o princpio das probabilidades.
Assim sendo, as verdades do raciocnio indutivo dependem das probabilidades sugeridas pelo nmero de casos
observados e pelas evidncias fornecidas por estes. A enumerao de casos deve ser realizada com rigor e a conexo
entre estes deve ser feita com critrios rigorosos para que
sejam indicadores da validade das generalizaes contidas
nas concluses.
O esquema principal do raciocnio indutivo o seguinte:
B A e X;
C A e tambm X;
D A e tambm X;
E A e tambm X;
logo, todos os A so X
No raciocnio indutivo, da observao de muitos casos
particulares, chega-se a uma concluso de cunho geral.
Aplicando o modelo:
A jararaca uma cobra e no voa;
A caninana uma cobra e tambm no voa;
A urutu uma cobra e tambm no voa;
A cascavel uma cobra e tambm no voa;
logo, as cobras no voam.
Contudo,
Ao sair de casa, Joo viu um gato preto e, logo a seguir,
caiu e quebrou o brao. Maria viu o mesmo gato e, alguns
minutos depois, foi assaltada. Antonio tambm viu o mesmo
gato e, ao sair do estacionamento, bateu com o carro. Logo,
ver um gato preto traz azar.
Os exemplos acima sugerem, sob o ponto de vista do valor lgico, dois tipos de induo: a induo fraca e a induo
Raciocnio Lgico
39
APOSTILAS OPO
b.a. todas as ocorrncias de dengue foram investigadas e
em cada uma delas foi constatada uma caracterstica prpria
desse estado de morbidez: fortes dores de cabea; obtevese, por conseguinte, a concluso segura de que a dor de
cabea um dos sintomas da dengue.
b.b. contam-se ou conferem-se todos as peas do jogo de
xadrez: ao final da contagem, constata-se que so 32 peas.
Nesses raciocnios, tem-se uma concluso segura, podendo-se classific-los como formas de induo forte, mesmo que se revelem pouco criativos em termos de pesquisa
cientfica.
O raciocnio indutivo nem sempre aparece estruturado
nos moldes acima citados. s vezes, percebe-se o seu uso
pela maneira como o contedo (a matria) fica exposta ou
ordenada. Observem-se os exemplos:
- No parece haver grandes esperanas em se erradicar
a corrupo do cenrio poltico brasileiro.
Raciocnio Lgico
40
APOSTILAS OPO
que exprime um conceito. Os termos de um silogismo so
necessariamente trs: maior, mdio e menor. O termo maior
aquele cuja extenso maior (normalmente, o predicado
da concluso); o termo mdio o que serve de intermedirio
ou de conexo entre os outros dois termos (no figura na
concluso) e o termo menor o de menor extenso (normalmente, o sujeito da concluso). No exemplo acima,
punvel o termo maior, ato que fere a lei o termo mdio e
concusso o menor.
2.3.1.1. As Regras do Silogismo
Oito so as regras que fazem do silogismo um raciocnio
perfeitamente lgico. As quatro primeiras dizem respeito s
relaes entre os termos e as demais dizem respeito s
relaes entre as premissas. So elas:
2.3.1.1.1. Regras dos Termos
1) Qualquer silogismo possui somente trs termos: maior,
mdio e menor.
Exemplo de formulao correta:
Termo Maior: Todos os gatos so mamferos.
Termo Mdio: Mimi um gato.
Termo Menor: Mimi um mamfero.
Exemplo de formulao incorreta:
Termo Maior: Toda gata(1) quadrpede.
Termo Mdio: Maria uma gata(2).
Termo Menor: Maria quadrpede.
O termo gata tem dois significados, portanto, h quatro
termos ao invs de trs.
2) Os termos da concluso nunca podem ser mais extensos que os termos das premissas.
Exemplo de formulao correta:
Termo Maior: Todas as onas so ferozes.
Termo Mdio: Nikita uma ona.
Termo Menor: Nikita feroz.
Exemplo de formulao incorreta:
Termo Maior: Antnio e Jos so poetas.
Termo Mdio: Antnio e Jos so surfistas.
Termo Menor: Todos os surfistas so poetas.
Antonio e Jos um termo menos extenso que todos
os surfistas.
3) O predicado do termo mdio no pode entrar na concluso.
Exemplo de formulao correta:
Termo Maior: Todos os homens podem infringir a lei.
Termo Mdio: Pedro homem.
Termo Menor: Pedro pode infringir a lei.
Exemplo de formulao incorreta:
Termo Maior: Todos os homens podem infringir a lei.
Termo Mdio: Pedro homem.
Termo Menor: Pedro ou homem (?) ou pode infringir a
lei.
A ocorrncia do termo mdio homem na concluso inoportuna.
4) O termo mdio deve ser tomado ao menos uma vez
em sua extenso universal.
Exemplo de formulao correta:
Termo Maior: Todos os homens so dotados de habilidades.
Termo Mdio: Pedro homem.
Termo Menor: Pedro dotado de habilidades.
Exemplo de formulao incorreta:
Termo Maior: Alguns homens so sbios.
Termo Mdio: Ora os ignorantes so homens
Termo Menor: Logo, os ignorantes so sbios
O predicado homens do termo mdio no universal,
mas particular.
Raciocnio Lgico
A FUNDAO DA LGICA
Anthony Kenny
Universidade de Oxford
Muitas das cincias para as quais Aristteles contribuiu
foram disciplinas que ele prprio fundou. Afirma-o explicitamente em apenas um caso: o da lgica. No fim de uma das
suas obras de lgica, escreveu:
No caso da retrica existiam muito escritos antigos para nos apoiarmos, mas no
caso da lgica nada tnhamos absolutamente a referir at termos passado muito
tempo em laboriosa investigao.
As principais investigaes lgicas de Aristteles incidiam
sobre as relaes entre as frases que fazem afirmaes.
Quais delas so consistentes ou inconsistentes com as outras? Quando temos uma ou mais afirmaes verdadeiras,
que outras verdades podemos inferir delas unicamente por
meio do raciocnio? Estas questes so respondidas na sua
obra Analticos Posteriores.
Ao contrrio de Plato, Aristteles no toma como elementos bsicos da estrutura lgica as frases simples compostas por substantivo e verbo, como "Teeteto est sentado".
Est muito mais interessado em classificar frases que comeam por "todos", "nenhum" e "alguns", e em avaliar as inferncias entre elas. Consideremos as duas inferncias seguintes:
1) Todos os gregos so europeus.
Alguns gregos so do sexo masculino.
Logo, alguns europeus so do sexo masculino.
2) Todas as vacas so mamferos.
Alguns mamferos so quadrpedes.
Logo, todas as vacas so quadrpedes.
41
APOSTILAS OPO
As duas inferncias tm muitas coisas em comum. So
ambas inferncias que retiram uma concluso a partir de
duas premissas. Em cada inferncia h uma palavra-chave
que surge no sujeito gramatical da concluso e numa das
premissas, e uma outra palavra-chave que surge no predicado gramatical da concluso e na outra premissa. Aristteles
dedicou muita ateno s inferncias que apresentam esta
caracterstica, hoje chamadas "silogismos", a partir da palavra grega que ele usou para as designar. Ao ramo da lgica
que estuda a validade de inferncias deste tipo, iniciado por
Aristteles, chamamos "silogstica".
Uma inferncia vlida uma inferncia que nunca conduz
de premissas verdadeiras a uma concluso falsa. Das duas
inferncias apresentadas acima, a primeira vlida, e a
segunda invlida. verdade que, em ambos os casos, tanto
as premissas como a concluso so verdadeiras. No podemos rejeitar a segunda inferncia com base na falsidade das
frases que a constituem. Mas podemos rejeit-la com base
no "portanto": a concluso pode ser verdadeira, mas no se
segue das premissas.
Podemos esclarecer melhor este assunto se concebermos uma inferncia paralela que, partindo de premissas
verdadeiras, conduza a uma concluso falsa. Por exemplo:
3)Todas as baleias so mamferos.
Alguns mamferos so animais terrestres.
Logo, todas as baleias so animais terrestres.
Esta inferncia tem a mesma forma que a inferncia 2),
como poderemos verificar se mostrarmos a sua estrutura por
meio de letras esquemticas:
4) Todo o A B.
Algum B C.
Logo, todo o A C.
Uma vez que a inferncia 3) conduz a uma falsa concluso a partir de premissas verdadeiras, podemos ver que a
forma do argumento 4) no de confiana. Da a no validade da inferncia 2), no obstante a sua concluso ser de
facto verdadeira.
A lgica no teria conseguido avanar alm dos seus
primeiros passos sem as letras esquemticas, e a sua utilizao hoje entendida como um dado adquirido; mas foi
Aristteles quem primeiro comeou a utiliz-las, e a sua
inveno foi to importante para a lgica quanto a inveno
da lgebra para a matemtica.
Uma forma de definir a lgica dizer que uma disciplina
que distingue entre as boas e as ms inferncias. Aristteles
estuda todas as formas possveis de inferncia silogstica e
estabelece um conjunto de princpios que permitem distinguir
os bons silogismos dos maus. Comea por classificar individualmente as frases ou proposies das premissas. Aquelas
que comeam pela palavra "todos" so proposies universais; aquelas que comeam com "alguns" so proposies
particulares. Aquelas que contm a palavra "no" so proposies negativas; as outras so afirmativas. Aristteles serviu-se ento destas classificaes para estabelecer regras
para avaliar as inferncias. Por exemplo, para que um silogismo seja vlido necessrio que pelo menos uma premissa seja afirmativa e que pelo menos uma seja universal; se
ambas as premissas forem negativas, a concluso tem de
ser negativa. Na sua totalidade, as regras de Aristteles
bastam para validar os silogismos vlidos e para eliminar os
invlidos. So suficientes, por exemplo, para que aceitemos
a inferncia 1) e rejeitemos a inferncia 2).
Raciocnio Lgico
42
APOSTILAS OPO
ARGUMENTOS DEDUTIVOS E INDUTIVOS
Desidrio Murcho
comum falar em argumentos dedutivos, opondo-os aos
indutivos. Este artigo procura mostrar que h um conjunto de
aspectos subtis que devem ser tidos em linha de conta, caso
contrrio ser tudo muito confuso.
Antes de mais: a expresso "argumento indutivo" ou "induo" d origem a confuses porque se pode ter dois tipos
muito diferentes de argumentos: as generalizaes e as
previses. Uma generalizao um argumento como
Todos os corvos observados at hoje so pretos.
Logo, todos os corvos so pretos.
Numa generalizao parte-se de algumas verdades
acerca de alguns membros de um dado domnio e generaliza-se essas verdades para todos os membros desse
domnio, ou pelo menos para mais.
Uma previso um argumento como
Todos os corvos observados at hoje so pretos.
Logo, o prximo corvo que observarmos ser preto.
Uma pessoa imaginativa e com vontade de reduzir
coisas uma sndrome comum em filosofia pode querer afirmar que podemos reduzir as previses s generalizaes via deduo: a concluso da previso acima segue-se dedutivamente da concluso da generalizao anterior. No acho que isto capta de modo algum a natureza
lgica ou conceptual da previso, mas isso no relevante neste artigo. O que conta que, mesmo que a previso
seja redutvel generalizao mais deduo, continua a
ser um modo comum de falar e uma parte importante do
nosso pensamento.
Numa veia ainda reducionista, algumas pessoas podero querer dizer que todos os outros tipos de argumentos no dedutivos se reduzem generalizao e previso. Assim, no valeria a pena falar de argumentos de
autoridade, por exemplo, que so argumentos como o seguinte:
Einstein afirmou que no se pode viajar mais depressa do
que a luz.
Logo, no se pode viajar mais depressa do que a luz.
Uma vez mais: pode ser que este tipo de argumentos seja redutvel generalizao e previso. Mas til compreender que este tipo de argumentos tem exigncias prprias e
portanto til falar deles explicitamente, ainda que se trate
de um tipo de inferncia redutvel a qualquer outro tipo ou
tipos.
Dados estes esclarecimentos, importa agora esclarecer o
seguinte: O que um argumento dedutivo? E como se distingue tal coisa de um argumento indutivo?
Vou comear por dizer o modo como no se deve entender estas noes. A primeira coisa a no fazer pensar que
um argumento dedutivo se caracteriza por ser impossvel a
sua concluso ser falsa se as suas premissas forem verdadeiras. Pensar isto provoca confuso porque significaria que
no h argumentos dedutivos invlidos. Porqu? Porque s
nos argumentos dedutivos vlidos impossvel a concluso
ser falsa se as suas premissas forem verdadeiras; nos argu-
Raciocnio Lgico
43
APOSTILAS OPO
dedutiva. Devemos ento dizer que os argumentos dedutivamente invlidos no se distinguem dos argumentos indutivos vlidos? Claro que no, dado que eles se distinguem
muito claramente uns dos outros.
O primeiro argumento dedutivamente invlido porque a
sua invalidade pode ser explicada recorrendo unicamente
sua forma lgica. Mas seria uma enorme falta de sensibilidade lgica abandonar uma induo boa com base no facto de
a sua forma lgica e a verdade das suas premissas no
garantir a verdade da sua concluso.
Assim, um argumento dedutivo ou indutivo em funo
da explicao mais adequada que tivermos para a sua validade ou invalidade. Um argumento dedutivo invlido explicase adequadamente recorrendo unicamente sua forma lgica, no sentido em que a sua forma lgica suficiente para
distinguir os argumentos dedutivos invlidos dos vlidos; o
mesmo no acontece com os argumentos indutivos, pois a
sua validade ou invalidade no depende exclusivamente da
sua forma lgica.
Deste modo, podemos manter a tradio de falar de argumentos dedutivos e indutivos; e podemos dizer que h
argumentos dedutivos invlidos; e no somos forados a
aceitar que todo o argumento indutivo, por melhor que seja,
sempre um argumento dedutivo invlido. Isto no acontece
porque os argumentos dedutivos nunca so indutivos, ainda
que sejam invlidos. Porque o que conta o tipo de explicao adequada para a sua validade ou invalidade.
Em termos primitivos, pois, o que conta a validade e invalidade; h diferentes tipos de validade e invalidade: a dedutiva e a indutiva. E os argumentos so dedutivos ou indutivos consoante a sua validade ou invalidade for dedutiva ou
indutiva.
agora tempo de esclarecer que nem todos os argumentos dedutivos dependem exclusivamente da sua forma lgica;
h argumentos dedutivos de carcter conceptual, como "O
Joo casado; logo, no solteiro". No difcil acomodar
estas variedades de deduo no formal no esquema aqui
proposto: tudo depende da melhor explicao disponvel para
a validade ou invalidade em causa.
Podemos assim continuar a falar de argumentos dedutivos e indutivos, validos ou invlidos. E os argumentos dedutivos invlidos nunca so uma subclasse dos argumentos
indutivos.
DIAGRAMAS LGICOS
Prof Msc SANDRO FABIAN FRANCILIO DORNELLES
Introduo
Os diagramas lgicos so usados na resoluo de vrios
problemas.
Uma situao que esses diagramas podero ser usados,
na determinao da quantidade de elementos que apresentam uma determinada caracterstica.
Raciocnio Lgico
44
APOSTILAS OPO
Para termos os valores reais da pesquisa, vamos inicialmente montar os diagramas que representam cada conjunto.
A colocao dos valores comear pela interseco dos trs
conjuntos e depois para as interseces duas a duas e por
ltimo s regies que representam cada conjunto individualmente.
Representaremos esses conjuntos dentro de um retngulo
que indicar o conjunto universo da pesquisa.
EXERCCIOS DE CONCURSOS
Diagramas Lgicos
1. De um total de 30 agentes administrativos sabe-se que:
I. 18 gostam de cinema
II. 14 gostam de teatro
III. 2 no gostam de cinema, nem de teatro
O nmero de agentes que gostam de cinema e de teatro
corresponde a:
a) 2
b) 4
c) 6
d) 8
2. De um grupo de N auxiliares tcnicos de produo, 44
lem jornal A, 42 o jornal B e 18 lem ambos os jornais.
sabendo que todo auxiliar deste grupo leitor de pelo menos
um dos jornais, o nmero N de auxiliares :
Raciocnio Lgico
45
APOSTILAS OPO
5. Em uma pesquisa, foram entrevistados 100 telespectadores. 60 assistiam televiso noite e 50 assistiam televiso de dia. Quantos assistiam televiso de dia e de noite?
a) 5
b) 10
c) 15
d) 20
e) 25
6. Em uma pesquisa, foram entrevistadas 200 pessoas. 100
delas iam regularmente ao cinema, 60 iam regularmente ao
teatro e 50 no iam regularmente nem ao cinema nem ao
teatro. Quantas
dessas pessoas iam regularmente a ambos?
a) 10
b) 20
c) 30
d) 40
e) 50
7. (NCNB_02) Uma professora levou alguns alunos ao parque de diverses chamado Sonho. Desses alunos:
16 j haviam ido ao parque Sonho, mas nunca andaram de
montanha russa.
6 j andaram de montanha russa, mas nunca haviam ido
ao parque Sonho.
Ao todo, 20 j andaram de montanha russa.
Ao todo, 18 nunca haviam ido ao parque Sonho.
Pode-se afirmar que a professora levou ao parque Sonho:
a) 60 alunos
b) 48 alunos
c) 42 alunos
d) 366alunos
e) 32 alunos
8. (ICMS_97_VUNESP) Em uma classe, h 20 alunos que
praticam futebol mas no praticam vlei e h 8 alunos que
praticam vlei mas no praticam futebol. O total dos que
praticam vlei 15.
Ao todo, existem 17 alunos que no praticam futebol. O nmero de alunos da classe :
a) 30
b) 35
c) 37
d) 42
e) 44
9. Suponhamos que numa equipe de 10 estudantes, 6 usam
culos e 8 usam relgio. O numero de estudantes que usa ao
mesmo tempo, culos e relgio :
a) exatamente 6
b) exatamente 2
c) no mnimo 6
d) no mximo 5
e) no mnimo 4
10. Numa pesquisa de mercado, foram entrevistadas vrias
pessoas acerca de suas preferncias em relao a 3 produtos: A, B e C. Os resultados da pesquisa indicaram que:
210 pessoas compram o produto A.
210 pessoas compram o produto N.
250 pessoas compram o produto C.
20 pessoas compram os trs produtos.
100 pessoas no compram nenhum dos 3 produtos.
60 pessoas compram o produto A e B.
70 pessoas compram os produtos A eC.
50 pessoas compram os produtos B e C.
Quantas pessoas foram entrevistadas:
a) 670
b) 970
c) 870
d) 610
Raciocnio Lgico
46
APOSTILAS OPO
a) A B C
b) (A B) C
c) A B C
d) (A B) C
EQUIVALNCIA LGICA
11.C
12.E
13.A
14.C
15.C (certo)
16.C,E,C,C,E
17.E,C,E,C
Raciocnio Lgico
~q
~(p)
47
APOSTILAS OPO
mento (premissa 1, premissa 2, e concluso, precedida por
"logo"), no temos um argumento porque os enunciados no
tm a menor relao entre si. No devemos sequer afirmar
que temos um argumento invlido aqui, porque mesmo num
argumento invlido as premissas e a concluso precisam ter
uma certa relao entre si.
Por outro lado, o seguinte um argumento:
4. Todos os homens so mortais
5. Scrates homem
6. Logo, Scrates mortal.
Neste caso, temos um argumento vlido, em que todas
as premissas so verdadeiras e a concluso tambm -- ou
pelo menos assim parecem primeira vista.
A Forma de um Argumento
Argumentos tm uma certa forma ou estrutura. O argumento constitudo pelo conjunto de enunciados (2) tem a
seguinte forma:
7. Todos os x so y
8. z x
9. Logo, z y.
Imaginemos o seguinte argumento, que tem a mesma
forma do argumento constitudo pelo conjunto de enunciados
4-6:
10. Todos os homens so analfabetos
11. Raquel de Queiroz homem
12. Logo, Raquel de Queiroz analfabeta.
Este argumento, diferentemente do argumento constitudo pelos enunciados 4-6, tem premissas e concluso todas
falsas. No entanto, tem exatamente a mesma forma ou estrutura do argumento anterior (forma explicitada nos enunciados
7-9). Se o argumento anterior (4-6) vlido (e ), este (1012) tambm .
Quando dois ou mais argumentos tm a mesma forma, se
um deles vlido, todos os outros tambm so, e se um
deles invlido, todos os outros tambm so. Como o argumento constitudo pelos enunciados 4-6 vlido, e o argumento constitudo pelos enunciados 10-12 tem a mesma
forma (7-9), este (1012) tambm vlido.
A Forma de um Argumento e a Verdade das Premissas
O ltimo exemplo mostra que um argumento pode ser vlido apesar de todas as suas premissas e a sua concluso
serem falsas. Isso indicativo do fato de que a validade de
um argumento no depende de serem suas premissas e sua
concluso efetivamente verdadeiras.
Raciocnio Lgico
48
APOSTILAS OPO
bolas, a afirmao "Toda Bola Vermelha" e a afirmao
"Alguma Bola no Vermelha" formam uma contradio,
visto que:
se "Toda Bola Vermelha" for verdadeira, "Alguma Bola
no Vermelha" tem que ser falsa
se "Toda Bola Vermelha" for falsa, "Alguma Bola no
Vermelha" tem que ser verdadeira
se "Alguma Bola no Vermelha" for verdadeira, "Toda
Bola Vermelha" tem que ser falsa
e
se "Alguma Bola no Vermelha" for falsa, "Toda Bola
Vermelha" tem que ser verdadeira
Raciocnio Lgico
Tautologia
Na lgica proposicional, uma tautologia (do grego
) uma frmula proposicional que verdadeira
para todas as possveis valoraes de suas variveis
proposicionais. A negao de uma tautologia uma
contradio ou antilogia, uma frmula proposicional que
falsa independentemente dos valores de verdade de suas
variveis. Tais proposies so ditas insatsfatveis.
Reciprocamente, a negao de uma contradio uma
tautologia. Uma frmula que no nem uma tautologia nem
uma contradio dita logicamente contingente. Tal
frmula pode ser verdadeira ou falsa dependendo dos
valores atribudos para suas variveis proposicionais.
Uma propriedade fundamental das tautologias que
existe um procedimento efetivo para testar se uma dada
frmula sempre satisfeita (ou, equivalentemente, se seu
complemento insatisfatvel). Um mtodo deste tipo usa as
tabelas-verdade. O problema de deciso de determinar se
uma frmula satisfatvel o problema de satisfabilidade
booleano, um exemplo importante de um problema NPcompleto na teoria da complexidade computacional.
Tautologias e Contradies
Considere a proposio composta s: (pq) (pq)
onde p e q so proposies simples lgicas quaisquer. Vamos construir a tabela verdade da proposio s :
Considerando-se o que j foi visto at aqui, teremos:
49
APOSTILAS OPO
pre logicamente verdadeira. Dizemos ento que s uma
TAUTOLOGIA.
Trazendo isto para a linguagem comum, considere as
proposies: p: O Sol um planeta
(valor lgico falso - F) e q: A Terra um planeta plano
(valor lgico falso - F), podemos concluir que a proposio
composta Se o Sol um planeta e a Terra um planeta
plano ento o Sol um planeta ou a Terra um planeta
plano uma proposio logicamente verdadeira.
Opostamente, se ao construirmos uma tabela verdade
para uma proposio composta, verificarmos que ela sempre falsa, diremos que ela uma CONTRADIO.
Ex.: A proposio composta t: p~p uma contradio,
seno vejamos:
Raciocnio Lgico
50
APOSTILAS OPO
PRINCIPIO FUNDAMENTAL DA CONTAGEM
Por meio do princpio fundamental da contagem,
podemos determinar quantas vezes, de modo diferente, um
acontecimento pode ocorrer.
Se um evento (ou fato) ocorre em n etapas consecutivas
e independentes, de maneira que o nmero de
possibilidades:
Na 1a etapa k1,
Na 2a etapa k2,
Na 33 etapa k3,
..........................
Na ensima etapa kn, ento o nmero total de
possibilidades de ocorrer o referido evento o produto k1,
k2, k3 ... kn.
O princpio fundamental da contagem nos diz que sempre
devemos multiplicar os nmeros de opes entre as escolhas
que podemos fazer. Por exemplo, para montar um computador, temos 3 diferentes tipos de monitores, 4 tipos de teclados, 2 tipos de impressora e 3 tipos de "CPU". Para saber o
numero de diferentes possibilidades de computadores que
podem ser montados com essas peas, somente multiplicamos as opes:
3 x 4 x 2 x 3 = 72
Ento, tm-se 72 possibilidades de configuraes diferentes.
Um problema que ocorre quando aparece a palavra
"ou", como na questo:
Quantos pratos diferentes podem ser solicitados por um
cliente de restaurante, tendo disponvel 3 tipos de arroz, 2 de
feijo, 3 de macarro, 2 tipos de cervejas e 3 tipos de refrigerante, sendo que o cliente no pode pedir cerveja e refrigerante ao mesmo tempo, e que ele obrigatoriamente tenha de
escolher uma opo de cada alimento?
A resoluo simples: 3 x 2 x 3 = 18 , somente pela comida. Como o cliente no pode pedir cerveja e refrigerantes
juntos, no podemos multiplicar as opes de refrigerante
pelas opes de cerveja. O que devemos fazer aqui apenas somar essas possibilidades:
(3 x 2 x 3) x (2 + 3) = 90
Resposta para o problema: existem 90 possibilidades de
pratos que podem ser montados com as comidas e bebidas
disponveis.
Outro exemplo:
No sistema brasileiro de placas de carro, cada placa
formada por trs letras e quatro algarismos. Quantas placas
onde o nmero formado pelos algarismos seja par, podem
ser formadas?
Raciocnio Lgico
51
APOSTILAS OPO
nmero.
Exerccios
Princpio Fundamental da Contagem
Professores: Jorge e Lauro
1) (FGV/2005) Em uma gaveta de armrio de um quarto
escuro h 6 camisetas vermelhas, 10 camisetas brancas e 7
camisetas pretas. Qual o nmero mnimo de camisetas que
se deve retirar da gaveta, sem que se vejam suas cores,
para que:
O valor de N
2) (Enem/2004)No Nordeste brasileiro, comum encontrarmos peas de artesanato constitudas por garrafas preenchidas com areia de diferentes cores, formando desenhos. Um
arteso deseja fazer peas com areia de cores cinza, azul,
verde e amarela, mantendo o mesmo desenho, mas variando
as cores da paisagem (casa, palmeira e fundo), conforme a
figura.
Raciocnio Lgico
52
APOSTILAS OPO
CONJUNTO
Em matemtica, um conjunto uma coleo de
elementos. No interessa a ordem e quantas vezes os
elementos esto listados na coleo. Em contraste, uma
coleo de elementos na qual a multiplicidade, mas no a
ordem, relevante, chamada multiconjunto.
Conjuntos so um dos conceitos bsicos da matemtica.
Um conjunto apenas uma coleo de entidades, chamadas
de elementos. A notao padro lista os elementos
separados por vrgulas entre chaves (o uso de "parnteses"
ou "colchetes" incomum) como os seguintes exemplos:
{1, 2, 3}
{1, 2, 2, 1, 3, 2}
{x : x um nmero inteiro tal que 0<x<4}
Os trs exemplos acima so maneiras diferentes de
representar o mesmo conjunto.
um elemento de
elemento
pertence ao conjunto
. Se
e podemos escrever
no um elemento de
, ns podemos
no pertence ao conjunto
podemos escrever
a) A = ( 0; 1; 2; 3; 4; 5; 6; 7; 8; 9 ) indica o conjunto
formado pelos algarismos do nosso sistema de numerao.
b) B = ( a, b, c, d, e, f, g, h, i, j, l, m, n, o, p, q, r, s, t, u, v,
x, z ) indica o conjunto formado pelas letras do nosso
alfabeto.
c) Quando um conjunto possui nmero elevado de
elementos, porm apresenta lei de formao bem clara,
podemos representa-lo, por enumerao, indicando os
primeiros e os ltimos elementos, intercalados por
reticncias. Assim: C = ( 2; 4; 6;... ; 98 ) indica o conjunto
dos nmeros pares positivos, menores do que100.
d) Ainda usando reticncias, podemos representar, por
enumerao, conjuntos com infinitas elementos que tenham
uma lei de formao bem clara, como os seguintes:
D = ( 0; 1; 2; 3; .. . ) indica o conjunto dos nmeros
inteiros no negativos;
E = ( ... ; -2; -1; 0; 1; 2; . .. ) indica o conjunto dos
nmeros inteiros;
F = ( 1; 3; 5; 7; . . . ) indica o conjunto dos nmeros
mpares positivos.
A representao de um conjunto por meio da descrio
de uma propriedade caracterstica mais sinttica que sua
representao por enumerao. Neste caso, um conjunto C,
de elementos x, ser representado da seguinte maneira:
C = { x | x possui uma determinada propriedade }
1. Conceitos primitivos
Raciocnio Lgico
53
APOSTILAS OPO
Resoluo
a) n(A) = 4
b) n(B) = 6,'pois a palavra alegria, apesar de possuir
dote letras, possui apenas seis letras distintas entre si.
c)
n(C) = 2, pois h dois elementos que pertencem a
C: c e C e d e C
d) observe que:
2 = 2 . 1 o 1 par positivo
4 = 2 . 2 o 2 par positivo
6 = 2 . 3 o 3 par positivo
8 = 2 . 4 o 4 par positivo
.
.
.
.
.
.
98 = 2 . 49 o 49 par positivo
logo: n(D) = 49
e)
As duas retas, esquematizadas na figura,
possuem apenas um ponto comum.
Logo, n( E ) = 1, e o conjunto E , portanto, unitrio.
6 igualdade de conjuntos
4 Nmero de elementos de um conjunto
Consideremos um conjunto C. Chamamos de nmero de
elementos deste conjunto, e indicamos com n(C), ao nmero
de elementos diferentes entre si, que pertencem ao conjunto.
Exemplos
Vamos dizer que dois conjuntos A e 8 so iguais, e indicaremos com A = 8, se ambos possurem os mesmos elementos. Quando isto no ocorrer, diremos que os conjuntos
so diferentes e indicaremos com A B. Exemplos .
a) {a;e;i;o;u} = {a;e;i;o;u}
b) {a;e;i;o,u} = {i;u;o,e;a}
c) {a;e;i;o;u} = {a;a;e;i;i;i;o;u;u}
d) {a;e;i;o;u} {a;e;i;o}
e) { x | x2 = 100} = {10; -10}
f) { x | x2 = 400} {20}
a) O conjunto A = { a; e; i; o; u }
tal que n(A) = 5.
b) O conjunto B = { 0; 1; 3; 4; 5; 6; 7; 8; 9 } tal que
n(B) = 10.
c) O conjunto C = ( 1; 2; 3; 4;... ; 99 ) tal que n (C) =
99.
7 Subconjuntos de um conjunto
2
Exemplo: M = { x | x = -25}
{ } ou por
Exerccio resolvido
Determine o nmero de elementos dos seguintes com
juntos :
a)
A = { x | x letra da palavra amor }
b)
B = { x | x letra da palavra alegria }
c)
c o conjunto esquematizado a seguir
d)
D = ( 2; 4; 6; . . . ; 98 )
e)
E o conjunto dos pontos comuns s relas
r e s, esquematizadas a seguir :
Raciocnio Lgico
54
APOSTILAS OPO
Observaes:
Quando A no subconjunto de B, indicamos com A
B ou B
A.
Admitiremos que o conjunto vazio est contido em
qualquer conjunto.
Exemplos
a) {a;b;c}
b) {a;b;c}
c) {a;b;c}
Exerccios resolvidos
1. Sendo A = ( x; y; z ); B = ( x; w; v ) e C = ( y; u; t ),
determinar os seguintes conjuntos:
a) A B
f) B C
b) A B
g) A B C
c) A C
h) A B C
d) A C
i) (A B) U (A C)
e) B C
Resoluo
a)
b)
c)
d)
e)
f)
g)
h)
i)
Resposta: 1024
3. Determine o nmero de subconjuntos do conjunto
C=
1 1 1 2 3 3
; ; ; ; ;
2 3 4 4 4 5
Resposta: 32
B) OPERAES COM CONJUNTOS
1 Unio de conjuntos
Dados dois conjuntos A e B, chamamos unio ou reunio
de A com B, e indicamos com A B, ao conjunto constitudo
por todos os elementos que pertencem a A ou a B.
{d;e} =
{b;c,d} = {b;c}
{a;c} = {a;c}
A B = {x; y; z; w; v }
A B = {x }
A C = {x; y;z; u; t }
A C = {y }
B C={x;w;v;y;u;t}
B C=
A B C= {x;y;z;w;v;u;t}
A B C=
(A B) u (A C)={x} {y}={x;y}
C)
Exemplos
a)
b)
c)
.Resoluo
2 Interseco de conjuntos
Dados dois conjuntos A e B, chamamos de interseo de
A com B, e indicamos com A B, ao conjunto constitudo
por todos os elementos que pertencem a A e a B.
Usando os diagramas de Euler-Venn, e representando
com hachuras a interseco dos conjuntos, temos:
Raciocnio Lgico
55
APOSTILAS OPO
CB
Resoluo
a)
b)
c)
d)
e)
f)
A - B = { y; z }
B - A= {w;v}
A - C= {x;z}
C A = {u;t}
B C = {x;w;v}
C B = {y;u;t}
PROBABILIDADES
Introduo
n(A
B) = 20 + 30 5 e ento:
n(A
B) = 45.
Ouvimos falar desse assunto em situaes como: a probabilidade de ser sorteado, de acertar numa aposta, de um
candidato vencer uma eleio, de acertar o resultado de um
jogo etc. Portanto, usamos probabilidades em situaes em
que dois ou mais resultados diferentes podem ocorrer e no
possvel saber, prever, qual deles realmente vai ocorrer em
cada situao.
Ao lanarmos para o alto uma moeda e quisermos saber
se o resultado cara ou coroa, no podemos prever o resultado mas podemos calcular as chances de ocorrncia de
cada um. Este clculo a probabilidade de ocorrncia de um
resultado.
Por meio dos exemplos desta aula, voc aprender o clculo de probabilidades.
EXEMPLO 1
4 Conjunto complementar
Dados dois conjuntos A e B, com
B A, chamamos
de conjunto complementar de B em relao a A, e indicamos
com CA B, ao conjunto A - B.
Observao: O complementar um caso particular de
diferena em que o segundo conjunto subconjunto do
primeiro.
Soluo:
Raciocinando matematicamente, os resultados cara e coroa tm as mesmas chances de ocorrer. Como so duas
possibilidades (cara ou coroa) podemos dizer que as chances de dar cara de 1 para 2. Isto o mesmo que dizer que
a probabilidade de o resultado ser cara ou 0,5 ou 50%.
Exemplo: {a;b;c;d;e;f} - {b;d;e}= {a;c;f}
Observao: O conjunto complementar de B em
relao a A formado pelos elementos que faltam para
"B chegar a A"; isto , para B se igualar a A.
Exerccios resolvidos:
4. Sendo A = { x; y; z } , B = { x; w; v } e C = { y; u; t
}, determinar os seguintes conjuntos:
AB
BA
Raciocnio Lgico
C-A
BC
56
APOSTILAS OPO
O conceito de probabilidade
EXEMPLO 2
Soluo:
O chefe de uma seo com 5 funcionrios deu a eles 1
ingresso da final de um campeonato para que fosse sorteado. Aps escreverem seus nomes em papis idnticos, colocaram tudo num saco para fazer o sorteio. Qual a chance
que cada um tem de ser sorteado?
Soluo:
Os 5 funcionrios tm todos a mesma chance de serem
sorteados. No caso de Paulo, por exemplo, as chances de
ser sorteado so de 1 para 5, ou 1/5. Ento, podemos dizer
que a chance, ou a probabilidade, de cada um deles ser
sorteado de 1/5 , ou 0,2, ou ainda 20%.
p(mais caro) =
EXEMPLO 3
No lanamento de um dado, qual a probabilidade de o resultado ser um nmero par?
18 3
= = 0,75 = 75%
54 4
Soluo:
Para que o resultado seja par devemos conseguir:
EXEMPLO 6
De um baralho normal de 52 cartas e mais 2 coringas retiramos uma das cartas ao acaso. Qual a probabilidade de:
a) ser um s?
n de ases existen4
=
=
p (s) tes
54
=
n total de cartas
7%
0,07 =
EXEMPLO 4
p(coringa) =
No Exemplo 2 da Aula 48 vimos que, num restaurante
que prepara 4 pratos quentes, 2 saladas e 3 sobremesas
diferentes, existem 24 maneiras diferentes de um fregus se
servir de um prato quente, uma salada e uma sobremesa.
n total de cartas
6
=
54
0,11
11%
EXEMPLO 7
Em anlise combinatoria, vimos que, com 6 homens e 3
No Exemplo 3 daquela aula descobrimos que havia, dentre os 24 cardpios possveis, 6 cardpios econmicos. Qual
Raciocnio Lgico
57
APOSTILAS OPO
C 56 = 6 grupos de 5 pessoas nos quais s escolhemos homens. Supondo que as chances de cada um dos grupos a
mesma, qual a probabilidade de escolher:
P (mltiplo de 3) =
6
=1
6
Soluo:
a) p (no mulher) =
6
= 0,05 = 5%
126
120
= 0,95 = 95%
126
p (par) =
0
=0
6
6
120 126
+
=
ou 100%
126 126 126
(5% + 95%).
J sabemos que:
p (E) =
n de resultados favorveis a E
n total de resultados possveis
m
ser menor ou igual a 1: p (E) 1.
n
Caso a condio E exigida no possa ser cumprida, ou
seja, se no houver nenhum resultado favorvel a E, o nmero m ser zero e p (E) =
Um pouco de histria
Os primeiros estudos envolvendo probabilidades foram
motivados pela anlise de jogos de azar. Sabe-se que um
dos primeiros matemticos que se ocupou com o clculo das
probabilidades foi Cardano (1501-1576). Data dessa poca a
expresso que utilizamos at hoje para o clculo da probabilidade de um evento (nmero de casos favorveis dividido
pelo nmero de casos possveis).
Com Fermat (1601-1665) e Pascal (1623-1662), a teoria
das probabilidades comeou a evoluir e ganhar mais consistncia, passando a ser utilizada em outros aspectos da vida
social, como, por exemplo, auxiliando na descoberta da vacina contra a varola no sculo XVIII.
Atualmente, a teoria das probabilidades muito utilizada
em outros ramos da Matemtica (como o Clculo e a Estatstica), da Biologia (especialmente nos estudos da Gentica),
da Fsica (como na Fsica Nuclear), da Economia, da Sociologia etc.
m
=0
n
Exerccios
Exerccio 1
m
ser sempre positiva
n
m
1
n
ou
EXEMPLO 8
Com os algarismos 1, 3 e 5 formamos todos os nmeros
de 3 algarismos possveis. Dentre eles escolhemos um nmero, ao acaso.
a) Qual a probabilidade de escolher um nmero que seja
mltiplo de 3?
b) Qual a probabilidade de o nmero escolhido ser par?
Exerccio 2
No lanamento de um dado, qual a probabilidade de o
nmero obtido ser menor ou igual a 4?
Exerccio 3
No lanamento de dois dados, um verde e outro vermelho, qual a probabilidade de que a soma dos pontos obtidos
seja:
Soluo:
a) 7
Raciocnio Lgico
b) 1
c) maior que 12
58
APOSTILAS OPO
d) um nmero par
n de resultados favorveis a
E
p (E) =
n total de resultados possveis
Exerccio 4
Na Aula 48 vimos que na SENA existem 11.441.304.000
maneiras de escolher 6 nmeros de 01 a 50. Se voc apostar
em 6 nmeros, qual a probabilidade de sua aposta ser a
sorteada?
Exerccio 5
O que acontece se voc apostar em 5 nmeros de 01 a
100? Qual a probabilidade de voc acertar a quina de nmeros sorteada?
Exerccio 6
Suponha que sejam iguais as chances de qualquer uma
das placas novas para automveis (3 letras e 4 nmeros) ser
escolhida para o seu automvel.
Iremos calcular a probabilidade de ocorrncia de um evento e outro, bem como a ocorrncia de um ou outro evento. Em muitas situaes a ocorrncia de um fato qualquer
depende da ocorrncia de um outro fato; nesse caso dizemos que so ocorrncias dependentes. Em situaes onde
no h essa dependncia, precisamos calcular probabilidades de duas situaes ocorrerem ao mesmo tempo.
Para abordarmos situaes como as que acabamos de
descrever, utilizaremos vrios exemplos durante esta aula.
Leia-os com bastante ateno e procure refazer as solues
apresentadas.
Clculo da probabilidade de ocorrncia de um evento e
de outro
1. a)
4
1
=
= 7,69%
52 13
b)
12 2
= = 23%
52 3
2.
1
4
=
= 67%
6 13
3. a)
EXEMPLO 1
1
. Nesse mesmo grupo, a probabilidade de que um jovem
5
5
saiba jogar futebol
. Qual a probabilidade de escolher6
mos um jovem (ao acaso) que tenha mdia maior que 7,0 e
saiba jogar futebol?
Soluo:
O fato de ter mdia maior que 7,0 no depende do
fato de saber jogar futebol, e vice-versa. Quando
isso ocorre, dizemos que os eventos so independentes.
6
1
= = 17%
36 6
b) 0
c) 0
24
= 67%
d)
36
4.
1
= 0,000 000 000 087 =
1144130400 0
5.
1
= 0,000 000 000 11 =
9034502400
1
tm mdia acima de 7,0 e
5
1
1
5
5
jogar futebol. Ora,
de
, ou seja,
x
=
5
5
6
6
todos os jovens,
5
sabem
6
1
, sabem
6
1
.
6
6
=
= 0,000 000 034 =
6.
3
4
175760000
26 10
3!
0,000 003 4%
EXEMPLO 2
Calculando probabilidades
Voc j aprendeu que a probabilidade de um evento E :
Raciocnio Lgico
59
APOSTILAS OPO
Dos 30 funcionrios de uma empresa, 10 so canhotos e
25 vo de nibus para o trabalho. Escolhendo ao acaso um
desses empregados, qual a probabilidade de que ele seja
canhoto e v de nibus para o trabalho?
Soluo:
Considere os eventos:
A : ser canhoto
B : ir de nibus para o trabalho
enunciado
deste
problema
nos
diz
que
P(A)
4
3
= P(B/A)= ; assim,
7
4
4 3 3
x =
7 4 7
P (B) =
10 1
=
30 3
25 5
=
30 6
P (A e B) = P (A) P (B/A)
1 5 5
P (A e B) = P (A) P (B) = x =
3 6 18
5
.
18
4
. Para continuar na competio
7
Soluo:
Considere os eventos:
Soluo:
A : terminar a 1 etapa da prova (natao).
B : terminar a 2 etapa da prova (corrida), tendo terminado a 1.
Note que A e B no so eventos independentes pois, para comear a 2 etapa necessrio, antes, terminar a 1.
2
.
3
3
. Qual a probabilidade de que um atleta que
4
Nesse caso dizemos que a ocorrncia do evento B depende (est condicionada) ocorrncia do evento A.
Calculando:
Utilizamos ento a notao B/A, que significa a dependncia dos eventos, ou melhor, que o evento B/A denota a
ocorrncia do evento B, sabendo que A j ocorreu. No caso
Raciocnio Lgico
9
. Depois de ser
10
EXEMPLO 3
a segunda
3
.
7
P(A) =
60
9
10
APOSTILAS OPO
P(B/A) =
2
3
P(A e B) =
9 2 3
x =
10 3 5
3
.
direo
5
EXEMPLO 5
Soluo:
Na Copa Amrica de 1995, o Brasil jogou com a Colmbia. No primeiro tempo, a seleo brasileira cometeu 10
faltas, sendo que 3 foram cometidas por Leonardo e outras 3
por Andr Cruz. No intervalo, os melhores lances foram reprisados, dentre os quais uma falta cometida pelo Brasil,
escolhida ao acaso. Qual a probabilidade de que a falta escolhida seja de Leonardo ou de Andr Cruz?
Soluo:
Das 10 faltas, 3 foram de Leonardo e 3 de Andr Cruz.
Portanto, os dois juntos cometeram 6 das 10 faltas do Brasil.
Assim, a probabilidade de que uma das faltas seja a escolhida dentre as 10
6
3
= .
10
5
100
1
= .
500
5
b) Usando o raciocnio do Exemplo 5, para saber a probabilidade da ocorrncia de um evento ou outro, somamos
as probabilidades de os dois eventos ocorrerem separadamente. Mas, neste exemplo, devemos tomar cuidado com o
seguinte: existem pessoas que consomem os dois sucos
indiferentemente, compram o que estiver mais barato, por
exemplo. Assim, no podemos contar essas pessoas (que
consomem um e outro) duas vezes.
Observe que a soma dos resultados maior que o
nmero de entrevistados (300 + 100 + 200 + 50
= 650), ou seja, h pessoas que, apesar de preferirem um dos sucos, consomem os dois. Para
facilitar daremos nomes aos eventos:
3
.
10
A : preferir o SOSUMO
B: preferir o SUMOBOM
3
.
10
3
3
6
3
+
=
=
10
10
10
5
.
Lembre-se de que qualquer uma das duas escolhas ter
um resultado favorvel.
Temos ento:
P (A ou B) = P (A) + P (B) P (A e B)
Temos ento:
Calculando:
Raciocnio Lgico
61
P(A) =
250 1
=
500 2
P(B) =
300 3
=
500 5
APOSTILAS OPO
P(A e B) =
100
1
=
500
5
1 3 1 1 2 5+4 9
P(A ou B) = + - = + =
=
10
2 5 5 2 5 10
9
.
10
Dos 140 funcionrios de uma fbrica, 70 preferem a marca de cigarros FUMAA, 80 preferem TOBACO e 30 fumam
ambas sem preferncia.
Observao
Sabendo que 20 funcionrios no fumam, calcule a probabilidade de que um funcionrio, escolhido ao acaso:
a) fume FUMAA e TOBACO
Observe que o evento A ou B (consumir um suco ou outro) deve incluir como casos favorveis todas as pessoas que
no fazem parte do grupo dos que no consomem esses
dois sucos.
Sabamos que dos 500 entrevistados, 50 pessoas consumiam nenhum dos dois e a probabilidade de escolhermos
uma dessas pessoas ao acaso era
50
1
, ou seja,
.
500
10
a) fume s FUMAA
9
1
=
, raciocinando por exclu10
10
b) fume s TOBACO
Exerccios propostos.
Exerccio 1
e) no fume FUMAA
f) no fume TOBACO
11
. J a probabilidade de esse habitante ser um
12
1
comerciante
. Escolhendo um habitante dessa cidade
11
Respostas
casa
1. Eventos independentes:
1
12
1
6
3.
4. a) P (A e B) =
30
3
=
140 14
1
e de aprovao na prova prtica (depois de ser aprova4
2
, calcule a probabilidade de que um prodo na escrita)
3
Raciocnio Lgico
b) P (A ou B) =
62
40 + 30 + 50 120 6
=
=
140
140 7
APOSTILAS OPO
5. a)
40 2
=
140 7
b)
50
5
=
140 14
c)
40 + 50 9
=
140
14
d)
20 1
=
140 7
e)
50 + 20 70 1
=
=
140
140 2
f)
40 + 20 60 3
=
=
140
140 7
Fonte: http://www.bibvirt.futuro.usp.br
PROVA SIMULADA I
EXERCCIOS
PROPOSIES E CONECTIVOS
Raciocnio Lgico
63
APOSTILAS OPO
Raciocnio Lgico
64
APOSTILAS OPO
Raciocnio Lgico
65
APOSTILAS OPO
28. (TRT 9 Regio 2004 FCC) A correta negao da proposio "todos os cargos deste concurso so de analista judicirio :
(A) alguns cargos deste concurso so de analista judicirio.
(B) existem cargos deste concurso que no so de analista
judicirio.
(C) existem cargos deste concurso que so de analista judicirio.
(D) nenhum dos cargos deste concurso no de analista
judicirio.
(E) os cargos deste concurso so ou de analista, ou no judicirio.
29. (Escriturrio Banco do Brasil 2011 FCC) Um jornal publicou a seguinte manchete:
Toda Agncia do Banco do Brasil tem dficit de funcionrios.
Diante de tal inverdade, o jornal se viu obrigado a retratar-se,
publicando uma negao de tal manchete. Das sentenas
seguintes, aquela que expressaria de maneira correta a negao da manchete publicada :
(A) Qualquer Agncia do Banco do Brasil no tm dficit de
funcionrios.
(B) Nenhuma Agncia do Banco do Brasil tem dficit de funcionrios.
(C) Alguma Agncia do Banco do Brasil no tem dficit de
funcionrios.
(D) Existem Agncias com deficit de funcionrios que no
pertencem ao Banco do Brasil.
(E) O quadro de funcionrios do Banco do Brasil est completo.
30. (Prominp 2009 Cesgranrio) A negao de Todos os
filhos de Maria gostam de quiabo
(A) nenhum dos filhos de Maria gosta de quiabo.
(B) nenhum dos filhos de Maria desgosta de quiabo.
(C) pelo menos um dos filhos de Maria gosta de quiabo.
(D) pelo menos um dos filhos de Maria desgosta de quiabo.
(E) alguns filhos de Maria no gostam de quiabo.
31. (Metr-SP 2010 FCC) A negao da proposio Existem
Linhas do Metr de So Paulo que so ociosas. :
(A) Nenhuma Linha do Metr de So Paulo ociosa.
(B) Nenhuma Linha ociosa do Metr de So Paulo.
(C) Nem toda Linha do Metr de So Paulo ociosa.
(D) Algumas Linhas do Metr de So Paulo no so ociosas.
(E) Toda Linha do Metr de So Paulo no ociosa.
32. (Oficial de Justia TJ-PE 2006 FCC) Considere a afirmao abaixo.
Existem funcionrios pblicos que no so eficientes.
Se essa afirmao FALSA, ento verdade que:
(A) nenhum funcionrio pblico eficiente.
(B) nenhuma pessoa eficiente funcionrio pblico.
(C) todo funcionrio pblico eficiente.
(D) nem todos os funcionrios pblicos so eficientes.
(E) todas as pessoas eficientes so funcionrios pblicos.
33. (TRT 9 Regio 2004 FCC) Em uma declarao ao tribunal, o acusado de um crime diz:
"No dia do crime, no fui a lugar nenhum. Quando ouvi a
campainha e percebi que era o vendedor, eu disse a ele:
- hoje no compro nada. Isso posto, no tenho nada a declarar sobre o crime.
Embora a dupla negao seja utilizada com certa freqncia
na lngua portuguesa como um reforo da negao, do ponto
de vista puramente lgico, ela equivale a uma afirmao.
Ento, do ponto de vista lgico, o acusado afirmou, em relao ao dia do crime, que
(A) no foi a lugar algum, no comprou coisa alguma do
vendedor e no tem coisas a declarar sobre o crime.
Raciocnio Lgico
66
APOSTILAS OPO
39. (Prominp 2008 Cesgranrio) Sejam p, q e r proposies
simples e ~p, ~q e ~r as suas respectivas negaes. A negao de
Raciocnio Lgico
67
APOSTILAS OPO
E
C
C
C
B
C
A
D
B
C
21.
22.
23.
24.
25.
26.
27.
28.
29.
30.
B
C
B
C
B
D
B
C
D
31.
32.
33.
34.
35.
36.
37.
38.
39.
40.
C
C
C
C
A
C
A
A
41.
42.
43.
44.
45.
46.
47.
48.
49.
50.
A
C
E
D
E
B
B
C
A
B
27.
a) Algum corvo negro.
b) Algum gato no sabe pular.
c) Nenhum sapo prncipe. (Todo sapo no prncipe.)
d) Toda planta venenosa. (Nenhuma planta no venenosa.)
36.
a) X Y ou Z W.
b) X > Y e Z W.
c) O tempo est chuvoso e no faz calor.
d) Ou Joo bom mdico ou estudou muito, mas no ambos.
QUESTES RESOLVIDAS
Questo 1: FUNIVERSA/2012 - Concurso PC-DF Perito
Criminal Odontologia
Pergunta: Cinco amigos encontraram-se em um bar e, depois
de algumas horas de muita conversa, dividiram igualmente a
conta, a qual fora de, exatos, R$ 200,00, j com a gorjeta
includa. Como se encontravam ligeiramente alterados pelo
lcool ingerido, ocorreu uma dificuldade no fechamento da
conta. Depois que todos julgaram ter contribudo com sua
parte na despesa, o total colocado sobre a mesa era de R$
160,00, apenas, formados por uma nota de R$ 100,00, uma
de R$ 20,00 e quatro de R$ 10,00. Seguiram-se, ento, as
seguintes declaraes, todas verdadeiras: Antnio: Baslio
pagou. Eu vi quando ele pagou. Danton: Carlos tambm
pagou, mas do Baslio no sei dizer. Eduardo: S sei que
algum pagou com quatro notas de R$ 10,00. Baslio:
Aquela nota de R$ 100,00 ali foi o Antnio quem colocou, eu
vi quando ele pegou seus R$ 60,00 de troco. Carlos: Sim,
e nos R$ 60,00 que ele retirou, estava a nota de R$ 50,00
Raciocnio Lgico
68
APOSTILAS OPO
Questo 6: FCC/2012 - TCE SP Agente de Fiscalizao
Financeira Administrao
Pergunta: Se a tinta de boa qualidade ento a pintura melhora a aparncia do ambiente. Se o pintor um bom pintor
at usando tinta ruim a aparncia do ambiente melhora. O
ambiente foi pintado. A aparncia do ambiente melhorou.
Ento, a partir dessas afirmaes, verdade que:
a) O pintor era um bom pintor ou a tinta era de boa qualidade.
b) O pintor era um bom pintor e a tinta era ruim.
c) A tinta no era de boa qualidade.
d) A tinta era de boa qualidade e o pintor no era bom pintor.
e) Bons pintores no usam tinta ruim.
Questo 7: FCC/2012 - Concurso TCE- AP Tcnico de Controle Externo
Pergunta: O responsvel por um ambulatrio mdico afirmou:
Todo paciente atendido com certeza, a menos que tenha
chegado atrasado. De acordo com essa afirmao, concluise que, necessariamente,
a) nenhum paciente ter chegado atrasado se todos tiverem
sido atendidos.
b) nenhum paciente ser atendido se todos tiverem chegado
atrasados.
c) se um paciente no for atendido, ento ele ter chegado
atrasado.
d) se um paciente chegar atrasado, ento ele no ser atendido.
e) se um paciente for atendido, ento ele no ter chegado
atrasado.
Respostas
Questo 1
O enunciado informa que todas as informaes dadas so
verdadeiras, portanto:
Baslio pagou;
Carlos pagou;
Antnio pagou com R$ 100,00 reais e retirou da mesa o troco
de R$ 60,00 reais. Inclundo a nota de R$ 50,00 que havia
sido dada por Eduardo.
Eduardo pagou, portanto sobra danton.
Questo 2
Afirmao: No vou morar em Parsgada. Para ser verdadeiro deve ter pelo menos uma proposio verdadeira.
Caso (V) v Compro a Bicicleta (F)
Viajo (V) v No caso (F)
Morar em Parsgada (F) v No compro bicicleta (V)
Concluso:
-Viajo, Caso e No compro a bicicleta.
Resposta Certa
Letra D
Letra B
Letra C
Letra A
Letra A
Letra A
Letra C
Okconcursos
Questo 3
Afirmao: No sonho acordado. Isso nos leva a pensar na
frase: "Ou no toco muito bem ou sonho acordado". Porque
se ele no sonha acordado tambm no toca muito bem.
Se o instrumento soa bem, ento toco muito bem.
Se afino as cordas, ento o instrumento soa bem.
Ou seja, como j se sabe que ele no toca bem, consequentemente o instrumento no soa bem e as cordas no esto
afinadas.
Questo 4
A: o turista perdeu o voo
B: a agncia de viagens se enganou
C: o turista foi para o hotel
D: o avio atrasou
Afirmao: O avio no atrasou.
Proposies:
A (Falsa) v B (Verdadeira)
A (Falsa) -->> ~B (Falsa)
~B (Falsa) -->> ~C (Falsa)
Raciocnio Lgico
PROVA SIMULADA II
1. Todos os marinheiros so republicanos. Assim sendo,
(A) o conjunto dos marinheiros contm o conjunto dos
republicanos.
(B) o conjunto dos republicanos contm o conjunto
dos marinheiros.
(C) todos os republicanos so marinheiros.
(D) algum marinheiro no republicano.
(E) nenhum marinheiro republicano.
2.
69
APOSTILAS OPO
(A) Todo espio no vegetariano e algum vegetariano espio.
(B) Todo espio vegetariano e algum vegetariano
no espio.
(C) Nenhum espio vegetariano e algum es pio
no vegetariano.
(D) Algum espio vegetariano e algum es pio no
vegetariano.
(E) Todo vegetariano espio e algum espio no
vegetariano.
3.
(A) 10.
(B) 12.
(C) 18.
(D) 24.
(E) 32.
9.
10.
11.
12.
13.
As rosas so mais baratas do que os lrios. No tenho dinheiro suficiente para comprar duas dzias de
rosas. Logo,
6. Um tcnica de futebol, animado com as vitrias obtidas pela sua equipe nos ltimos quatro jogos,
decide apostar que essa equipe tambm vencer
o prximo jogo. Indique a Informao adicional
que tornaria menos provvel a vitria esperada.
Raciocnio Lgico
Todas as plantas verdes tm clorofila. Algumas plantas que tem clorofila so comestveis. Logo,
(A) algumas plantas verdes so comestveis.
(B) algumas plantas verdes no so comestveis.
(C) algumas plantas comestveis tm clorofila.
(D) todas as plantas que tm clorofila so comestveis.
(E) todas as plantas vendes so comestveis.
70
APOSTILAS OPO
(D) no tenho dinheiro suficiente para comprar duas
dzias de lrios.
(E) tenho dinheiro suficiente para comprar uma dzia
de lrios.
14.
17.
18.
19.
O paciente no pode estar bem e ainda ter febre.
O paciente est bem. Logo, o paciente
(A) TEM FEBRE E NO EST BEM.
(B) TEM FEBRE OU NO EST BEM.
(C) TEM FEBRE.
(D) NO TEM FEBRE.
(E) NO EST BEM.
Na escola de amanh os estudantes sero seus prprios instrutores, com programas de computador como ferramentas. Na verdade, quanto mais jovens forem os estudantes, maior o apelo do computador para eles e maior o
seu sucesso na sua orientao e instruo. Historicamente,
a escola de primeiro grau tem sido totalmente intensiva de
mo-de-obra. A escola de primeiro grau de amanh ser
fortemente intensiva de capital.
Contudo, apesar da tecnologia disponvel, a educao universal apresenta tremendos desafios. Os conceitos
tradicionais de educao no so mais suficientes. Ler,
escrever e aritmtica continuaro a ser necessrios como
hoje, mas a educao precisar ir muito alm desses itens
bsicos. Ela ir exigir familiaridade com nmeros e clculos;
uma compreenso bsica de cincia e da dinmica da tecnologia; conhecimento de lnguas estrangeiras. Tambm
ser necessrio aprender a ser eficaz como membro de uma
organizao, como empregado." (Peter Drucker, A sociedade ps-capitalista).
Raciocnio Lgico
15.
20.
21.
22.
71
APOSTILAS OPO
caes sejam razoavelmente consistentes com as vantagens de escopo e perspectiva que so creditadas a estas
posies. Esta autoridade , at um grau considervel, independente da habilidade pessoal do sujeito que ocupa a
posio. E muitas vezes reconhecido que, embora este
sujeito possa ter habilidade pessoal limitada, sua recomendao deve ser superior pela simples razo da vantagem de
posio. Esta a autoridade de posio.
Mas bvio que alguns homens tm habilidade superior. O seu conhecimento e a sua compreenso, independentemente da posio, geram respeito. Os homens atribuem autoridade ao que eles dizem, em uma organizao,
apenas por esta razo. Esta a autoridade de liderana.'
(Chester Barnard, The Functions of the Executive).
23.
26.
Se Francisco desviou dinheiro da campanha assistencial, ento ele cometeu um grave delito.
Mas Francisco no desviou dinheiro da campanha
assistencial. Logo,
(A) Francisco desviou dinheiro da campanha assistencial.
(B) Francisco no cometeu um grave delito.
(C) Francisco cometeu um grave delito.
(D) algum desviou dinheiro da campanha assistencial.
(E) algum no desviou dinheiro da campanha assistencial.
27.
28.
Raciocnio Lgico
29.
30.
Assinale a alternativa em que ocorre uma concluso verdadeira (que corresponde realidade) e o
argumento invlido (do ponto de vista lgico).
(A) Scrates homem, e todo homem mortal, portanto Scrates mortal.
(B) Toda pedra um homem, pois alguma pedra
um ser, e todo ser homem.
(C) Todo cachorro mia, e nenhum gato mia, portanto
cachorros no so gatos.
(D) Todo pensamento um raciocnio, portanto, todo
pensamento um movimento, visto que todos os
raciocnios so movimentos.
(E) Toda cadeira um objeto, e todo objeto tem cinco
ps, portanto algumas cadeiras tem quatro ps.
25.
Para o autor,
(A) autoridade de posio e autoridade de liderana
so sinnimos.
(B) autoridade de posio uma autoridade superior
autoridade de liderana.
(C) a autoridade de liderana se estabelece por caractersticas individuais de alguns homens.
(D) a autoridade de posio se estabelece por habilidades pessoais superiores de alguns lderes.
(E) tanto a autoridade de posio quanto a autoridade
de liderana so ineficazes.
24.
72
APOSTILAS OPO
Edu: "Tarso o culpado"
Juarez: "Armando disse a verdade"
Tarso: "Celso mentiu"
Sabendo-se que apenas um dos suspeitos mentiu e que
todos os outros disseram a verdade, pode-se concluir que o
culpado :
a) Armando
b) Celso
c) Edu
d) Juarez
e) Tarso
35- Trs rapazes e duas moas vo ao cinema e desejam
sentar-se, os cinco, lado a lado, na mesma fila. O nmero de
maneiras pelas quais eles podem distribuir-se nos assentos
de modo que as duas moas fiquem juntas, uma ao lado da
outra, igual a
a) 2
b) 4
c) 24
d) 48
e) 120
36- De um grupo de 200 estudantes, 80 esto matriculados
em Francs, 110 em Ingls e 40 no esto matriculados nem
em Ingls nem em Francs. Seleciona-se, ao acaso, um dos
200 estudantes. A probabilidade de que o estudante selecionado esteja matriculado em pelo menos uma dessas disciplinas (isto , em Ingls ou em Francs) igual a
a) 30/200
b) 130/200
c) 150/200
d) 160/200
e) 190/200
37- Uma herana constituda de barras de ouro foi totalmente
dividida entre trs irms: Ana, Beatriz e Camile. Ana, por ser
a mais velha, recebeu a metade das barras de ouro, e mais
meia barra. Aps Ana ter recebido sua parte, Beatriz recebeu
a metade do que sobrou, e mais meia barra. Coube a Camile
o restante da herana, igual a uma barra e meia. Assim, o
nmero de barras de ouro que Ana recebeu foi:
a) 1
b) 2
c) 3
d) 4
e) 5
38- Chama-se tautologia a toda proposio que sempre
verdadeira, independentemente da verdade dos termos que
a compem. Um exemplo de tautologia :
a) se Joo alto, ento Joo alto ou Guilherme gordo
b) se Joo alto, ento Joo alto e Guilherme gordo
c) se Joo alto ou Guilherme gordo, ento Guilherme
gordo
d) se Joo alto ou Guilherme gordo, ento Joo alto e
Guilherme gordo
e) se Joo alto ou no alto, ento Guilherme gordo
Raciocnio Lgico
73
APOSTILAS OPO
01.
02.
03.
04.
05.
06.
07.
08.
09.
10.
B
A
C
E
E
B
B
D
C
B
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
C
C
D
A
A
D
C
A
D
D
RESPOSTAS
21. B
31.
22. E
32.
23. C 33.
24. B
34.
25. C 35.
26. E
36.
27. A
37.
28. D 38.
29. B
39.
30. E
40.
C
B
C
E
D
D
E
A
C
A
41.
42.
43.
44.
45.
46.
47.
48.
49.
50.
3.
4.
5.
2.
Raciocnio Lgico
14
14
6.
8.
9.
10
11-
19
21
B
C
D
E
A
B
A
C
E
B
12.
?
13.
74
APOSTILAS OPO
14.
15
16.
17
18.
19
20.
21
22
23
24
25
18. (Existem duas sries alternadas, uma que aumenta de 4 em 4 e a outra de 3 em 3).
10
11
12
13
14
Escreva, dentro do parntese, o nmero que falta.
341
(250)
466
282
(. . .)
398
15
16
17
18
19
20
21
22
26
42
Raciocnio Lgico
75
APOSTILAS OPO
23
7
mais.
8
mais.
9
mais.
24
2
mais.
3
mais.
5
mais.
Raciocnio Lgico
10
mais.
11
mais.
76
APOSTILAS OPO
12
mais.
18
mais.
13
mais.
14
mais.
15
mais.
16
mais.
17
mais.
20
mais.
21
mais.
22
mais.
Raciocnio Lgico
77
APOSTILAS OPO
23
mais.
24
mais.
25
mais.
26
mais.
29
mais.
30
27
mais.
Raciocnio Lgico
78
APOSTILAS OPO
9
Raciocnio Lgico
79