Lgica Matemtica Computacional

Prof FERNANDO BICUDO SALOMAO

Existem muitas definies para a palavra lgica, porm no caso do nosso estudo no relevante
um aprofundamento nesse ponto, suficiente apenas discutir alguns pontos de vista sobre o assunto. Alguns
autores definem lgica como sendo a Cincia das leis do pensamento, e neste caso existem divergncias
com essa definio, pois o pensamento matria estudada na Psicologia, que uma cincia distinta da
lgica (cincia). Segundo Irving Copi, uma definio mais adequada : A lgica uma cincia do
raciocnio, pois a sua ideia est ligada ao processo de raciocnio correto e incorreto que depende da
estrutura dos argumentos envolvidos nele. Assim conclumos que a lgica estuda as formas ou estruturas do
pensamento, isto , seu propsito estudar e estabelecer propriedades das relaes formais entre as
proposies. Veremos nas prximas linhas a definio do que venha a ser uma proposio, bem como o seu
clculo proposicional antes de chegarmos ao nosso objetivo maior que estudar as estruturas dos
argumentos, que sero conjuntos de proposies denominadas premissas ou concluses.
lgebra das proposies, tambm conhecida por lgica proposicional um tema muito cobrado
especialmente em concursos pblicos e tambm em alguns cursos de graduao, mais precisamente de
engenharia e computao. Mas afinal, o que nos remete o estudo da lgebra das proposies?
Assim como na matemtica bsica estudamos operaes algbricas com nmeros reais e complexos,
na lgebra das proposies estudaremos operaes envolvendo proposies. Mas o que uma Proposio?
Proposio
Chamaremos de proposio ou sentena, a todo conjunto de palavras ou smbolos que exprimem um
pensamento de sentido completo, para que seja possvel atribuir, como valor lgico, ou a verdade ou a
falsidade.
Sendo assim, vejamos os exemplos.
a) O Professor Carlos muito inteligente.
b) O Brasil um Pas da Amrica do Sul.
c) A Receita Federal pertence ao Poder Judicirio.
e) A soma dos ngulos internos de um triangulo igual a 180 graus.
c) 10% de 230 vale 123.
Evidente que voc j percebeu que as proposies devem assumir os valores falsos ou verdadeiros,
pois elas expressam a descrio de uma realidade, e tambm observamos que uma proposio representa
uma informao enunciada por uma orao, portanto pode ser expressa por distintas oraes, tais como:
Pedro maior que Carlos, ou podemos expressar tambm por Carlos menor que Pedro.
Proposies esto associadas aos valores lgicos verdadeiros (V) ou falsos (F). Exemplos
a)
O Canad um Pas da Amrica do Sul. ( proposio)
b)
A Receita Federal no pertence ao Poder Judicirio. ( proposio)
c)
Bom dia! (NO proposio)
d)
Joo um bom aluno? (NO proposio)
e)
Que horas so? (NO proposio)
f)
Seja um bom servidor pblico. (NO proposio)
g)
Ele um bom professor. (NO proposio) - (sentena aberta)
h)
3 + 5 = 7 ( proposio)
i)
x + y = 7 (NO proposio) - (sentena aberta)
j)
Essa afirmao falsa. (NO proposio) - (Paradoxo)
Se a proposio p = O Brasil um Pas da Amrica do Sul verdadeira ento representaremos o valor lgico da
proposio p por VAL(p) = V.
Se a proposio p = O Brasil um Pas da Amrica do Sul falsa ento representaremos o valor lgico da
proposio p por VAL(p) = F.
1

Lgica Matemtica Computacional

Prof FERNANDO BICUDO SALOMAO

Portanto no sero proposies as seguintes expresses:

