Raciocinio Logico Quantitativo

Raciocnio Lgico Quantitativo
Notas de Aula

Prof.
a
Paula Francis Benevides

Ministrio da Educao
Universidade Tecnolgica Federal do Paran
Campus Curitiba
Gerncia de Ensino e Pesquisa
Departamento Acadmico de Matemtica

Contedo
AULA 1 .................................................................................................................................. 7
1. PRINCPIOS FUNDAMENTAIS EM LGICA MATEMTICA .................................................. 7
1.1 CONSIDERAES PRELIMINARES .................................................................................... 7
1.2 CLCULO PROPOSICIONAL E CLCULO DOS PREDICADOS: ............................................. 8
1.2.1 Proposio, declarao ......................................................................................... 8
1.3 PRINCPIOS FUNDAMENTAIS: ......................................................................................... 8
2. PROPOSIES OU ENUNCIADOS - FUNDAMENTAO DO CLCULO PROPOSICIONAL....... 9
2.1 CONSIDERAES SOBRE O SISTEMA DICOTMICO OU BIVALENTE: .............................. 9
2.2 DEFINIO E NOTAO DE PROPOSIES NO CLCULO PROPOSICIONAL: ................... 9
2.3 CARACTERIZAO, DEFINIO E NOTAO DAS PROPOSIES SIMPLES: ................... 10
2.4 CARACTERIZAO, DEFINIO E NOTAO DE PROPOSIES COMPOSTAS: .............. 10
2.5 VERDADE E VALIDADE: .................................................................................................. 11
2.6 CARACTERIZAO, DEFINIO, NOTAO DE CONECTIVOS LGICOS: ........................ 12
3. ENTIDADES LIGADAS OPERAO ................................................................................ 14
3.1 ESCOPO E PAREAO: ................................................................................................... 14
3.2 ORDEM DE PRECEDNCIA DOS OPERADORES LGICOS: .............................................. 14
4. OPERAES LGICAS FUNDAMENTAIS DO CLCULO SENTENCIAL .................................. 15
4.1 RELAES ENTRE CONECTIVOS LGICOS E OS OPERADORES LGICOS ....................... 15
4.1.1 Definio .............................................................................................................. 15
4.1.2 Conectivos: ........................................................................................................... 16
4.2 DEFINIO FORMAL DOS OPERADORES LGICOS: ....................................................... 16
4.2.1 Negao ............................................................................................................... 16
4.2.2 Conjuno ............................................................................................................ 17
4.2.3 Disjuno .............................................................................................................. 17
4.2.4 Disjuno Exclusiva .............................................................................................. 17
4.2.5 Condicional ........................................................................................................... 18

4.2.6 Bicondicional ........................................................................................................ 18
AULA 2 ................................................................................................................................ 22
5. PROCEDIMENTOS DE DECISO ...................................................................................... 22
5.1 FRMULAS PROPOSICIONAIS ESPECIAIS: ..................................................................... 23
5.1.1 Tautologia ............................................................................................................ 23
5.1.2 Contradio .......................................................................................................... 23
5.1.3 Contingncia ........................................................................................................ 24
AULA 3 ................................................................................................................................ 25
6. RELAO DE IMPLICAO LGICA ................................................................................. 25
6.1 DISTINO ENTRE OS SMBOLOS: E .................................................................... 25
6.2 DEFINIO .................................................................................................................... 25
6.3 PROPRIEDADES FUNDAMENTAIS DAS RELAES DE IMPLICAO LGICA ................. 25
6.4 TEOREMA FUNDAMENTAL DA IMPLICAO LGICA .................................................... 26
6.5 ALGUMAS CONSIDERAES IMPORTANTES SOBRE AS IMPLICAES ENTRE
PROPOSIES ................................................................................................................................. 26
6.6 IMPLICAES NOTVEIS ............................................................................................... 28
6.7 PROPOSIES ASSOCIADAS A UMA CONDICIONAL: ..................................................... 28
6.7.1 Propriedades: ....................................................................................................... 28
AULA 4 ................................................................................................................................ 31
7. RELAO DE EQUIVALNCIA LGICA ............................................................................. 31
7.1 DISTINO ENTRE OS SMBOLOS: E .................................................................... 31
7.2 DEFINIO DE EQUIVALNCIA: ..................................................................................... 31
7.3 TEOREMA FUNDAMENTAL DAS EQUIVALNCIAS LGICAS: ......................................... 32
7.4 PROPRIEDADES FUNDAMENTAIS DAS RELAES DE EQUIVALNCIA LGICA:............. 33
7.5 EQUIVALNCIAS NOTVEIS: .......................................................................................... 33
7.6 OPERAES DERIVADAS: .............................................................................................. 33
7.6.1 Negao conjunta: ............................................................................................... 33
7.6.2 Negao disjunta ................................................................................................. 34
AULA 5 ................................................................................................................................ 36

8. EXERCCIOS GERAIS ....................................................................................................... 36
AULA 6 ................................................................................................................................ 40
9. LGEBRA DAS PROPOSIES ......................................................................................... 40
9.1 PROPRIEDADES DA CONJUNO: ................................................................................. 40
9.1.1 Idempotncia: ...................................................................................................... 40
9.1.2 Comutatividade:................................................................................................... 40
9.1.3 Associatividade: ................................................................................................... 40
9.1.4 Identidade: ........................................................................................................... 41
9.2 PROPRIEDADES DA DISJUNO: ................................................................................... 41
9.2.1 Idempotncia: ...................................................................................................... 41
9.2.2 Comutatividade:................................................................................................... 41
9.2.3 Associatividade: ................................................................................................... 42
9.2.4 Identidade: ........................................................................................................... 42
9.3 PROPRIEDADES DA CONJUNO E DA DISJUNO: ..................................................... 42
9.3.1 Distributiva: .......................................................................................................... 42
9.3.2 Absoro: ............................................................................................................. 43
9.3.3 Leis de Morgan: ................................................................................................... 43
9.4 NEGAO DA CONDICIONAL: ....................................................................................... 43
9.5 NEGAO DA BICONDICIONAL: .................................................................................... 44
10. MTODO DEDUTIVO ...................................................................................................... 44
10.1 REDUO DO NMERO DE CONECTIVOS: .................................................................... 44
10.2 EXEMPLICIFICAO: ...................................................................................................... 45
AULA 7 ................................................................................................................................ 51
11. FORMA NORMAL DAS PROPOSIES .......................................................................... 51
11.1 DEFINIO: ................................................................................................................... 51
11.1.1 Forma Normal Conjuntiva: ................................................................................ 51
11.1.2 Forma Normal Disjuntiva: .................................................................................. 52
11.2 PRINCPIO DA DUALIDADE: ........................................................................................... 52
AULA 8 ................................................................................................................................ 54

12. RACIOCNIO LGICO TEORIA DA ARGUMENTAO: ................................................... 54
12.1 PENSAMENTO LGICO FORMAL: .................................................................................. 54
12.2 ARGUMENTO: ............................................................................................................... 54
12.2.1 Validade de um Argumento: .............................................................................. 55
12.3 CONDICIONAL ASSOCIADA A UM ARGUMENTO: .......................................................... 55
12.4 VALIDADE DOS ARGUMENTOS ATRAVS DE TABELA VERDADE: .................................. 56
12.5 REGRAS DE INFERNCIA: ............................................................................................... 56
12.6 EXEMPLO DO USO DAS REGRAS DE INFERNCIA: ......................................................... 57
12.6.1 Regra da adio: ................................................................................................ 57
12.6.2 Regra da simplificao: ...................................................................................... 58
12.6.3 Regra da conjuno: .......................................................................................... 58
12.6.4 Regra da absoro: ............................................................................................ 58
12.6.5 Regra Modus Ponens: ........................................................................................ 58
12.6.6 Regra Modus Tolens: ......................................................................................... 58
12.6.7 Regra do Silogismo disjuntivo: ........................................................................... 59
12.6.8 Regra do Silogismo hipottico: .......................................................................... 59
12.6.9 Regra do dilema construtivo: ............................................................................. 59
12.6.10 Regra do dilema destrutivo: ............................................................................ 59
AULA 9 ................................................................................................................................ 68
13. VALIDADE MEDIANTE REGRAS DE INFERNCIA: .......................................................... 68
13.1 EXEMPLIFICAO .......................................................................................................... 68
AULA 10 ............................................................................................................................... 78
14. VALIDADE MEDIANTE REGRAS DE INFERNCIA E EQUIVALNCIAS: ................................. 78
14.1 EQUIVALNCIAS NOTVEIS: .......................................................................................... 78
14.2 EXEMPLIFICAO: ......................................................................................................... 79
AULA 11 ............................................................................................................................... 87
15. INCONSISTNCIA: .......................................................................................................... 87
16. DEMONSTRAO CONDICIONAL E DEMONSTRAO INDIRETA: .................................... 90
16.1 DEMONSTRAO CONDICIONAL: ................................................................................. 90

16.1.1 Exemplificao: .................................................................................................. 90
16.2 DEMONSTRAO INDIRETA: ......................................................................................... 91
16.2.1 Exemplificao: .................................................................................................. 92
AULA 12 ............................................................................................................................... 96
17. EXERCCIOS GERAIS ....................................................................................................... 96
Raciocnio Lgico Quantitativo Prof
a
7

AULA 1
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:
Se meu cliente fosse culpado, a faca estaria na gaveta. Ou a faca no estava na gaveta ou
Jos da Silva viu a faca. Se a faca no estava l no dia 10 de outubro, segue que Jos da Silva no
viu a faca. Alm disso, se a faca estava l no dia 10 de outubro, ento a faca estava na gaveta e o
martelo estava no celeiro. Mas todos sabemos que o martelo no estava no celeiro. Portanto,
senhoras e senhores do jri, meu cliente inocente.

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 logica
formal, que retira todo o palavrrio que causa confuso e permite que nos concentremos na
argumentao subjacente.
A logica 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 Logica e a cincia do raciocnio.
1. PRI NC PI OS FUNDAMENTAI S EM LGI CA MATEMTI CA
1.1 CONSI DERAES PRELI MI NARES
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.
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.
a
8

A Lgica matemtica, ou a Lgica Simblica ou Lgica Algortmica caracterizada pela
axiomatizao, pelo simbolismo e pelo formalismo. Tem seu desenvolvimento na instncia dos
smbolos e passam a analisar o raciocnio segundo operaes e ralaes de clculo especfico.
1.2 CLCULO PROPOSI CI ONAL E CLCULO DOS PREDI CADOS:
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.
No primeiro caso no se analisa a relao ntima entre o nome e o predicado da estrutura em
anlise. Sendo oposto no segundo caso.
Os smbolos tm significado e usos especficos no clculo proposicional.
1.2.1 PROPOSIO, DECLARAO
todo o conjunto de palavras ou smbolos que exprimem um pensamento de sentido
completo para a qual se associa apenas um dos dois atributos verdadeiro ou falso.
So exemplos de proposies:
Quatro e maior que cinco.
Ana e inteligente.
So Paulo e uma cidade da regiao sudeste.
Existe vida humana em Marte.
A lua um satlite da Terra
Recife capital de Pernambuco
Exemplos de no proposies:
Como vai voc?
Como isso pode acontecer!
1.3 PRI NC PI OS FUNDAMENTAI S:
A Lgica Matemtica constitui um sistema cientfico regido por trs leis principais,
consideradas princpios fundamentais:
- Princpio da no-contradio: uma proposio no pode ser verdadeira e falsa ao
mesmo tempo.
- Princpio do terceiro excludo: toda preposio ou verdadeira ou falsa, isto ,
verifica-se sempre um destes casos e nunca um terceiro.
a
9

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).
Portanto de uma forma geral pode-se dizer que qualquer entidade (proposio ou
enunciado) em Lgica Matemtica apresenta apenas dois estados de verdade ou ser
correspondente a verdade ou correspondente a falsidade no admitindo quaisquer outras
hipteses e nem to pouco a ocorrncia dos dois estados de verdade simultaneamente.
2. PROPOSI ES OU ENUNCI ADOS - FUNDAMENTAO DO CLCULO
PROPOSI CI ONAL
2.1 CONSI DERAES SOBRE O SISTEMA DI COTMI CO OU BI VALENTE:
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 falsidade, sendo estados mutuamente excludentes. Desta forma
a partir de seus axiomas fundamentais e do sistema bivalente estabelecido desenvolver-se- um
mtodo analtico de raciocnio que objetiva analisar a validade do processo informal a partir das
denominadas primeiras verdades, primcias.
2.2 DEFI NI O E NOTAO DE PROPOSI ES NO CLCULO PROPOSI CI ONAL:
Na linguagem falada ou escrita quatro so os tipos fundamentais de sentenas; quais sejam
as imperativas, as exclamativas, interrogativas e as declarativas (afirmativas ou negativas); tendo
em vista que em lgica matemtica tem-se apenas dois estados de verdade, esta tem por objeto de
anlise as denominadas sentenas declarativas, afirmativas, de sentido completo e no elpticas (no
ambguas).
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 em lgica:
A filosofia a lgica dos contrrios
Bananas solitrias so aves volares se e somente se, um logaritmo vermelho um abacate
feliz.
Se todo homem inteligente uma flor, ento flores racionais so homens solitrios.
a
10

