Lgica Matemtica

Professor Walter Sousa

1. EQUIVALNCIAS LGICAS DE PROPOSIES

Smbolo:

Duas proposies compostas, formadas pelas mesmas sentenas bsicas, so equivalentes

quando tm, para todas as valoraes possveis dessas proposies bsicas, as mesmas avaliaes V
ou F. Para verificar, testar ou comprovar a equivalncia de proposies, pode-se proceder do seguinte
modo:

I. Constri-se a tabela-verdade destacando uma coluna para cada proposio;

II. Aps a construo da tabela-verdade, verifica-se, nas colunas das proposies compostas, se
os valores lgicos, em todas as linhas da tabela, so iguais. Em caso afirmativo, diz-se que as
proposies so equivalentes.

Exemplo: Verificar que P Q Q P

Soluo: Tabela-verdade

P Q P Q Q P Q P
V V V F F V
V F F V F F Comparando os valores lgicos da coluna
F V V F V V de P Q com os da coluna Q P ,
F F V V V V verificamos que so iguais.

Assim, a proposio Se Paulo paulista, ento Paulo brasileiro pode ser reescrita, de
forma equivalente, como segue: Se Paulo no brasileiro, ento Paulo no Paulista.

2.1 EQUIVALNCIAS FUNDAMENTAIS

Apresentamos, a seguir, algumas equivalncias lgicas importantes, que merecem ateno por parte
do leitor, e que sero teis, se memorizadas, soluo de diversas questes de equivalncia. Vale lembrar
que cada uma delas poder ser demonstrada atravs da construo das tabelas-verdade.

a) Dupla negao: (P) P

A dupla negao de uma proposio equivale sua afirmao.

P P (P)
V F V
F V F

Exemplo:

Sendo a proposio P: Paulo fala espanhol, teremos P : Paulo no fala espanhol. Portanto a
sentena: No verdade que Paulo no fala espanhol a negao de P, sendo equivalente
proposio Paulo fala espanhol.

1
Gran Cursos Walter Sousa
 P Q Q P
b) Comutativas:
P Q Q P
P Q P Q
c) Leis de Augustus De Morgan:
P Q P Q

Podemos observar que a negao de uma conjuno (e), ( P Q), equivale a uma
disjuno(ou) das negaes das proposies, P Q, enquanto que a negao de uma disjuno
equivale a uma conjuno das negaes das proposies.

Demonstrao: Negao da conjuno

P Q P Q ( P Q) P Q P Q
V V V F F F F
V F F V F V V
F V F V V F V
F F F V V V V

Exemplos:

1. A negao da afirmao Paulo carioca e Matheus francs do ponto de vista lgico,

equivalente a Paulo no carioca ou Matheus no francs.
2. A negao da afirmao Paulo carioca ou Matheus francs equivalente a dizer que: Paulo
no carioca e Matheus no francs.

d) Condicionais:

Q P

P Q ( P Q)
P Q

A equivalncia P Q Q P j fora demonstrada anteriormente. Veja na tabela-verdade

abaixo as demais equivalncias da condicional.

P Q P Q P Q ( P Q) P Q
V V F F V V V
V F F V F F F
F V V F V V V
F F V V V V V

Exemplos:
A proposio composta: Se O ru roubou um carro ento o ru ser condenado equivale a:

Soluo: Seja a proposio P: O ru roubou um carro; seja a proposio Q: O ru ser condenado,

assim, as equivalncias sero:

1. ( P Q) : No verdade que: o ru roubou um carro e no ser condenado

2. P Q : O ru no roubou um carro ou ser condenado.
3. Q P : Se o ru no foi condenado, ento o ru no roubou um carro.
2

Gran Cursos Walter Sousa

 Negao de uma condicional

( P Q) P Q.

A negao de uma proposio condicional, ( P Q), dada pela sentena P Q .

Veja o exemplo de uma questo proposta pela ESAF: A negao da afirmao condicional: Se
estiver chovendo, eu levo o guarda-chuva.

Soluo
Representando por P: est chovendo, e por Q: eu levo o guarda-chuva
P Q : Est chovendo e eu no levo o guarda-chuva.

e) Bicondicionais: P Q P Q Q P
A bicondicional equivalente conjuno da condicional P Q com a condicional Q P. Veja
tabela-verdade abaixo. A bicondicional equivale tambm negao de uma disjuno excludente.

P Q P Q P Q Q P ( P Q) (Q P)
V V V V V V
V F F F V F
F V F V F F
F F V V V V