Exclamaes: Que belo dia!, Boa sorte!.
Interrogaes: Carlos um bom professor?, Que horas so?, O jogo terminou empatado?.
Imperativos: Faa seu trabalho corretamente., Estude e limpe o quarto..
Paradoxos: Esta proposio falsa.
Setenas abertas: Ele um bom professor , x + y = 7
Em resumo, teremos trs princpios que regem as proposies:
1 Princpio da no-contradio: Uma proposio no pode ser verdadeira e falsa
simultaneamente.
2 Princpio do Terceiro Excludo: Uma proposio s pode ter dois valores verdades, isto ,
verdadeiro (V) ou falso (F), no podendo ter outro valor.
3 Principio da Identidade: declara que todas as coisas so idnticas a si mesmo. Assim pode ser
enunciada como p p. Vamos interpretar como toda proposio p equivalente a p.
Logo, temos:
a) O ano possui doze meses uma proposio verdadeira.
b) O Brasil um Pas da Amrica do Sul uma proposio verdadeira.
c) A Receita Federal pertence ao poder judicirio, uma proposio falsa.
d) O Brasil uma monarquia , uma proposio falsa.
Classificao de Proposies lgicas
As proposies sero representadas por letras do alfabeto: a, b, c, . . . , p, q, . . .
As proposies lgicas podem ser classificadas em dois tipos:
Proposio simples - So representadas de forma nica. Ex: O cachorro um mamfero.
Proposio composta - So formadas por um conjunto de proposies simples, ( duas ou mais
proposies simples ligadas por conectivos lgicos). Ex: Braslia a capital do Brasil ou Lima
a capital do Peru.
As proposies simples (tomos) combinam-se com outras, ou so modificadas, atravs de operadores
(conectivos), gerando novas sentenas chamadas de molculas (ou compostas).
Conectivos
Os conectivos sero representados da seguinte forma:
ou ~ corresponde a no

corresponde a e (conjuno)
corresponde a ento (condicional)
corresponde a se e somente se (bi-condicional)
corresponde a ...ou ..., ou ...., mas no ambos (disjuno exclusiva)

A partir de uma proposio podemos construir uma outra correspondente com a sua negao.
Negaes: ~p (l-se no p)
Seja a proposio p: lgica difcil.
A proposio lgica no difcil ser representada por ~p

Lgica Matemtica Computacional

Prof FERNANDO BICUDO SALOMAO

A partir de duas ou mais proposies podemos construir uma outra correspondente nas seguintes formas:
Conjunes: a b (l-se: a e b)
Sejam a e b proposies tal que:
a = Chove
b = Faz frio, ento temos que:
a b = Chove e faz frio
Disjunes: a b (l-se: a ou b, ou tambm ou a ou b)
Sejam a e b proposies tal que:
a = Chove
b = Faz frio, ento temos que:
a b = Chove ou faz frio
Condicionais: a b (l-se: Se a ento b)
Sejam a e b proposies tal que:
a = Chove
b = Faz frio, ento temos que:
a b = Se chove ento faz frio
Bi-condicionais: a b (l-se: a se e somente se b)
Sejam a e b proposies tal que:
a = Chove
b = Faz frio, ento temos que:
a b = Chove se e somente se faz frio
Disjunes exclusivas: a b (l-se: ou a, ou b, mas no ambos)
Sejam a e b proposies tal que:
a = Chove
b = Faz frio, ento temos que:
a b = Ou Chove, ou faz frio, mas no ambos

Exerccios Resolvidos:
1) Seja a sentena:
Se Cacilda estudiosa ento ela passar no concurso
Sejam as proposies:
p = Cacilda estudiosa
q = Ela passar no concurso
Ento poderemos representar a sentena da seguinte forma: Se p ento q ( ou p q )
2) Considere as proposies abaixo:
p: Carlos estatstico
q: Flavio advogado
Represente as proposies abaixo:
a)
p V q: Carlos estatstico ou Flavio advogado
b)
p q: Carlos estatstico e Flavio advogado
c)
p ~q: Carlos estatstico e Flavio no advogado
d)
p q: Se Carlos estatstico, ento Flavio advogado

Lgica Matemtica Computacional

Prof FERNANDO BICUDO SALOMAO