No clculo proposicional o que dever ser considerado a forma do enunciado e no o
significado que esta alcana no mundo real.
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.
2.3 CARACTERI ZAO, DEFI NI O E NOTAO DAS PROPOSI ES SI MPLES:
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:
p, q, r, s, u, v, w, p
1
, p
2
. . . p
n...

As quais so denominadas letras proposicionais ou variveis enunciativas. Desta forma, pra
se indicar que a letra proposicional p designa a sentena: A Matemtica atributo da lgica,
adota-se a seguinte notao:
p: A matemtica atributo da lgica.

Observe que a estrutura: A matemtica no atributo da lgica no corresponde a uma
proposio simples, pois possui como parte integrante de si outra proposio.
2.4 CARACTERI ZAO, DEFI NI O E NOTAO DE PROPOSI ES COMPOSTAS:
Uma proposio composta, ou uma frmula proposicional ou uma molcula ou ainda uma
proposio molecular uma sentena declarativa, afirmativa, de sentido completo constituda de
pelo menos um nome ou pelo menos um predicado ou ainda negativa, isto , so todas as sentenas
que possuem como parte integrante de si prpria pelo menos uma outra proposio.
As proposies compostas sero designadas pelas letras latinas maisculas tais como:
P, Q, R, S, U, V, W, P
1
, P
2
. . . P
n...

Considere as proposies simples:
p: A filosofia arte
q: A dialtica cincia.

Seja, portanto, a proposio composta A filosofia arte embora a dialtica a cincia.
a
11

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
q: A dialtica fundamenta o pensamento ambguo.

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.
Sejam ainda proposies compostas:
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.
De forma simblica tem-se que;
P (p, q): p mas q
Q (p, q): p e/ou q
S (P, Q):Se p mas q, ento p e/ou q
Observe que: S (P, Q) anloga a S (p, q).
2.5 VERDADE E VALI DADE:
(Valor lgico ou valor verdade das proposies)

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.
Em resumo, a verdade a afirmao do fato e a falsidade a negao do fato estabelecido.
a
12

Dada uma proposio simples qualquer, designar, por exemplo, pela letra proposicional p,
tem-se pelos princpios fundamentais que tal proposio ser a verdade (V) ou a falsidade (F) no se
admitindo outra hiptese, e, nem to pouco a ocorrncia dos dois estados simultaneamente,
portanto, para denotar tais situaes, adotar-se- a simbolizao:

V ( p ) = V (valor lgico de p igual verdade) ou V ( p ) = F .

Considere uma proposio composta P, constituda das proposies simples p, q, r,...., p
1
,....,
p
n
componentes. Para indicar o valor lgico ou valor verdadeiro desta frmula proposicional adotar-
se- as notaes:

V [ P ( p, q, r,..., p
1
,..., p
n
)] = V ou V [ P ( p, q, r,..., p
1
,..., p
n
)] = F

oportuno salientar-se que a lgica matemtica no cabe a obrigao de decidir se uma
dada proposio verdade ou falsidade, isto , compete aos respectivos especialistas das
correspondentes reas de conhecimento. Contudo a lgica tem por obrigao estruturar mtodos ou
procedimentos de deciso que permita, num tempo finito, a deciso sobre os valores lgicos de
frmulas proposicionais constitudas de n proposies e m raciocnios (sobre o ponto de vista da
analiticidade de tais processos). A de se observar tambm, que validade em lgica matemtica
corresponde, to somente a avaliao de argumentos dedutivos ou de inferncia de argumentos, no
tendo sentido associar validade ou legitimidade a proposies ou enunciados.
De forma resumida, a validade esta associada coerncia ou a consistncia do raciocnio
analtico.
2.6 CARACTERI ZAO, DEFI NI O, NOTAO DE CONECTI VOS LGI COS:
(ou conectivos proposicionais)

Vejam os exemplos:

A matemtica a juventude da lgica e a lgica a maturidade da matemtica
A matemtica a juventude da lgica ou a lgica a maturidade da matemtica
A matemtica a juventude da lgica ou a lgica a maturidade da matemtica e no
ambos
Se a matemtica a juventude da lgica, ento a lgica a maturidade da matemtica.
a
13

A matemtica a juventude da lgica se, e somente se, a lgica a maturidade da
matemtica.
No fato que a matemtica a juventude da lgica

Designamos as proposies simples:
p: A matemtica a juventude da lgica
q: A lgica a maturidade da matemtica
Tem-se que:
P (p, q): p e q.
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.
P
1
(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.
Tais conectivos lgicos correspondem, portanto as seguintes estruturas:
... e... : ... ....
...ou... : ...v...
....ou...., e no ambos : .... v....
se....,ento.... : .... ....
... se, e somente se....: .... ....
no .... : ~ ....

Logo, tem-se que:
a. P (p, q) : p . q
b. Q (p, q) : p v q
c. R (p, q) : p v q
d. S (p, q) : p q
a
14

e. W (p, q) : p q
f. P
1
(p ) : ~ p

Observe portanto, que uma frmula proposicional ou uma proposio simples toda a
sentena declarativa constituda de pelo menos um conectivo lgico. Salienta-se, ainda que os
conectivos lgicos estabelecem seis classes de frmulas proposicionais, podendo dar origem a
frmulas proposicionais constitudas de diversos conectivos, repetidos ou no.
3. ENTI DADES LI GADAS OPERAO
3.1 ESCOPO E PAREAO:
Seja a frmula proposicional P(p, q): p q . ~ p v q v ~ p q.
Obviamente no se pode qualificar a frmula acima segundo as seis classes de frmulas
proposicionais anteriormente definidas, uma vez que o nvel de abrangncia dos respectivos
operadores no est definido. Assim, atravs da colocao de parnteses poder-se- obter as
seguintes frmulas:
P (p, q): (p q) .(~ p v ((q v ~p) q)
P (p, q): p (q . ((~ p v q) v (~p q))
P (p, q): ((p q) . ~ p) v (q v (~p q))
E outras hipteses.
Desta forma, utiliza-se o procedimento denominado pareao ou pareamento para
caracterizar o escopo de uma determinada operao de uma dada frmula proposicional. Isto ,
parear significa colocar parntese com o objetivo de delimitar o nvel de abrangncia dos
respectivos operadores lgicos, sendo que os nveis anteriormente considerados qualificam o que se
denomina escopo de uma dada operao.
3.2 ORDEM DE PRECEDNCI A DOS OPERADORES LGI COS:
Em certas situaes o procedimento de pareao torna a anlise de determinadas estruturas
um tanto quanto complexas, tendo em vista a demasiada concentrao de parnteses. Assim, para
resolver, em parte tais dificuldades convencionais se estabelecem uma ordem de precedncia dos
conectivos lgicos em que se torna desnecessria a pareao.
Adotar-se-, portanto, a seguinte ordem de precedncia usual.
~ . v v

a
15

Logo:
Dada a frmula P (p, q): p q ~ p . q v~ p v q, pareando-se vem que:
P (p, q): (p q) ((~ p . q) v(~ p v q))

Retirar todos os parnteses desnecessrios segundo a ordem de precedncia usual.
P (p, q): (((~ p q) . ~ p) q) (~ p . (~ q v p))
4. OPERAES LGI CAS FUNDAMENTAI S DO CLCULO SENTENCI AL
4.1 RELAES ENTRE CONECTI VOS LGI COS E OS OPERADORES LGI COS
Conforme caracterizados anteriormente, os conectivos lgicos estabelecem classes de
frmulas proposicionais especficas, as quais do origem s operaes lgicas fundamentais do
clculo proposicional. Assim tem-se que:
- O conectivo,... e ... da origem ao operador de conjuno sendo tal operao
denotada pelo smbolo ..
- O conectivono ... da origem ao operador negador ou a operao de negao
sendo denotada por ~
- O conectivo ... ou ... da origem ao operador disjuntor inclusivo ou a operao
de disjuno inclusiva sendo denotado por v
- O conectivo ... ou ...., e no ambos, da origem ao operador disjuntor exclusivo
ou a operao de disjuno exclusiva, cuja notao dada por v
- O conectivose..., ento... da origem ao operador implicador ou a operao de
condicional sendo denotado por
- O conectivo.... se, e somente se ... da origem ao operador bi-implicador ou a
operao bicondicional, sendo denotado por:

Observe que as seis classes de frmulas proposicionais so caracterizadas pela forma
estrutural, isto , pelas estruturas ~p, p .q, p vq, p vq, p q, p q.
Portanto uma frmula proposicional pode ser definida da seguinte maneira:
4.1.1 DEFINIO
Uma frmula proposicional um conjunto ou srie finita de termos constituda de pelo
menos um operador lgico que incida sobre ao menos uma proposio simples componente.
a
16

oportuno salientar-se ainda que muito embora as observaes feitas at aqui se baseiam
em proposies compostas, compostas de outras proposies compostas.
4.1.2 CONECTIVOS:
So palavras que se usam para formar novas preposies a partir de outros conectivos usuais
em lgica matemtica.
No caso de uma proposio composta cujas preposies simples so p e q, as possveis
atribuies de valores lgicos a p e a q so:
p q
1 V V
2 V F
3 F V
4 F F

Notao:
O valor lgico de uma proposio simples p indica-se por V(p). Exprime-se que p
verdadeiro escrevendo se V (p) = V e analogamente exprime-se que p falsa escrevendo-se
V(p)=F.
4.2 DEFI NI O FORMAL DOS OPERADORES LGI COS:
4.2.1 NEGAO
Chama-se de negao de uma proposio p a proposio representada por ~p (no p) cujo
valor lgico verdadeiro (V) quando p falsa e falso (F) quando p verdadeiro.

Simbolicamente: ~ p = no p

Tabela verdade:
p ~ p
V F
V F
F V
F V
a
17

4.2.2 CONJUNO
Chama-se conjuno de duas proposies p e q proposio representada por p e q cujo
valor lgico verdadeiro quando ambas as proposies p e q so verdadeiras e falso nos demais
casos.
Simbolicamente: p . q = p e q
Tabela verdade:
p q p . q
V V V
V F F
F V F
F F F

4.2.3 DISJUNO
Chama-se disjuno de duas proposies p e q a proposio representada por p ou q cujo
valor lgico verdadeiro quando ao menos uma das proposies p e q verdadeira e falso quando
ambas as preposies so falsa.
Simbolicamente: p v q = p ou q
Tabela verdade :
p q p v q
V V V
V F V
F V V
F F F

4.2.4 DISJUNO EXCLUSIVA
Chama-se disjuno exclusiva de duas proposies p e q a proposio representada por p ou
q mas no ambas cujo valor lgico verdadeiro (V) quando as proposies p e q tem valores
lgicos diferentes.

Simbolicamente: p v q = p ou q mas no ambos

a
18

Tabela verdade:
p q p v q
V V F
V F V
F V V
F F F
4.2.5 CONDICIONAL
Chama-se condicional de duas proposies p e q a proposio cujo valor lgico falso (F)
se a proposio p verdadeira e q falsa, e verdadeira nos demais casos.
Simbolicamente: p q = se p ento q
Tabela verdade:
p q p q
V V V
V F F
F V V
F F V

4.2.6 BICONDICIONAL
Chama-se proposio bicondicional uma proposio cujo valor lgico verdadeiro (V)
quando p e q so ambas verdadeiras ou ambas falsas e falsa (F) nos demais casos.
Simbolicamente: p q = p se e somente se q
Tabela verdade:
p q p q
V V V
V F F
F V F
F F V

a
19

AULA 1 - Exerccios

1) Quais das sentenas abaixo so proposies?
a) A lua e feita de Queijo verde.
b) Ele seria um homem alto.
c) Dois e um numero primo.
d) O jogo vai acabar logo?
e) 0 4
2
= x
f) 3 e raiz de 0 3 4
2
= + x x