A bicondicional equivalente negao da disjuno excludente.

2) DIAGRAMAS LGICOS

Algumas expresses lgicas, enunciados categricos, daro origem a argumentos conhecidos

como silogismos categricos, cuja validade depende da anlise da estrutura interna de enunciados
simples. A fim de preparar o caminho para o estudo mais aprofundado da argumentao lgica,
passaremos a explicar o que se entende por enunciado categrico. H quatro formas de enunciados
categricos:

a) Todo A B. (universal afirmativa)

b) Algum A no B. (existencial ou particular negativa)
c) Algum A B. (existencial ou particular afirmativa)
d) Nenhum A B. (universal negativa)

Cada enunciado categrico envolve dois termos, um sujeito e um predicado, que se relacionam. Nas
formas bsicas acima, A o sujeito e B o predicado.

A teoria de conjuntos fornece idias que podem ser utilizadas para justificar a natureza lgica dos
enunciados categricos, os quais podem ser associados aos conectivos lgicos j estudados. Passemos
anlise lgica dos enunciados categricos (quantificadores lgicos).

a) Todo A B

Est associado operao de incluso entre conjuntos, indicando que todos os elementos que
cumprem a condio A, cumpriro a condio B ( ). Portanto, trata-se de uma condicional lgica, do tipo
Se A, ento B.

Forma lgica: ( ), onde o smbolo significa para todo.

Diagrama lgico 3

Gran Cursos Walter Sousa

 A

b) Algum A no B

Indica que pelo menos um elemento do conjunto A, no pertence ao conjunto B. a negao do

quantificador Todo A B.

Forma lgica: ( B(x)), o smbolo significa existe x

Diagrama lgico

c) Algum A B

Os conjuntos A e B possuem pelo menos um elemento comum.

Forma lgica: ( B(x))

Diagrama lgico

d) Nenhum A B

Os conjuntos A e B no possuem elementos comuns. a negao de Algum A B.

Forma lgica: ()( B(x)).

Diagrama lgico

Gran Cursos Walter Sousa

 EXERCCIOS PROPOSTOS

1) (Cesgranrio/2009) A negao da (D) Janana no irm de Mariana ou Mariana no

proposio Mrio brasileiro ou Maria no filha nica.
boliviana (E) Se Janana no irm de Mariana, ento
Mariana filha nica.
(A) Mrio no brasileiro e Maria
4) (Cesgranrio) A negao da proposio composta
boliviana. Janana irm de Mariana e Mariana no filha
(B) Mrio no brasileiro ou Maria nica
boliviana.
(C) Mrio no brasileiro e Maria no (A) se Janana irm de Mariana, ento Mariana
boliviana. filha nica.
(D) Mrio brasileiro e Maria no (B) se Janana no irm de Mariana, ento
boliviana. Mariana no filha nica.
(E) Mrio brasileiro ou Maria boliviana. (C) se Janana no irm de Mariana, ento
Mariana filha nica.
(D) Janana irm de Mariana e Mariana filha
2) (Cesgranrio/2009) Considere verdadeira a
nica.
seguinte proposio: (E) Janana no irm de Mariana ou Mariana
filha nica.
Se x = 3, ento x primo.
Pode-se concluir que 5) (cesgranrio) A proposio composta Se Janana
(A) se x primo, ento x = 3 irm de Mariana, ento Mariana no filha nica
(B) se x no primo, ento x 3 equivalente a
(C) se x no primo, ento x = 3
(D) se x 3, ento x primo (A) q ~ p
(E) se x 3, ento x no primo (B) q p
(C) ~ p q
(D) ~ p ~ q
(Cesgranrio) Enunciado para as questes 3 a 5 (E) p q