3) A lgica clssica possui princpios fundamentais que servem de base para a produo de raciocnios
vlidos. Esses princpios foram inicialmente postulados por Aristteles (384 a 322 a.C.) e at hoje
do suporte a sistemas lgicos. Tais princpios so os:
(A) da inferncia, da no contradio e do terceiro includo.
(B) da diversidade, da deduo e do terceiro includo.
(C) da identidade, da inferncia e da no contradio.
(D) da identidade, da no contradio e do terceiro excludo.
(E) da diversidade, da induo e da no contradio
4) Os conectivos ou operadores lgicos so palavras (da linguagem comum) ou smbolos (da linguagem
formal) utilizados para conectar proposies de acordo com regras formais preestabelecidas.
Assinale a alternativa que apresenta exemplos de conjuno, negao e implicao, respectivamente.
(A) p, p v q, p q
(B) p q, p, p q
(C) p q, p v q, p
(D) p v p, p q, q
(E) p v q, q, p v q
5) Considere a proposio: Paula estuda mas no passa no concurso. Nessa proposio qual o
conectivo lgico? Conjuno () - Paula estuda e no passa no concurso.
6) Considere as proposies abaixo:
P: Corre
Q: O Bicho pega
Represente as proposies abaixo:
a)
P V Q: Corre ou o bicho pega
b)
P Q: Corre e o bicho pega
c)
P ~Q: Corre e o bicho no pega
d)
P Q: Se corre, ento o bicho pega
e)
~P : No corre
f)
~Q : O bicho no pega
g)
P Q: Corre se e somente se o bicho pega
h)
P V Q: Ou corre, ou o bicho pega, mas no ambos
7) Sejam as proposies p e q, tal que:
p = Est calor
q = Est chovendo
Descrever as seguintes proposies abaixo:
a) p
No est calor
b) p q Est calor ou est chovendo
c) p q Est calor e est chovendo
d) p q Se est calor, ento est chovendo
e) p q Est calor se e somente se est chovendo
8) Seja p = Joselias magro e q = Joselias bonito.
Represente cada uma das seguintes afirmaes em funo de p e q:
a) Joselias magro ou bonito = p q
b) Joselias magro e bonito = p q
c) Se Joselias magro, ento bonito = p q
d) Joselias no magro, nem bonito = p q
4

Lgica Matemtica Computacional

Prof FERNANDO BICUDO SALOMAO

O Brasil um Pas da Amrica do Sul uma proposio verdadeira.

Podemos ver que atribuir um valor lgico para uma proposio simples fcil, mas e
para uma proposio composta como faremos isso?
Utilizaremos um recurso chamado de tabelas verdade.

Tabela Verdade
Representaremos ento o valor lgico de cada molcula com seu respectivo conectivo
atravs da tabela verdade.
a. Valor verdade de P

A negao da proposio P a proposio P, de maneira que se P verdade ento

P falso, e vice-versa.
b. Valor verdade de PQ (P e Q)

O valor verdade da molcula PQ tal que VAL (PQ) verdade se e somente se

VAL (P) e VAL (Q) so verdades.
c. Valor verdade de PQ (P ou Q)

O valor verdade da molcula P Q tal que VAL(PQ) falso se e somente se VAL(P)

e VAL (Q) so falsos.
d. Valor verdade de P Q (Se P ento Q)

O valor verdade da molcula P Q tal que VAL(P Q) = F se e somente se

VAL(P) = V e VAL (Q) = F

Lgica Matemtica Computacional

Prof FERNANDO BICUDO SALOMAO

e. Valor verdade de P Q (P se e somente se Q)

O valor verdade da molcula P Q tal que VAL( PQ ) = V se e somente se VAL

(P) e VAL (Q) tem os mesmos valores verdade.
f. Valor verdade de P V Q (ou P , ou Q, mas no ambos)

O valor verdade da molcula P V Q tal que VAL( PVQ ) = V se e somente se VAL (P)
e VAL (Q) forem diferentes valores verdade.
Em Resumo temos: Para cada conectivo h uma regra de como produzir o valor lgico
Tabela Verdade
P
V
V
F
F

Q
V
F
V
F

~P
F
F
V
V

PVQ
V
V
V
F

PQ
V
F
F
F

PQ
V
F
V
V

PQ
V
F
F
V

PVQ
F
V
V
F

Note que: ~( P Q) EQUIVALENTE A (P V Q)

~P TROCA O VALOR LGICO

P V Q S D Falso SE AS DUAS FOREM Falsas.
P Q S D Verdadeiro SE AS DUAS FOREM Verdadeiras.
P Q S D Falso QUANDO FOR .... SE Verdade ENTO.... Falso.
Nos outros casos sempre sero Verdadeiras.
P Q S D Verdadeiro SE AS DUAS FOREM IGUAIS, se FOREM
DIFERENTES SER Falso.
P V Q S D Verdadeiro SE AS DUAS FOREM DIFERENTES SE
FOREM IGUAIS SER Falso.