2) Sejam as proposies p: est frio e q: est chovendo. Traduzir para a linguagem
corrente as seguintes proposies:
a) ~ p
b) p . q
c) p v q
d) q p
e) ~ p . ~ q
f) p ~ q
g) p ~q
h) p v ~ q
i) p . ~ q p

3) Sejam as proposies p:Jorge rico e q: Carlos feliz. Traduzir para linguagem
corrente as seguintes proposies:
a) p v q
b) p . q
c) p . ~ q
d) ~ p . ~q
e) ~ ~ p
f) ~ (~p . ~q)

a
20

4) Simbolizar, utilizando a lgica, as seguintes frases:
a) X maior que 5 e menor que 7 ou X no igual a 6.
b) Se X menor que 5 e maior que 3, ento X igual a 4.
c) X maior que 1 ou X menor que 1 e maior que 0.

5) Sejam as proposies p: Marcos alto e q: Marcos elegante. Traduzir para a
linguagem simblica as seguintes proposies:
a) Marcos alto e elegante.
b) Marcos alto, mas no elegante.
c) No verdade que Marcos baixo e elegante.
d) Marcos alto ou baixo e elegante.
e) Marcos no nem alto e nem elegante.
f) falso que Marcos baixo ou que no elegante.

6) Sejam as proposies:
p : Sueli rica
q : Sueli feliz
Traduzir para linguagem simblica (lgica) as seguintes frases:
a) Sueli pobre, mas feliz.
b) Sueli rica o infeliz.
c) Sueli pobre e infeliz.
d) Sueli pobre ou rica, mas feliz.

7) Dadas as seguintes proposies:
p : o nmero 596 divisvel por 2.
q : o nmero 596 divisvel por 4.
r : o nmero 596 divisvel por 3.
Traduzir para a linguagem simblica:
a) falso que nmero 596 divisvel por 2 e por 3, ou o nmero 596 no divisvel por 4.
b) O nmero 596 no divisvel por 2 ou por 4, mas divisvel por 3.
c) Se no verdade que o nmero 596 divisvel por 3, ento ele divisvel por 2 e no por 4.
d) falso que o nmero 596 no divisvel por 2 e por 4, mas divisvel por 3 e por 2.

a
21

8) Sejam as proposies p: Carlos fala francs, q: Carlos fala ingls e r: Carlos fala
alemo. Traduzir para a linguagem simblica as seguintes proposies:
a) Carlos fala francs ou ingls, mas no fala alemo.
b) Carlos fala francs e ingls, ou no fala francs e alemo.
c) falso que Carlos fala francs mas que no fala alemo.
d) falso que Carlos fala ingls ou alemo mas que no fala francs.

9) Determine o valor logico (V ou F) de cada uma das seguintes proposies:
a) O numero 11 e um nmero primo.
b) Todo numero divisvel por 5 termina em 0.
c) - 2 < 0.

10) Sabendo-se que V(p) = V(q) = T (true) e V(r) = V(s) = F (false), determine os
valores lgicos das seguintes proposies:
a) (p . (q v r)) (p (r v q))
b) (q r) (~q v r)
c) (~p v ~ (r . s))
d) ~(q ( ~p . s))
e) (p q) v (q ~p)
f) ~(~q . (p . ~s))
g) ~q . ((~r v s) (p ~q))
h) ~(~p v (q . s)) (r ~s)
i) ~(p (q r)) s

11) Determinar o valor lgico (V ou F) de cada uma das seguintes proposies:
a) Se 3 + 2 = 6 ento 4 + 4 = 9.
b) 3 + 4 = 7 se e somente se 5
3
= 125.
c) No verdade que 12 um nmero primo.
d) falso que 2 + 3 = 5 e 1 + 1 = 3.
e) Braslia a capital do Brasil, e 2
0
= 0 ou 3
0
= 1.

a
22

AULA 2
5. PROCEDI MENTOS DE DECI SO
Denomina-se matriz de verdade ou Tabela funo de verdade ou Tabela Verdade, todo
procedimento de deciso que permite, num dado tempo determinao dos valores lgicos de uma
dada frmula proposicional a partir dos valoresverdade das proposies simples componentes e
das operaes lgicas entre tais valores, segundo o escopo de cada uma das respectivas operaes
lgicas.
oportuno observar dada uma frmula proposicional se faz necessrio delimitar o escopo de
cada uma das operaes envolvidas bem como estabelecer os respectivos arranjos de valores
lgicos das proposies simples que compes a frmula em anlise.
Para a determinao do nmero de arranjos possveis, que correspondem s linhas da tabela
verdade, adota-se a expresso 2
n
, onde n o nmero de proposies simples componentes e dois os
valores verdade e falsidade, isto : 2
n
linhas. possvel construir a tabela verdade correspondente a
qualquer proposio composta dada. Tal tabela mostrar exatamente os casos em que a proposio
composta ser verdadeira (V) ou falsa (F).
Exemplos:Construir a tabela verdade das seguintes preposies:
a) ~ (p ~ q)

b) p q . ~ p ~ p v q . ~ p v q

p q p q . ~ p ~ p v q . ~ p v q
V V V F V F F V F F V F V F F V V V
V F V F F F F V V F V F F F F V F F
F V F V V V V F F V F V V V V F F V
F F F V F F V F V V F V F F V F V F
1
7
(1+3)
1
3
(1+2)
2 1
8
(7+6)
2 1
5
(2+4)
1 4 2 1
6
(5+1)
1
p q ~ (p ~ q)
V V V V F F V
V F F V V V F
F V F F V F V
F F F F V V F
a
23

5.1 FRMULAS PROPOSICI ONAI S ESPECI AIS:
As frmulas proposicionais so classificadas quanto aos valores lgicos, em proposies
Tautolgicas, proposies Contravlidas e proposies Contingentes, as quais so assim definidas
5.1.1 TAUTOLOGIA
Diz-se que uma frmula proposicional uma tautologia ou uma proposio tautolgica ou
ainda, uma proposio logicamente verdadeira, se, e somente se, na coluna resultado da
respectiva tabela verdade, independentemente dos valores lgicos das componentes da frmula em
anlise, tem-se to somente valores lgicos correspondentes verdade.
Uma tautologia ser denotada pelos smbolos t ou T ( p, q, r, ...., p
1
,....,p
n
)
Por exemplo, a frmula proposicional P (p, q): (p v q) v (p q) uma tautologia, pois:
p q (p v q) v (p q)
V V V F V V V V V
V F V V F V V F F
F V F V V V F F V
F F F F F V F V F

5.1.2 CONTRADIO
Diz-se que uma frmula proposicional uma contradio ou uma proposio contravlida
ou ainda proposio logicamente falsa, se, e somente se, na coluna resultado da respectiva tabela-
verdade figuram, independentemente dos valores particulares de suas componentes, to somente
valores lgicos correspondentes falsidade.
Em termos de notao adotam-se os smbolos c ou C ( p, q, r, ..., p
1
, ..., p
n
)
Por exemplo, a formula proposicional P (p, q): (p q) . p . ~ q uma contradio, pois:
p q (p q) . p . ~ q
V V V V V V V F F V
V F V F F F V F V F
F V F V V F F F F V
F F F V F F F F V F
a
24

5.1.3 CONTINGNCIA
Diz-se que uma frmula proposicional uma contingncia, ou uma proposio contingente
se, e somente se, na coluna resultado da respectiva tabela verdade tem-se pelo menos uma verdade e
pelo menos uma falsidade, isto , tal frmula no uma tautologia e no contravlida.
Por exemplo, a formula proposicional P (p, q) : (p . q) v (p q) uma contingncia, pois:
p q (p . q) v (p q)
V V V V V V V V V
V F V F F F V F F
F V F F V V F V V
F F F F F V F V F

AULA 2 - Exerccios
1) Construa a tabela verdade para cada uma das seguintes proposies:
a) ~p . q
b) (p . q) (p v q)
c) ~ (p . q) v ~ (q p)
d) (p q) v ~ (p ~ q)
e) [p ( ~ q v r)] . ~ [ q v (p ~ r)]
f) p v ~r q . ~r
g) ~(p . q) v ~ (q p)
h) (p . q r) v (~ p q v ~r)

2) Determinar quais das seguintes proposies so tautolgicas, contravlidas
(contradio), ou contingentes:
a) p ( ~ p q)
b) ~ p v q (p q)
c) p ( q ( q p))
d) ((p q) q ) p
e) p v ~q ( p ~q)
f) p v q p . q
g) p ( p q . ~q)
h) (q p) (p q)
i) ~ p . ~ (p q)
j) p . q ( p q v r)

a
25

AULA 3
6. RELAO DE I MPLI CAO LGI CA
6.1 DI STI NO ENTRE OS S MBOLOS: E
O smbolo representa uma operao entre proposies, resultando uma nova
proposio.
Exemplo:
Operando a proposio p com a proposio q atravs do conectivo , resultar a proposio
p q
O smbolo indica apenas uma relao entre duas proposies dadas.
Exemplo
Dadas as proposies p . q e p v q, a relao de implicao lgica entre elas denotada por
p . q p v q.
6.2 DEFI NI O
Diz-se que uma preposio P ( p, q, r,....) implica logicamente numa proposio Q ( p, q,
r,....) se Q ( p, q, r,...) verdadeira (V) todas as vezes que P ( p, q, r, ....) verdadeira. Nestas
condies, escreve-se que P (p, q, r....) Q (p, q, r,...), que se l: P implica em Q.
Desta forma tem-se a implicao lgica entre duas dadas frmulas proposicionais quando
nas respectivas tabelas verdades, linha a linha, nas colunas resultado no ocorre simultaneamente
verdade-falsidade, nesta ordem.

Teorema: Diz-se que duas frmulas proposicionais quaisquer P ( p, q, r,...) e Q ( p, q, r,...) so de
implicao, nesta ordem, se, e somente se, a condicional entre as mesmas gerar, por equivalncia
lgica uma tautologia.
6.3 PROPRI EDADES FUNDAMENTAI S DAS RELAES DE I MPLI CAO LGI CA
As relaes de implicao lgica tem as seguintes propriedades:
Reflexiva: P(p, q, ...) P(p, q,....)
Transitiva: Se P(p, q,....) Q(p, q,...) e Q (p, q,....) R(p, q,...) ento P(p, q,...) R(p, q,....)
a
26

6.4 TEOREMA FUNDAMENTAL DA I MPLI CAO LGI CA
Diz-se que duas frmulas proposicionais quaisquer P(p, q,....) e Q (p, q,...) so de
implicao, nesta ordem, se, e somente se, a condicional entre as mesmas gerar, por equivalncia
lgica uma tautologia, ou seja:
i. P(p, q,...) Q (p, q,...) se, e somente se, V[P(p, q,...) Q (p, q,....)] = V para quaisquer
dos 2
n
arranjos de valores lgicos das n-proposies p, q,.... componentes.
ii. P(p, q,...) Q(p, q,...) se, e somente se, P (p, q,...) Q (p, q,...) T (p, q,...)
6.5 ALGUMAS CONSI DERAES I MPORTANTES SOBRE AS I MPLI CAES ENTRE
PROPOSI ES
Dadas as proposies simples p e q, as tabelas verdade das proposies compostas p . q e
pvq, so:
p q p . q p v q
V V V V
V F F V
F V F V
F F F F