Proposio uma sentena declarativa que pode ser 6) (Esaf) Maria foi informada por Joo que Ana
classificada como verdadeira ou falsa. Proposies prima de Beatriz e Carina prima de Denise.
simples podem ser associadas por conectivos Como Maria sabe que Joo sempre mente,
formando proposies compostas. Maria tem certeza que a afirmao falsa.
Desse modo, e do ponto de vista lgico, Maria
conectivo significado pode concluir que verdade que:
e
ou a) Ana prima de Beatriz ou Carina no
Se ... ento
prima de Denise.
b) Ana no prima de Beatriz e Carina no
Considere as proposies simples abaixo.
prima de Denise.
p: Janana irm de Mariana. c) Ana no prima de Beatriz ou Carina no
q: Mariana filha nica. prima de Denise.
Simbolizam-se por ~p e ~q, respectivamente, as d) se Ana no prima de Beatriz, ento
negaes de p e de q. Carina prima de Denise.
e) se Ana no prima de Beatriz, ento
3) (Cesgranrio/2009) A proposio composta ~ p Carina no prima de Denise.
q corresponde a:
7) (Esaf Adaptada) Dois colegas esto
(A) Janana irm de Mariana e Mariana filha tentando resolver um problema de
nica.
matemtica. Pedro afirma para Paulo que X
(B) Janana no irm de Mariana e Mariana
filha nica. = B ou Y = D. Como Paulo sabe que Pedro
(C) Janana no irm de Mariana ou Mariana sempre mente, ento, do ponto de vista
filha nica. lgico, Paulo pode afirmar corretamente
que:
5
Gran Cursos Walter Sousa

a) X B e Y D
b) X = B ou Y D
c) X B ou Y D
d) se X B, ento Y D
e) se X B, ento Y = D
8) (Cespe) Considere a assertiva seguinte,
adaptada da revista comemorativa dos 50
anos da PETROBRS.
Se o governo brasileiro tivesse
institudo, em 1962, o monoplio da
explorao de petrleo no territrio
nacional, a PETROBRS teria atingido,
nesse mesmo ano, a produo de 100 mil
barris/dia.
Julgue se cada um dos itens a seguir
apresenta uma proposio logicamente
equivalente assertiva acima.
(1) Se a PETROBRS no atingiu a produo
de 100 mil barris/dia em 1962, o monoplio
da importao de petrleo e derivados no
foi institudo pelo governo brasileiro nesse
mesmo ano.
(2) Se o governo brasileiro no instituiu, em
1962, o monoplio da importao de
petrleo e derivados, ento a PETROBRS
no atingiu, nesse mesmo ano, a produo
de 100 mil barris/dia.
9) (Cespe) As sentenas S1, S2 e S3 a seguir
so notcias acerca da bacia de Campos-
RJ, extradas e adaptadas da revista
comemorativa dos 50 anos da
PETROBRS.
S1: Foi descoberto leo no campo de
Garoupa, em 1974.
S2: Foi batido o recorde mundial em
perfurao horizontal, em profundidade de
905 m, no campo de Marlim, em 1995.
S3: Foi iniciada a produo em Moria e foi
iniciado o Programa de Desenvolvimento
Tecnolgico em guas Profundas
(PROCAP), em 1986.
Quanto s informaes das sentenas acima,
julgue os itens subseqentes.
(1) A negao da unio de S1 e S2 pode ser
expressa por: Se no foi descoberto leo no
campo de Garoupa, em 1974, ento no foi
Gran Cursos
batido o recorde mundial em perfurao
horizontal, em profundidade de 905 m, no
campo de Marlim, em 1995.
(2) A negao de S3 pode ser expressa por: No
foi iniciada a produo em Moria ou no foi
iniciado o Programa de Desenvolvimento
Tecnolgico em guas Profundas (PROCAP),
em 1986.
10) (Cespe) O Teorema Fundamental da
Aritmtica afirma que:
Se n for um nmero natural diferente de 1,
ento n pode ser decomposto como um
produto de fatores primos, de modo nico,
a menos da ordem dos fatores.
Julgue se cada um dos itens subseqentes
reescreve, de modo correto e equivalente, o
enunciado acima.
(1) condio suficiente que n seja um nmero
natural para que n possa ser decomposto
como um produto de fatores primos, de modo
nico, a menos da ordem dos fatores.
(2) condio necessria que n seja um nmero
natural para que n possa ser decomposto
como um produto de fatores primos, de modo
nico, a menos da ordem dos fatores.
(3) Se n no possuir decomposio como um
produto de fatores primos, que seja nica, a
menos da ordem dos fatores, ento n no
um nmero natural diferente de 1.
(4) Ou n no um nmero natural diferente de 1,
ou n tem uma decomposio como um produto
de fatores primos, que nica, a menos da
ordem dos fatores.
(5) n um nmero natural diferente de 1 se puder
ser decomposto como um produto de fatores
primos, de modo nico, a menos da ordem dos
fatores.
11) (Cespe) Proposies das formas A B ,
A B e B A so sempre
equivalentes. A partir dessa informao e das
definies includas no texto, julgue os itens a
seguir.
(1) As proposies Se Hlio conselheiro do
TCE/AC, ento Hlio formado em
Contabilidade e Hlio no conselheiro do
TCE/AC ou Hlio formado em contabilidade
so equivalentes.
6
Walter Sousa
(2) Considere a seguinte proposio: Se Antnio
resolver corretamente esta prova, ento ele
passar no concurso. Nessa situao,
correto concluir que Se Antnio no resolver
corretamente esta prova, ento ele no
passar no concurso.
(3) Considere a seguinte proposio: Alice no foi
ao cinema ou Bernardo foi jogar futebol.
Dessa proposio, correto concluir que Se
Bernardo no foi jogar futebol, ento Alice no
foi ao cinema.
12) (Esaf) Andr artista ou Bernardo no
engenheiro logicamente equivalente a
dizer que:
a) Andr artista se e somente se Bernardo
no engenheiro.
b) Se Andr artista, ento Bernardo no
engenheiro.
c) Se Andr no artista, ento Bernardo
engenheiro.
d) Se Bernardo engenheiro, ento Andr
artista.
e) Andr no artista e Bernardo
engenheiro
13) (Esaf) A negao da afirmao condicional
se estiver chovendo, eu levo o guarda-
chuva :
a) Se no estiver chovendo, eu levo o guarda-
chuva.
b) No est chovendo e eu levo o guarda-
chuva.
c) No est chovendo e eu no levo o guarda-
chuva.
d) Se estiver chovendo, eu no levo o guarda-
chuva.
e) est chovendo e eu no levo o guarda-
chuva.
14) (Esaf) 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
no paulista.
d) Se Pedro pedreiro, ento Paulo no
paulista.
Gran Cursos
e) Se Pedro no pedreiro, ento Paulo
no paulista.
15) (Cesgranrio/2009) Admita como verdadeiras as
seguintes declaraes:
todo matemtico sabe fsica;
h mdicos que no sabem fsica.
Com base nestas declaraes, correto concluir
que h
(A) mdicos que no so matemticos.
(B) mdicos que so matemticos.
(C) mdicos que sabem fsica.
(D) fsicos que so matemticos.
(E) fsicos que so mdicos
16) (Cespe) Pedro, candidato ao cargo de
Escrivo de Polcia Federal, necessitando
adquirir livros para se preparar para o
concurso, utilizou um site de busca da Internet
e pesquisou em uma livraria virtual,
especializada nas reas de direito,
administrao e economia, que vende livros
nacionais e importados. Nessa livraria, alguns
livros de direito e todos os de administrao
fazem parte dos produtos nacionais. Alm
disso, no h livro nacional disponvel de capa
dura.
Com base nas informaes acima,
possvel que Pedro, em sua pesquisa,
tenha
(1) encontrado um livro de administrao
de capa dura.
(2) Adquirido dessa livraria um livro de
economia de capa flexvel.
(3) Selecionado para compra um livro
nacional de direito de capa dura.
(4) Comprado um livro importado de
direito de capa flexvel.
17) (Esaf) A negao da sentena Nenhuma
pessoa lenta em aprender freqenta a escola
a) Todas as pessoas lentas em aprender
freqentam esta escola.
b) Todas as pessoas lentas em aprender no
freqentam esta escola.
c) Algumas pessoas lentas em aprender
freqentam esta escola.
d) Algumas pessoas lentas em aprender no
freqentam esta escola.
7
Walter Sousa
 e) Nenhuma pessoa lenta em aprender