Memorizando temos:
Proposio
PQ
PVQ
PQ
PQ

Condio de ser V
V,V
No pode F, F
No pode V, F
No pode V,F nem F,V
6

Lgica Matemtica Computacional

Prof FERNANDO BICUDO SALOMAO

Exerccios Resolvidos:

P
V
V
F
F

1) Complete a tabela verdade:

Q ~P ~Q P V Q P Q
V F F
V
V
F F V
V
F
V V F
V
F
F V V
F
F

P~ Q P V~ Q
F
V
V
V
F
F
F
V

2) Se p uma proposio verdadeira, ento:

a) (p q) uma proposio verdadeira, para qualquer que seja a proposio q.
b) (p q) uma proposio verdadeira, para qualquer que seja a proposio q.
c) (p q) uma proposio verdadeira, para qualquer que seja a proposio q.
d) (p q) uma proposio verdadeira, para qualquer que seja a proposio q.
e) ( p) uma proposio verdadeira, para qualquer que seja a proposio q.
Soluo
a) A opo incorreta, pois se q uma proposio falsa e p verdadeira teremos a
proposio (p q) falsa.
b) A opo incorreta, pois se q uma proposio falsa teremos a proposio (p q)
falsa.
c) A opo incorreta, pois se q uma proposio falsa e p verdadeira teremos a
proposio (p q) falsa.
d) A opo correta, pois se p uma proposio verdadeira teremos a proposio (pq)
sempre verdadeira.
e) A Opo incorreta, pois se p uma proposio verdadeira teremos a proposio
( p) sempre falsa.
Opo correta: D.
3) Se (p q) uma proposio verdadeira ento podemos afirmar que:
a) p uma proposio verdadeira.
b) q uma proposio verdadeira.
c) Se p uma proposio falsa, ento q uma proposio verdadeira.
d) se q uma proposio verdadeira ento p uma proposio verdadeira.
e) se q uma proposio falsa ento p uma proposio falsa.
Soluo
a) A opo incorreta, pois se p e q so proposies falsas teremos a proposio (p
q) verdadeira.
b) A opo incorreta, pois se p e q so proposies falsas teremos a proposio (p
q) verdadeira.
c) A opo incorreta, pois se p e q so proposies falsas teremos a proposio (p
q) verdadeira.
d) A opo incorreta, pois podemos ter a proposio q verdadeira e a proposio p
falsa.
e) A opo correta, pois se q uma proposio falsa teremos a proposio p
necessariamente falsa.
Opo correta: E.

Lgica Matemtica Computacional

Prof FERNANDO BICUDO SALOMAO

4) Sejam p e q proposies. Complete a tabela verdade abaixo:

5) Sejam p e q proposies. Complete a tabela verdade abaixo:

6) Sejam p e q proposies. Complete a tabela verdade abaixo:

7) Determinar o valor verdade da proposio (P Q) R, sabendo-se que VAL

(P) = V, VAL (Q) = V e VAL (R) = F.

Lgica Matemtica Computacional

Prof FERNANDO BICUDO SALOMAO

8) Determine o valor verdade da sentena: [A (B C)] [ A (B C)].

Sabendo-se que: VAL (A) = V, VAL (B) = F e VAL (C) = V
Resposta: {[ A (B C)] [ A (B C)]} = F
9) Determinar o valor da sentena A [( B C) (C D)], sabendo-se que:
VAL (A) = V, VAL (B) = F, VAL (C) = F e VAL (D) = V
Resposta: VAL {A [( B C) (C D)]} = F
10) Analise as sentenas lgicas:
Ana artista ou Carlos carioca
Se Jorge juiz, ento Lucia no linda
Se Carlos carioca, ento Lucia linda
Jorge juiz.
Ana artista ou Carlos carioca
Se Jorge juiz, ento Lucia no linda
Se Carlos carioca, ento Lucia linda
Jorge juiz.

aVc
j ~l
c l
j

V,F
V,F
F,V
V

Concluses: a,~c,j,~l
11) Analise as sentenas lgicas:
Andr inocente ou Beto inocente
Se Beto inocente, ento Caio culpado
Caio inocente se e somente se Dinis culpado
Dinis culpado.
Andre inocente ou Beto inocente
Se Beto inocente, ento Caio culpado
Caio inocente se e somente se Dinis culpado
Dinis culpado
Concluses: A,~B, C, ~D