A proposio p . q verdadeira (V) somente na linha 1 e, nesta linha, a proposio p v q
tambm verdadeira (V). Logo, a primeira proposio implica a Segunda proposio, isto ,
p . q p v q.
Nota: A implicao existe no s porque p. q verdadeira e a proposio pvq , tambm,
verdadeira na mesma linha 1. sobretudo, porque, nas tabelas verdade de p.q e pvq, no
figuram alternativa VF, nessa ordem. interessante notar que a proposio pvq no implica
a proposio p.q porque nas tabelas verdade de p v q e p . q, nessa ordem, figura a
alternativa VF (no caso, duas vezes).

Dadas as proposies simples p e q, as tabelas verdade de p . q e p q, so:

a
27

A proposio p . q verdadeira (V) somente na linha 1 e, nesta mesma linha, a proposio
p q tambm verdadeira (V). Logo, a primeira proposio implica a segunda proposio, ou
seja: p . q p q.

Dadas as proposies simples p e q , as tabelas verdade das proposies compostas p . q e
pq, so:
p q p . q p q
V V V V
V F F F
F V F V
F F F V

A proposio p . q verdadeira (V) somente na linha 1, e nesta linha, a proposio p q
verdadeira (V) , portanto, no h alternativa VF. Logo, p . q p q.

Dadas as proposies simples p e q, as tabelas verdade das proposies compostas p q,
p q e q p, so:
p q p q p q q p
V V V V V
V F F F V
F V F V F
F F V V V
p q p . q p q
V V V V
V F F F
F V F F
F F F V
a
28

A proposio p q verdadeira (V) nas linhas 1 e 4 e, nestas linhas, as proposies q p
e p q tambm so verdadeira. Logo, p q q p.
p q p q
6.6 I MPLI CAES NOTVEI S
REGRAS DE INFERNCIA
Adio: p p v q

Simplificao: p . q p
p . q q

Regra do silogismo disjuntivo: (p v q) . ~ p q
(p v q) . ~ q p
Regra Modus Ponens: (p q) . p q

Regra Modus Tolens: (p q) . ~ q ~ p

Regra do silogismo hipottico: (p q) . (q r) p r

6.7 PROPOSI ES ASSOCI ADAS A UMA CONDI CI ONAL:
Dada a condicional p q, chama-se proposio associada a essa proposio as trs
seguintes proposies condicionais.

Proposio recproca de p q : q p
proposio inversa de p q : ~ p ~ q
proposio contrapositiva de p q : ~ q ~ p

6.7.1 PROPRIEDADES:
A condicional p q e a contrapositiva ~ q ~ p so equivalentes
A recproca q p e a inversa ~ p ~ q so equivalentes.
a
29

p q ~ p ~q p q q p ~ p ~ q ~ q ~ p
V V F F V V V V
V F F V F V V F
F V V F V F F V
F F V V V V V V

Exemplos:
Determinar a contrapositiva da recproca de x = 0 x < 1

Determinar a contrapositiva da inversa de x < 1 x < 3

AULA 3 - Exerccios

1) Mostrar:
a) q p q
b) q p . q p
2) Mostrar que p no implica p . q e que p v q no implica p.

3) Considere a proposio: Se o Marcelo chato, ento, ele no tem namorada. Agora
determine:
a) a proposio recproca.
b) a proposio inversa.
c) a proposio contrapositiva.

a
30

4) Sabendo que as proposies p e q so verdadeiras e que a proposio r e s so falsas, determinar
o valor lgico (V ou F) das seguintes proposies:
a) p . ~ q
b) p v ~ q
c) ~p . q
d) ~ p . ~q
e) ~ p v ~ q
f) p . ( ~ p v q)
g) (s r) (p q)
h) ~((r p) v (s q))
j) ~r p . q
j) r q (~p r)

5) Determinar V(p) e V (q) em cada um dos seguintes casos, sabendo:
a) V ( p q ) = V e V(p . q) = F
b) V ( p q ) = V e V(p v q) = F
c) V ( p q ) = V e V(p . q) = V
d) V ( p q ) = V e V(p v q) = V
e) V ( p q ) = F e V(~p v q) = V

6) Utilizando tabelas-verdade, verifique se existem as relaes de implicao lgica seguintes:
a) p . q q . p
b) ~ (p . q ) ~p v ~q
c) p q . r ~q r ~p
d) ~p . (~q p ) ~(p . ~q)

a
31

AULA 4
7. RELAO DE EQUI VALNCI A LGI CA
7.1 DI STI NO ENTRE OS S MBOLOS: E
O smbolo representa uma operao entre proposies, resultando uma nova proposio.
Exemplo:
Operando a proposio p com a proposio q atravs do conectivo resultar na
proposio p q.
O smbolo indica apenas uma relao entre duas proposies dadas.
Exemplo:
Dadas as proposies p e ~~ p, a relao de equivalncia lgica entre elas denotada por
p ~ ~ p
7.2 DEFI NI O DE EQUIVALNCI A:
Dadas as frmulas proposicionais P (p, q, r, ..., p
1
,... , p
n
) diz-se que todas as frmulas so
logicamente equivalentes se, e somente se, V [P (p, q, r,....)] = V [Q (p, q, r,...)] para quaisquer dos
valores verdade das m-proposies simples componentes.
Ou seja:
P (p, q, r,....) Q (p, q, r,...) se, e somente se, V [P(p, q, r, ...)] = V [Q (p, q, r,....)] para os
2
n
arranjos possveis de valores verdade das p, q, r,.... proposies componentes.
Por exemplo: p q ~ p v q, pois:
p q ~ p v q
V V V F V V V
V F F F V F F
F V V V F V V
F V F V F V F

Ou seja: p q ~ p v q

a
32

7.3 TEOREMA FUNDAMENTAL DAS EQUI VALNCI AS LGI CAS:
Sejam as frmulas proposicionais P (p, q, r,....) e Q (p, q, r,...).
Teorema: P (p, q, r,...) Q (p, q, r,...), se e somente se, P (p, q, r....) Q (p, q, r,...)
T(p, q, r,...).

Exemplo:
Verificar pela definio e pelo teorema se as frmulas proposicionais a seguir so
equivalentes entre si.
P (p, q): p q.
Q (p, q): (p q) . (q p).

Pela definio:
p q (p q) . (q p) se, e somente se V [p q] = V [(p q) . (q p)].

p q ( p q) . (q p)
V V V V V V V V V V
V F F V F F F F V V
F F V F V V F V F F
F V F F V F V F V F

Pelo teorema:

(p q) [( p q) . (q p)]
V V V V V V V V V V V
V F F V V F F F F V V
F F V V F V V F V F F
F V F V F V F V F V F

a
33

7.4 PROPRI EDADES FUNDAMENTAI S DAS RELAES DE EQUI VALNCI A LGI CA:
Tendo em vista as caractersticas das relaes de equivalncia lgica, tem-se que as mesmas
se verificam as seguintes propriedades:
Reflexiva: P (p, q, r,...) P (p, q, r,...) p, q.
Simtrica: Se P (p, q, r,...) Q (p, q, r,...) ento Q (p, q, r,...) P (p, q, r,...).
Transitiva: Se P (p, q, r,...) Q (p, q, r,...) e Q (p, q, r,...) R (p, q, r,...) ento P (p, q, r,...)
R (p, q, r,...).
7.5 EQUI VALNCI AS NOTVEI S:
p v ~ p t
p . ~ p c
p q (p q) . (q p)
p q ~ p v q
p q ~ (p v q)
p q ~ q ~ p
p v p p ou p . p p
t v p t
t . p p
c v p p
c . p c
7.6 OPERAES DERI VADAS:
Tendo em vista a ocorrncia com certa freqncia, de determinadas frmulas
proposicionais no clculo proposicional tem-se estruturado dois ovos operadores, denominados de
conectivos de Scheffer. Assim definem-se as operaes derivadas negao conjunta e negao
disjunta.
7.6.1 NEGAO CONJUNTA:
Chama-se negao conjunta de duas proposies p e q a proposio no p e no q:
~ p . ~ q
a
34

Notao: p + q
Tabela verdade:

7.6.2 NEGAO DISJUNTA
Chama-se negao disjunta de duas proposies p e q a proposio no p ou no q:
~ p v ~ q
Notao: p | q
Tabela verdade:

AULA 04 - Exerccios

1) Verificar por tabela verdade se as seguintes equivalncias so vlidas:
a) p .( p v q) p
b) p p . q p q
c) (p q) . (p r) p q . r
d) ( p q) r p . ~ r ~ q
e) q p v q p q
f) (p q) v (p r) p q v r

p q p + q
V V F
V F F
F V F
F F V
p q p | q
V V F
V F V
F V V
F F V
a
35

2) Verificar se o conectivo v ( ou exclusivo) exprime-se em funo dos trs conectivos ~, . e
v do seguinte modo:
p v q ( p v q) . ~ (p . q)
3) Verificar seos trs conectivos ~ , v e . exprimem-se em funo do conectivos + de
SCHEFFER do seguinte modo:
a) ~ p p+p
b) p v q (p+ q) + (p + q)
c) p . q (p+ q) + (p + q)

4) Verificar se os trs conectivos ~, v e . exprimem-se em funo do conectivo | de
SCHEFFER do seguinte modo:
a) ~ p p|p
b) p v q (p | p) | (q | q)
c) p . q (p| q) | (p | q)

5) Sabendo que as proposies p e q so verdadeiras e que a proposio r e s so falsas, determinar
o valor lgico (V ou F) das seguintes proposies:
a) ( ~ p + q) . ( q | ~ r)
b) ((p | q) v (q+ r)) | (r + p)
c) ( ~ p| ~ q) ((q+ r) + p)

6) Julgue se so logicamente equivalentes as proposies: Quem tem dinheiro, no compra fiado
e Quem no tem, compra, provando sua resposta.

a
36

AULA 5
8. EXERCCI OS GERAI S
1) 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.

2) Maria tem trs carros; um Gol, um Corsa e um Fiesta. Um dos carros branco, o outro preto
e o outro azul. Sabe-se que:
- ou o Gol branco, ou o Fiesta branco,
- ou o Gol preto, ou o Corsa azul
- ou o Fiesta azul, ou o Corsa azul,
- ou o Corsa preto, ou o Fiesta preto
Portanto, as cores do Gol, do Corsa e do Fiesta so, respectivamente:

a) branco, preto, azul.
b) preto, azul, branco.
c) azul, branco, preto.
d) preto, branco, azul.
e) branco, azul, preto.

3) Dizer que "Pedro no pedreiro ou Paulo paulista" , do ponto de vista lgico, o mesmo que
dizer que:
a) se Pedro pedreiro, ento Paulo paulista.
b) se Paulo paulista, ento Pedro pedreiro.
c) se Pedro no pedreiro, ento Paulo paulista.
d) se Pedro pedreiro, ento Paulo no paulista.
e) se Pedro no pedreiro, ento Paulo no paulista.
a
37

4) Dizer que no verdade que Celina bonita ou Cristina no loira, logicamente equivalente
a dizer que verdade que:

a) Celina no bonita ou Cristina no loira.
b) Celina no bonita ou Cristina loira.
c) Celina bonita ou Cristina loira.
d) Celina no bonita e Cristina no loira.
e) Celina no bonita e Cristina loira.

5) Dizer que no verdade que Pedro pobre e Alberto alto, logicamente equivalente a dizer
que verdade que:

a) Pedro no pobre ou Alberto no alto.
b) Pedro no pobre e Alberto no alto.
c) Pedro pobre ou Alberto no alto.
d) se Pedro no pobre, ento Alberto alto.
e) se Pedro no pobre, ento Alberto no alto.

6) Se Andr culpado, ento Bruno inocente. Se Andr inocente, ento Bruno culpado. Se
Andr culpado, Leo inocente. Se Andr inocente, ento Leo culpado. Se Bruno
inocente, ento Leo culpado. Logo, Andr, Bruno e Leo so, respectivamente:

a) Culpado, culpado, culpado.
b) Inocente, culpado, culpado.
c) Inocente, culpado, inocente.
d) Inocente, inocente, culpado.
e) Culpado, culpado, inocente.

a
38