freqenta esta escola.
18) (Esaf) Em uma comunidade todo trabalhador
responsvel. Todo artista, se no for filsofo,
ou trabalhador ou poeta. Ora, no h
filsofo e no h poeta que no seja
responsvel. Portanto, tem-se que,
necessariamente:
a) Todo responsvel artista.
b) Todo responsvel filsofo ou poeta.
c) Todo artista responsvel.
d) Algum filsofo poeta.
e) Algum trabalhador filsofo.
19) (Esaf) Em uma pequena comunidade, sabe-
se que: nenhum filsofo rico e que 23) (Esaf) Todos os alunos de matemtica so,
alguns professores so ricos. Assim,
pode-se afirmar, corretamente, que nesta
comunidade
a) alguns filsofos so professores
b) alguns professores so filsofos
c) nenhum filsofo professor
d) alguns professores no so filsofos
e) nenhum professor filsofo
20) (Esaf) Todas as amigas de Beto so,
tambm, amigas de Berenice, mas
nenhuma amiga de Berenice amiga de
Bruna. Todas as amigas de Bia so
tambm amigas de Bela, e algumas amigas
de Bela so tambm amigas de Bruna.
Como nenhuma amiga de Bela amiga de
Berenice, e como Bela, Bia e Bruna no
tm nenhuma amiga em comum, ento:
a) Pelo menos uma amiga de Bia amiga
de Bruna.
b) Pelo menos uma amiga de Beto amiga
de Bruna.
c) Todas as amigas de Bela so amigas de
Beto.
d) Todas as amigas de Bela so amigas de
Bia.
e) Nenhuma amiga de Bia amiga de Beto.
21) (Esaf) Dizer que a afirmao todos os
economistas so mdicos falsa, do
ponto de vista lgico, equivale a dizer que a
seguinte afirmao verdadeira:
a) Pelo menos um economista no
mdico.
Gran Cursos
b) Nenhum economista mdico.
c) Nenhum mdico economista.
d) Pelo menos um mdico no
economista.
e) Todos os no mdicos so no
economistas.
22) Sabe-se que existe pelo menos um A que
B. Sabe-se, tambm, que todo B C.
Segue-se, portanto, necessariamente que
a) todo C B
b) todo C A
c) algum A C
d) nada que no seja C A
e) algum A no C
tambm, aluno de ingls, mas nenhum aluno de
ingls aluno de histria. Todos os alunos de
portugus so tambm alunos de informtica, e
alguns alunos de informtica so tambm
alunos de histria. Como nenhum aluno de
informtica aluno de ingls, e como nenhum
aluno de portugus aluno de histria, ento:
a) pelo menos um aluno de portugus aluno
de ingls.
b) Pelo menos um aluno de matemtica
aluno de histria.
c) nenhum aluno de portugus aluno de
matemtica.
d) todos os alunos de informtica so alunos
de matemtica.
e) todos os alunos de informtica so alunos
de portugus.
(Cesgranrio/2009) Considere o enunciado abaixo
para responder s questes de nos 24 e 25.
Uma urna contm 4 bolas brancas, 3 bolas pretas e 2
bolas azuis. N bolas sero retiradas simultaneamente
dessa urna.
24) (Cesgranrio/2009) Qual o menor valor de N para que
se possa garantir que, entre as retiradas, haja bolas
de cores diferentes?
(A) 3
(B) 4
(C) 5
(D) 6
(E) 7
8
Walter Sousa
25) (Cesgranrio/2009) Qual o menor valor de N para que de canetas e que h pelo menos um objeto de
se possa garantir que, entre as bolas retiradas, haja cada. A quantidade de lpis nesse estojo igual a
2 de uma mesma cor?
(A) 2
(A) 3 (B) 3
(B) 4 (C) 4
(C) 5 (D) 5
(D) 6 (E) 6
(E) 7
30) (Cesgranrio/2009) Tautologias so proposies
Considere as informaes abaixo para responder s compostas cuja tabela-verdade d sempre
questes de nos 26 e 27. verdadeiro, no importando se as proposies
simples p e q so verdadeiras ou falsas. Na
proposio composta