AVB
B~C
C~D
~D

V, F
F, F
V, V
V

12) Analise os sentenas lgicas:

Se a = b + p, ento a = z + r
Se a = z + r, ento a = w - r
Por outro lado, a = b + p , ou a = 0
Se a= 0 , ento a + u = 5
A+u5
Se a = b + p, ento a = z + r
Se a = z + r, ento a = w - r
Por outro lado, a = b + p , ou a = 0
Se a = 0 , ento a + u = 5
A+u5

a=b+pa=z+r
a=z+ra=w-r
,a=b+pVa=0
A=0a+u=5
A+u5

V,V
V,V
V,F
F,F
V

Lgica Matemtica Computacional

Prof FERNANDO BICUDO SALOMAO

13) Analise os sentenas lgicas:

Carlos compra um carro, ou Ana vai frica, ou Rui vai Roma
Se Ana vai frica, ento Lus vaia Lua
Se Lus vaia Lua , ento Rui vai Roma
Rui no vai Roma
Carlos compra um carro, ou Ana vai frica, ou Rui vai Roma
Se Ana vai frica, ento Lus vaia Lua
Se Lus vaia Lua , ento Rui vai Roma
Rui no vai Roma
14) Analise os sentenas lgicas:
Se durmo , bebo
Se estou furioso, durmo
Se durmo, no estou furioso
Se no estou furioso no bebo.
Se no durmo , bebo
Se estou furioso, durmo
Se durmo, no estou furioso
Se no estou furioso no bebo.

~D B
FD
D ~F
~F ~B

CvAvR
AL
LR
~R

V,F,F
F,F
F,F
V

F,F
F,V
V,V
V,V

Exerccios Propostos
Texto para os itens de 01 a 05. (CESPE)
Considere as sentenas abaixo.
I.
Fumar deve ser proibido, mas muitos europeus fumam.
II.
Fumar no deve ser proibido e fumar faz bem sade.
III.
Se fumar no faz bem sade, deve ser proibido.
IV.
Se fumar no faz bem sade e no verdade que muitos europeus fumam,
ento fumar deve ser proibido.
V. Tanto falso que fumar no faz bem sade como falso que fumar deve ser
proibido; conseqentemente, muitos europeus fumam.

Com base nas informaes acima e considerando a notao introduzida no texto,

julgue os itens seguintes.
1) A sentena I pode ser corretamente representada por P ( T).
2) A sentena II pode ser corretamente representada por ( P) ( R).
3) A sentena III pode ser corretamente representada por R P.
4) A sentena IV pode ser corretamente representada por (R ( T)) P.
5) A sentena V pode ser corretamente representada por T(( R) ( P)).

10

Lgica Matemtica Computacional

Prof FERNANDO BICUDO SALOMAO

Texto para os itens de 06 a 10. (CESPE)

Considere que as letras P, Q, R e T representem proposies e que os smbolos , ,
e sejam operadores lgicos que constroem novas proposies e significam no, e, ou
e ento, respectivamente. Na lgica proposicional, cada proposio assume um nico
valor (valor-verdade), que pode ser verdadeiro (V) ou falso (F), mas nunca ambos. Com
base nas informaes apresentadas no texto acima, julgue os itens a seguir.
6) Se as proposies P e Q so ambas verdadeiras, ento a proposio ( P) ( Q)
tambm verdadeira.
7) H duas proposies no seguinte conjunto de sentenas:
(I) O BB foi criado em 1980.
(II) Faa seu trabalho corretamente.
(III) Manuela tem mais de 40 anos de idade.
8) Se a proposio T verdadeira e a proposio R falsa, ento a proposio
R ( T) falsa.
9) Se as proposies P e Q so verdadeiras e a proposio R falsa, ento a proposio
(P R) ( Q) verdadeira.
Tautologia
So molculas que possuem o seu valor verdade sempre verdadeiro
independentemente dos valores lgicos das proposies (tomos) que as compem. Para
verificar se uma proposio uma tautologia basta fazer a tabela verdade da proposio.
Se todos os Valores da proposio forem verdadeiros teremos uma tautologia.
EXEMPLO: Assinale quais das proposies abaixo so tautologias.
a) (p p)
b) (p p)
c) (p) p
Soluo:
a) (p p) uma tautologia, pois sempre verdadeira. Veja a tabela verdade:

b) (p p) uma tautologia, pois sempre verdadeira. Veja a tabela verdade:

c) (p) p uma tautologia, pois sempre verdadeira. Veja a tabela verdade:

11

Lgica Matemtica Computacional

Prof FERNANDO BICUDO SALOMAO

Complete a Tabela Verdade para (P ^ Q) (P V Q)

Tautologia
P
V
V
F
F

Q
V
F
V
F

P^Q
V
F
F
F

PVQ
V
V
V
F

(P ^ Q) (P V Q)
V
V
V
V

Contradies
So molculas que so sempre falsas, independentemente do valor lgico das
proposies (tomos) as compem. Para verificar se uma proposio uma contradio
basta fazer a tabela verdade da proposio. Se todos os valores da proposio forem
falsos teremos uma contradio.
EXEMPLO: Assinale quais das proposies abaixo so contradies.
a) (p p)
b) (p p)
Soluo
a) (p p) uma contradio, pois sempre falsa. Veja a tabela verdade:

b) (p p) uma contradio, pois sempre falsa. Veja a tabela verdade:

Complete a Tabela Verdade para (P ^ ~Q) (~P V Q)

P
V
V
F
F

Q
V
F
V
F

~P
F
F
V
V

~Q
F
V
F
V

P ^ ~Q
F
V
F
F

~P V Q
V
F
V
V

Contradio
(P ^ ~Q) (~P V Q)
F
F
F
F

12

Lgica Matemtica Computacional

Prof FERNANDO BICUDO SALOMAO

Contingncia
So molculas em que os valores lgicos dependem dos valores das proposies
(tomos). Para verificar se uma proposio uma contingncia basta fazer a tabela
verdade da proposio. Se os valores da proposio forem alguns verdadeiros e outros
falsos teremos uma contingncia.
EXEMPLO: Assinale quais das proposies abaixo so contingncias.
a) p q
b) p q
Soluo
a) p q uma contingncia, pois pode ser falsa ou verdadeira. Veja a tabela
verdade:

b) pq uma contingncia, pois pode ser falsa ou verdadeira. Veja a tabela

verdade:

Complete a Tabela Verdade para (P ~P) V (Q ^ ~Q)

P
V
V
F
F

Q
V
F
V
F

~P
F
F
V
V

~Q
F
V
F
V

P ~P
F
F
V
V

Q ^ ~Q
F
F
F
F

Contingncia
(P ~P) V (Q ^ ~Q)
F
F
V
V

Exerccios Resolvidos:
1) A proposio Na eleio para a prefeitura um candidato A ser eleito ou no
ser eleito uma contingncia, uma tautologia ou contradio?
Tautologia pois a proposio obvia , 100% verdadeira.

13

Lgica Matemtica Computacional

Prof FERNANDO BICUDO SALOMAO

2) Complete a Tabela Verdade para (P V Q) P Contingncia

P
V
V
F
F

Q
V
F
V
F

PVQ
V
V
V
F

(P V Q) P
V
V
F
V

3) Sendo VAL(p): V e VAL(q): F, determine:

p^q
F
pq
F
~(p V q) F
~(p q) V
Equivalncia lgica
Duas molculas so equivalentes se elas possuem as mesmas tabelas verdade.
Para verificar se duas proposies so equivalentes basta calcular a tabela verdade de
cada uma, se as tabelas forem iguais elas so equivalentes.
Exerccios Resolvidos:
1) Assinale se as proposies abaixo so equivalentes.
a) (pq) equivalente a (p q)
b) (pq) equivalente a (p q)
c) (pq) equivalente a (pq)
d) (pq) equivalente a (q p)
Soluo
a) (pq) equivalente a (p q). Veja que as tabelas-verdade so iguais.

b) (pq) equivalente a (p q). Veja que as tabelas-verdade so iguais.

14

Lgica Matemtica Computacional

Prof FERNANDO BICUDO SALOMAO

c) (pq) equivalente a (pq). Veja que as tabelas-verdade so iguais.

d) (pq) equivalente a (q p). Veja que as tabelas-verdade so iguais.

2) Demonstre que P Q ~Q ~P
P
V
V
F
F