7) Mauro, Jos e Lauro so trs irmos. Cada um deles nasceu em um estado diferente: um
mineiro, outro carioca, e outro paulista (no necessariamente nessa ordem). Os trs tm,
tambm, profisses diferentes: um engenheiro, outro veterinrio, e outro psiclogo (no
necessariamente nessa ordem). Sabendo que Jos mineiro, que o engenheiro paulista, e
que Lauro veterinrio, conclui-se corretamente que:
a) Lauro paulista e Jos psiclogo.
b) Mauro carioca e Jos psiclogo.
c) Lauro carioca e Mauro psiclogo.
d) Mauro paulista e Jos psiclogo.
e) Lauro paulista e Mauro engenheiro

8) A afirmao Alda alta, ou Bino no baixo, ou Ciro calvo falsa. Segue-se, pois, que
verdade que:
a) se Bino baixo, Alda alta, e se Bino no baixo, Ciro no calvo.
b) se Alda alta, Bino baixo, e se Bino baixo, Ciro calvo.
c) se Alda alta, Bino baixo, e se Bino no baixo, Ciro no calvo.
d) se Bino no baixo, Alda alta, e se Bino baixo, Ciro calvo.
e) se Alda no alta, Bino no baixo, e se Ciro calvo, Bino no baixo.

9) Algum, e, ningum entraram na casa. Algum saiu pela porta, ningum saiu pela janela.
Quem ficou na casa?

10) A me de Irajara tem cinco filhas: Iran, Iran, Irani, Iran. Qual a quinta filha?

11) O medir-se uma vara verificou-se que ela tem 5 metros mais a metade de seu prprio
comprimento. Qual o real comprimento da vara?

12) Se dois tijolos tem a massa de 1 kg e mais meio tijolo; qual a massa de um tijolo e meio?

13) Se 100 gatos comem 100 ratos em 100 minutos, 1 gato come 1 rato em quantos minutos?

a
39

14) O pai do meu neto o neto de meu pai. Quantas pessoas esto envolvidas nesse
relacionamento de parentesco?
15) O nmero de ovos numa cesta duplica de minuto em minuto. Em duas horas a cesta est
cheia. A que horas estava pela metade?
16) Conversao telefonica:
- Al, do 1.000.000 ; com 6 casas decimais?
- Sim, quem fala?
- Como? Ento no reconheces minha voz?!? No entanto, a minha me e sogra da tua me.
Pergunta-se:
a) Para qual nmero foi feito o telefonema?
b) Qual o parentesco dos interlocutores?

17) Porque prefere um barbeiro carioca cortar o cabelo de dois capixabas a cortar o de um
paulista?

18) H mais de duas dcadas, numa sufocante noite de janeiro em Braslia, chovia torrencialmente
meia noite. possvel que 96 horas depois estivesse sol em Braslia?

19) A sala tem quatro cantos. Cada canto tem um gato. Cada gato v trs gatos. Quantos gatos
esto na sala????

20) Um pai tinha dois filhos e queria igualmente bem a cada um deles. Determinou ento, no seu
testamento, que depois de sua morte, os dois filhos teriam que fazer uma viagem e que a
fazenda com todos os seus pertences seria herdada pelo filho cujo cavalo chegasse por ltimo
na esttua do Padre Ccero, em Juazeiro, no Cear. Depois da morte do pai, os dois filhos
partiram de Braslia e se puseram a caminho muitssimo devagar, to devagar que nunca
teriam chegado na esttua do vulnervel Padre Ccero. Resolveram, ento, consultar, no
caminho, o espiritualista Chico Xavier. Este, sabiamente, disse um segredo ao ouvido de cada
um. De posse do segredo, os dois irmos tomaram, o mais depressa possvel, os cavalos e
disputaram a mais veloz das corridas. Qual foi o segredo que Chico Xavier falou aos dois
herdeiros??

a
40

AULA 6
9. LGEBRA DAS PROPOSI ES
9.1 PROPRI EDADES DA CONJ UNO:
9.1.1 IDEMPOTNCIA:
p . p p

9.1.2 COMUTATIVIDADE:

p . q q . p

9.1.3 ASSOCIATIVIDADE:
(p . q) . r p . (q . r)
p q r (p . q) . r p . (q . r)
V V V V V V V
V V F V F F F
V F V F F F F
V F F F F F F
F V V F F F V
F V F F F F F
F F V F F F F
F F F F F F F
p p . p
V V
F F
p q p . q q . p
V V V V
V F F F
F V F F
F F F F
a
41

9.1.4 IDENTIDADE:
p . c c
p . t p

p c t p . c p . t
V F V F V
F F F F V

9.2 PROPRI EDADES DA DI SJ UNO:
Sejamp, q, r proposies simples quaisquer e sejam t e c proposies simples cujos valores
lgicos respectivos so V e F.
9.2.1 IDEMPOTNCIA:
p v p p

9.2.2 COMUTATIVIDADE:
p v q q v p

p p v p
V V
F F
p q p v q q v p
V V V V
V F V V
F V V F
F F F F
a
42

9.2.3 ASSOCIATIVIDADE:
(p v q) v r p v (q v r)

9.2.4 IDENTIDADE:
p v t t
p v c p

p t c p v t p v c
V V F V V
F V F V F

V = elemento absorvente
F = elemento neutro

9.3 PROPRI EDADES DA CONJ UNO E DA DI SJ UNO:
9.3.1 DISTRIBUTIVA:
i. p . (q r ) (p . q) (p . r)
ii. p (q . r) (p q) . (p r)
p q r (p v q) v r p v (q v r)
V V V V V V V
V V F V V V V
V F V V V V V
V F F V V V F
F V V V V V V
F V F V V V V
F F V F V V V
F F F F F F F
a
43

So idnticas as tabelas verdade das proposies p . (q r) e (p . q) v (p . r),
Analogamente, so idnticas as tabelas verdade das proposies p v (q . r) e (p v q) . (p v r).
As bicondicionais p . (q v r) (p . q) v (p . r) e p v (q . r) (p v q) . (p v r) so
tautolgicas
A equivalncia (i) exprime que a conjuno distributiva em relao a disjuno e a
equivalncia (ii) exprime que a disjuno distributiva em relao a conjuno.
De (i) a proposio em linguagem corrente:
As violetas so azuis e as rosas so vermelhas ou amarelas.
As violetas so azuis e as rosas so vermelhas ou as violetas so azuis eas rosas amarelas.
De (ii);
Faz calor ou chove e venta
Faz calor ou chove efaz calor ou venta.
9.3.2 ABSORO:
i. p . ( p v q) p
ii. p v (p . q) p

9.3.3 LEIS DE DE MORGAN:
i. ~ ( p . q ) ~ p ~ q
ii. ~ ( p q ) ~ p . ~ q

As leis de De Morgan permitem definir a disjuno a partir da conjuno e da negao ou
a conjuno a partir da disjuno e da negao.
i. negar que duas dadas proposies so ao mesmo tempo verdadeiras equivale a afirmar que
pelo menos uma falsa
ii. negar que ao menos uma entre duas proposies verdadeira, equivale a afirmar que
ambas so falsas.
9.4 NEGAO DA CONDI CI ONAL:
p q ~ p q
~(p q) ~(~ p q) p . ~ q

Demonstrao por tabela verdade:
a
44

p q p q ~ ( p q) ~ q p . ~ q
V V V F F F
V F F V V V
F V V F F F
F F V F V F

9.5 NEGAO DA BI CONDI CI ONAL:
~ (p q) p v q

10. MTODO DEDUTI VO
Todas as implicaes e equivalncias foram demonstradas at aqui pelo Mtodo das
tabelas verdade. Vamos agora exemplificar a demonstrao de implicaes e equivalncias por um
mtodo mais eficiente, denominado Mtodo dedutivo.
No emprego do Mtodo Dedutivo desempenham papel importante as equivalncias relativas
a lgebra das Proposies.
10.1 REDUO DO NMERO DE CONECTI VOS:
Entre os cinco conectivos fundamentais ( ~, ., , , ). Trs exprimem-se em termos de
apenas dois dos seguintes pares:
a) ~ e
b) ~ e .
c) ~ e
p q p v q (p q) ~ (p q)
V V F V F
V F V F V
F V V F V
F F F V F
a
45

10.2 EXEMPLI CIFI CAO:
Demonstrar as seguintesimplicaes e equivalncias:
1) i) c p ii) p t

onde p uma proposio qualquer e c e t so proposies cujos valores lgicos respectivos
so F (falsidade) e V (verdade), observe-se tambm, que as tabelas verdade de c p e p t
mostram que estas condicionais so tautolgicas.

2) p . q p (simplificao)

3) p p q (adio)

4) (p q) . p q (Modus Ponens)

p c t c p p t

a
46

5) (p q) . ~q ~ q (Modus Tollens)

6) (p q) . ~ p q (Silogismo Disjuntivo)

7) p . q p q

8) p q p

a
47

9) p ~ p q

10) p q p . r q

11) p q p . ~ q c (Reduo ao Absurdo)

12) p q p q q

a
48

13) (p q) . ( p ~q) ~ p

14) p . q r p (q r) (Exportao- Importao)

15) (p r) . (q r) p q r

a
49

16) (p q) (p r) p q r

17) (p r) (q s) p . q r s

AULA 6 - Exerccios

1) Dar a negao da proposio: Rosas so vermelhas e violetas so azuis.

2) Simplificar as proposies abaixo utilizando as leis de equivalncia
a) ~ ( ~ p ~ q)
b) ~ (p q) ( ~ p . q)
c) ~ (p ~ q)
d) ~ (~ p . q)
e) ~ ( ~ p ~ q)
f) ( p q) . ~ p
a
50

g) (p q) . (~ p q)
h) p . (p q) . (p ~ q)
i) (p q) r
j) (p . q) (~r ~q)
k) p (p v q)
l) p q

3) Usar o mtodo dedutivo para demonstrar:
a) p . ~ p p
b) ~ p p p
c) p p . q p q
d) (p q) q p q
e) (p r) (q r) p . q r
f) (p q) . ( p r) p q . r
g) p . (p q) p
h) p ( p . q) p
i) p q ((p | p) | (p | p)) | (q | q)
j) p | q ((p + p) + (q + q)) +((p + p) + (q + q)

a
51

AULA 7
11. FORMA NORMAL DAS PROPOSI ES
11.1 DEFI NI O:
Uma proposio esta na forma normal (FN) se formada apenas pelos conectivos: ~, e .
11.1.1 FORMA NORMAL COJUNTIVA:
Diz-se que uma proposio est na forma normal conjuntiva (FNC) se e somente se so
verificadas as seguintes condies:
1. Contm, quando muito, os conectivos ~ , . e v;
2. ~ no aparece repetido (como ~~) e no tem alcance sobre . e v (isto , s incide sobre
letras proposicionais);
3. no tem alcance sobre . (isto , no h componentes do tipo p (p . r))

Exemplos: Determinar a FNC das proposies:
a) ~ (((p q) . ~ q) (q r))

b) (p q) ( ~ q ~ p)

a
52

11.1.2 FORMA NORMAL DISJUNTIVA:
Diz-se que uma proposio est na forma normal disjuntiva (FND) se e somente se so
verificadas as seguintes condies:
1. Contm, quando muito, os conectivos ~ , . e v;
2. ~ no aparece repetido (como ~ ~) e no tem alcance sobre . e v (isto , s incide sobre
letras proposicionais);
3. . no tem alcance sobre (isto , no h componentes do tipo p . (p r))

Exemplos.:
Determinar a FND das proposies (p q) . (q p)

11.2 PRI NC PI O DA DUALI DADE:
Considerando uma proposio P em usa forma normal (FN) a dual de P aproposio
obtida trocando-se cada smbolo . e v por e . respectivamente.
Por exemplo, a dual de (p . q) r (p q) . r
Se P e Q so proposies equivalentes em FN, ento suas respectivas duais P
D
e Q
D
tambm so.
Exemplo:
p . (q q ) p deduz-se pelo princpio de dualidade que p ( p . q ) p

a
53

AULA 07 - Exerccios

