Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
RACIOCNIO LGICO
~p (no p): O Po no barato. ( a negao lgica de p)
~q (no q): O Queijo bom. ( a negao lgica de q)
1 ESTRUTURAS LGICAS.
~P
PQ
Para facilitar a resoluo das questes de lgica usamse 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:
(~) no: negao
() e: conjuno
(V) ou: disjuno
() se...ento: condicional
() se e somente se: bicondicional
PVQ
Didatismo e Conhecimento
P
V
PQ
RACIOCNIO LGICO
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. Exemplo: P Q. (O Po barato se e
somente se o Queijo no bom.) = se e somente se. Regrinha
para o conectivo bicondicional ():
P
PQ
QUESTES
01. (ESAF - Receita Federal - Auditor Fiscal) A afirmao A
menina tem olhos azuis ou o menino loiro tem como sentena
logicamente equivalente:
( ) Certo
( ) Certo
( ) Errado
( ) Certo
( ) Errado
Didatismo e Conhecimento
( ) Errado
( ) Certo
( ) Errado
RACIOCNIO LGICO
Respostas
01. Resposta C.
( ) Errado
~Q ~P
PQ
~P Q
PQ
P suficiente para Q
PQ
Q necessrio para P
( ) Errado
( ) Errado
Didatismo e Conhecimento
PQ
( ) Certo
Equivalente
( ) Certo
Proposio
RACIOCNIO LGICO
- Se Andrea arquiteta, ento Anglica arquiteta. (verdadeiro)
1. F F
2.
3.
03. Resposta B.
Hiptese 1:
P1: F V = V (No poder aparecer VF).
P2: V F = V (Apenas um tem que ser verdadeiro).
P3: F F = V
Hiptese 1
- Se Ana pianista, ento Beatriz violinista. (verdade)
V V - Como j sabemos, se a (verdade) aparecer primeiro, a
(falso) no poder.
Concluses:
Vereador participou do esquema.
Prefeito no sabia.
Chefe do gabinete foi o mentor.
Ento:
O chefe de gabinete foi o mentor do esquema ou o vereador
Vitor participou do esquema.
V V = verdade, pois sabemos que para ser falso, todos devem
ser falsos.
Hiptese 2:
P1: F F = V
P2: F V = V
P3: F V = V
Concluses:
Vereador participou do esquema.
Prefeito sabia.
Chefe de gabinete no era o mentor.
Hiptese 2
- Se Ana pianista, ento Beatriz violinista. (verdade)
FV
Ento:
O chefe de gabinete foi o mentor do esquema ou o vereador
Vitor participou do esquema.
F V = verdade.
Didatismo e Conhecimento
RACIOCNIO LGICO
05. Resposta Errado.
No se trata de uma Disjuno, trata-se de uma Disjuno
Exclusiva, cujo smbolo . Tambm chamado de Ou Exclusivo.
o famoso um ou outro mas no ambos. S vai assumir valor
verdade, quando somente uma das proposies forem verdadeiras,
pois quando as duas forem verdadeiras a proposio ser falsa. Da
mesma forma se as duas forem falsas, a proposio toda ser falsa.
pq
P1: P ~Q verdade
P2: R (ou exclusivo) Q verdade
P3: P ~R verdade
Concluso: O prefeito Prsio no sabia do esquema. falso
V
V
F
F
P1: P ~Q Verdade
FFV
Por que P falso? Na condicional s vai ser falso se a primeira
for verdadeira e a segunda for falsa. Como sabemos que a
premissa toda verdadeira e que ~Q falso, P s pode assumir
valor F.
P R
PR
R P
V
F
P3: P ~R Verdade
FVV
Didatismo e Conhecimento
RACIOCNIO LGICO
09. Resposta Errado.
Da proposio III Jorge no foi ao centro da cidade que
verdadeira e a questo diz Manuel declarou o imposto de renda na
data correta e Jorge foi ao centro da cidade a segunda parte falsa
como o conectivo e as duas teriam que ser verdadeiras (o que
no acontece). Vamos analisar cada proposio de cada premissa,
tendo em mente que as premissas tem valor lgico (V), da tiramos
um importante dado, sabemos que a premissa III (V), portanto
vamos atribuir o valor lgico (V) a proposio e e o valor lgico
(F) a proposio B, agora vamos separar:
A: Tnia estava no escritrio (V)
B: Jorge foi ao centro da cidade (F)
p1
p2
p3
.
.
.
pn
Exemplos:
01.
Se eu passar no concurso, ento irei trabalhar.
Passei no concurso
________________________
Irei trabalhar
02.
Se ele me ama ento casa comigo.
Ele me ama.
__________________________
Ele casa comigo.
03.
Todos os brasileiros so humanos.
Todos os paulistas so brasileiros.
__________________________
Todos os paulistas so humanos.
(F) = (F).
04.
Se o Palmeiras ganhar o jogo, todos os jogadores recebero
o bicho.
Se o Palmeiras no ganhar o jogo, todos os jogadores
recebero o bicho.
__________________________
Todos os jogadores recebero o bicho.
Premissa:
em gua.
Concluso:
em gua.
2 LGICA DE ARGUMENTAO:
ANALOGIAS, INFERNCIAS, DEDUES E
CONCLUSES.
Um argumento uma srie concatenada de afirmaes com
o fim de estabelecer uma proposio definida. um conjunto de
proposies com uma estrutura lgica de maneira tal que algumas
delas acarretam ou tem como consequncia outra proposio. Isto
, o conjunto de proposies p1,...,pn que tem como consequncia
outra proposio q. Chamaremos as proposies p1,p2,p3,...,pn
de premissas do argumento, e a proposio q de concluso do
argumento. Podemos representar por:
Didatismo e Conhecimento
RACIOCNIO LGICO
Concluso: Finalmente se chegar a uma proposio que
consiste na concluso, ou seja, no que se est tentando provar.
Ela o resultado final do processo de inferncia e s pode ser
classificada como concluso no contexto de um argumento em
particular. A concluso respalda-se nas premissas e inferida a
partir delas.
Concluso
Inferncia
AB
Falsas
Falsa
Verdadeira
Falsas
Verdadeira
Verdadeira
Verdadeiras
Falsa
Falsa
Verdadeiras
Verdadeira
Verdadeira
Didatismo e Conhecimento
RACIOCNIO LGICO
verdadeira. Portanto, um argumento ser no vlido se existir a
possibilidade de suas premissas serem verdadeiras e sua concluso
falsa. Observe que a validade do argumento depende apenas da
estrutura dos enunciados. Exemplo:
Todos os A so B.
Todos os C so A.
________________
Todos os C so B.
Se p, ento q,
No
q.
No p.
pq
ou
q
p
Didatismo e Conhecimento
pq
p
q
RACIOCNIO LGICO
Este argumento evidentemente vlido e sua forma pode ser
escrita da seguinte maneira:
Se p ento r
Se
No
p.
No q.
p q
p ou q.
ou
p ento s.
r ou s
p r
qs
r s
p q
ou
q
p
Didatismo e Conhecimento
p
q
q
p
ou
Se p, ento q,
pq
Se p, ento q,
RACIOCNIO LGICO
produzirem algo que possa ser chamado de argumento. s vezes,
os argumentos no seguem os padres descritos acima. Por
exemplo, algum pode dizer quais so suas concluses e depois
justific-las. Isso vlido, mas pode ser um pouco confuso.
Para complicar, algumas afirmaes parecem argumentos,
mas no so. Por exemplo: Se a Bblia verdadeira, Jesus foi
ou um louco, ou um mentiroso, ou o Filho de Deus. Isso no
um argumento, uma afirmao condicional. No explicita as
premissas necessrias para embasar as concluses, sem mencionar
que possui outras falhas.
Um argumento no equivale a uma explicao. Suponha
que, tentando provar que Albert Einstein cria em Deus, algum
dissesse: Einstein afirmou que Deus no joga dados porque
acreditava em Deus. Isso pode parecer um argumento relevante,
mas no . Trata-se de uma explicao da afirmao de Einstein.
Para perceber isso, deve-se lembrar que uma afirmao da forma
X porque Y pode ser reescrita na forma Y logo X. O que
resultaria em: Einstein acreditava em Deus, por isso afirmou que
Deus no joga dados. Agora fica claro que a afirmao, que
parecia um argumento, est admitindo a concluso que deveria
estar provando. Ademais, Einstein no cria num Deus pessoal
preocupado com assuntos humanos.
QUESTES
01. Se Iara no fala italiano, ento Ana fala alemo. Se Iara fala
italiano, ento ou Ching fala chins ou Dbora fala dinamarqus.
Se Dbora fala dinamarqus, Elton fala espanhol. Mas Elton fala
espanhol se e somente se no for verdade que Francisco no fala
francs. Ora, Francisco no fala francs e Ching no fala chins.
Logo,
a) Iara no fala italiano e Dbora no fala dinamarqus.
b) Ching no fala chins e Dbora fala dinamarqus.
c) Francisco no fala francs e Elton fala espanhol.
d) Ana no fala alemo ou Iara fala italiano.
e) Ana fala alemo e Dbora fala dinamarqus.
Didatismo e Conhecimento
10
RACIOCNIO LGICO
Imediatamente aps essas falas, o garom, que ouvira
atentamente o que fora dito e conhecia todos do grupo, dirigiu-se
exatamente quele que ainda no havia contribudo para a despesa
e disse: O senhor pretende usar seu carto e ficar com o troco
em espcie? Com base nas informaes do texto, o garom fez a
pergunta a
(A) Antnio.
(B) Baslio.
(C) Carlos.
(D) Danton.
(E) Eduardo.
Respostas
01.
(P1) Se Iara no fala italiano, ento Ana fala alemo.
(P2) Se Iara fala italiano, ento ou Ching fala chins ou
Dbora fala dinamarqus.
(P3) Se Dbora fala dinamarqus, Elton fala espanhol.
(P4) Mas Elton fala espanhol se e somente se no for verdade
que Francisco no fala francs.
(P5) Ora, Francisco no fala francs e Ching no fala chins.
11
RACIOCNIO LGICO
Da premissa 2 temos: Se Iara fala italiano, ento ou Ching fala
chins ou Dbora fala dinamarqus. Vamos analisar o consequente
do se ento, observe: ou Ching fala chins ou Dbora fala
dinamarqus. (temos um ou exclusivo, cuja regra , o ou exclusivo,
s vai ser falso se ambas forem verdadeiras, ou ambas falsas), no
caso como Ching no fala chins e Dbora no fala dinamarqus,
temos: F ou exclusivo F = F. Se o consequente deu falso, ento
o antecedente tambm dever ser falso para que a premissa seja
verdadeira, logo: Iara no fala italiano.
(P2) Todo animal de 4 patas tem asas. Indica que se tem 4 patas
ento o animal tem asas, ou seja, posso afirmar que o conjunto dos
animais de 4 patas um subconjunto do conjunto de animais que
tem asas.
(C) Todo cavalo tem asas. Indica que se cavalo ento tem
asas, ou seja, posso afirmar que o conjunto de cavalos um
subconjunto do conjunto de animais que tem asas.
02. Resposta B.
O nmero que no primo denominado nmero composto.
O nmero 4 um nmero composto. Todo nmero composto pode
ser escrito como uma combinao de nmeros primos, veja: 70
um nmero composto formado pela combinao: 2 x 5 x 7, onde 2,
5 e 7 so nmeros primos. O problema informou que um nmero
primo tem com certeza 3 divisores quando puder ser escrito da
forma: 1 p p2, onde p um nmero primo.
Observe os seguintes nmeros:
1 2 22 (4)
1 3 3 (9)
1 5 5 (25)
1 7 7 (49)
1 11 11 (121)
03. Resposta B.
O Argumento uma sequncia finita de proposies lgicas
iniciais (Premissas) e uma proposio final (concluso). A validade
de um argumento independe se a premissa verdadeira ou falsa,
observe a seguir:
Todo cavalo tem 4 patas (P1)
Todo animal de 4 patas tem asas (P2)
Logo: Todo cavalo tem asas (C)
Didatismo e Conhecimento
12
RACIOCNIO LGICO
p
pVq
Camisa Branca
Camisa Preta
eu sou culpado
Eu roubei o colar da
rainha; o culpado sou
eu
Sendo as proposies:
p: Lgica fcil
q: Artur no gosta de Lgica
p v q = Ou Lgica fcil, ou Artur no gosta de Lgica (P1)
04. Alternativa A.
Com os dados fazemos a tabela:
Didatismo e Conhecimento
Camisa azul
13
RACIOCNIO LGICO
2) O rei ir caa condio suficiente para a duquesa ir ao
jardim. Chamando A (proposio rei ir caa) e C (proposio
duquesa ir ao jardim) podemos escrever que se A ento C ou A
C. Lembre-se de que ser condio suficiente ser antecedente no
se ento.
07. Resposta B.
1: separar a informao que a questo forneceu: no vou
morar em passrgada.
2: lembrando-se que a regra do ou diz que: para ser verdadeiro
tem de haver pelo menos uma proposio verdadeira.
3: destacando-se as informaes seguintes:
- caso ou compro uma bicicleta.
- viajo ou no caso.
- vou morar em passrgada ou no compro uma bicicleta.
Logo:
- vou morar em pasrgada (F)
- no compro uma bicicleta (V)
- caso (V)
- compro uma bicicleta (F)
- viajo (V)
- no caso (F)
Concluso: viajo, caso, no compro uma bicicleta.
Outra forma:
c = casar
b = comprar bicicleta
v = viajar
p = morar em Passrgada
Temos as verdades:
c ou b
v ou ~c
p ou ~b
Transformando em implicaes:
~c b = ~b c
~v ~c = c v
~p ~b
06. Resposta D.
Como todas as informaes dadas so verdadeiras, ento
podemos concluir que:
1 - Baslio pagou;
2 - Carlos pagou;
3 - Antnio pagou, justamente, com os R$ 100,00 e pegou
os R$ 60,00 de troco que, segundo Carlos, estavam os R$ 50,00
pagos por Eduardo, ento...
4 - Eduardo pagou com a nota de R$ 50,00.
Assim:
~p ~b
~b c
cv
Por transitividade:
~p c
~p v
No morar em passrgada implica casar. No morar em
passrgada implica viajar.
08. Resposta C.
Didatismo e Conhecimento
A declarao dizia:
Todo funcionrio de nossa empresa possui plano de sade e
ganha mais de R$ 3.000,00 por ms. Porm, o diretor percebeu
que havia se enganado, portanto, basta que um funcionrio no
tenha plano de sade ou ganhe at R$ 3.000,00 para invalidar,
negar a declarao, tornando-a desse modo FALSA. Logo,
necessariamente, um funcionrio da empresa X no tem plano de
sade ou ganha at R$ 3.000,00 por ms.
14
RACIOCNIO LGICO
Proposio composta no conectivo e - Todo funcionrio de
nossa empresa possui plano de sade e ganha mais de R$ 3.000,00
por ms. Logo: basta que uma das proposies seja falsa para a
declarao ser falsa.
PF V PN Je
F
F
Je ~Ja
F
F
~Ja ~C
F
F
Concluso: Carlos almoou em casa hoje, Jane fez o almoo
e no levou Pedro escolinha esportiva, Pedro no teve aula de
futebol nem de natao e tambm no segunda nem quarta. Agora
s marcar a questo cuja alternativa se encaixa nesse esquema.
09. Resposta B.
Sendo:
Segunda = S e Quarta = Q,
Pedro tem aula de Natao = PN e
Pedro tem aula de Futebol = PF.
10. Resposta C.
D nome:
A = AFINO as cordas;
I = INSTRUMENTO soa bem;
T = TOCO bem;
S = SONHO acordado.
Montando as proposies:
1 - A I
2 - I T
3 - ~T V S (ou exclusivo)
PF V PN Je
Je ~Ja
~Ja ~C
Didatismo e Conhecimento
15
RACIOCNIO LGICO
Em muitos casos, um macete que funciona nos exerccios
lotados de condicionais, sendo assim o F passa para trs.
Assim: I = F
Novamente: A I
(F)
Tipos de Proposies
3 LGICA SENTENCIAL
(OU PROPOSICIONAL).
3.1 PROPOSIES SIMPLES E COMPOSTAS.
16
AFIRMATIVA
NEGATIVA
UNIVERSAL
Todo S P (A)
Nenhum S P (E)
PARTICULAR
Algum S P (I)
Algum S no P (O)
RACIOCNIO LGICO
Diagrama de Euler
- Conjunes: a b (l-se: a e b)
- Disjunes: a b (l-se: a ou b)
- Condicionais: a b (l-se: se a ento b)
- Bicondicionais: a b (l-se: a se somente se b)
P=S
ou
Exemplo
- Nenhum S P (universal negativa E)
P
S
ou
Sentenas Abertas
ou
ou
S
P
ou
Exemplos
1.
ou
Princpios
- Princpio da no-contradio: Uma proposio no pode ser
verdadeira e falsa simultaneamente.
- Princpio do Terceiro Excludo: Uma proposio s pode ter
dois valores verdades, isto , verdadeiro (V) ou falso (F), no
podendo ter outro valor.
a) O Curso Pr-Fiscal fica em So Paulo um proposio
verdadeira.
b) O Brasil um Pas da Amrica do Sul uma proposio
verdadeira.
c) A Receita Federal pertence ao poder judicirio, uma
proposio falsa.
As proposies simples (tomos) combinam-se com outras,
ou so modificadas por alguns operadores (conectivos), gerando
novas sentenas chamadas de molculas. Os conectivos sero
representados da seguinte forma:
2.
corresponde a no
Didatismo e Conhecimento
q( x) : x < 3
corresponde a e
corresponde a ou
corresponde a ento
corresponde a se somente se
p( x) : x + 4 = 9
17
RACIOCNIO LGICO
Modificadores
Exemplos:
(4) P: Paulo estudioso e Maria bonita. P composta das
proposies simples p: Paulo estudioso e q: Maria bonita.
(5) Q: Maria bonita ou estudiosa. Q composta das
proposies simples p: Maria bonita e q: Maria estudiosa.
(6) R: Se x = 2 ento x2 + 1 = 5. R composta das proposies
simples p: x = 2 e q: x2 + 1 = 5.
(7) S: a > b se e somente se b < a. S composta das proposies
simples p: a > b e q: b < a.
Sentena: p
Negao: ~p
V ou F
4 N
4 N
12 no divisvel
por zero.
~p
F
V
Ateno: A sentena negativa representada por ~.
Exemplos
A sentena t:
O time do Paran resistiu presso do So Paulo possui
como negativa de t, ou seja, ~t, o correspondente a: O time do
Paran no resistiu presso do So Paulo.
So proposies simples:
p: A lua um satlite da terra.
q: O nmero 2 primo.
r: O nmero 2 par.
s: Roma a capital da Frana.
t: O Brasil fica na Amrica do Sul.
u: 2 + 5 = 3 . 4
So proposies compostas:
P(q, r): O nmero 2 primo ou par.
Q(s, t): Roma a capital da Frana e o Brasil fica na Amrica
do Sul.
R: O nmero 6 par e o nmero 8 cubo perfeito.
No so proposies lgicas:
- Roma
- O co do menino
- 7+1
- As pessoas estudam
- Quem ?
- Que pena!
Exemplos
(1) p: eu sou estudioso
(2) q: Maria bonita
(3) r: 3 + 4 > 12
Didatismo e Conhecimento
18
RACIOCNIO LGICO
Tabela Verdade
Notao: O valor lgico de uma proposio simples p indicase por V(p). Assim, exprime-se que p verdadeira (V), escrevendo:
V(p) = V. Analogamente, exprime-se que p falsa (F), escrevendo:
V(p) = F.
V
F
Proposio Composta - O valor lgico de qualquer proposio
composta depende unicamente dos valores lgicos das proposies
simples componentes, ficando por eles univocamente determinados.
um dispositivo prtico muito usado para a determinao do valor
lgico de uma proposio composta. Neste dispositivo figuram
todos os possveis valores lgicos da proposio composta,
correspondentes a todas as possveis atribuies de valores lgicos
s proposies simples componentes.
Exemplos
p: o sol verde;
q: um hexgono tem nove diagonais;
r: 2 raiz da equao x + 3x - 4 = 0
V(p) = F
V(q) = V
V(r) = F
Questes
Didatismo e Conhecimento
19
RACIOCNIO LGICO
05. D o conjunto-verdade em R das seguintes sentenas
abertas:
a) x + x 6 = 0 x - 9 = 0
b) x 4 x -5x + 6 = 0
P
Q
02.
a) ~(p q);
b) p q
c) ~(p ~q)
d) ~p ^ ~q
e) q ~p
20
RACIOCNIO LGICO
03.
a) a contrapositiva: Se p 2 e p par, ento p no primo.
b) a recproca: Se p = 2 ou p mpar, ento p primo.
08.
a) Item ERRADO. Basta considerarmos a linha da tabelaverdade onde P e Q so ambas proposies verdadeiras para
verificar que as tabelas de valoraes de P v Q e Q P no so
iguais:
04.
a) Supondo V (p ^ q r s) = F (1) e V (~r ^ ~s) = V (2),
determine V (p r ^ s). Soluo: De (2) temos que V (r) = V (s)
= F; Usando estes resultados em (1) obtemos: V (p) = V (q) = V,
logo, V (p r ^ s) = F
b) Supondo V (p ^ (q r)) = V (1) e V (p r q) = F (2),
determine V (p), V (q) e V (r). Soluo: De (1) conclumos que V
(p) = V e V (q r) = V e de (2) temos que V (q) = F, logo V (r) = V
c) Supondo V (p q) = V, determine V (p ^ r q ^ r) e V (p
r q r). Soluo: Vamos supor V (p ^ r q ^ r) = F. Temos
assim que V (p ^ r) = V e V (q ^ r) = F, o que nos permite concluir
que V (p) = V (r) = V e V (q) = F, o que contradiz V (p q) = V.
Logo, V (p r q r) = V. Analogamente, mostramos que V (p
r q r) = V.
P
V
P
F
PvQ
V
Q P
F
Q
F
V
S
F
F
(P v Q) S
F
F
PSvQS
V
V
09.
a) Item ERRADO. Sua representao seria P ^ T.
b) Item CERTO. Apenas deve-se ter o cuidado para o que
diz a proposio R: Fumar no faz bem sade. bom sempre
ficarmos atentos atribuio inicial dada respectiva letra.
c) Item CERTO. a representao simblica da Condicional
entre as proposies R e P.
d) Item CERTO. Proposio composta, com uma Conjuno
(R ^ T) como condio suficiente para P.
d) Item ERRADO. Dizer ...consequentemente... dizer
se... ento.... A representao correta seria (( R) ^ ( P)) T.
05.
a) R {2}
b) [-2,2[
06.
a) O diagrama a seguir mostra que o argumento falso:
10. Resposta E.
A melhor forma de resolver problemas como este arrumar
as informaes, de forma mais interessante, que possa prover uma
melhor visualizao de todo o problema. Inicialmente analise o
que foi dado no problema:
a) So trs amigas
b) Uma loura, outra morena e outra ruiva.
c) Uma Bete, outra Elza e outra Sara.
d) Cada uma far uma viagem a um pas diferente da Europa:
Alemanha, Frana e Espanha.
e) Elas deram as seguintes informaes:
07.
a) Item ERRADO. Pela tabela do ou temos:
( P) v ( Q)
( V) v ( V)
(F) v (F)
Falsa
Loura
Morena
Ruiva
Afirmao
No vou Frana
nem a Espanha
Meu nome no
Elza nem Sara
Nem eu nem
Elza vamos
Frana
Pas
Alemanha
Frana
Espanha
Nome
Elza
Bete
Sara
Didatismo e Conhecimento
Q
V
21
RACIOCNIO LGICO
Proposio Composta do Tipo P(p, q, r, s): a tabela-verdade
possui 24 = 16 linhas e formada igualmente as anteriores.
3.2 TABELAS-VERDADE.
Proposio Composta do Tipo P(p1, p2, p3,, pn): a tabelaverdade possui 2n linhas e formada igualmente as anteriores.
A tabela-verdade usada para determinar o valor lgico de
uma proposio composta, sendo que os valores das proposies
simples j so conhecidos. Pois o valor lgico da proposio
composta depende do valor lgico da proposio simples. A
seguir vamos compreender como se constri essas tabelas-verdade
partindo da rvore das possibilidades dos valores lgicos das
proposies.
O Conectivo no e a negao
O conectivo no e a negao de uma proposio p outra
proposio que tem como valor lgico V se p for falsa e F se p
verdadeira. O smbolo ~p (no p) representa a negao de p com a
seguinte tabela-verdade:
~p
~p
Exemplo:
a)
p = 7 mpar.
~p = 7 no mpar.
p
P(p, q)
b)
q = 24 mltiplo de 5.
~q = 24 no mltiplo de 5.
~q
P(p, q, r)
Didatismo e Conhecimento
22
RACIOCNIO LGICO
Agora, o que podemos dizer sobre as proposies P e Q? Oras,
ou ambas so verdadeiras, ou a primeira verdadeira e a segunda
falsa, ou a primeira falsa e a segunda verdadeira, ou ambas so
falsas. Isto representamos assim:
P
PQ
(PQ) R
(PQ) R
pq
Exemplo:
a)
p = 2 par.
q = o cu rosa.
p q = 2 par e o cu rosa.
p
p q
pq
b)
p = 9 < 6.
q = 3 par.
p q: 9 < 6 e 3 par.
Didatismo e Conhecimento
c)
p = O nmero 17 primo.
q = Braslia a capital do Brasil.
p q = O nmero 17 primo e Braslia a capital do Brasil.
23
pq
RACIOCNIO LGICO
O Conectivo ou e a disjuno
O conectivo ou e a disjuno de duas proposies p e q
outra proposio que tem como valor lgico V se alguma das
proposies for verdadeira e F se as duas forem falsas. O smbolo
p v q (p ou q) representa a disjuno, com a seguinte tabelaverdade:
p
q
F
q
F
pq
V
q
V
pq
F
pq
V
pq
pq
pq
pq
V
Didatismo e Conhecimento
d)
p = 25 mltiplo de 2.
q = 12 < 3.
p q: Se 25 mltiplo de 2 ento 2 < 3.
d)
p = O nmero 9 par.
q = O dobro de 50 100.
p q: O nmero 9 par ou o dobro de 50 100.
p
c)
p = 24 mltiplo de 3.
q = 3 par.
p q: Se 24 mltiplo de 3 ento 3 par.
c)
p = O nmero 17 primo.
q = Braslia a capital do Brasil.
p q = O nmero 17 primo ou Braslia a capital do Brasil.
b)
p = 7 + 5 < 4.
q = 2 um nmero primo.
p q: Se 7 + 5 < 4 ento 2 um nmero primo.
b)
p = 9 < 6.
q = 3 par.
p q: = 9 < 6 ou 3 par.
pq
a)
p: 7 + 2 = 9.
q: 9 7 = 2.
p q: Se 7 + 2 = 9 ento 9 7 = 2.
a)
p = 2 par.
q = o cu rosa.
p q = 2 par ou o cu rosa.
p
Exemplo:
pq
Exemplo:
24
pq
RACIOCNIO LGICO
Exemplo:
a)
p = 24 mltiplo de 3.
q = 6 mpar.
p q = 24 mltiplo de 3 se, e somente se, 6 mpar.
b)
p = 25 quadrado perfeito.
q = 8 > 3.
p q = 25 quadrado perfeito se, e somente se, 8 > 3.
c)
p = 27 par.
q = 6 primo.
p q = 27 par se, e somente se, 6 primo.
pq
pq
pq
Exemplo: veja como se procede a construo de uma tabela-verdade da proposio composta P(p, q) = ((p q) (~p)) (p q), onde
p e q so duas proposies simples quaisquer. Resoluo: uma tabela-verdade de uma proposio do tipo P(p, q) possui 24 = 4 linhas, logo:
(p q) (~p)
((p q) (~p)) (p
((p q) (~p)) (p
q)
q)
~p
pq
q)
q
V
pq
~p
(p q) (~p)
p q
~p
(p q) (~p)
p q
pq
V
V
b) Valores lgicos de ~p
Didatismo e Conhecimento
25
p
V
a) Valores lgicos de p q
((p q) (~p)) (p
RACIOCNIO LGICO
~p
pq
V
(p q) (~p)
~p
(p q) (~p)
p q
pq
~p
pq
V
V
q)
d) Valores lgicos de p
p q
((p q) (~p)) (p
((p q) (~p)) (p
q)
p q
(p q) (~p)
F
((p q) (~p)) (p q)
QUESTES
01. Considere as proposies
p: Est frio e
q: Est chovendo.
Traduza para linguagem corrente as seguintes proposies:
(A) p v ~q
(B) p q c) ~p ~q
(C) p ~q e) (p v ~q) (q
q)
~p)
26
RACIOCNIO LGICO
04. Dada a condicional: Se p primo ento p = 2 ou p
mpar, determine:
(A) a contrapositiva
(B) a recproca
05.
(A) Supondo V(p q r v s) = F e V(~r ~s) = V, determine
V(p r s).
(B) Supondo V(p (q v r)) = V e V (p v r q) = F, determine
V(p), V(q) e V(r).
(C) Supondo V(p q) = V, determine V(p r q r) e V(p
v r q v r).
Respostas
01.
(A) No est frio e no est chovendo.
(B) Est frio se e somente se no est chovendo.
(C) Est frio e no est chovendo se e somente se est
chovendo e no est frio.
02.
(A) ~(p v q)
(B) p q
(C) ~(p v ~q)
(D) ~p ~q
(E) q ~p
07. Escrever as expresses relativas aos circuitos. Simplificlas e fazer novos esquemas.
03.
(A) No est frio ou est chovendo.
(B) As aes caem e no aumenta o desemprego.
(C) Ele tem cabelos louros e no tem olhos azuis ou ele tem
olhos azuis e no tem cabeloslouros.
(D) A proposio equivalente a Se um bom matemtico
ento sabe lgica cuja negao um bom matemtico e no
sabe lgica.
(E) Jorge no estuda lgica ou estuda qumica.
(A)
(B)
04.
(A) contrapositiva: Se p 2 e p par ento p no primo.
(B) recproca: Se p = 2 ou p mpar ento p primo.
05.
(A) Supondo V(p q r v s) = F(1) e V(~r ~s) = V (2),
determine V(p r s).
Soluo: De (2) temos que V (r) = V(s) = F; Usando estes
resultados em (1) obtemos:
V(p) = V(q) = V, logo,
V(p r s) = F
Didatismo e Conhecimento
27
RACIOCNIO LGICO
((~p (q ~q)) p
~p F
(pq) V
(pq) pq
pq p
p ((p q)
(~p F) p
(~p~q) p
q pq
(pq) (p q)
(~pq)
(p~p) p
(pq)
(C) p
(B) p
06.
(A) (pq)
(rq) q (p r)
08.
(A) Vlido
(B) Vlido
(C) Sofisma. Considerando V(p) = V(q) = V( r ) = F e V(s) = V, todas as premissas so verdadeiras e a concluso falsa.
(D) Considere
p: O dficit pblico no diminui;
q: A inflao cai;
r: Os impostos so aumentados.
Analise o argumento: p (qr), r p, q ~r ~r
(Vlido)
09.
(A) R- {2}
(B) [-2, 2[
10.
(A) Todas as pessoas inteligentes sabem ler ou escrever.
(B) Existe pessoa culta que sbia e no inteligente ou que inteligente e no sbia.
(C) Existe um nmero primo que igual a 2 e no par.
3.3 EQUIVALNCIAS.
Equivalncias
Na lgica, as asseres p e q so ditas logicamente equivalentes ou simplesmente equivalentes, se p q e q p. 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. A notao normalmente usada para representar a equivalncia lgica entre p e q p q, p q ou p q.
Exemplo: As seguintes sentenas so logicamente equivalentes:
1- Se hoje sbado, ento hoje fim de semana.
2- Se hoje no fim de semana, ento hoje no sbado.
Em smbolos:
d: Hoje sbado. (d f)
f: Hoje fim de semana. ( f d)
Sintaticamente, (1) e (2) so equivalentes pela Lei da Contraposio. Semnticamente, (1) e (2) tm os mesmos valores nas mesmas
interpretaes.
H equivalncia entre as proposies p e q somente quando a bicondicional p q for uma tautologia ou quando p e q tiverem a mesma
tabela-verdade.
p q (p equivalente a q) o smbolo que representa a equivalncia lgica.
Didatismo e Conhecimento
28
RACIOCNIO LGICO
Diferenciao dos smbolos e
O smbolo representa uma operao entre as proposies p e q, que tem como resultado uma nova proposio p q com valor
lgico V ou F.
O smbolo representa a no ocorrncia de VF e de FV na tabela-verdade p q, ou ainda que o valor lgico de p q sempre
V, ou ento p q uma tautologia. Exemplo:
A tabela da bicondicional (p q) (~q ~p) ser:
p
~q
~p
pq
~q ~p
(p q) (~q ~p)
V
V
Portanto, p q equivalente a ~q ~p, pois estas proposies possuem a mesma tabela-verdade ou a bicondicional (p q) (~q
~p) uma tautologia. Veja a representao: (p q) (~q ~p)
Equivalncias Notveis
Propriedade
~~p p
pVpp
pVqqVp
p V (q V r) (p V q) V r
~(p V q) ~p ~q
p (q V r) (p q) V (p r)
p (p V q) p
p q ~p V q
p q (p q) (q p)
pVFp
pVVV
p V ~p V
F = contradio V = tautologia
Nome
Dupla Negao (DN)
Idempotente (IP)
Comutativa (COM)
Associativa (ASS)
De Morgan (DM)
Distributiva (DIS)
Absoro (ABS)
Reescrita da Condicional (COND)
Reescrita da Bicondicional (BI)
Elemento Neutro (EN)
Elemento Absorvedor (EA)
Complementares (COMPLE)
Dual
ppp
pqqp
p (q r) (p q) r
~(p q) ~p V ~q
p V (q r) (p V q) (p V r)
p V (p q) p
pVp
pFF
p ~p F
(p V q)
(p V q)
p q
(p q) e p V q
p
p V q
pq
(p q) p V q
Didatismo e Conhecimento
29
RACIOCNIO LGICO
QUESTES
(D) p q r p (q r)
pqr
~(p q) r (reescrita da condicional)
~p ~q r (De Morgan)
~p (~q r) (associativa)
~p (q r) (reescrita da condicional)
p (q r) (reescrita da condicional)
02.
(B) Regra da adio: p p q
p p q V (devemos demonstrar que a relao de
implicao equivale a uma tautologia)
~p (p q) (condicional)
~p p q (associativa)
V q (complementares ~p p )
V (identidade)
(C) Regra do Silogismo Disjuntivo: (p q) ~q p
(p q) ~q p V (devemos demonstrar que a relao
de implicao equivale a uma tautologia)
(p ~q) (q ~q) p (distributiva)
(p ~q) F p (complementares)
(p ~q) p (identidade)
~(p ~q) p (condicional)
~p ~q p (De Morgan)
(~p p) ~q (associativa)
V ~q (complementares)
V (identidade)
Respostas
01.
(A) p q r (p q) (p r)
pqr
~p (q r) (reescrita da condicional)
(~p q) (~p r) (distributiva)
(p q) (p r) (reescrita da condicional)
(B) p q r (p q) (p r)
pqr
~p (q r) (reescrita da condicional)
~p q r (associativa)
~p ~p q r
(idempotente, adicionei um ~p,
pois ~p ~p ~p)
(C) p (r s t) (p r) (p s) (p t)
p (r s t)
p (r (s t)) (associativa em s t )
(p r) (p (s t)) (distributiva)
(p r) (p s) (p t)
(distributiva)
Didatismo e Conhecimento
V
30
RACIOCNIO LGICO
03. Mostraremos que
uma tautologia, de fato:
Ordem
1
2
3
4
5
(p q) r r (p ~q)
Proposio
(p q) r
(~p q) r
~(~p q) r
r ~(~p q)
r (p ~q)
Neguemos ambas:
Smbolo
Exemplos
0+0=0
0+1=1
1+0=1
1+1=1
0.0=0
0.1=0
1.0=0
1.1=1
No
=1
=0
Ou
Lgica Booleana
Textual
No (X E Y) = No (X) Ou No (Y)
No (X Ou Y) = No (X) E No (Y)
a)
Didatismo e Conhecimento
RACIOCNIO LGICO
b)
(A2a)
(A4a T2a)
=0+0
QUESTES
01. Numa pesquisa sobre audincia de TV entre 125
entrevistados, obteve-se: 60 assistem ao canal X, 40 ao canal Y,
15 ao canal Z, 25 assistem a X e Y, 8 a Y e Z, 3 a X e Z e 1 assiste
aos trs.
(A) Quantos no assistem a nenhum desses canais?
(B) Quantos assistem somente ao canal X?
q r) ~p ~q ~r
(q r)) (Associativa)
~(q r) (De Morgan)
~q ~r (De Morgan)
(B)
~(p q r) ~p ~q ~r
~(p (q r)) (Associativa)
~p ~(q r) (De Morgan)
~p ~q ~r (De Morgan)
(A) Assim, (A B C) C = ?
X= 60
XY= 25 - 1 = 24
XeY=3-1=2
X, Y e Z= 1 X, Y e Z = 1
01.
Respostas
0
1
0
1
0
1
1
1
1
0
0
0
1
1
0
0
Didatismo e Conhecimento
1
0
1
0
1
0
0
0
32
RACIOCNIO LGICO
Fora dos diagramas teremos 150 elementos que no so
leitores de nenhum dos trs jornais.
Na regio I, teremos: 70 - 40 = 30 elementos.
Na regio II, teremos: 65 - 40 = 25 elementos.
Na regio III, teremos: 105 - 40 = 65 elementos.
Na regio IV, teremos: 300 - 40 - 30 - 25 = 205 elementos.
Na regio V, teremos: 250 - 40 -30 - 65 = 115 elementos.
Na regio VI, teremos: 200 - 40 - 25 - 65 = 70 elementos.
Leitores
300
250
200
AeB
70
AeC
65
BeC
105
A, B e C
40
Nenhum
150
Diagrama de Euler
Um diagrama de Euler similar a um diagrama de Venn, mas
no precisa conter todas as zonas (onde uma zona definida como
a rea de interseco entre dois ou mais contornos). Assim, um
diagrama de Euler pode definir um universo de discurso, isto ,
ele pode definir um sistema no qual certas interseces no so
possveis ou consideradas. Assim, um diagrama de Venn contendo
os atributos para Animal, Mineral e quatro patas teria que conter
interseces onde alguns esto em ambos animal, mineral e de
quatro patas. Um diagrama de Venn, consequentemente, mostra
todas as possveis combinaes ou conjunes.
33
RACIOCNIO LGICO
representa simbolicamente os elementos do conjunto, e o exterior,
o que representa todos os elementos que no so membros do
conjunto. Curvas cujos interiores no se cruzam representam
conjuntos disjuntos. Duas curvas cujos interiores se interceptam
representam conjuntos que tm elementos comuns, a zona dentro
de ambas as curvas representa o conjunto de elementos comuns
a ambos os conjuntos (interseco dos conjuntos). Uma curva
que est contido completamente dentro da zona interior de outro
representa um subconjunto do mesmo.
Os Diagramas de Venn so uma forma mais restritiva de
diagramas de Euler. Um diagrama de Venn deve conter todas as
possveis zonas de sobreposio entre as suas curvas, representando
todas as combinaes de incluso / excluso de seus conjuntos
constituintes, mas em um diagrama de Euler algumas zonas podem
estar faltando. Essa falta foi o que motivou Venn a desenvolver
seus diagramas. Existia a necessidade de criar diagramas em
que pudessem ser observadas, por meio de suposio, quaisquer
relaes entre as zonas no apenas as que so verdadeiras.
Os diagramas de Euler (em conjunto com os de Venn) so
largamente utilizados para ensinar a teoria dos conjuntos no campo
da matemtica ou lgica matemtica no campo da lgica. Eles
tambm podem ser utilizados para representar relacionamentos
complexos com mais clareza, j que representa apenas as relaes
vlidas. Em estudos mais aplicados esses diagramas podem ser
utilizados para provar / analisar silogismos que so argumentos
lgicos para que se possa deduzir uma concluso.
Diagramas de Venn
Designa-se por diagramas de Venn os diagramas usados em
matemtica para simbolizar graficamente propriedades, axiomas
e problemas relativos aos conjuntos e sua teoria. Os respectivos
diagramas consistem de curvas fechadas simples desenhadas
sobre um plano, de forma a simbolizar os conjuntos e permitir
a representao das relaes de pertena entre conjuntos e seus
elementos (por exemplo, 4 {3,4,5}, mas 4 {1,2,3,12}) e
relaes de continncia (incluso) entre os conjuntos (por exemplo,
{1, 3} {1, 2, 3, 4}). Assim, duas curvas que no se tocam e
esto uma no espao interno da outra simbolizam conjuntos que
possuem continncia; ao passo que o ponto interno a uma curva
representa um elemento pertencente ao conjunto.
Os diagramas de Venn so construdos com colees de curvas
fechadas contidas em um plano. O interior dessas curvas representa,
simbolicamente, a coleo de elementos do conjunto. De acordo
com Clarence Irving Lewis, o princpio desses diagramas
que classes (ou conjuntos) sejam representadas por regies,
com tal relao entre si que todas as relaes lgicas possveis
entre as classes possam ser indicadas no mesmo diagrama. Isto
, o diagrama deixa espao para qualquer relao possvel entre
as classes, e a relao dada ou existente pode ento ser definida
indicando se alguma regio em especfico vazia ou no-vazia.
Pode-se escrever uma definio mais formal do seguinte modo:
Seja C = (C1, C2, ... Cn) uma coleo de curvas fechadas simples
desenhadas em um plano. C uma famlia independente se a regio
formada por cada uma das intersees X1 X2 ... Xn, onde cada
Xi o interior ou o exterior de Ci, no-vazia, em outras palavras,
se todas as curvas se intersectam de todas as maneiras possveis.
Se, alm disso, cada uma dessas regies conexa e h apenas um
nmero finito de pontos de interseo entre as curvas, ento C
um diagrama de Venn para n conjuntos.
Didatismo e Conhecimento
RACIOCNIO LGICO
Essas configuraes so representadas, respectivamente, pelas
operaes de conjuntos: diferena de A para B, diferena de B para
A, interseco entre A e B, e conjunto complementar de A e B.
Cada uma delas pode ser representada como as seguintes reas
(mais escuras) no diagrama:
Diferena Simtrica de dois conjuntos: A
Complementar de A em U: AC = U \ A
Complementar de B em U: BC = U \ B
Didatismo e Conhecimento
RACIOCNIO LGICO
Dada a verdade ou a falsidade de qualquer uma das proposies
categricas, isto , de Todo A B, Nenhum A B, Algum A B
e Algum A no B, pode-se inferir de imediato a verdade ou a
falsidade de algumas ou de todas as outras.
A \ (B
C)
(B
Nenhum A B. falsa.
Algum A B. verdadeira.
Algum A no B. falsa.
C) \ A
Proposies Categricas
- Todo A B
- Nenhum A B
- Algum A B e
- Algum A no B
Todo A B. falsa.
Algum A B. falsa.
Algum A no B. verdadeira.
3. Se a proposio Algum A B verdadeira, temos as quatro
representaes possveis:
Nenhum A B. falsa.
Todo A B. Pode ser verdadeira (em 3 e 4) ou falsa (em 1 e 2).
Algum A no B. Pode ser verdadeira (em 1 e 2) ou falsa (em
3 e 4) indeterminada.
4. Se a proposio Algum A no B verdadeira, temos as
trs representaes possveis:
- Todo A B = Todo A no no B.
- Algum A B = Algum A no no B.
- Nenhum A B = Nenhum A no no B.
- Todo A no B = Todo A no B.
- Algum A no B = Algum A no B.
- Nenhum A no B = Nenhum A no B.
- Nenhum A B = Todo A no B.
- Todo A B = Nenhum A no B.
- A negao de Todo A B Algum A no B (e vice-versa).
- A negao de Algum A B Nenhum A no B (e viceversa).
Todo A B. falsa.
Nenhum A B. Pode ser verdadeira (em 3) ou falsa (em 1 e
2 indeterminada).
Algum A B. Ou falsa (em 3) ou pode ser verdadeira (em 1 e
2 ideterminada).
Didatismo e Conhecimento
36
RACIOCNIO LGICO
QUESTES
(A) 93
(B) 110
(C) 103
(D) 99
(E) 114
Respostas
01.
(A)
(B)
(C)
(D)
Didatismo e Conhecimento
02. Resposta B.
37
RACIOCNIO LGICO
100
60
180
05. Resposta E.
Didatismo e Conhecimento
RACIOCNIO LGICO
n(sF) = n(sV) = 13
n(B) = n(s B) + n(BeV) + n(BeF-V) n(s B) = 65 - 20
30 = 15
n(nem F nem B nem V) = n(nem F nem V) - n(solo B) = 2115 = 6
07. Resposta E.
A
80
20
B
+
130
110
B
1200
320
480
B
26
14
21
59
Didatismo e Conhecimento
(estudante (x) (
39
RACIOCNIO LGICO
Exemplo: Considere a sentena: Nem todos os pssaros
podem voar. Escolhemos os seguintes predicados para expressar
esta sentena:
- pssaro(x): x um pssaro.
- voar (x): x pode voar.
t :: = x | c | f (t, ... , t)
Onde x percorre o conjunto de variveis V, c percorre os
smbolos de funo de aridade 0 de F e f percorre os elementos de
aridade maior do que 0 de F.
x
x
x
(respectivamente, x) . Uma ocorrncia de uma varivel
ligada numa frmula, uma ocorrncia de uma varivel x, dentro
do campo de abrangncia de um quantificador x ou x. Uma
ocorrncia de uma varivel livre uma ocorrncia de uma varivel
x no ligada.
Exemplo: Na frmula x (p(f(x), y) q(x)), as duas
ocorrncias da varivel x so ligadas, enquanto a ocorrncia da
varivel y livre. Na frmula x p(f(x), y) q(x) a primeira
ocorrncia da varivel x ligada, no entanto a segunda livre.
Didatismo e Conhecimento
40
RACIOCNIO LGICO
Dada uma varivel x, um termo t e uma frmula , definimos
[x/t] como sendo a frmula obtida aps substituir cada ocorrncia
livre de x em por t.
Alfabeto
X = {x, y, z, x1, x2, ..., y1, y2, ..., z1, z2, ...} um conjunto
enumervel de variveis;
C = {a, b, c, a1, a2, ..., b1, b2, ..., c1, c2, ...} um conjunto de
smbolos chamados de constantes;
F = {F1, F2, ...} um conjunto de smbolos ditos sinais
funcionais;
R = {R1, R2, ...} um conjunto de smbolos ditos sinais
relacionais ou predicativos;
L = {, , V, , , , } o conjunto de smbolos ditos
sinais lgicos;
P = {(,),,} o conjunto de smbolos de pontuao.
Didatismo e Conhecimento
41
RACIOCNIO LGICO
Mas comum usar o termo funo somente para funes de
aridade 1. Na definio acima, as relaes devem ter pelo menos
aridade 1. possvel permitir relaes de aridade 0; estas seriam
consideradas variveis proposicionais.
H muitas convenes diferentes sobre onde pr parnteses;
por exemplo, se pode escrever x ou ( x). s vezes se usa dois
pontos ou ponto final ao invs dos parnteses para criar frmulas
no ambguas. Uma conveno interessante, mas incomum, a
notao polonesa, onde se omite todos os parnteses, e escrevese o , , e assim por diante na frente de seus argumentos. A
notao polonesa compacta e elegante, mas rara e de leitura
complexa. Uma observao tcnica que se houver um smbolo de
funo de aridade 2 que representa um par ordenado (ou smbolos
de predicados de aridade 2 que representam as relaes de projeo
de um par ordenado) ento se pode dispensar inteiramente as
funes ou predicados de aridade > 2. Naturalmente o par ou as
projees necessitam satisfazer aos axiomas naturais.
Os conjuntos das constantes, das funes, e das relaes
compem a assinatura e so geralmente considerados para dar
forma a uma linguagem, enquanto as variveis, os operadores
lgicos, e os quantificadores so geralmente considerados para
pertencer lgica. Uma estrutura d o significado semntico de
cada smbolo da assinatura. Por exemplo, a linguagem da teoria
dos grupos consiste de uma constante (elemento da identidade),
de uma funo de aridade 1 (inverso), de uma funo de aridade
2 (produto), e de uma relao de aridade 2 (igualdade), que seria
omitida pelos autores que incluem a igualdade na lgica subjacente.
Regras de Formao
As regras de formao definem os termos, frmulas, e as
variveis livres como segue. O conjunto dos termos definido
recursivamente pelas seguintes regras:
- Qualquer constante um termo (sem variveis livres).
- Qualquer varivel um termo (cuja nica varivel livre
ela mesma).
- Toda expresso f (t1,, tn) de n 1 argumentos (onde cada
argumento ti um termo e f um smbolo de funo de aridade n)
um termo. Suas variveis livres so as variveis livres de cada
um dos termos ti.
- Clusula de fechamento: Nada mais um termo.
Didatismo e Conhecimento
42
RACIOCNIO LGICO
x (s x t x) x (x s x t) . Esta definio de igualdade satisfaz automaticamente os axiomas da igualdade. Em algumas
teorias possvel dar definies de igualdade ad hoc. Por exemplo, em uma teoria de ordens parciais com uma relao ns poderamos
definir s = t como uma abreviatura para s t t s.
Regras de Inferncia
A regra de inferncia modus ponens a nica necessria para a lgica proposicional de acordo com a formalizao proposta aqui.
Ela diz que se e so ambos demonstrados, ento pode-se deduzir . A regra de inferncia chamada Generalizao Universal
caracterstica da lgica de primeira ordem:
Se , ento x
onde se supe que um teorema j demonstrado da lgica de primeira ordem. Observe que a Generalizao anloga regra da
necessitao da lgica modal, que :
Se P, ento xP
Limitaes: Apesar da Lgica de Primeira Ordem ser suficiente para formalizar uma grande parte da matemtica, e tambm ser
comumente usada em Cincia da Computao e outras reas, ela tem as suas limitaes. Suas limitaes incluem limitaes em sua
expressividade e limitaes com relao aos fragmentos das lnguas naturais que pode descrever.
Expressividade: O teorema de LwenheimSkolem mostra que se uma teoria de primeira ordem tem um modelo infinito, ento a teoria
tambm tem modelos de todas as cardinalidades infinitas. Em particular, nenhuma teoria de primeira ordem com um modelo infinito pode
ser categrica. Assim, no h uma teoria de primeira ordem cujo nico modelo tem o conjunto dos nmeros naturais como domnio, ou
cujo nico modelo tem o conjunto dos nmeros reais como domnio. Vrias extenses da Lgica de Primeira-Ordem, incluindo a Lgica
de Ordem Superior e a Lgica Infinitria, so mais expressivas no sentido de que elas admitem axiomatizaes categricas dos nmeros
naturais ou reais. Essa expressividade tem um custo em relao s propriedades meta-lgicas; de acordo com o Teorema de Lindstrm,
qualquer lgica que seja mais forte que a lgica de primeira ordem falhar em validar o teorema da compaccidade ou em validar o teorema
de LwenheimSkolem.
Formalizando as Lnguas Naturais
A lgica de primeira ordem capaz de formalizar vrios quantificadores na lingua natural, como todas as pessoas que moram em Paris,
moram na Frana. Mas existem vrias caractersticas que no podem ser expressas na lgica de primeira ordem. Qualquer sistema lgico
que apropriado para analisar lnguas naturais, precisa de uma estrutura muito mais rica que a lgica de primeira ordem (Gamut 1991).
Tipo
Exemplo
Comentrio
Quantificadores
sobre as
propriedades
Quantificadores
sobre as
propriedades
Predicado adverbial
Adjetivo Relativo
Modificador do
predicado adverbial
Modificador do
adjetivo relativo
Preposies
Didatismo e Conhecimento
43
RACIOCNIO LGICO
Axiomas e Regras
Algumas Equivalncias
, onde x no livre em .
, [t:= x], onde t livre para x em .
Regras de Inferncia
Modus Ponens:
Generalizao Universal:
QUESTES
01. (CESGRANRIO - 2010 - Petrobrs) Dadas as sentenas
A e B da lgica de primeira ordem, onde A a sentena
e B a sentena
, temse que
(A) A consequncia da lgica de B.
(B) B consequncia da lgica de A.
(C) A consequncia da lgica de B.
(D) B consequncia da lgica de A.
(E) B consequncia da lgica de A.
02. (CESGRANRIO - 2010 - Petrobrs) Considere o conjunto
de conectivos lgicos da lgica sentencial.
Por definio, um conjunto de operadores B completo se somente
se todos os operadores de A podem ser expressos em funo do(s)
operador(es) de B. Analise as afirmativas a seguir:
I um conjunto de operadores completo.
II um conjunto de operadores completo.
III um conjunto de operadores completo.
IV um conjunto de operadores completo.
V um conjunto de operadores completo.
Didatismo e Conhecimento
Conclui-se que
(A) uma das afirmativas acima verdadeira e quatro so falsas.
(B) duas das afirmativas acima so verdadeiras e trs so falsas.
(C) trs das afirmativas acima so verdadeiras e duas so falsas.
(D) quatro das afirmativas acima so verdadeiras e uma falsa.
(E) todas as afirmativas acima so verdadeiras.
03. (CESGRANRIO - 2010 - Petrobrs) Considere as
premissas:
Premissa 1: as premissas 2 e 3 so verdadeiras.
Premissa 2: das premissas 3 e 4, uma delas verdadeira e a
outra, falsa.
44
RACIOCNIO LGICO
Premissa 3: as premissas 1 e 4 so ambas verdadeiras ou
ambas falsas.
Premissa 4: as premissas 1 e 3 so ambas falsas.
Respostas
01. Resposta A.
Sentenas:
(A)
(B)
Para saber qual sentena manipular, preciso lembrar algumas
regras:
(1) xp(x) = xp(x)
(2) xp(x) = xp(x)
( ) Errado
Didatismo e Conhecimento
45
RACIOCNIO LGICO
Logo, a sentena A consequncia da lgica de B.
importante mencionar que no foram introduzidos elementos
adicionais (negao dupla, por exemplo) na sentena original para
se chegar ao resultado. Com isso, podemos afirmar que a sentena
A consequncia da lgica (manipulao direta) de B.
Disjuno:
Conjuno:
Bi-implicao:
05. Resposta A.
Quando temos a expresso Todo e Todo, a resposta tem
que obrigatoriamente ter a expresso Todo e no pode aparecer
a expresso comum. Ex.: Todo indivduo que fuma tem bronquite.
Todo indivduo que tem bronquite costuma faltar ao trabalho.
Expresso comum: bronquite. Logo: Todo indivduo que fuma
costuma faltar ao trabalho.
Quando temos as expresses Todo e Algum, na resposta
prevalece o Algum e no pode aparecer a expresso comum.
Na questo acima, descartamos a B e a C, pois comeam
com Todo. Depois descartamos D pois aparece a expresso
comum advogados. Depois descartamos a E pois aparece uma
negao no se formaram na universidade x. Resumo:
03. Resposta D.
Premissa 1: as premissas 2 e 3 so verdadeiras. FALSO
(apenas a premissa 2 verdadeira a 3 falsa);
Premissa 2: das premissas 3 e 4, uma delas verdadeira
e a outra falsa. VERDADEIRA (a premissa 3 falsa e a 4
verdadeira);
Premissa 3: as premissas 3 e 4 so ambas verdadeiras ou
ambas falsas. FALSO (premissa 3 falsa e a 4 verdadeira);
Premissa 4: as premissas 1 e 3 so ambas falsas.
VERDADEIRA.
Normalmente ler as premissas em ordem inversa facilita a
resposta.
Premissa 4: afirma que 1 e 3 so falsas, portanto 2 dever ser
verdadeira.
Premissa 3: contraditria com a P4 - Falsa.
Premissa 2: at aqui a 4 verdadeira e a 3 falsa Verdadeira.
Premissa 1: contraditria com a P4 Falsa.
04. Resposta A.
- Atribui-se verdadeiro para todas as sentenas simples, ou
seja, G, M, I, C - so a princpio (V).
- Comece pela primeira sentena composta: M ~G ento
C G - Por essa sentena conclui-se que atribuindo sentena
Didatismo e Conhecimento
46
RACIOCNIO LGICO
06. Resposta Certo.
07. Resposta D.
Considerando:
P: Mrio contador.
Q: Norberto estatstico.
A negao de P Q ~P ou ~Q.
09. Resposta C.
Dona Marieta teve 10 filhos = 7 frteis e 3 infrteis.
Sete frteis tiveram 21 filhos = 17 frteis e 4 infrteis.
Dezessete frteis tiveram 85 filhos = 76 frteis e 9 infrteis.
Setenta e seis frteis tiveram 152 filhos = 152 frteis.
Descendentes = frteis + infrteis = 252 + 16 = 268
descendentes.
Didatismo e Conhecimento
Seguindo os passos:
- Dona Marieta teve 10 filhos, trs dos quais no lhe deram
netos e cada um dos demais lhe deu 3 netos; dos 10 filhos de Dona
Marieta 3 no lhe deram netos, enquanto que 7 lhe deram 3 netos
cada, ento fazemos o seguinte clculo: 7. 3 = 21 netos.
- Apenas quatro dos netos de Dona Marieta no tiveram
filhos, enquanto que cada um dos demais lhe deram 5 bisnetos;
Sabemos que Dona Marieta teve 21 netos, mas, desses 21, quatro
no tiveram filhos, enquanto que os outros 17 lhe deram 5 bisnetos
cada: 17. 5 = 85 bisnetos.
- Dos bisnetos de Dona Marieta, apenas nove no tiveram
filhos e cada um dos outros tiveram 2 filhos; Dona Marieta teve 85
bisnetos, e desses 85 nove no tiveram filhos, o que implica que 76
tiveram 2 filhos cada: 76 . 2 = 152 tataranetos.
- Os tataranetos de Dona Marieta ainda no tm filhos. Como
os tataranetos no tiveram filhos, ento somamos os filhos, netos,
bisnetos e tataranetos: 10 + 21 + 85 + 152 = 268.
47
RACIOCNIO LGICO
5 PRINCPIOS DE CONTAGEM E
PROBABILIDADE.
Anlise Combinatria
Anlise combinatria uma parte da matemtica que estuda,
ou melhor, calcula o nmero de possibilidades, e estuda os mtodos
de contagem que existem em acertar algum nmero em jogos de
azar. Esse tipo de clculo nasceu no sculo XVI, pelo matemtico
italiano Niccollo Fontana (1500-1557), chamado tambm de
Tartaglia. Depois, apareceram os franceses Pierre de Fermat (16011665) e Blaise Pascal (1623-1662). A anlise desenvolve mtodos
que permitem contar, indiretamente, o nmero de elementos de um
conjunto. Por exemplo, se quiser saber quantos nmeros de quatro
algarismos so formados com os algarismos 1, 2, 3, 4, 5, 6, 7 e 9,
preciso aplicar as propriedades da anlise combinatria. Veja quais
propriedades existem:
Concluso: Os agrupamentos...
1. Em alguns problemas de contagem, quando os agrupamentos
se diferirem pela natureza de pelo menos um de seus elementos, os
agrupamentos sero considerados distintos.
ac = ca, neste caso os agrupamentos so denominados
combinaes.
Didatismo e Conhecimento
48
RACIOCNIO LGICO
Fatorial: Na matemtica, o fatorial de um nmero natural n,
representado por n!, o produto de todos os inteiros positivos
menores ou iguais a n. A notao n! foi introduzida por Christian
Kramp em 1808. A funo fatorial normalmente definida por:
abc
acd
bcd
acb
n
possibilidades na escolha do 1 elemento.
n - 1 possibilidades na escolha do 2 elemento, pois um
deles j foi usado.
n - 2 possibilidades na escolha do 3 elemento, pois dois
deles j foi usado.
.
.
n - (k - 1) possibilidades na escolha do k elemento, pois
l-1 deles j foi usado.
bac
bca
cab
cba
Se trocarmos os 3 elementos das 4 combinaes obtemos
todos os arranjos 3 a 3:
abd
An,k = n (n - 1) . (n - 2) . ... . (n k + 1)
( o produto de k fatores)
abc
abd
acd
bcd
acb
adb
adc
bdc
bac
bad
cad
cbd
bca
bda
cda
cdb
cab
dab
dac
dbc
cba
dba
dca
dcb
Didatismo e Conhecimento
49
RACIOCNIO LGICO
QUESTES
A
C n,k = n,k
Pk
Lembrando que:
Totalizando em + + + = n elementos.
Simbolicamente representado por Pn, , , , o nmero
de permutaes distintas que possvel formarmos com os n
elementos:
Didatismo e Conhecimento
50
RACIOCNIO LGICO
De quantas maneiras distintas a equipe pode montar uma
prova com 8 questes, sendo 3 de parbolas, 2 de circunferncias
e 3 de retas?
(A) 80
(B) 96
(C) 240
(D) 640
(E) 1.280
04.
I) O nmero de cartes feitos por Cludia foi
07. C5,3 . C4,2 . C4,3 = 10 . 6 . 4 = 240
08.
I) Existem 5 enfermeiros disponveis: 2 mais experientes e
outros 3.
II) Para formar grupos com 3 enfermeiros, conforme o
enunciado, devemos escolher 1 entre os 2 mais experientes e 2
entre os 3 restantes.
III) O nmero de possibilidades para se escolher 1 entre os 2
mais experientes
Resolues
01.
02. O nmero total de jogos a serem realizados A14,2 = 14 .
13 = 182.
03.
Algarismos
Letras
10.
a) 9 . A*10,3 = 9 . 103 = 9 . 10 . 10 . 10 = 9000
b) 8 . A*9,3 = 8 . 93 = 8 . 9 . 9 . 9 = 5832
c) (a) (b): 9000 5832 = 3168
d) 9 . A9,3 = 9 . 9 . 8 . 7 = 4536
e) (a) (d): 9000 4536 = 4464
Didatismo e Conhecimento
51
RACIOCNIO LGICO
Probabilidade
Ponto Amostral, Espao Amostral e Evento
Em uma tentativa com um nmero limitado de resultados,
todos com chances iguais, devemos considerar:
Ponto Amostral: Corresponde a qualquer um dos resultados
possveis.
Espao Amostral: Corresponde ao conjunto dos resultados
possveis; ser representado por S e o nmero de elementos do
espao amostra por n(S).
Evento: Corresponde a qualquer subconjunto do espao
amostral; ser representado por A e o nmero de elementos do
evento por n(A).
Unio de Eventos
Considere A e B como dois eventos de um espao amostral S,
finito e no vazio, temos:
A
B
S
Conceito de Probabilidade
As probabilidades tm a funo de mostrar a chance
de ocorrncia de um evento. A probabilidade de ocorrer um
determinado evento A, que simbolizada por P(A), de um espao
amostral S , dada pelo quociente entre o nmero de elementos
A e o nmero de elemento S. Representando:
Logo: P(A
B)
P(A1
P(An)
A2
A3
Eventos Exaustivos
Quando os eventos A1, A2, A3, , An de S forem, de dois em
dois, mutuamente exclusivos, estes sero denominados exaustivos
se A1 A2 A3 An = S
Ento, logo:
Didatismo e Conhecimento
52
RACIOCNIO LGICO
Portanto: P(A1) + P(A2) + P(A3) + ... + P(An) = 1
Probabilidade Condicionada
Resoluo:
- Se num total de n experincias, ocorrer somente k vezes
o evento A, nesse caso ser necessrio ocorrer exatamente n k
vezes o evento A.
- Se a probabilidade de ocorrer o evento A p e do evento A
1 p, nesse caso a probabilidade de ocorrer k vezes o evento A e
n k vezes o evento A, ordenadamente, :
Veja:
Eventos Independentes
QUESTES
P(A/N) = P(A)
P(B/A) = P(B)
(A)
Interseco de Eventos
(B)
(C)
(D)
(E)
Assim sendo:
P(A B) = P(A) . P(B/A)
P(A B) = P(B) . P(A/B)
Considerando A e B como eventos independentes, logo
P(B/A) = P(B), P(A/B) = P(A), sendo assim: P(A B) = P(A) .
P(B). Para saber se os eventos A e B so independentes, podemos
utilizar a definio ou calcular a probabilidade de A B. Veja a
representao:
(A)
(C)
(D)
(E)
Didatismo e Conhecimento
(B)
53
RACIOCNIO LGICO
06. Uma urna contm 4 bolas amarelas, 2 brancas e 3 bolas
vermelhas. Retirando-se uma bola ao acaso, qual a probabilidade
de ela ser amarela ou branca?
(A)
(B)
(C)
(D)
06.
Sejam A1, A2, A3, A4 as bolas amarelas, B1, B2 as brancas e V1,
V2, V3 as vermelhas.
Temos S = {A1, A2, A3, A4, V1, V2, V3 B1, B2} n(S) = 9
A: retirada de bola amarela = {A1, A2, A3, A4}, n(A) = 4
B: retirada de bola branca = {B1, B2}, n(B) = 2
(E)
(A) 1 (B)
(C)
(D)
(E)
Respostas
01.
07.
Se apenas um deve acertar o alvo, ento podem ocorrer os
seguintes eventos:
(A) A acerta e B erra; ou
(B) A erra e B acerta.
02.
A partir da distribuio apresentada no grfico:
08 mulheres sem filhos.
07 mulheres com 1 filho.
06 mulheres com 2 filhos.
02 mulheres com 3 filhos.
Assim, temos:
P (A B) = P (A) + P (B)
P (A B) = 40% . 70% + 60% . 30%
P (A B) = 0,40 . 0,70 + 0,60 . 0,30
P (A B) = 0,28 + 0,18
P (A B) = 0,46
P (A B) = 46%
08.
Sendo A e B eventos independentes, P(A B) = P(A) . P(B) e
como P(A B) = P(A) + P(B) P(A B). Temos:
P(A B) = P(A) + P(B) P(A) . P(B)
0,8 = 0,3 + P(B) 0,3 . P(B)
0,7 . (PB) = 0,5
P(B) = 5/7.
Didatismo e Conhecimento
54