Q
V
F
V
F

PQ
V
F
V
V

~P
F
F
V
V

~Q
F
V
F
V

~Q ~P
V
F
V
V

c.q.d. ou q.e.d
MODUS TOLEN
Se rodrigo mentiu ento rodrigo culpado equivalente a Se rodrigo no
culpado ento rodrigo no mentiu.
Se beber no dirija equivalente a se dirigir no beba.
Equivalncias mais comuns, Memorizando:
Proposio
pq
pq
pq
pq
pq

Equivalente
~q ~p
p suficiente q
q necessrio p
p necessrio e suficiente para q
~p V q

15

Lgica Matemtica Computacional

Prof FERNANDO BICUDO SALOMAO

3) Um economista deu a seguinte declarao em uma entrevista: "Se os juros

bancrios so altos, ento a inflao baixa". Uma proposio logicamente
equivalente do economista :
a) se a inflao no baixa, ento os juros bancrios no so altos.
b) se a inflao alta, ento os juros bancrios so altos.
c) se os juros bancrios no so altos, ento a inflao no baixa.
d) os juros bancrios so baixos e a inflao baixa.e) ou os juros bancrios, ou a
inflao baixa.
4) Se Rodrigo mentiu, ento ele culpado. Logo:
a) Se Rodrigo no culpado, ento ele no mentiu.
b) Rodrigo culpado;
c) Se Rodrigo no mentiu, ento ele no culpado;
d) Rodrigo mentiu;
e) Se Rodrigo culpado, ento ele mentiu.
5) Dada a proposio: Se Carla solteira, ento Maria estudante. Uma
proposio equivalente :
a) Carla solteira e Maria estudante;
b)Se Maria estudante, ento Carla solteira;
c)Se Maria no estudante, ento Carla no solteira;
d)Maria estudante se, e somente se, Carla solteira;
e)Se Carla solteira, ento Maria no estudante.
6) Uma sentena logicamente equivalente a Se Pedro economista, ento Lusa
solteira :
a) Pedro economista ou Lusa solteira.
b) Pedro economista ou Lusa no solteira.
c) Se Lusa solteira, Pedro economista.
d) Se Pedro no economista, ento Lusa no solteira.
e) Se Lusa no solteira, ento Pedro no economista.
7) Se o gato pardo, ento a lua cheia. Logo:
a) Se o gato no pardo, ento a lua no cheia.
b) Se a lua cheia, ento o gato pardo.
c) Se a lua no cheia, ento o gato no pardo.
d) Se o gato pardo, ento a lua no cheia.
e) O gato pardo e a lua no cheia.
8) Se chove ento faz frio. Assim sendo:
a) Chover condio necessria para fazer frio.
b) Fazer frio condio suficiente para chover.
c) Chover condio necessria e suficiente para fazer frio.
d) Chover condio suficiente para fazer frio.
e) Fazer frio condio necessria e suficiente para chover.

16

Lgica Matemtica Computacional

Prof FERNANDO BICUDO SALOMAO

9) Se Marcos no estuda, Joo no passeia. Logo:

a) Marcos estudar concluso necessria para Joo no passear;
b) Marcos estudar condio suficiente para Joo passear;
c) Marcos no estudar condio necessria para Joo no passear;
d) Marcos no estudar condio suficiente para Joo passear;
e) Marcos estudar condio necessria para Joo passear.
10) O rei ir caa condio necessria para o duque sair do castelo, e condio
suficiente para a duquesa ir ao jardim. Por outro lado, o conde encontrar a
princesa condio necessria e suficiente para o baro sorrir e condio
necessria para a duquesa ir ao jardim. O baro no sorriu. Logo:
a) A duquesa foi ao jardim ou o conde encontrou a princesa.
b) Se o duque no saiu do castelo, ento o conde encontrou a princesa.
c) O rei no foi caa e o conde no encontrou a princesa.
d) O rei foi caa e a duquesa no foi ao jardim
e) O duque saiu do castelo e o rei no foi caa.
(F) DuRe(F) , (F) ReDa(F) , (F) CB(F) , (F) DaC(F) , ~B (v)
11) Dizer que Ana alegre ou Beatriz feliz , do ponto de vista lgico, o mesmo
que dizer:
a) Se Ana no alegre, ento Beatriz feliz;
b) Se Beatriz feliz, ento Ana alegre;
c) Se Ana alegre, ento Beatriz feliz;
d) Se Ana alegre, ento Beatriz no feliz;
e) Se Ana no alegre, ento Beatriz no feliz.
12) Dizer que 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.