1) Determinar uma forma normal conjuntiva (FNC) equivalente para cada uma das seguintes
proposies:
a) p q
b) p ~ p
c) p ~ p
d) p ~ p
e) p | q
f) p | p
g) p | ~ p
h) p + q
i) (p . ~ p) + (q . ~q)
j) (p | q) p
k) ~ p+ (q v p)
l) p | ~ (q v r)

2) Determinara uma forma normal disjuntiva (FND) equivalente para cada uma das seguintes
proposies:
a) ~ ( ~ p ~ q)
b) ~ (p q)
c) ( p p) . ~p
d) ~ (p v q)
e) ( p q ) ~ p
f) ~ (p . q)
g) p v ~ p
h) p ~ p
i) p | q
j) p + q
k) p | q
l) p | ~ p
a
54

AULA 8
12. RACI OC NI O LGI CO TEORI A DA ARGUMENTAO:
12.1 PENSAMENTO LGI CO FORMAL:
Seja o raciocnio:
Se a lgica a base da Matemtica e/ou no fato que a filosofia no a cincia dos
contrrios, a matemtica o ideal da cincia bem como a dialtica a base da cincia natural. A
cincia natural a dialtica da filosofia assim como a lgica no base da matemtica. Se no
fato que a filosofia a cincia dos contrrios no verdade que a matemtica o ideal da cincia
embora a matemtica fundamenta as cincias exatas. No fato que a matemtica no fundamenta
as cincias exatas ou a matemtica o ideal da cincia. Portanto, natural concluir-se que a
matemtica no o ideal da cincia.
A partir deste ponto cabe a lgica matemtica instituir os mtodos e tcnicas que
possibilitem avaliar a legitimidade de quaisquer que sejam os raciocnios que possam ser
formalizados segundo os pressupostos do clculo proposicional. Tais mtodos e tcnicas constituem
a base da teoria da argumentao qual condio necessria e suficiente para se estabelecer as
regras de validade na chamada Anlise Inferencial
12.2 ARGUMENTO:
Chama-se argumento toda afirmao de que uma dada seqncia finita de proposies P
1
,
P
2
,....,P
n
tem como conseqncia uma proposio final Q. As proposies P
1
, P
2
,...,P
n
so
chamadas de premissas do argumento e a proposio final Q chama-se concluso do argumento.
Um argumento de premissas P
1
, P
2
,...,P
n
e de concluso Q indicado de forma
simblica por P
1
, P
2
,..., P
n
| Q e pode ser lida de uma das seguintes maneiras:
P
1
, P
2
, ..., P
n
acarretam Q
Q decorre de P
1,
P
2,...,
P
n

Q se deduz de P
1
, P
2
,...,P
n

Q se infere de P
1
, P
2
,...,P
n

O smbolo | chamado trao de assero , afirma que se a proposio Q, sua direita,
pode ser deduzido utilizando como premissas somente as proposies que esto sua esquerda. Um
argumento de premissas P
1
, P
2
, ....,P
n
e concluso Q pode tambm ser indicado atravs da forma
padronizada, por:
a
55

Q
P
P
n
P
2
1

12.2.1 VALIDADE DE UM ARGUMENTO:
Diz-se que valido um argumento se, e somente se, a concluso for verdadeira, toadas as
vezes que as premissas forem verdadeiras.
Assim o argumento P
1
, P
2
,..., P
n
| Q vlido se, e somente se, a concluso Q for
verdadeira, todas as vezes que as premissas P
1
, P
2
,...P
n
forem verdadeiras.
Portanto, todo argumento vlido goza das seguintes propriedades: A verdade das premissas
incompatvel com a falsidade da concluso. Um argumento no vlido chamado de sofisma
(ou falcia). As premissas dos argumentos so verdadeiras ou,pelo menos, admitidas como
verdadeiras. Alis, a lgica s se preocupa com a validade dos argumentos e no cma verdade ou
falsidade das premissas e das concluses.
A validade de um argumento depende to somente da relao existe entre as premissas e a
concluso. Logo, afirmar que um dado argumento vlido significa afirmar que as premissas esto
de tal modo relacionadas com a concluso que no possvel Ter a concluso falsa se as premissas
forem verdadeira.
Quando um argumento valido a condicional da conjuno das premissas com a concluso
tautolgica.
Exemplificando: Um argumento P
1
, P
2
,..., P
n
| Q vlido se, e somente se a condicional
(P
1
. P
2
. ... .P
n
) Q for tautolgica.
A condicional (P
1
. P
2
. ... .P
n
) Q denominada condicional associada ao argumento
P
1
, P
2
,..., P
n
| Q.
A validade de um argumento pode ser verificada, demonstrada ou testada atravs das
tabelas-verdade ou com o uso das regras de inferncia.
12.3 CONDI CI ONAL ASSOCI ADA A UM ARGUMENTO:
Dado um argumento qualquer P
1
, P
2
,..., P
n
| Q a este argumento corresponde a condicional
(P
1
. P
2
.....P
n
)Q , cujo antecedente a conjuno das premissas e cujo consequente a
concluso denominada condicional associada ao argumento dado.
a
56

Reciprocamente, a toda condicional corresponde um argumento cujas premissas so as
diferentes proposies cuja conjuno formam o antecedente e cuja concluso o consequente.
Exemplificando,
A condicional associada ao argumento p . ~q, p ~r, q v ~s | ~ (r v s) :
(p . ~q) . (p ~r) . (q v ~s) ~ (r v s)
12.4 VALI DADE DOS ARGUMENTOS ATRAVS DE TABELA VERDADE:
O procedimento consiste em construir uma tabela verdade com uma coluna para cada
premissa e uma coluna para a concluso. As linha nas quais todas as premissas so verdadeiras
devem ter concluso verdadeira para que o argumento seja vlido. Se ao invs, em ao menos uma
dessas linhas o valor lgico da concluso Q for F, ento o argumento dado no vlido, ou seja,
um sofisma.
Uma outra alternativa para demonstrar, verificar ou testar a validade do argumento dado
consiste em construir a condicional associada.

Exemplos:
Verificar a validade dos seguintes argumentos:p q, q | p

p q p q
V V V
V F F
F V V
F F V

12.5 REGRAS DE I NFERNCI A:
Inferncia: passos de uma deduo ou demonstrao.

Adio: p p Simplificao: p . q p . q
p q q p p q
a
57

Conjuno: p q Absoro :p q
q p p (p . q)
p . q q. p

Modus Ponens: p q Modus Tollens: p q
p ~ q
q ~ p

Silogismo Disjuntivo: p q p q
~ p ~ q
q p

Silogismo Hipottico:
p q
q r
p r

Dilema construtivo: Dilema Destrutivo:
p q p q
r s r s
p r ~ q ~ s
q s ~ p ~ r

12.6 EXEMPLO DO USO DAS REGRAS DE I NFERNCI A:
12.6.1 REGRA DA ADIO:
Dada uma proposio p, dela pode-se deduzir a sua disjuno com qualquer outra
proposio.
p .
p v ~ q
a
58

12.6.2 REGRA DA SIMPLIFICAO:
Da conjuno p . q de duas proposies pode-se deduzir cada uma das seguintes
proposio, p ou q.
(p v q) . r
p v q
12.6.3 REGRA DA CONJUNO:
Permite deduzir de duas proposies dados p e q (premissas) a sua conjuno p . q ou q .p
(concluses)
(p v q)
~ r .
(pvq) . ~ r
12.6.4 REGRA DA ABSORO:
A partir de uma condicional (premissa) permite deduzir como concluso uma outra
condicional com o mesmo antecedente p e cujo consequente a conjuno p . q das duas
proposies que integram a premissa, isto e:
xeA x e AB .
xeA x e A . x e AB
12.6.5 REGRA MODUS PONENS:
Permite deduzir q (concluso) a partir de p q e p (premissas)
~ p ~ q
~ p .
~ q

12.6.6 REGRA MODUS TOLENS:
Permite a partir das premissas p q (condicional) a ~ q (negao do consequente) deduzir
como concluso ~ p (negao do antecedente).
q . r s
~ s .
~(q . r)
a
59

12.6.7 REGRA DO SILOGISMO DISJUNTIVO:
Permite deduzir da disjuno p v q de duas proposies e da negao ~ p ( ou ~ q) de uma
delas a outra proposio q (ou p).
(p v q) v r
~ r .
p v q
12.6.8 REGRA DO SILOGISMO HIPOTTICO:
Dadas duas condicionais p q e q r (premissa) tais que o consequente da primeira
coincide como antecedente da Segunda, esta regra permite deduzir uma terceira condicional p r
(concluso) cujo antecedente e consequente so respectivamente o antecedente da premissa p q e
o consequente da outra premissa.
q r.
~ p ~ q
~ q ~ r
~ p ~ r

12.6.9 REGRA DO DILEMA CONSTRUTIVO:
Nesta regra as premissas so duas condicionais e a disjuno dos seus antecedentes, a
concluso a disjuno dos consequentes dos condicionais.

burro cavalo
jumento elefante
burro v jumento .
cavalo v elefante
12.6.10 REGRA DO DILEMA DESTRUTIVO:
As premissas so duas condicionais e a disjuno da negao dos seus consequentes, a
concluso a disjuno da negao dos antecedentes desta condicional.
~ q r
p s
~ r ~ s
~~ q ~ p
a
60

AULA 7 Exerccios
1) Construir a condicional associada a cada um dos seguintes argumentos:
a) ~p, ~q p |q

b) p q |~( p . ~q)

c) p q, ~q ( r . s) | r . s

d) x = y x = 5, x = 5 x < z | x = y x < z

2) Construir o argumento (premissas e concluso) correspondente a cada uma das seguintes
condicionais:
a) p . ( q v ~p) q
b) (p q) . (p . ~q) s
c) ~ ( x< 0 . y x) x 0 y = x

3) Indicar a Regra de Inferncia que justifica a validade dos seguintes argumentos:
a) p q |(p q) v ~ r
b) ~p . (q r) |~p
c) p q, q ~r |p ~r
d) p (q r), p |q r
e) (q r) v ~p, p | ~(q r)
f) p q, r ~s | (p q) . (r ~s)
g) (p . q) ( ~p . r), ~(~p . r) | p . q
h) p q r | p p . (q r)
i) x + y = z y + x = z, x + y = z | y + x = z
j) x > y x = z, x z | x y
k) x 0, x 1 | x 0 . x 1
a
61

l) 3 < 5 | 3 <5 3 < 2
m) x < 0 x = 1, x 1 | x< 0
n) x = 1 x < 3, x < 3 x + y< 5 | x = 1 x + y < 5
o) n > 3 . n < 4 |n < 4
4) Usar a regra Modus Ponens para deduzir a concluso de cada um dos seguintes pares de
premissas:
a) x = y .y = z b) x + y = 0 x = 0
(x = y .y = z x = z x + y = 0 .

c) ( x > y . y > z ) x > z d) 2 > 1 3 > 1
x > y . y > z 2 >1 .

e) x + 1 = 2 f) x + 0 = y x = y
x + 1 = 2 y + 1 = 2 x + 0 = y .

5) Usar a regra Modus tollens para deduzir a concluso de cada um dos seguintes pares de
premissas:

a) x 0 x + y y b) x = z x = 6
x + y = y x 6

c) (p q) ~(r . s) d) x > 3 x > y
(r . s) x y

6) Usar a regra do Silogismo Disjuntivo para deduzir a concluso de cada um dos seguintes
pares de premissas:
a) x + 8 = 12 x 4 b) y < b x + y < 10
x + 8 12 . x + y 10

c) s ( r . t) d) ~p ~q
~s . q

a
62

7) Usar a regra do Silogismo Hipottico para deduzir a concluso de cada um dos seguintes
pares de premissas:
a) p r ~s b) x = 3 x < y
r ~s t x < y x z

c) s t r . q d) xy=6 xy + 5= 11
r . q ~s t xy + 5=11 y = 2

8) Usar a regra do Dilema Construtivo para deduzir a concluso de cada um dos seguintes ternos
de premissas:
a) p r b) x = 5 x < y
~q ~s x = 5 x > 3
p ~q x < y x < 2 .

