Professional Documents
Culture Documents
No deve ser
usado quando...
O argumento
Utilizao dos
apresentar as
O argumento no
1
Diagramas
palavras
apresentar tais
Mtodo (circunferncias
todo, nenhum, ou palavras.
)
algum
Em qualquer caso,
O argumento
mas
apresentar trs
Construo
das
preferencialmente
2
ou mais
quando o
Mtodo TabelasVerdade
argumento tiver no proposies
simples.
mximo duas
proposies
O
1 Mtodo no
simples.
puder ser
empregado, e
Considerando houver uma
Nenhuma
as premissas premissa...
premissa for uma
3
verdadeiras e
...que seja uma
proposio
Mtodo testando a
proposio
simples ou uma
concluso
simples; ou
conjuno.
verdadeira
... que esteja na
forma de uma
conjuno (e).
O 1 Mtodo no
puder ser
empregado, e a
concluso...
Verificar a
existncia de
4
concluso
Mtodo falsa e
premissas
verdadeiras
A concluso no
for uma
proposio
simples, nem
... estiver a forma uma disjuno,
de uma disjuno nem uma
(ou); ou
condicional.
...tiver a forma de
uma proposio
simples; ou
...estiver na forma
de uma
condicional
(se...ento...)
Vamos
seguir
os
dois
caminhos:
resolveremos a questo pelo 3 e pelo 4 mtodos.
Obviamente que, na prova, ningum vai fazer isso!
Basta resolver uma vez! Adiante:
Resoluo pelo 3 Mtodo)
Considerando as premissas verdadeiras e
testando a concluso verdadeira. Teremos:
2 Premissa) ~r verdade. Logo: r
falsa!
1 Premissa) (pq)r verdade.
Sabendo que r falsa, conclumos que (pq) tem
que ser tambm falsa. E quando uma conjuno (e)
falsa? Quando as duas partes so falsas. Logo: p
falsa e q falsa.
Pgina 1
RACIOCNIO LGICO-QUANTITATIVO
Em suma, obtivemos que: p, q e r so
todos falsos!
Conhece contabilidade
falsa
Paga imposto
CARLOS
honesto
CARLOS
Lgica no fcil.
Item 3. A argumentao
Pgina 2
RACIOCNIO LGICO-QUANTITATIVO
P Q
P
Q
Sol.: A forma simblica est correta.
Isso facilmente constatado. O que temos que
analisar sobre a validade do argumento.
Qual o melhor mtodo a ser utilizado?
Vamos ao roteiro aprendido acima!
1 Pergunta)
Resposta:
2 Pergunta)
Resposta:
3 Pergunta)
conjuno?
Resposta:
4 Pergunta)
Resposta:
Sim, tambm!
A concluso uma proposio simples.
Opcionalmente, poderemos igualmente usar
o 4 mtodo!
da
Polcia
VERDE
Pgina 3
RACIOCNIO LGICO-QUANTITATIVO
CACHORRO
GATOS
Questo 9: (SERPRO-2001/ESAF)
Concluso:
aquticos.
no
sorri.
Teremos:
AQUTICOS
10.
PQ
P
Q
TEM ASAS
CACHORROS
Pgina 4
RACIOCNIO LGICO-QUANTITATIVO
11.
PQ
Q R_ P R
Resposta:
4 Pergunta)
Resposta:
13.
premissas
Da,
o
Y=2
yz
4 Mtodo)
falsa
Ora,
falhou
a
situao
verdadeiras
e
concluso
falsa!
argumento vlido!
Considerando a concluso
premissas verdadeiras. Teremos:
P Q R Q
R
P
Sol.: Aplicaremos novamente aqui o 4
mtodo. Teremos:
Concluso) ~P falso. Logo: P
verdadeiro!
Central de Atendimento: (91) 3278-5713 / 8163-1764 ou pelo site: www.apostilasautodidata.com.br
Pgina 5
RACIOCNIO LGICO-QUANTITATIVO
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).
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.
Pgina 6
RACIOCNIO LGICO-QUANTITATIVO
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.
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.
1.2. Raciocnio e Argumentao
Trs so as principais operaes do
intelecto humano: a simples apreenso, os juzos
e o raciocnio.
A
simples apreenso consiste na
captao direta (atravs dos sentidos, da intuio
racional, da imaginao etc) de uma realidade
sobre a qual forma-se uma idia ou conceito (p.
ex., de um objeto material, ideal, sobrenatural etc)
que, por sua vez, recebe uma denominao (as
palavras ou termos, p. ex.: mesa, trs e
arcanjo).
O juzo ato pelo qual os conceitos ou
idias so ligadas ou separadas dando origem
emisso de um julgamento (falso ou verdadeiro)
sobre a realidade, mediante proposies orais ou
escritas. Por exemplo: H trs arcanjos sobre a
mesa da sala
O raciocnio, por fim, consiste no arranjo
intelectual dos juzos ou proposies, ordenando
adequadamente os contedos da conscincia. No
raciocnio, parte-se de premissas para se chegar
a concluses que devem ser adequadas.
Procedendo
dessa
forma,
adquirem-se
conhecimentos novos e defende-se ou aprofundase o que j se conhece. Para tanto, a cada passo,
preciso preencher os requisitos da coerncia e
do rigor. Por exemplo: Se os trs arcanjos esto
sobre a mesa da sala, no esto sobre a mesa da
varanda
Quando os raciocnios so organizados
com tcnica e arte e expostos de forma tal a
convencer a platia, o leitor ou qualquer
interlocutor tem-se a argumentao. Assim, a
atividade argumentativa envolve o interesse da
persuaso. Argumentar o ncleo principal da
retrica, considerada a arte de convencer
mediante o discurso.
Pgina 7
RACIOCNIO LGICO-QUANTITATIVO
(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, chama- se 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.
Pgina 8
RACIOCNIO LGICO-QUANTITATIVO
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
fim, a deduo tida por alguns como o nico
raciocnio autenticamente lgico, por isso, o
verdadeiro objeto da lgica formal.
A maior ou menor valorizao de um ou
de outro tipo de raciocnio depender do objeto a
que se aplica, do modo como desenvolvido ou,
ainda, da perspectiva adotada na abordagem da
natureza e do alcance do conhecimento.
s vezes, um determinado tipo de
raciocnio no adequadamente empregado.
Vejam-se os seguintes
exemplos: o mdico
alemo
Ludwig
Bchner
(1824-1899)
apresentou como argumento contra a existncia
da alma o fato de esta nunca ter sido encontrada
nas diversas dissecaes do corpo humano; o
astronauta russo Gagarin (1934-1968) afirmou
que Deus no existe pois esteve l em cima e
no o encontrou. Nesses exemplos fica bem claro
que o raciocnio indutivo, baseado na observao
emprica, no o mais adequado para os objetos
em questo, j que a alma e Deus so de ordem
metafsica, no fsica.
2.1. Raciocnio analgico
Se raciocinar passar do desconhecido
ao conhecido, partir do que se sabe em direo
quilo que no se sabe, a analogia (an =
segundo, de acordo + lgon = razo) um dos
caminhos mais comuns para que isso acontea.
No raciocnio analgico, compara-se uma situao
j conhecida com uma situao desconhecida ou
parcialmente conhecida, aplicando a elas as
informaes previamente obtidas quando da
vivncia direta ou indireta da situao-referncia.
Normalmente, aquilo que familiar
usado como ponto de apoio na formao do
conhecimento, por isso, a analogia um dos
meios mais comuns de inferncia. Se, por um
lado, fonte de conhecimentos do dia-a-dia, por
outro, tambm tem servido de inspirao para
muitos gnios das cincias e das artes, como nos
casos de Arquimedes na banheira (lei do
empuxo), de Galileu na catedral de Pisa (lei do
pndulo) ou de Newton sob a macieira (lei da
gravitao universal). No entanto, tambm uma
forma de raciocnio em que se cometem muitos
erros. Tal acontece porque difcil estabelecer-lhe
regras rgidas. A distncia entre a genialidade e a
falha grosseira muito pequena. No caso dos
raciocnios analgicos, no se trata propriamente
depende,
ser
ou
ser
ou
Pgina 9
RACIOCNIO LGICO-QUANTITATIVO
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.
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
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 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;
Pgina 10
RACIOCNIO LGICO-QUANTITATIVO
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.
Exemplos correspondentes s duas
formas de induo por enumerao completa:
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;
obteve-se, por conseguinte, a concluso segura
de que a dor de cabea um dos sintomas da
dengue.
Pgina 11
RACIOCNIO LGICO-QUANTITATIVO
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
Pgina 12
RACIOCNIO LGICO-QUANTITATIVO
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.
c- O carro quebrou
d- A novela acabou
Proposies Compostas ou Moleculares
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: (?)
Q: A raiz quadrada de 16 4 e 24
mltiplo de 3.
R(s, t): O nmero 7 mpar e o
nmero 17 primo.
Conectivos lgicos
(~) = Negao (Falso)
(.) = Conjuno (e)
(+) = Disjuno (ou)
() = Condicional (se)
() = Bicondicional (seno)
As proposies pode assumir apenas uma
condio, Verdadeiro (V ou 1) ou Falso (F ou 0),
exemplos:
a: O aucar doce e serve para
adoar o macarro
b: A lua brilha para iluminar a noite
Notaes lgicas
V(a)=0 ou F(a)=1
V(b)=1 ou F(b)=0
Pgina 13
RACIOCNIO LGICO-QUANTITATIVO
~p
~(~p)
p^q
pq
Pgina 14
RACIOCNIO LGICO-QUANTITATIVO
Tabela Verdade da Disjuno Exclusiva (ou
exclusivo)
pq
(Simetria)
(Reflexividade)
Se
ento
Se
(Transitividade)
Tabela Verdade da Negao de Proposio
Composta (De Morgan)
ento
p q ~p ~q p ^ q ~(p ^ q) ~p ~q
VV F F
VF F V
FV V F
FF V V
d : "Hoje sbado"
f : "Hoje fim de semana"
1.
2.
Sintaticamente, (1) e (2) so equivalentes
pela Lei da Contraposio. Semnticamente, (1) e (2)
tm os mesmos valores nas mesmas interpretaes.
Teorema da Substitutividade
subfrmula
Na lgica, as asseres p e q so ditas
logicamente equivalentes ou simplesmente
equivalentes, se
e
. Em
termos intuitivos, duas sentenas so
logicamente equivalentes se possuem o mesmo
"contedo lgico".
Do ponto de vista da teoria da
demonstrao, p e q so equivalentes se cada
uma delas pode ser derivada a partir da outra.
Semanticamente, p e q so equivalentes se elas
tm os mesmos valores para qualquer
interpretao.
de
Em smbolos:
Seja
Equivalncia lgica
fim
uma
, e seja
frmula
contendo
uma
o resultado de substituir em
pela
. Se
for logicamente equivalente a
logicamente equivalente a '.
Exemplo
Seja
e
. Como
, ento
equivalente a
equivalente a
Pgina 15
RACIOCNIO LGICO-QUANTITATIVO
1.1 regras de equivalncia lgica
Veja a representao:
(p q) (~q ~p)
leis de Morgan
Da autoria do ilustre matemtico ingls
Augustus De Morgan (1806-1871), podemos separlas em Primeiras Leis de Morgan e Segundas Leis de
Morgan.
As primeiras podem ser indicadas de vrias
formas, dependendo do contexto a estudar.
Exemplo
cujo significado :
A tabela da bicondicional (p q) (~q
~p) ser:
cujo significado :
Portanto, p q equivalente a ~q ~p,
pois estas proposies possuem a mesma tabelaverdade ou a bicondicional (p q) (~q ~p)
uma tautologia.
Central de Atendimento: (91) 3278-5713 / 8163-1764 ou pelo site: www.apostilasautodidata.com.br
Pgina 16
RACIOCNIO LGICO-QUANTITATIVO
As Segundas Leis de Morgan permitemnos efetuar a negao de proposies com
quantificadores (universais e existenciais).
Dada a expresso proposicional (ou
condio) p(x), em que x A, conjunto de
nmeros reais, a expresso x A: p (x) l-se:
"para todo o elemento de A, verifica-se p", ou
seja, qualquer que seja o valor de A pelo qual
substitumos x, p(x) transforma-se numa
proposio verdadeira.
Por outro lado, a expresso x A: p(x)
l-se: "existe pelo menos um elemento de A que
verifica p", ou seja, significa que existe pelo
menos um valor da varivel x, para a qual a p(x)
se transforma numa proposio verdadeira.
Neguemos ambas:
axiomas.
Alfabeto
O alfabeto de prmeira ordem,
seguinte constituio:
, tem a
,
onde
1.
um conjunto enumervel de variveis;
2.
Pgina 17
RACIOCNIO LGICO-QUANTITATIVO
3.
um conjunto de
smbolos ditos sinais funcionais;
4.
um conjunto de
smbolos ditos sinais relacionais ou predicativos;
5.
conjunto de smbolos ditos sinais lgicos;
6.
smbolos de pontuao.
conjunto
de
A
igualdade
s
vezes
considerada como parte da lgica de primeira
ordem; Neste caso, o smbolo da igualdade ser
includo
no
alfabeto,
e
comportar-se-
sintaticamente como um predicado binrio. Assim
a LPO ser chamada de lgica de primeira
ordem com igualdade.
As constantes so na verdade
funes de aridade 0, assim seria possvel e
conveniente omitir constantes e usar as funes
que tenham qualquer aridade. Mas comum usar
o termo "funo" somente para funes de
aridade 1.
de
fechamento:
Nada
Pgina 18
RACIOCNIO LGICO-QUANTITATIVO
termos ai. Se a igualdade for considerada parte da
lgica, ento (a1 = a2) bem formada. Tais
frmulas so ditas atmicas.
2.
Clusula indutiva I: Se for uma
FBF, ento uma FBF. Suas variveis livres
so as variveis livres de .
3.
Clusula indutiva II: Se e
so FBFs, ento ( ), ( ), ( ), (
) so FBFs. Suas variveis livres so as
variveis livres de e de .
4.
Clusula indutiva III: Se for
uma FBF e x for um varivel, ento x e x so
FBFs, cujas variveis livres so as variveis livres
de com exceo de x. Ocorrncias de x so
ditas ligadas ou mudas (por oposio a livre) em
x e x.
5.
Clusula de fechamento: Nada
mais uma FBF.
Na prtica, se P for uma relao de
aridade 2, ns escrevemos frequentemente "a P
b" em vez de "P a b"; por exemplo, ns
escrevemos 1 < 2 em vez de < (1 2). Similarmente
se f for uma funo de aridade 2, ns escrevemos
s vezes "a f b" em vez de "f (a b)"; por exemplo,
ns escrevemos 1 + 2 em vez de + (1 2).
tambm comum omitir alguns parnteses se isto
no conduzir ambigidade. s vezes til dizer
que "P (x) vale para exatamente um x", o que
costuma ser denotado por !xP(x). Isto tambm
pode ser expresso por x (P (x) y (P (y) (x =
y))).
Exemplos: A linguagem dos grupos
abelianos ordenados tem uma constante 0, uma
funo unria , uma funo binria +, e uma
relao binria . Assim:
0, x, y so termos atmicos
Pgina 19
RACIOCNIO LGICO-QUANTITATIVO
Regras de inferncia
, ento
, ento
Tipo
Exemplo
Se
Rafael
for
satisfeito consigo
Quantificadores mesmo, ento ele
sobre
as tem pelo menos
propriedades
uma coisa em
comum
com
Roberta
Predicado
adverbial
Qj;
predicados adverbiais
Luiz est andando
no so a mesma coisa
rpido
que predicados de
segunda ordem , como
cores
No
podem
ser
analisados como Sj
Ej;
predicados
Jumbo
um
Adjetivo Relativo
adjetivados no so a
elefante pequeno
mesma
coisa
que
predicados de segunda
ordem , como cores
Modificador
predicado
adverbial
do Anderson
andando
rpido
est
muito -
Roberta
Modificador do
extremamente
adjetivo relativo
pequena
Preposies
adjetivo
relativo
"pequena", resulta em
um
novo
adjetivo
relativo: "extremamente
pequena"
Axiomas e regras
Os cinco axiomas lgicos mais as duas
regras de inferncia seguintes caracterizam a lgica
de primeira ordem:
Axiomas:
Requer quantificadores
sobre os predicados, os
quais no podem ser
implementados com a
lgica
de
primeira
ordem
(unicamente
ordenada):
Zj
X(XjXp)
Requer quantificadores
sobre os predicados, os
quais no podem ser
Quantificadores Papai Noel tem
implementados com a
sobre
as todos os atributos
lgica
de
primeira
propriedades
de um sadista
ordem
(unicamente
ordenada): X(x(Sx
Xx)Xs)
Limitaes
Comentrio
(A1)
(A2)
(A3)
(A4)
, onde
no
livre em
Pgina 20
RACIOCNIO LGICO-QUANTITATIVO
(A5)
onde t livre para x em
Regras de Inferncia:
Modus Ponens:
Generalizao Universal:
Os axiomas circunstanciais do
clculo proposicional (A1, A2 e A3 na seo
anterior);
(A4 e A5);
Pgina 21
RACIOCNIO LGICO-QUANTITATIVO
2.
O problema da deciso para
validade semidecidvel, ou seja, h uma
mquina de Turing que quando recebe uma frase
como entrada, parar se e somente se a sentena
for vlida (satisfeita em todos os modelos).
o
Como o teorema da completude
de Gdel mostra, para toda frmula vlida P, P
demonstrvel. Analogamente, assumindo a
consistncia da lgica, toda frmula demonstrvel
vlida.
o
Para um conjunto finito ou semienumervel de axiomas, o conjunto das frmulas
demonstrveis
pode
ser
explicitamente
enumerado por uma mquina de Turing, donde
segue o resultado de semidecidibilidade.
3.
A lgica de predicados mondica
(i.e., a lgica de predicados somente com
predicados de um argumento) decidvel.
4.
A classe de Bernays-Schnfinkel
das frmulas de primeira ordem tambm
decidvel.
Comparao com outras lgicas
A
lgica
infinitria
permite
sentenas infinitamente longas. Ela pode permitir por
exemplo, uma conjuno ou uma disjuno infinita de
muitas frmulas, ou uma quantificao sobre um
nmero infinito de variveis. Sentenas infinitamente
longas aparecem na matemtica (por exemplo,
topologia) e na metamatemtica (por exemplo, a
teoria dos modelos).
A lgica independence-friendly
caracterizada por quantificadores ramificados que
permitem expressar a independncia entre variveis
quantificadas.
A maioria destas lgicas so de certa forma
extenses da lgica de primeira ordem: elas incluem
todos os quantificadores e operadores lgicos da
lgica de primeira ordem com os mesmos
significados. Lindstrm mostrou que a lgica de
primeira ordem no tem extenses (com exceo
dela prpria) que satisfazem o teorema da
compacidade e ao teorema de Lwenheim-Skolem
descendente. Uma formulao precisa deste teorema
requer a listagem de vrios pginas de condies
tcnicas que a lgica deve satisfazer, por exemplo, a
mudana dos smbolos de uma linguagem no deve
fazer nenhuma diferena essencial nas sentenas
que so verdadeiras.
A lgica de primeira ordem em que nenhuma
sentena atmica se encontra sob o escopo de mais
de trs quantificadores, tem o mesmo poder
expressivo que a lgebra de relao de Tarski e de
Givant (1987). Estes autores tambm mostram que a
LCPO (Lgica Clssica de Primeira Ordem) com um
par ordenado primitivo, e uma relao algbrica
incluindo relaes de projeo sobre pares
ordenados so equivalentes.
ex: pt.x (Homem(x)Mortal(x)), que uma
frmula vlida.
A
lgica
intuicionista
de
primeira ordem utiliza o intuicionismo ao invs do
clculo proposicional clssico, por exemplo, o
no precisa ser equivalente a .
Central de Atendimento: (91) 3278-5713 / 8163-1764 ou pelo site: www.apostilasautodidata.com.br
Pgina 22
RACIOCNIO LGICO-QUANTITATIVO
Permutao
Considere n objetos diferentes. De
quantas maneiras podemos dispor (permutar)
esses objetos?
Exemplo: Objetos a, b, c. Permutaes: abc, acb,
bac, bca, cab, cba.
Para n objetos, o nmero de permutaes :
Pn n(n 1)...1
Arranjo
Considere n objetos diferentes. De
quantas maneiras podemos escolher k (k n)
desses objetos? Se a ordem de escolha
importante, temos um arranjo de n objetos,
tomados k a k.
Exemplo: Arranjo de 3 objetos (a, b, c), tomados 2
a 2 (n = 3 e k = 2): ab, ac, ba, bc, ca, cb.
Nmero de arranjos de n objetos, tomados k a k:
A(n, k) = n(n-1)...(n-k+1) ou
A(n, k )
n!
(n k )!
Combinao
Considere n objetos diferentes. De
quantas maneiras podemos escolher k (k n)
desses objetos? Se a ordem de escolha no
importante, temos uma combinao de n objetos,
tomados k a k.
Exemplo: Combinao de 3 objetos (a, b, c),
tomados 2 a 2 (n = 3 e k = 2): ab, ac, bc.
Nmero de combinaes de n objetos, tomados k
a k:
n
n!
k (n k )!k!
Unio de Conjuntos(c )
Dados os conjuntos A e B , define-se o
conjunto unio A c B = { x; x 0 A ou x 0 B}.
Exemplo: {0,1,3} c { 3,4,5 } = { 0,1,3,4,5}.
Percebe-se facilmente que o conjunto unio
contempla todos os elementos do conjunto A ou do
conjunto B.
Propriedades imediatas:
a) A c A = A
b) A c = A
c) A c B = B c A (a unio de conjuntos uma
operao comutativa)
d) A c U = U , onde U o conjunto universo.
Interseo de Conjuntos (1 )
Dados os conjuntos A e B , define-se o
conjunto interseo A 1 B = {x; x 0 A e x 0 B}.
Exemplo: {0,2,4,5} 1 { 4,6,7} = {4}. Percebese facilmente que o conjunto interseo contempla os
elementos que so comuns aos conjuntos A e B.
Propriedades imediatas:
a) A 1 A = A
b) A 1 i = i
c) A 1 B = B 1 A ( a interseo uma
operao comutativa)
d) A 1 U = A onde U o conjunto universo.
So importantes tambm as seguintes
propriedades das operaes com conjuntos :
P1. A 1 ( B c C ) = (A 1 B) c ( A 1 C)
(propriedade distributiva)
P2. A c ( B 1 C ) = (A c B ) 1 ( A c C)
(propriedade distributiva)
P3. A 1 (A c B) = A (lei da absoro)
P4. A c (A 1 B) = A (lei da absoro)
Obs: Se A 1 B = , ento dizemos que os
conjuntos A e B so Disjuntos.
Diferena A - B = {x ; x 0 A e x B}.
Observe que os elementos da diferena so
aqueles que pertencem ao primeiro conjunto, mas
no pertencem ao segundo.
Pgina 23
RACIOCNIO LGICO-QUANTITATIVO
Exemplos:
Partio de um conjunto
Seja A um conjunto no vazio. Define-se
como partio de A, e representa-se por part(A),
qualquer subconjunto do conjunto das partes de A
(representado simbolicamente por
P(A)), que satisfaz simultaneamente, s
seguintes condies:
1 - nenhuma dos elementos de part(A) o
conjunto vazio.
2 - a interseo de quaisquer dois elementos de
part(A) o conjunto vazio.
3 - a unio de todos os elementos de part(A)
igual ao conjunto A.
Exemplo: Seja A = {2, 3, 5}
Os subconjuntos de A sero: {2}, {3}, {5},
{2,3}, {2,5}, {3,5}, {2,3,5}, e o conjunto vazio - .
Assim, o conjunto das partes de A ser:
Pgina 24
RACIOCNIO LGICO-QUANTITATIVO
Item correto.
Assim,
Permetro = 6 x Lado = 6 x 5 = 30 (inferior
a 32).
Central de Atendimento: (91) 3278-5713 / 8163-1764 ou pelo site: www.apostilasautodidata.com.br
Pgina 25