EQUIVALNCIAS IMPORTANTES:
a) (pq) equivalente a (qp)
b) (pq) equivalente a (qp)
c) (p q) equivalente a (q p)
d) (pq) equivalente a (pq)
e) (pq) equivalente a (q p)
f) (pq) equivalente a (p q)
g) (pq) equivalente a (p q)
h) (p) equivalente a p
i) ((p)) equivalente a (p)
j) (pq) equivalente a (p q)
l) (p q) equivalente a (p q)

TAUTOLOGIAS IMPORTANTES:
a) (p p)
b) (p p)
c) (p p)
c) (p) p
d) (pq) (pq)
e) (pq) (q p) (Contrapositiva)
f) (pq) (p q) (Morgan)
g) (pq) (p q) (Morgan)
h) (p) p
i) (pq) (p q)
j) (p q) (p q)

17

Lgica Matemtica Computacional

Prof FERNANDO BICUDO SALOMAO

Sabemos que duas proposies so equivalentes se e somente se elas possuem a mesma

tabela verdade. Sendo assim se relacionarmos duas proposies equivalentes atravs do
conectivo (bi-condicional) teremos uma tautologia.
Exerccios Propostos
1) Assinale quais das sentenas abaixo so proposies:
a) O Professor Joselias bonito.
b) O Brasil um Pas da Amrica do Sul.
c) A Receita Federal pertence ao Poder Judicirio.
d) Que belo dia!
e) Boa sorte!
f) Joselias um bom professor?
g) Que horas so?
h) O jogo terminou empatado?
i) Faa seu trabalho corretamente.
j) Estude e limpe o quarto.
l) Esta frase falsa
m) 2 + 3 > 5
n) x + y > 5
o) A terra um planeta.
p) x um planeta.
2) (FGV) A proposio (p q) (p q) representa um:
a. Contradio
b. Contingncia
c. Tautologia
d. Paradoxo
e. N.R.A
3) (FGV) A proposio (p q) (p q) representa um:
a. Contradio
b. Contingncia
c. Tautologia
d. Paradoxo
e. N.R.A
4) A proposio (p q) (p q) representa um:
a. Contradio
b. Contingncia
c. Tautologia
d. Paradoxo
e. N.R.A
5) A proposio (p q) (q p) representa um:
a. Contradio
b. Contingncia
c. Tautologia
d. Paradoxo
e. N.R.A
18

Lgica Matemtica Computacional

Prof FERNANDO BICUDO SALOMAO

6) A proposio (p p) representa um:

a. Contradio
b. Contingncia
c. Tautologia
d. Paradoxo
e. N.R.A
7) A proposio (p p) representa um:
a. Contradio
b. Contingncia
c. Tautologia
d. Paradoxo
e. N.R.A
8) A proposio (p) p representa um:
a. Contradio
b. Contingncia
c. Tautologia
d. Paradoxo
e. N.R.A
9) A proposio ( (p)) p representa um:
a. Contradio
b. Contingncia
c. Tautologia
d. Paradoxo
10) (FGV) Quando se afirma que P Q (P implica Q) ento:
a. Q condio suficiente para P.
b. P condio necessria para Q.
c. Q no condio necessria para P
d. P condio suficiente para Q.
e. P no condio suficiente nem necessria para Q.
11) Uma sentena lgica equivalente a Se Pedro economista, ento Luisa
solteira. :
a) Pedro economista ou Luisa solteira.
b) Pedro economista ou Luisa no solteira.
c) Se Luisa solteira, Pedro economista.
d) Se Pedro no economista, ento Luisa no solteira.
e) Se Luisa no solteira, ento Pedro no economista.
12) Dizer que 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

19

Lgica Matemtica Computacional

Prof FERNANDO BICUDO SALOMAO

13) 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
14) A negao da afirmao condicional se estiver chovendo, eu levo o guardachuva
:
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
15) Das proposies abaixo, a nica que logicamente equivalente a (~p~q)
a) ~(p q)
b) (~p q)
c) (p q)
d) (p ~q)
e) (~p q)

20