31) (Cesgranrio/2009)
26) Quantos caminhos diferentes comeam no ponto A
e terminam no ponto B?

(A) 1
(B) 2
(C) 3
(D) 4
(E) mais de 4

27) O maior caminho ligando os pontos B e K tem

quantos segmentos?
(A) 9
(B) 13
(C) 15
(D) 19
(E) 21

28) (Cesgranrio/2009) Uma dada semana terminou em

um sbado, dia 19. correto afirmar que
certamente esse ms

(A) comeou em uma segunda-feira.

(B) comeou em uma quarta-feira.
(C) terminou em uma quarta-feira.
(D) terminou em uma quinta-feira.
(E) no terminou em uma sexta-feira.

29) (cesgranrio/2009) Em um estojo, h 8 objetos.

Cada um desses objetos ou um lpis, ou uma
borracha, ou uma caneta. Sabe-se que a
9
quantidade de borrachas o triplo da quantidade
1

Gran Cursos Walter Sousa

GABARITO

1) A
2) B
3) B
4) E
5) A
6) C
7) A
8) E E
9) E C
10) E E C C E
11) C E C
12) D
13) E
14) A
15) A
16) E C E C
17) C
18) C
19) D
20) E
21) A
22) C
23) C
24) C
25) B
26) D
27) B
28) E
29) C
30) A
31) A

10
1

Gran Cursos Walter Sousa