c) y = 0 xy = 0 d) x = 2 x
2
= 4
y > 1 xy> 3 x = 2 y = 3
y = 0 y > 1 y = 3 y
2
= 9

9) Usar a regra do Dilema Destrutivo para deduzir a concluso de cada um dos seguintes ternos
de premissas:
a) p . q r b) p ~r . q
q r . s ~(~r . q) ~s
~r ~(r . s) ~q s .

c) x < 3 x y d) y 9 y 18
x> 4 x < y x = 2 y = 9
x= y x y . x = 8 y = 18

a
63

10) Usar a tabela verdade para verificar que so vlidos os seguintes argumentos:

a) p q, r ~ q | r ~ p

b) p ~q, r p, q | ~ r

a
64

c) p . q r, s p . q, s | q r

a
65

d) p q, q r, p s, ~s | r . ( p q)

a
66

11) Demonstrar a no validade dos seguintes argumentos pelo Mtodo de atribuio de valores
lgicos:

a) p q, r s, p s | q r

b) (p . q), ~p . ~q r . s, s r | r

c) p q r, q p r, r p q, ~p | q r

a
67

d) p q r, s r, ~p q | ~p . q

e) (pq) r, r ~s t, (s t) u, u | p q

f) p (q r), s (t v), q s . t, ~(q . v) | p r

a
68

AULA 9
13. VALI DADE MEDI ANTE REGRAS DE I NFERNCI A:
O mtodo das tabelas-verdade permite demonstrar, verificar ou testar a validade de
qualquer argumento, mas o seu emprego torna-se cada vez mais trabalhoso a medida que aumenta o
nmero de proposies simples componentes dos argumentos. Assim, para testar a validade de um
argumento com cinco proposies simples componentes necessrio construir uma tabela-verdade
com 2
5
= 32 linhas, perspectiva nada animadora.
Um mtodo mais eficiente para demonstrar, verificar ou testar a validade de um dado
argumento P
1
, P
2
, ..., P
n
| Q consiste em deduzir a concluso Q a partir das premissas P
1
, P
2
,...,P
n

mediante o uso de certas regras de inferncia.
13.1 EXEMPLI FICAO
Verificar que so vlidos os seguintes argumentos:
1. p q, p . r | q

2. p . q, p r s | p . s

a
69

3. p (q r), p q, p |r

4. p q, p . q r, ~( p . r) | ~p

a
70

5. p q r, r q (p (s t)), p . s | s t

6. p ~q, ~p (r ~q), ( ~ s ~r) ~~ q, ~ s| ~ r
a
71

7. p . q r, r s, t ~u, t, ~s u | ~ (p. q)

8. p q, q r, s t, p s | r t

a
72

9. p q, ~ r (s t), r (p s), ~ r | q t

10. p q, (p r) s q, p . q r, ~s | q

a
73

11. p q, p ( ~~ r . ~~q), s ~r, ~(p . q) | ~ s ~q

12. p r, q s, ~r, (p q) . (r v s) | s
a
74

13. p q, q r, r s, ~s, p t | t

14. (p q) . (r s), t u, u v, ~q ~v | ~ p ~t

a
75

15. x = y x = z, x = z x = 1, x = 0 x = 1, x = y | x = 0

16. x = y x = z, x = y x < z, x > z y > z, y = z . x = z | y > z

a
76

AULA 8 - Exerccios

Verificar que so vlidos os seguintes argumentos:
1) r p q, r, ~p| q
2) p ~ q, ~~ q, ~p r | r
3) p . q , p r, q s | r . s
4) p q, q ~r, p | ~r
5) p q, ~ q, ~p r | r
6) p q, p r, p | q . r
7) p q, ~q, p r | r
8) p v~q, r ~p, r | ~q
9) ~p ~q, ~~ q, r p | ~r
10) p ~q, ~~ q, ~p r s | r s
11) ~ p ~~ q, ~~ p, ~r ~q | ~~ r
12) p ~q . r, p, s q, s t | t
13) p . q, p r, r . s ~t, q s | ~t
14) p . ~q, q ~r, s r | p . ~s
15) p ~q, ~q r, p s, ~r | s
16) p q, q ~r, ~~ r, p ( s . t) | s
17) p q, q r, p s, ~s | r . ( p q)
18) ~p ~q, ~q ~r, ~p t, ~ t | ~r . ~t
19) p ~q, p r, r ~q, s q, t | ~s .t
20) ~p q, q r . s, p t, ~t | s
21) p q, q r, ~r | p
22) p q, ~q .~r, ~r s | ~p . s
23) p q, p r, ~r |q s
24) p q, q r, ( p r) ~s, s t | t
25) p ~q, ~r, p r, ~q s | s
26) r t, s q, t q ~p, r s | ~p
27) p ~q, ~q ~s, ( p ~s) ~t, r t | ~ r
28) p q ~r, s p, t q, s t | u ~r
a
77

29) p q ~r, p, s r | ~s
30) p . (q r), q r ~s, s t | t
31) p q ~r, q, s . t r |~( s . t)
32) p q, ~q, ~p ~r s | s
33) p (q . r), q s, r t, s . t p r, ~p | r
34) q ( r t), q s, ~s (t p), ~s | r p
35) p q (p s . t), p . r | t v u

a
78

AULA 10
14. VALI DADE MEDI ANTE REGRAS DE I NFERNCI A E EQUI VALNCI AS:
H muitos argumentos cuja validade no se pode demonstrar, verificar ou testar com o uso
exclusivo das dez regras de inferncia dadas anteriormente, sendo necessrio recorrer a um
princpio de inferncia adicional, a Regra de substituiode proposies equivalentes.
Uma proposio qualquer P ou apenas uma parte de P pode ser substituda por uma por
uma proposio equivalente, e a proposio Q que assim obtm equivalente a P.
14.1 EQUI VALNCI AS NOTVEI S:
A fim de facilitar o emprego da Regra de Substituio damos a seguir uma lista de
proposies equivalentes, que podem substituir-se mutuamente onde quer que ocorram:
Idempotncia: p p . p
p p v p

Dupla negao: p ~ ~ p

Comutativa: p . q q . p
p q q p

De Morgan: ~ (p . q) ~p ~q
~ (p q) ~p . ~q

Associativa: p . (q . r) (p . q) . r
p (q r) (p q) r

Condicional: p q ~p q

Distributiva: p . (q r) (p . r) v (p . q)
p (q . r) (p r) . (p r)

Contrapositiva: p q ~q ~p

Bicondicional: p q (p q) . (q p)
p q (p . q) (~p ~ q)

Absoro: p q p (p . q)

Exportao-importao: p . q r p (q r)
a
79

14.2 EXEMPLI FICAO:
Demonstrar a validade dos seguintes argumentos:
1) p q, r ~ q | p ~r

2) p (q . r), p q s | p s

a
80

3) p q r . s, ~s | ~q

4) (p ~q) r, ~p (q . ~p) | q r

a
81

5) p q, q s, t (r . ~s) | p t

6) p (q . r), p s, s r | r

a
82

7) p . q ~r, r (s . t), p q | p s

8) p q, r s, q s ~t, t | ~p . ~r

a
83

9) p q, q (p (r s)), r s, ~(r . s) | ~p

10) p q, q r, r p, p ~r | ~p . ~r

a
84

11) ~p q r, r s ~t, t | ~q

12) y 1 . y 1, y 1 y < 1 y = 1, x = 3 x > 3, x > 3 x y, x = 3 x y | ~(x = y y 1)

a
85

13) x = y x y, y = 0 x y, x = 0 xy = 0 y = 0, (x = y y = 0) x = 0 | ~(x < y . x = 1)

a
86

AULA 9 Exerccios
DEMONSTRAR A VALIDADE DOS SEGUINTES ARGUMENTOS
1) p ~q, q, ~p r . s | r . s
2) p q, ~p ~~ r, ~q | r
3) p ~r, q r, q | ~p
4) ~p ~q, ~q ~r, r | p
5) ~p q, ~p r, ~r | q
6) r p q, ~~r, ~q | p
7) ~p q, ~q, ~(q . r) p | r
8) p, ~q ~p | q ~s
9) ~p q, q r, ~r | p
10) p q, ~q, ~ p r | ~~r
11) ~p ~q, q | p
12) p q, ~q, p r . s | s . r
13) (r . ~t) ~s, p s, p . q | ~(~t . r)
14) (r . s) p, q ~p, t ~p, q t | s . r
15) ~p ~q, ~ r p, r ~ s, s | ~ q
16) p q r, ~~ p, ~ r | q
17) r p . ~q, r ~s, s | ~ q . p
18) ~(p . q), ~q r, ~ p r, s ~ r | ~s
19) p . ~ q, p ~ r, q ~s | ~(r s)
20) ~ s ~ (p ~t), t q . r, ~s | r . q
21) ~ p q, r q, r ~p, ~ q s | s
22) t p . s, q ~p, r ~ s, r v q | ~ t
23) r ~ p, (r . s) t, t q u, ~ q .~ u | ~ p
24) p q, s q . r, p s, q s | r . q
25) ~ (p ~r), p q, r s, q . s t . s | s . t
26) p q, q r | ~ p r
27) r p . q, ~p v ~q, r v s | s
28) p q r, ~ r, ~ p s | s
29) (p q) r, ~r, (~ p q) s | s
30) ~(p . q) (r s), r . ~s, q t | t
31) p v ~ (q ~r), ~p, r s t | s t
32) p q r, ~r, q (~ s t) | s t
33) p (~ q r), ~(p s) . ~r | q
34) (p q) r, ~ r s, ~( p . ~q), s t u | u
35) ~ p q, ~ s ~ r, p (r . t) | q s
36) p ~q, p (r . s) | q s
37) p q r, ~r | p q
38) ~p ~q r, r s | ~s p
39) p q, q r, s t, ~r | s p
40) p q, q v r s, ~s | ~p
41) p (q . r), p r s . t | s
42) (p q) ( r . s), ~q | ~p v s
43) p q, p . q r s, r s ~t, (p ~t) u | u
44) p q r . s, ~r | ~p

a
87

AULA 11
15. I NCONSI STNCI A:
Duas ou mais proposies que no podem ser simultaneamente verdadeiras dizem-se
inconsistentes. Tambm se diz que formam um conjunto inconsistente de proposies.
Um argumento se diz inconsistente se as suas premissas no podem ser simultaneamente
verdadeiras (inconsistentes).
As proposies ~ (p ~ q), p v ~ r, q r, so inconsistentes, pois, impossvel encontrar
uma atribuio de valores s proposies simples componentes p, q e r que torne essas trs
proposies compostas simultaneamente verdadeiras. Com efeito construindo as tabelas verdade
dessas trs proposies verifica-se que, em cada linha, pelo menos uma delas uma delas falsa (F),
isto , no h uma s linha em que admitam, todas, o valor lgico V.

~ (p v ~ q) p ~ r q r
F V V F V V v F V V
V
V
F V V F V V V V F V F F
F V V V F V V F V F V V
F V V V F V V V F F V F
V F F F V F F F V V V V
V F F F V F V V F V F F
F F V V F F F F V F V V
F F V V F F V V F F V F

Tambm se pode demonstrar que as trs proposies dadas so inconsistentes deduzindo
do seu conjunto uma contradio qualquer, do tipo, A . ~ A, medianteas regras de deduo usadas
para os argumentos, pois, como estas regras preservam a verdade, a contradio que se obtm prova
que estar trs proposies no podem ser conjuntamente verdadeiras.

a
88

(1) ~ (p ~q)
(2) p ~ r
(3) q r .
(4) ~ p . ~~ q 1. DM
(5) ~ p . q 4. DN
(6) q 5. Simp.
(7) r 3,6. MP
(8) ~ p 5. Simp.
(9) ~ r 2,8. SD
(10) r . ~r 7,9. Conj.

Outros exemplos:
1) Demonstrar que so inconsistentes as trs seguintes proposies:
x = 1 y < x, y < x y = 0, ~(y = o x = 1)

a
89

2) Demonstrar que inconsistente o conjunto das seguintes proposies:
~p ~q, p . s, ~s r, r r . q

3) Demonstrar que consistente o conjunto das seguintes proposies:
~ ( p q), r s, ~ q . r

a
90

16. DEMONSTRAO CONDI CI ONAL E DEMONSTRAO I NDI RETA:
16.1 DEMONSTRAO CONDI CI ONAL:
Outro mtodo til para demonstrar a validade de um argumento a Demonstrao
condicional. Esta demonstrao, todavia, s pode ser usada se a concluso do argumento tem a
forma condicional.
Seja o argumento: P
1
, P
2
,..., P
n
| A B (1), cuja concluso a condicional A B.
Sabemos que este argumento vlido se e somente se a condicional associada (P
1
. P
2
. .
. . . P
n
) (A B) tautolgica. Ora, pela Regra de Importao , esta condicional associada
equivalente a seguinte:
[(P
1
. P
2
.. . . .P
n
) . A] B

Assim sendo, o argumento (1) vlido se e somente se tambm vlido o argumento: P
1
,
P
2
,..., P
n
, A | B, cujas premissas so todas aquelas do primitivo argumento (1), mais uma, A, e
cuja concluso B (observa-se que A e B so respectivamente o antecedente e o consequente da
concluso do primitivo argumente (1)).
Em resumo, temos a seguintes regra DC: Para demonstrar a validade do argumento (1),
cuja concluso tem a forma condicional A B, introduz-se A como premissa adicional
(indicada por PA) e deduz-se B.
16.1.1 EXEMPLIFICAO:
Demonstrar a validade dos seguintes argumentos usando a regra DC:
1) p (q r), ~ r | q p
a
91

2) ~p ~q r, s (r t), ~ p s, ~ s | q t

16.2 DEMONSTRAO I NDI RETA:
Um outro mtodo frequentemente empregado para demonstrar a validade de um dado
argumento: P
1
, P
2
,...,P
n
| Q (1), chamado de Demonstrao Indireta ou Demonstrao por
absurdo consiste em admitir a negao ~ Q da concluso Q, sito , supor ~Q verdadeira, e da
deduzir logicamente uma contradio qualquer C (do tipo A . ~A) a partir das premissas P
1
, P
2
, ...,
P
n
, ~Q, isto , demonstrar que vlido o argumento: P
1
, P
2
,..., P
n
, ~ Q | C
Em resumo, temos a seguinte Regra DI : Para demonstrar a validade do argumento (1)
introduz-se ~ Q como premissa adicional(indicada por PA) e deduz-se uma contradio c ( do
tipo A . ~A)

a
92

16.2.1 EXEMPLIFICAO:
Demonstrar a validade dos seguintes argumentos usando a regra DI
1) p ~q, r q | ~ (p . r)

2) ~ p q, ~ q r, ~ r | p s

a
93

3) ~ p q, ~q, ~ r s, ~ p (s ~ t) | t r

AULA 10 Exerccios

1) Demonstrar que os seguintes conjuntos de proposies so inconsistentes deduzindo uma
contradio para cada um deles:
a) q p, ~(p r), q r
b) p ~ q, ~(q r), p r
c) ~(p q), ~q r, ~r s, ~p ~s
d) p s q, q ~r, t p, t . r
e) x = y x < 4, x 4 x < z, ~( x< z x y)
f) x = 0 x + y = y, x > 1 . x = 0, x + y = y x 1
g) x = y x < z, x z . (x = y y < z), y < z x < z
h) x < y x y, y > z z y, x = y . y > z, x < y z < y

a
94

2) Demonstrar que os seguintes conjuntos de proposies so consistentes:
a) p q, q r, ~r s
b) p q, ~q r, p r
c) ~p ~q, ~p r, ~r
d) p q, r q, q ~s
e) x = y x y, x , y x = y, x y x < y
f) x = 2 x = 3, x2 x3

3) Usar a Regra DC (Demonstrao condicional) para mostrar que so vlidos os seguintes
argumentos:
a) ~r ~s, q s | r ~q
b) p ~q, ~(r . ~p) | q ~r
c) r t, t ~s, ( r ~s) q | p p . q
d) p q, r p, s r | s q
e) ~p, ~r q, ~s p | ~( r . s) q
f) p ~q, ~r q, ~s ~q | p ~s r
g) ~p ~s, q ~r, t s . r | t ~( p q)
h) r s, s q, r ( s . p) | ~q p . s
i) r s, ~t ~p, r ~q | p . q s . t
j) r p, s t, t r | s p q
k) q p, t s, q ~s | ~( p r) t
l) p q r, s ~r . ~t, s u | p u
m) p q, r t, s r, p s | ~q t
n) p q, ~r ~q | ~p ~r
o) ~p ~q, p (r . s) | q s
p) p . q ~r ~s, r . s | p ~q
q) p q, p ~r, ~s t r | ~s q
r) (p q) r, s t ~r, s (t . u) | p q
s) (p q) . ~(r . ~s), s t u, ~u | r t
t) p ~q, q, r ~s, p (~s t) | ~t ~r

a
95

4) Usar a Regra DI (Demonstrao Indireta) para mostrar que so vlidos os seguintes argumentos:
a) ~(p . q), p r, q ~r | ~p
b) p ~q, r ~p, q r | ~p
c) ~(p . q), ~r q, ~p r | r
d) p q r, q ~p, s ~r | ~( p . s)
e) p q, p ~r, q s | ~r s
f) p q, s ~p, ~(q r) | ~s
g) p ~q, q v ~r, ~(s ~r) | ~p
h) ~p ~q, ~p r, r ~s | ~q ~s
i) p . q ~r, ~r ~p, ~q ~r | q
j) ~p ~q, r s p, q ~s, ~r | ~(r s)
k) p q r, ~r, s p | ~s
l) (p q) r, s t ~r, s (t . u) | p q
m) p q, q r s, ~s | ~p
n) (p q) r, r s ~ t, t | ~q
o) (p q) (r . s), ~ q | p s
p) p q, q s, t ( r . ~s) | p t
q) ~p ~q r, s (r t), p s, ~ s | q t
r) ~(p q) (s ~r), q s, p ~s | ~r ~s
s) (~p q) . (r s), p t v ~s, r, ~t | q
t) (p q) (r . s t), p q . r, r, ~t | ~s
u) ~(p ~q) ((r s) t), p. q, ~t | r s

a
96

AULA 12
17. EXERCCI OS GERAI S
1) Construa os argumentos utilizando lgica proposicional. Classifique como vlido ouinvlido
justificando sua resposta.
a) Joo precisa de dinheiro mas no quer baixar os preos de suas mercadorias. Joo baixa os
preos ou no vai poder comprar os presentes de natal. Se Joo emprestar o dinheiro, ento
poder comprar os presentes de natal. Logo, Joo precisa de dinheiro e no vai emprestar o
dinheiro.
b) Se est chovendo ou est frio ento no irei viajar. Se est sol ento irei viajar. Est
chovendo. Logo, no est sol.
c) Se papai-noel existe ento Maria est feliz. Maria no est feliz. Se no existe papai-noel ou
Maria no tem dinheiro ento ela est triste. Logo, Maria est triste.
d) Se trabalho no posso estudar. Trabalho ou passo em Lgica. Trabalhei. Logo,passei em
Lgica.
e) Se tenho dinheiro vou ao futebol. Se tenho dinheiro, vou praia. No tenho dinheiro. Logo,
ou no vou ao futebol ou no vou praia.
f) Se o cmbio cair, temos inflao. Se as exportaes crecerem, diminuimos o deficit. Ou o
cmbio cai ou diminuimos o deficit. Logo, temos inflao ou as exportaes crescem.
g) Se vejo televiso aborreo-me. Se leio jornal desiludo-me. Se me aborreo ou me desiludo,
fico nervoso. Eu nunca fico nervoso. Logo, ser leio jornal no vejo televiso.
h) Se estudo no sou reprovado em lgica. Se no jogo sinuca, ento estudo. Fui reprovado em
Lgica. Logo, joguei sinuca.

2) Se Frederico francs, ento Alberto no alemo. Ou Alberto alemo, ou Egdio
espanhol. Se Pedro no portugus, ento Frederico francs. Ora, nem Egdio espanhol
nem Isaura italiana. Logo:
a) Pedro portugus e Frederico francs.
b) Pedro portugus e Alberto alemo.
c) Pedro no portugus e Alberto alemo.
d) Egdio espanhol ou Frederico francs.
e) Se Alberto alemo, Frederico francs.
a
97

3) Se Luiz estuda Histria, ento Pedro estuda Matemtica. Se Helena estuda Filosofia, ento
Jorge estuda Medicina. Ora, Luis estuda Histria ou Helena estuda Filosofia. Logo, segue-se
necessariamente que:
a) Pedro estuda Matemtica ou Jorge estuda Medicina.
b) Pedro estuda Matemtica e Jorge estuda Medicina.
c) Se Luis no estuda Histria, ento Jorge no estuda Medicina.
d) Helena estuda Filosofia e Pedro estuda Matematica.
e) Pedro estuda Matemtica ou Helena no estuda Filosofia.

4) Se o jardim no florido, ento o gato mia. Se o jardim florido, ento o passarinho no canta.
Ora, o passarinho canta. Logo:
a) O jardim florido e o gato mia.
b) O jardim florido e o gato no mia.
c) O jardim no florido e o gato mia.
d) O jardim no florido e o gato no mia.
e) Se o passarinho canta, ento o gato no mia.

5) Se Maria no anda sozinha, ento Pedro sabe costurar. Se Maria anda sozinha, ento, Joana
estuda ou Manoel trabalha. Se Manoel trabalha, Teresa faz ginstica. Mas Teresa faz ginstica
se e somente se no for verdade que Ferdiando no tem uma camera. Ora, Ferdinando no tem
uma camera e Joana no estuda, Logo:
a) Maria no anda sozinha e Manoel trabalha.
b) Joana no estuda e Manoel trabalha.
c) Ferdinando no tem uma camera e Teresa faz ginstica
d) Pedro no sabe costurar e Maria anda sozinha.
e) Pedro sabe costurar e Manoel no trabalha.

6) H trs suspeitos de um crime: o cozinheiro, a governanta e o mordomo. Sabe-se que o crime
foi efetivamente cometido por um ou por mais de um deles, j que podem ter agido
individualmente ou no. Sabe-se, ainda, que:
i. se o cozinheiro inocente, ento a governanta culpada;
ii. ou o mordomo culpado ou a governanta culpada, mas no os dois;
iii. o mordomo no inocente.
Logo:
a
98

a) a governanta e o mordomo so os culpados;
b) somente o cozinheiro inocente;
c) somente a governanta culpada;
d) somente o mordomo culpado;
e) o cozinheiro e o mordomo so os culpados.

7) Uma pombinha que voava, ao ver passar um bando de pombas em revoada, assim exclamou:
"Ol minhas 100 pombas!". Uma delas respondeu: "100 pombas no somos ns, mas ns,
outras tantas de ns e mais o dobro de voc, 100 pombas seremos ns". Quantas pombas
passavam em revoada?

8) Quando uma senhora saiu com um carrinho levando uma criana a fim de tomar o sol das
primeiras horas da manh, encontrou-se com uma velha conhecida que h muito tempo no via,
que, ao cumpriment-la, indagou: Qual seu parentesco com esta linda criana? A resposta
veio logo em seguida: Sua me a filha nica de minha me. Qual , ento, seu verdadeiro
parentesco?

9) Na gaveta de meu guarda-roupas h seis pares de meias pretas e seis pares de azuis. A
escurido no quarto onde est o guarda roupas total. Qual o nmero mnimo de meias que
devem ser apanhadas para se ter certeza de que um par seja de meias de mesma cor?

10) O vaqueiro esta tocando as vacas numa estrada. Uma delas anda na frente de duas outras, uma
anda entre duas e uma anda atrs de duas. Quantas vacas eram?

11) Sabendo-se que seis raposas, em seis minutos, comem seis galinhas, pergunta-se: Quantas
raposas, em sessenta minutos, comem sessenta galinhas?

Raciocinio Logico Quantitativo

Diunggah oleh

Informasi Dokumen

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Raciocinio Logico Quantitativo

Diunggah oleh

Hak Cipta:

Format Tersedia

Raciocnio Lgico Quantitativo

Anda mungkin juga menyukai