1

CURSO DE RACIOCNIO LGICO MATEMTICO

MDULO 1: Introduo Lgica
Este mdulo tratar dos primeiros conceitos, imprescindveis ao entendimento da
matria. Falaremos sobre proposies, valores lgicos, conectivos, tabelas-verdade,
tautologia, contradio, equivalncia entre proposies, validade dos argumentos, entre
outros.
Conceitos Iniciais do Raciocnio Lgico
O conceito mais elementar no estudo da lgica o de Proposio. Trata-se de
uma sentena algo que ser declarado por meio de palavras ou de smbolos e cujo
contedo poder ser considerado verdadeiro ou falso. Ento, se afirmarmos a Terra
maior que a Lua, estaremos diante de uma proposio, cujo valor lgico
verdadeiro.
Quando falarmos em valor lgico (VL), estamos nos referindo a um dos dois
possveis juzos que podemos atribuir a uma proposio: verdadeiro (V) ou falso (F). E
se algum disser: Feliz Ano Novo!, ser que isso uma proposio verdadeira ou
falsa? Nenhuma das duas, pois no se trata de uma sentena para a qual se possa
atribuir um valor lgico.
Conclumos que:

sentenas exclamativas: Socorro! ; Feliz aniversrio!

sentenas interrogativas: Qual o seu nome? ; Ser que vai chover?

sentenas imperativas: Estude mais. ; Feche a porta.

... no sero estudadas neste curso. Sero estudadas somente as sentenas

declarativas que podem ser reconhecidas como verdadeiras ou falsas. Geralmente,
as proposies so representadas por letras minsculas (p, q, r, s, etc).
So exemplos de proposies:
p: Lucas mdico.
q: 5 < 3
r: Ana foi ao cinema ontem noite.
Na linguagem do raciocnio lgico, ao afirmarmos que verdade que Lucas
mdico (proposio p acima), representaremos isso apenas com: VL(p)=V, ou seja, o
valor lgico de p verdadeiro. No caso da proposio q, que falsa, diremos
VL(q)=F.
H alguma proposio que pode, ao mesmo tempo, ser verdadeira e falsa? No!
Porque o Raciocnio Lgico est embasado em alguns princpios que devero ser
sempre obedecidos. So os seguintes:
Uma proposio verdadeira verdadeira; uma proposio falsa falsa. (Princpio da
Identidade);
Nenhuma proposio poder ser verdadeira e falsa ao mesmo tempo. (Princpio da
No- Contradio);
Uma proposio ou ser verdadeira, ou ser falsa: no h outra possibilidade.
(Princpio do Terceiro Excludo).

As proposies podem ser classificadas em simples ou compostas. Sero

proposies simples aquelas que vm sozinhas, desacompanhadas de outras
proposies.
Exemplos:

Todo homem mortal.

O novo papa alemo.

No entanto, se duas (ou mais) proposies vm conectadas entre si, formando

uma s sentena, estamos diante de uma proposio composta.
Exemplos: Carlos mdico e Antnio dentista.
Soraya vai ao cinema ou Roberta vai ao circo.
Ou Josias baiano, ou paulista.
Se chover amanh de manh, ento no irei praia.
Comprarei uma manso se e somente se eu ganhar na loteria.
Nas sentenas acima esto destacados os vrios tipos de conectivos
chamados de conectivos lgicos que podem estar presentes em uma proposio
composta. Para dizer que uma proposio composta verdadeira ou falsa depende de
duas coisas:
1) do valor lgico das proposies componentes;
2) do tipo de conectivo que as une.
Observao: Por meio dos conectivos ligamos proposies simples e formamos as
proposies compostas.

Conectivo e: (conjuno)
Proposies compostas em que est presente o conectivo e so ditas
conjunes. Simbolicamente, esse conectivo pode ser representado por ^ . Ento,
se temos a sentena:
Marcos mdico e Maria estudante, poderemos represent-la apenas por:
onde: p = Marcos mdico e q = Maria estudante.
O valor lgico de uma proposio conjuntiva descoberto da seguinte maneira:
uma conjuno s ser verdadeira, se ambas as proposies componentes forem
tambm verdadeiras. Ento, na sentena Marcos mdico e Maria estudante, s
podemos concluir que essa proposio composta verdadeira se for verdade, ao
mesmo tempo, que Marcos mdico e que Maria estudante.
Pensando pelo caminho inverso, temos que basta que uma das proposies
componentes seja falsa, e a conjuno ser toda ela falsa. Certamente o resultado
falso tambm ocorre quando ambas as proposies componentes forem falsas. Essas
concluses podem ser resumidas em uma tabela (tabela-verdade). Sejam as
premissas:
p = Marcos mdico e q = Maria estudante.
Se considerarmos que ambas so verdadeiras, a conjuno formada por elas
(Marcos mdico e Maria estudante) ser tambm verdadeira. Teremos:

Se for verdade apenas que Marcos mdico, mas falso que Maria estudante,
teremos:

Por outro lado, se for verdadeiro que Maria estudante, e falso que Marcos
mdico, teremos:

Enfim, se ambas as sentenas simples forem falsas, teremos que:

As quatro situaes exprimem todas as possibilidades para uma conjuno.

Veremos a seguir, a Tabela-verdade que representa uma conjuno, ou seja, a tabelaverdade para uma proposio composta com a presena do conectivo e.

preciso que a informao da terceira coluna fique em nossa memria: uma

conjuno s ser verdadeira, quando ambas as partes que a compem tambm
forem verdadeiras. E falsa nos demais casos.
Uma maneira de assimilar bem essa informao seria pensarmos nas sentenas
simples como promessas de um pai a um filho: eu te darei uma bola e te darei uma
bicicleta. Ora, pergunte a qualquer criana! Ela vai entender que a promessa para os
dois presentes. Caso o pai no d nenhum presente, ou d apenas um deles, a
promessa no ter sido cumprida. Ser, portanto, falsa! Entretanto, a promessa ser
verdadeira se as duas partes forem tambm verdadeiras! Na hora de formar uma
tabela-verdade para duas proposies componentes (p e q), devemos saber que a
tabela ter cinco linhas. Comeamos, ento, fazendo a seguinte estrutura:

A coluna da primeira proposio ter a seguinte disposio: dois vs seguidos

de dois efes. Assim:

Enquanto a variao das letras (V e F) para a premissa p ocorre de duas em

duas linhas, para a premissa q diferente: vs e efes se alternando a cada linha,
comeando com um V. Assim:

Esta estrutura inicial sempre assim, para tabelas-verdade de duas

proposies p e q. A terceira coluna depender do conectivo que as une, e que est
sendo analisado. No caso do conectivo e, ou seja, no caso da conjuno, j
aprendemos a completar a tabela verdade:

Se as proposies p e q forem representadas como conjuntos, por meio de um

diagrama, a conjuno p e q corresponde interseo do conjunto p com o conjunto
q. Assim:

Conectivo ou: (disjuno)

Recebe o nome de disjuno toda proposio composta em que as partes
estejam ligadas pelo conectivo ou. Simbolicamente, representamos esse conectivo por

Portanto, se temos a sentena: Marcos mdico ou Maria estudante, em que

p = Marcos mdico e q = Maria estudante. Ento, representaremos por:

Para formarmos uma tabela-verdade para uma proposio disjuntiva basta nos
lembrarmos da tal promessa do pai para seu filho. Vejamos: eu te darei uma bola ou te
darei uma bicicleta. Nesse caso, a criana j sabe que a promessa por apenas um
dos presentes: Bola ou bicicleta. Ganhando de presente apenas um deles, a promessa
do pai j valeu. verdadeira. E se o pai resolver dar os dois presentes? Pense na cara
do menino! Feliz ou triste? Felicssimo! A promessa foi mais do que cumprida. S
haver um caso, todavia, em que a promessa no se cumprir: se o pai esquecer o
presente, e no der nem a bola e nem a bicicleta. Ser falsa toda a disjuno.
Conclumos: uma disjuno ser falsa quando as duas partes que a
compem forem ambas falsas! E nos demais casos, a disjuno ser verdadeira!
Vejamos as possveis situaes:

Ou:

Ou:

Ou, finalmente:

Resumindo:

A promessa inteira s falsa se as duas partes forem descumpridas!

Observem que as duas primeiras colunas da tabela-verdade as colunas do p e
do q so exatamente iguais s da tabela-verdade da conjuno (p e q). Muda apenas
a terceira coluna, que agora representa um ou, a disjuno.
Se as proposies p e q forem representadas como conjuntos por meio de um
diagrama, a disjuno "p ou q" corresponder unio do conjunto p com o conjunto q,

Conectivo ou ... ou...: (disjuno exclusiva)

H um terceiro tipo de proposio composta, bem parecido com a disjuno que
acabamos que ver, mas com uma pequena diferena. Comparemos as duas sentenas
abaixo:

Te darei uma bola ou te darei uma bicicleta

ou te darei uma bola ou te darei uma bicicleta
A diferena sutil, mas relevante. Na primeira sentena v-se facilmente que se
a primeira parte for verdade (te darei uma bola), isso no impedir que a segunda parte
(te darei uma bicicleta) tambm o seja. J na segunda proposio, se for verdade que
te darei uma bola, ento teremos que no ser dada a bicicleta. E vice-versa, ou seja,
se for verdade que te darei uma bicicleta, ento teremos que no ser dada a bola.
Ou

seja,

segunda

estrutura

apresenta

duas

situaes mutuamente

excludentes, de forma que apenas uma delas pode ser verdadeira, e a outra ser
necessariamente falsa. Ambas nunca podero ser, ao mesmo tempo, verdadeiras;
ambas nunca podero ser, ao mesmo tempo, falsas.
Na segunda sentena acima, este tipo de construo uma disjuno exclusiva,
pela presena dos dois conectivos ou, que determina que uma sentena
necessariamente verdadeira, e a outra, necessariamente falsa. O nome completo dessa
proposio composta disjuno exclusiva.
Como fica a tabela-verdade de uma disjuno exclusiva? Esse tipo de
proposio s ser verdadeira se obedecer mtua excluso das sentenas. Ou seja,
s ser verdadeira se houver uma das sentenas verdadeira e a outra falsa. Nos
demais casos, a disjuno exclusiva ser falsa. O smbolo que designa a disjuno
exclusiva o v. E a tabela-verdade ser a seguinte:

Conectivo Se ... ento...: (condicional)

Observem os exemplos:
Se Pedro mdico, ento Maria dentista.
Se amanhecer chovendo, ento no irei praia.

10

Para facilitar o entendimento desse tipo de proposio analisaremos a seguinte

sentena.
Se nasci em Santo Antnio de Pdua, ento sou fluminense.
Cada um pode adaptar essa sentena a sua realidade: substituindo Santo
Antnio de Pdua pelo nome da sua cidade natal, e fluminense pelo nome que se d a
quem nasce no seu Estado.
Por exemplo:
Se nasci em Belm, ento sou paraense.
Se nasci em Fortaleza, ento sou cearense.
S h uma maneira de essa sentena ser falsa: se a primeira parte for
verdadeira, e a segunda for falsa. Ou seja, se verdade que eu nasci em Santo Antnio
de Pdua, ento necessariamente verdade que sou fluminense.
Se algum disser que verdadeiro que eu nasci em Santo Antnio de Pdua, e
que falso que eu sou fluminense, ento esse conjunto estar falso. Observem que o
fato de eu ter nascido em Santo Antnio de Pdua condio suficiente (basta isso!)
para que se torne um resultado necessrio que eu seja fluminense. Foquem nessas
palavras: suficiente e necessrio.
Uma condio suficiente gera um resultado necessrio.
Observem, pois, que se algum disser que: Pedro ser rico condio suficiente
para Maria ser mdica, ento ns podemos reescrever essa sentena, usando o
formato da condicional.
Pedro ser rico condio suficiente para Maria ser mdica igual a: Se Pedro for
rico, ento Maria mdica
Por outro lado, se algum disser que: Maria ser mdica condio necessria
para que Pedro seja rico, tambm poderemos traduzir isso de outra forma: Maria ser

11

mdica condio necessria para que Pedro seja rico igual a: Se Pedro for rico,
ento Maria mdica.

No podemos nos esquecer disso:

Uma condio suficiente gera um resultado necessrio.

Como ficar a tabela-verdade, no caso da proposio condicional?
Devemos pensar pela via de exceo: s ser falsa esta estrutura quando
houver a condio suficiente, mas o resultado necessrio no se confirmar. Ou seja,
quando a primeira parte for verdadeira, e a segunda for falsa. Nos demais casos, a
condicional ser verdadeira.
A sentena condicional Se p, ento q ser representada por uma seta: p q.
Na proposio Se p, ento q, a proposio p denominada de antecedente, enquanto
a proposio q dita consequente.

As seguintes expresses podem se empregar como equivalentes de "Se p,

ento q":
Se A, B. ................................................A condio suficiente para B.
B, se A. ................................................B condio necessria para A.
Quando A, B. ......................................A somente se B.
A implica B. .........................................Todo A B.
Da, a proposio condicional: Se chove, ento faz frio poder tambm ser
escrita das seguintes maneiras:
Se chove, faz frio.
Faz frio, se chove.
Quando chove, faz frio.
Chover implica fazer frio.

12

Chover condio suficiente para fazer frio.

Fazer frio condio necessria para chover.
Chove somente se faz frio.
Toda vez que chove, faz frio.
Se as proposies p e q forem representadas como conjuntos, por meio de um
diagrama, a proposio condicional "Se p ento q" corresponder incluso do
conjunto p no conjunto q (p est contido em q):

Conectivo ... se e somente se ...: (bicondicional)

A estrutura dita bicondicional apresenta o conectivo se e somente se,
separando as duas sentenas simples. Trata-se de uma proposio de fcil
entendimento. Se algum disser:
Alexandre fica alegre se e somente se Roberta sorri.
o mesmo que fazer a conjuno entre as duas proposies condicionais:
Alexandre fica alegre somente se Roberta sorri e Roberta sorri somente se
Alexandre fica alegre.
Ou ainda, de outra forma:
Se Alexandre fica alegre, ento Roberta sorri e se Roberta sorri, ento
Alexandre fica alegre.
Sabendo que a bicondicional uma conjuno entre duas condicionais, ento a
bicondicional ser falsa somente quando os valores lgicos das duas proposies que
a compem forem diferentes. Em suma: haver duas situaes em que a bicondicional
ser verdadeira: quando antecedente e consequente forem ambos verdadeiros, ou

13

quando forem ambos falsos. Nos demais casos, a bicondicional ser falsa. Sabendo
que a frase p se e somente se q representada por pq, ento a tabela-verdade
ser a seguinte:

Se as proposies p e q forem representadas como conjuntos, por meio de um

diagrama, a proposio bicondicional "p se e somente se q" corresponder
igualdade dos conjuntos p e q.

Observao: Uma proposio bicondicional "p se e somente se q" equivale

proposio composta: se p ento q e se q ento p, ou seja, p q a mesma
coisa que (p q) e (q p)
So tambm equivalentes bicondicional "p se e somente se q" as seguintes
expresses:

A se e s se B.

Se A ento B e se B ento A.

A somente se B e B somente se A.

A condio suficiente para B e B condio suficiente para A.

B condio necessria para A e A condio necessria para B.

Todo A B e todo B A.

Todo A B e reciprocamente.

14

Observao:Via de regra, em questes de prova, s se v mesmo a bicondicional no

seu formato tradicional: p se e somente se q.
Partcula no: (negao)
Negar uma proposio algo de suma importncia. No caso de uma proposio
simples, basta pr a palavra no antes da sentena, e j a tornamos uma negativa.
Exemplos:
Joo mdico. Negativa: Joo no mdico.
Maria estudante. Negativa: Maria no estudante.
Observem que, caso a sentena original j seja uma negativa (j traga a palavra
no), ento para negar a negativa, teremos que excluir a palavra no. Assim:
Joo no mdico. Negativa: Joo mdico.
Maria no estudante. Negativa: Maria estudante.
O smbolo que representa a negao uma pequena cantoneira () ou um sinal
de til (~), antecedendo a frase. A tabela-verdade da negao mais simplificada que as
demais.

Podem ser empregadas, tambm, como equivalentes de "no A", as seguintes

expresses:

No verdade que A.

falso que A.

15

Da as seguintes frases so equivalentes:

Lgica no fcil.

No verdade que Lgica fcil.

falso que Lgica fcil.

Negativa de uma Proposio Composta:
Negao de uma Proposio Conjuntiva: ~(p e q)
Para negarmos uma proposio no formato de conjuno (p e q), faremos o
seguinte:
1) Negaremos a primeira (~p);
2) Negaremos a segunda (~q);
3) Trocaremos e por ou.
Exemplo:
No verdade que Joo mdico e Pedro dentista. Se for pedido que
encontremos, entre as opes de resposta, aquela frase que seja logicamente
equivalente a esta citada, analisemos: o comeo da sentena no verdade que....
Dizer que no verdade que... o mesmo que negar o que vem em seguida. E o que
vem em seguida? Uma estrutura de conjuno! Como negaremos que Joo mdico
e Pedro dentista? Da forma explicada acima:
1) Nega-se a primeira parte: (~p): Joo no mdico
2) Nega-se a segunda parte: (~q): Pedro no dentista
3) Troca-se e por ou, e o resultado final ser o seguinte: Joo no mdico ou Pedro
no dentista.
Traduzindo para a linguagem da lgica, diremos que:

Podemos chegar a essa concluso por meio da comparao entre as tabelasverdade das duas proposies acima. Primeiro, trabalhemos a tabela-verdade do
~(p ^ q).

16

Tudo comea com o formato bsico j citado:

Vamos construir a prxima coluna, que a da conjuno (e). Assim:

Por fim, construiremos a coluna que a negativa desta terceira. J sabemos que
com a negativa, o que verdadeiro vira falso, e o que falso vira verdadeiro. Logo,
teremos:

Guardemos essa ltima coluna (em destaque). Ela representa o resultado lgico
da estrutura ~(p ^ q). Agora, vamos construir a tabela-verdade da estrutura ~ p v ~q,
e comparar os resultados. No incio, teremos:

Faremos agora as duas colunas das duas negativas, de p e de q. Para isso,

conforme j sabemos, quem for V virar F, e vice-versa. Teremos:

17

Agora, devemos observar a coluna final: ~p v ~q. Devemos nos lembrar de como
funciona uma disjuno. A disjuno a estrutura do ou. Para ser verdadeira, basta
que uma das sentenas seja verdadeira. Assim sendo, teremos:

Finalmente, vamos comparar a coluna resultado (em destaque) desta estrutura (~p v
~q) com aquela que estava guardada da estrutura ~(p ^ q). Teremos:

Resultados idnticos! Do ponto de vista lgico, para negar p e q, negaremos p,

negaremos q, e trocaremos e por ou.
Negao de uma Proposio Disjuntiva: ~(p ou q)
Para negarmos uma proposio no formato de disjuno (p ou q), faremos o
seguinte:
1) Negaremos a primeira (~p);
2) Negaremos a segunda (~q);
3) Trocaremos ou por e.
Se uma questo de prova disser: Marque a afirmativa que logicamente
equivalente seguinte frase:
No verdade que Pedro dentista ou Paulo engenheiro.
Pensemos: a frase comea com um no verdade que..., ou seja, o que se segue
est sendo negado! E o que se segue uma estrutura em forma de disjuno. Da,
obedecendo aos passos descritos acima, faremos:
1) Nega-se a primeira parte: (~p): Pedro no dentista
2) Nega-se a segunda parte: (~q): Paulo no engenheiro
3) Troca-se ou por e, e o resultado final ser o seguinte:
Pedro no dentista e Paulo no engenheiro.
Na linguagem apropriada, concluiremos que:

18

Fazendo a comprovao, pelas tabelas-verdade, desta concluso anterior.

Observando a primeira parte ~(p v q), teremos inicialmente:

Em seguida, construindo a coluna da disjuno ( p ou q ), teremos:

Finalmente, fazendo a negao da coluna da disjuno, teremos:

Devemos guardar essa coluna resultado para o final. E vamos nos dedicar
segunda parte da anlise: a estrutura
Teremos o seguinte:

Construindo se as colunas das negaes de p e de q, teremos:

Finalmente, fazendo a conjuno

, teremos o seguinte resultado:

19

Concluindo, comparando a coluna resultado (em destaque) desta estrutura

com aquela que estava guardada da estrutura
. Teremos:

Resultados idnticos! Do ponto de vista lgico, para negar p ou q, negaremos

p, negaremos q, e trocaremos ou por e.
Negao de uma Proposio Condicional: ~(p q)
Como que se nega uma condicional?
a) Mantm-se a primeira parte; e
b) Nega-se a segunda.
Por exemplo, como seria a negativa de Se chover, ento levarei o guardachuva?
a) Mantendo a primeira parte: Chove e
b) Negando a segunda parte: eu no levo o guarda-chuva.
Resposta : Chove e eu no levo o guarda-chuva.
Utilizando a linguagem lgica, teremos que: ~(p q) = p ^ ~q
A afirmao No verdade que, se Pedro est em Roma, ento Paulo est em
Paris logicamente equivalente afirmao:
a) verdade que Pedro est em Roma e Paulo est em Paris.
b) No verdade que Pedro est em Roma ou Paulo no est em Paris.
c) No verdade que Pedro no est em Roma ou Paulo no est em Paris.
d) No verdade que Pedro no est em Roma ou Paulo est em Paris.
e) verdade que Pedro est em Roma ou Paulo est em Paris.
A frase em anlise comea com no verdade que....

20

Logo, estamos lidando com uma negao! E o que se segue a esta negao? Uma
proposio condicional, ou seja, uma sentena do tipo Se p, ento q.
Devemos recordar aquilo que acabamos de aprender: para negar uma
condicional - manter a primeira parte e negar a segunda. Teremos:
1) Mantendo a primeira parte: Pedro est em Roma e
2) Negando a segunda parte: Paulo no est em Paris.
Ficou assim: Pedro est em Roma e Paulo no est em Paris.
Procuraremos entre as opes de resposta, alguma que diga justamente que:
verdade que Pedro est em Roma e Paulo no est em Paris. No encontramos! S
h duas opes de resposta que comeam com verdade que..., que so as letras a
e e. Esto, pois, descartadas essas duas opes. Restam as letras b, c e d. Todas
essas comeam com No verdade que.... Ou seja, comeam com uma negao!
Fica claro perceber que o que precisamos fazer agora encontrar uma proposio cuja
negativa resulte exatamente na frase Pedro est em Roma e Paulo no est em
Paris, a qual havamos chegado. Ou seja, a proposio Pedro est em Roma e Paulo
no est em Paris ser o resultado de uma negao! Aprendemos que negando uma
disjuno (ou), chegaremos a uma conjuno (e), e vice-versa. Assim:
~(p ^ q) = ~p v ~q e ~(p v q) = ~p ^ ~q
Estamos com o segundo caso, em que o resultado uma conjuno (e):
~(p v q) = ~p ^ ~q
Observem que Pedro est em Roma e Paulo no est em Paris corresponde
ao resultado ~p ^ ~q, que a segunda parte da igualdade. Estamos procura da
primeira parte, que ~(p v q).
Logo, teremos que:

o til (~) corresponde a: No verdade que...

o p corresponde a: Pedro no est em Roma;

o v corresponde a ou;

o q corresponde a: Paulo est em Paris.

21

Chegamos a:
No verdade que Pedro no est em Roma ou Paulo est em Paris. (Letra d)
Vejamos o caminho que foi percorrido at chegarmos resposta:
1) Fizemos a negao de uma proposio condicional (se...ento). O resultado deste
primeiro passo sempre uma conjuno (e).
2) Achamos a proposio equivalente conjuno encontrada no primeiro passo.
Na sequncia, apresentaremos duas tabelas que trazem um resumo das
relaes comentadas.

Negativas das proposies compostas:

Exerccios resolvidos
1-Pedro, aps visitar uma aldeia distante, afirmou: No verdade que todos os
aldees daquela aldeia no dormem a sesta. A condio necessria e suficiente
para que a afirmao de Pedro seja verdadeira que seja verdadeira a seguinte
proposio:
a) No mximo um aldeo daquela aldeia no dorme a sesta.

22

b) Todos os aldees daquela aldeia dormem a sesta.

c) Pelo menos um aldeo daquela aldeia dorme a sesta.
d) Nenhum aldeo daquela aldeia no dorme a sesta.
e) Nenhum aldeo daquela aldeia dorme a sesta.
Resposta: Percebemos que h uma proposio simples no enunciado, e que precisa
ser analisada. Qual essa proposio? A seguinte: No verdade que todos os
aldees daquela aldeia no dormem a sesta. Se observarmos bem, veremos que esta
sentena contm duas negaes: No verdade que todos os aldees daquela aldeia
no dormem a sesta. Vamos trocar essas expresses negativas da frase acima por
afirmaes correspondentes. Podemos, ento, trocar no verdade por mentira.
Trocaremos tambm no dormem a sesta por ficam acordados. Teremos: mentira
que todos os aldees daquela aldeia ficam acordados. Agora vamos interpretar a
frase acima: ora, se mentira que todos os aldees ficam acordados, significa que pelo
menos um deles dorme! (letra C).
Observao: A palavra-chave da frase em questo TODOS. esta palavra que est
sendo negada! E, conforme vimos, a negao de TODOS PELO MENOS UM
(=ALGUM).
Podemos at criar a seguinte tabela:

2- 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.

23

e) se Pedro no pobre, ento Alberto no alto.

Resposta: Trata-se da negao (no verdade que...) de uma conjuno (e). Ora,
sabemos que na hora de negar uma conjuno, teremos: ~(p ^ q) = ~p v ~q. Negando
a primeira parte, teremos: Pedro no pobre. Negando a segunda parte: Alberto no
alto. Finalmente, trocando o E por um OU, concluiremos que:
No verdade que Pedro pobre e Alberto alto igual a:
Pedro no pobre ou Alberto no alto. (letra A)
3-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
b) nenhum economista mdico
c) nenhum mdico economista
d) pelo menos um mdico no economista
e) todos os no mdicos so no economistas
Resposta: A palavra TODOS negada por PELO MENOS UM (=ALGUM). Da, se o
enunciado diz que FALSA a sentena Todos os economistas so mdicos, o que ela
quer na verdade que faamos a NEGAO desta frase! Se mentira que todos os
economistas so mdicos, fcil concluirmos que pelo menos um economista no
mdico! (letra A)
4-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

24

Resposta: O que a questo pede a negao de uma condicional. J aprendemos

como se faz isso: mantm-se a primeira parte E nega-se a segunda! Concluiremos o
seguinte: "se estiver chovendo, eu levo o guarda-chuva" igual a: est chovendo
E eu no levo o guarda-chuva (letra E)
5-Se Marcos no estuda, Joo no passeia. Logo:
a) Marcos estudar condio 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.
Resposta: A estrutura condicional pode ser traduzida tambm com uso das expresses
condio suficiente e condio necessria. Usando essa nomenclatura, teremos
que:

a primeira parte da condicional uma condio suficiente; e

a segunda parte da condicional uma condio necessria.

Tomando a sentena Se Marcos no estuda, ento Joo no passeia, teremos que:

Marcos no estudar condio suficiente para Joo no passear ou

Joo no passear condio necessria Marcos no estudar.

Ocorre que nenhum desses dois resultados possveis acima consta entre as opes de
resposta! Resta-nos uma sada: teremos que encontrar uma condicional equivalente
esta da questo. Basta considerar p q = ~q ~p.
Teremos:
Se Marcos no estuda, ento Joo no passeia = Se Joo passeia, ento Marcos
estuda. Fizemos as duas negativas e trocamos a ordem. Analisando esta condicional
equivalente, concluiremos que:

Joo passear condio suficiente para Marcos estudar ou

25

Marcos estudar condio necessria para Joo passear. (letra E)

6-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
Resposta: Teremos que usar as duas equivalncias da condicional para resolver essa
questo. O enunciado nos trouxe uma disjuno.Temos que...
p q = ~q ~p
p q = ~p ou q
... a segunda linha da equivalncia da condicional resulta numa disjuno! Podemos
tentar comear a desenvolver nosso raciocnio por a. Invertendo a ordem desta
segunda linha da tabela acima, conclumos que: ~p ou q = p q. Chamaremos Andr
artista ou Bernardo no engenheiro de ~p ou q. Assim:

Andr artista = ~p e

Bernardo no engenheiro = q.
Encontrando agora a estrutura equivalente p q, teremos:
Se Andr no artista, ento Bernardo no engenheiro.
Ocorre que esta sentena acima no figura entre as opes de resposta. Isso nos leva
a concluir que teremos ainda que mexer com essa condicional, encontrando uma
condicional equivalente a ela. Usaremos a equivalncia : p q = ~q~p. Teremos,
pois que:

Se Andr no artista, ento Bernardo no engenheiro o mesmo que:

Se Bernardo engenheiro, ento Andr artista (letra D)

26

7-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
Resposta: Teremos que transformar uma disjuno em uma condicional. Poderemos
usar a seguinte equivalncia: ~p ou q = p q. Teremos, pois que:

Pedro no pedreiro = ~p

Paulo paulista = q
A condicional equivalente a esta disjuno ser a seguinte: Se Pedro pedreiro, ento
Paulo paulista. (letra A)
8- Uma sentena logicamente equivalente a 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.
Resposta: A questo nos trouxe uma condicional e pediu uma proposio equivalente.
Podemos testar as duas equivalncias da condicional que conhecemos.
Comecemos pela seguinte: p q = ~q ~p
Considerando que:

Pedro economista = p e

Lusa solteira = q

27

Sua condicional equivalente ser: Se Lusa no solteira, ento Pedro no

economista. (letra E)
Tivemos sorte de encontrar a resposta logo na primeira tentativa! Porm, se no
houvesse essa sentena entre as opes de resposta, teramos que tentar a segunda
equivalncia da condicional, a qual resulta em uma disjuno: p q = ~p ou q.
Se Pedro economista, ento Lusa solteira = Pedro no economista ou Lusa
solteira. Seria a segunda resposta possvel.
9- Assinale quais das sentenas abaixo so proposies.
a) O Professor Estevo simptico.
b) O Brasil um pas da Amrica do Sul.
c) Que belo dia !
d) Que horas so?
e) Faa seu trabalho com dedicao.
f) Limpe o quarto.
g) 2 + 3 > 4
h) A Terra um planeta.
Revisando: Chamamos de proposio ou sentena a todo conjunto de palavras ou
smbolos que exprimem um sentido completo. Uma proposio deve assumir o valor
falso ou verdadeiro. No sero consideradas proposies as seguintes expresses:

Exclamaes: Boa Sorte!

Interrogaes: O jogo terminou empatado?

Imperativas: Estude e limpe o quarto.

Paradoxos: Esta proposio falsa.

Respostas: So proposies ( a, b, g, h)

28

10- Sejam as proposies p e q, tal que:

p = Est calor
q = Est chovendo
Descrever as seguintes proposies abaixo:
a) p
b) pvq
c) p^q
d) pq
e) pq
Respostas:
a) p = No est calor
b) pvq = Est calor ou est chovendo.
c) p^q = Est calor e est chovendo.
d) pq = Se est calor, ento est chovendo.
e) pq = Est calor se e somente se est chovendo.
11- Seja p = Alexandre magro e q = Alexandre bonito. Represente cada
uma das seguintes afirmaes em funo de p e q.
a) Alexandre magro ou bonito.
b) Alexandre magro e bonito.
c) Se Alexandre magro, ento bonito.
d) Alexandre no magro, nem bonito.
Respostas:
a) Alexandre magro ou bonito = pvq
b) Alexandre magro e bonito= p^q
c) Se Alexandre magro, ento bonito = pq
d) Alexandre no magro, nem bonito = p^ q

29

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.
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- Se p e que so proposies, ento a proposio p^q quivalente a
a) (p q)
b) (pq)
c) (qp
d) (qp)
e) (pvq)

30

16- Uma proposio logicamente equivalente a se eu me chamo Andr, ento

passo no vestibular ,
a) se eu no me chamo Andr, ento eu no passo no vestibular.
b) se eu passo no vestibular, ento eu chamo Andr.
c) se eu no passo no vestibular, ento eu me chamo Andr.
d) se eu no passo no vestibular, ento no me chamo Andr.
e) eu passo no vestibular e no me chamo Andr.
17- A negao de se hoje chove ento fico em casa
a) hoje no chove e fico em casa.
b) hoje chove e no fico em casa.
c) hoje chove ou no fico em casa.
d) hoje no chove ou fico em casa.
e) se hoje chove ento fico em casa.
18- Das proposies abaixo, a nica que logicamente equivalente a (p^q)
a) (pvq)
b) (p ^ q)
c) (p v q)
d) (p^q)
e) (pvq)
19- Na tabela-verdade abaixo, p e q so proposies.
p
V
V
F
F

q
V
F
V
F

?
F
F
V
F

A proposio composta que substitui corretamente o ponto de interrogao

31

a) (p^q)
b) (p^q)
c) (p^q)
d) (p^q)
e) (pq)
20- Para que a proposio todos os homens so bons cozinheiros seja falsa,
necessrio que
a) todas as mulheres sejam cozinheiras.
b) algumas mulheres sejam boas cozinheiras.
c) nenhum homem seja bom cozinheiro.
d) todos os homens sejam maus cozinheiros.
e) pelo menos um homem seja mau cozinheiro.
Observaes: EQUIVALNCIAS IMPORTANTES
a) (pvq) equivalente a (qvp)
b) (p^q) equivalente a (q^p)
c) (pq) equivalente a (qp)
d) (pq) equivalente a (pvq)
e) (pq) equivalente a (qp)
f) ) (p^q) equivalente a (pvq)
g) (pvq) equivalente a (p^q)
h)( p) equivalente a p
i) ( (p) equivalente a (p)
j) (pq) equivalente a (p^q)
k) (pq) equivalente a (pq)
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 tautologia. Abaixo
fornecemos uma tabela das principais tautologias para os concursos pblicos.

32

TAUTOLOGIAS IMPORTANTES
a) (p v p)
b) (pp)
c) (pp)
d) (p) p
e) (pq) ( p v q)
f) (pq) (qp) ( contra-positiva)
g) (p ^ q) (p v q) (Morgan)
h) (p v q) (p^q) (Morgan)
i) ( p) p
j) (pq) (p ^ q)
k) (pq) (pq)
Revendo alguns conceitos
O estudo de algumas noes de lgica pode contribuir muito para a percepo
da relao existente entre a Matemtica, a linguagem e o pensamento.
Voc saberia dizer se so verdadeiras ou falsas as sentenas abaixo?
a) O Brasil banhado pelo Oceano Atlntico.
b) Que dia hoje?
c) Monteiro Lobato o autor do Pequeno Prncipe.
d) Faa exerccios fsicos.
e) Como voc simptico!
f) 3 + 4 9.
As sentenas a e f so verdadeiras (V). A sentena c falsa (F). As demais
sentenas , b, d e e, no podem ser classificadas como V ou F, pois no so sentenas
declarativas. Sentenas que podem ser classificadas como V ou F so chamadas de
proposies.

33

Obs.: Uma proposio uma sentena qual podemos atribuir apenas um dos valores
lgicos V ou F.
Ao fazermos a negao de uma proposio verdadeira, obtemos uma proposio
falsa. Da mesma forma, a negao de uma proposio falsa uma proposio
verdadeira.
Ex.: Proposio: 4 um nmero par. (V)
Negao:

4 no um nmero par. (F)

Ex.: Proposio: 8 o dobro de 5. (F)

Negao:

8 no o dobro de 5. (V)

Quando ligamos duas proposies utilizando os conectivos e e ou, por exemplo,

obtemos proposies compostas. Podemos atribuir valor lgico s proposies
compostas.
Ex.: O professor pede: Levantem-se as alunas que esto de culos e de calas
compridas.

Apenas La se levantou.

La est de culos. (V)

La est de calas compridas. (V)

La est de culos e de calas compridas. (V)

Quando ligamos duas sentenas verdadeiras pelo conectivo e, obtemos uma

sentena composta verdadeira.

34

Observe agora os exemplos em que pelo menos uma das sentenas que formam
a composta falsa.

Jacira est de culos. (V)

Jacira est de calas compridas. (F)

Jacira est de culos e de calas compridas. (F)

Paula est de culos. (F)

Paula est de calas compridas. (V)

Paula est de culos e de calas compridas. (F)

Marisa est de culos. (F)

Marisa est de calas compridas. (F)

Marisa est de culos e de calas compridas. (F)

Obs.: Uma sentena composta pelo conectivo e s verdadeira se todas as sentenas

que a compem so verdadeiras.
Se o professor pedir: Levantem-se as alunas que esto de calas compridas ou de
culos.

Jacira, Paula e La se levantaram. Por qu?

35

Jacira, porque est de culos.

Paula, porque est de calas compridas.

La, porque est de calas compridas e de culos.

Maria no se levantar porque no est de culos nem de

calas compridas.
Conclumos que:

Jacira est de culos ou de calas compridas. (V)

Paula est de culos ou de calas compridas. (V)

La est de culos ou de calas compridas. (V)

Maria est de culos ou de calas compridas. (F)

Obs.: Quando ligamos duas ou7 mais sentenas pelo conectivo ou, obtemos uma
sentena verdadeira se pelo menos uma das sentenas que a formam verdadeira.
No exemplo, o ou foi usado no sentido inclusivo, porm existem casos em que isso no
possvel. Ex.: tarde estarei em casa ou no trabalho. ( ou com sentido exclusivo)
Quantificadores
A

Observe que qualquer que seja o elemento do conjunto A, ele preto. No

entanto, nos conjuntos B,C e D existe pelo menos um elemento que no preto.
As expresses qualquer que seja e existe pelo menos um so chamadas de
quantificadores.
Notao: L-se: qualquer que seja.
L-se: existe pelo menos um.

36

O quantificador qualquer que seja, que tambm pode ser lido para todo, indica
que todos os elementos de um conjunto satisfazem determinada propriedade.
O quantificador existe indica que pelo menos um elemento do conjunto satisfaz
determinada propriedade.
A expresso (x + 5 = 9) no pode ser classificada como verdadeira ou falsa, pois
no conhecemos o valor de x. Entretanto, se a sentena vier precedida de um
quantificador, isso poder ser feito.
Ex.:
a) Para todo nmero natural temos x + 5 = 9. (F)
b) Existe um nmero natural tal que x + 5 = 9. (V)
Para negar uma sentena com o quantificador qualquer que seja (ou para
todo), basta afirmar que existe algum elemento que no satisfaa a propriedade
da sentena inicial.
Ex.:
a) Todo retngulo quadrado. (F)
b) Existe retngulo que no quadrado. (V)
Para negar uma sentena com o quantificador existe, basta afirmar que no
existe elemento que satisfaa a propriedade as sentena inicial.
Ex.:
a)Existe retngulo que quadrado. (V)
Sua negao no existe retngulo que quadrado (F) ou, ainda qualquer
retngulo no quadrado.(F)
b) Existe um nmero primo que par. (V)
Sua negao no existe nmero primo que par. (F) ou, ainda todo nmero primo
no par. (F)

37

21- Assinale as sentenas verdadeiras.

a) Todo nmero natural inteiro.
b) Todo nmero inteiro natural.
c) Existe nmero inteiro que natural.
d) Existe nmero mpar maior que 3 e menor que 5.
22- Escreva a negao de cada uma das sentenas.
a) Existem polgonos com menos de trs lados.
b) Todos os meses do ano tm 30 dias.
c) Todo nmero inteiro elevado ao quadrado sempre um nmero positivo.
d) Existe nmero inteiro que multiplicado por zero no d zero.
Respostas:
a) Todo polgono tem trs ou mais lados ou No existem polgonos com menos de
trs lados.
b) H meses do ano com nmero de dias diferentes de 30 ou Nem todos os meses
do ano tm 30 dias.
c) Existe nmero inteiro que elevado ao quadrado no um nmero positivo ou O
quadrado de um inteiro nem sempre positivo.
d) Todo inteiro multiplicado por zero d zero ou No existe nmero inteiro que
multiplicado por zero no d zero.

23- Admitindo verdadeiras as premissas:

O professor no erra.

Joo distrado.

Quem distrado erra.

As duas concluses simultaneamente verdadeiras so.

a) Joo no professor / Existe pelo menos um professor.

38

b) Joo professor / Todo professor distrado.

c) Joo professor / Nenhum professor distrado.
d) Joo no professor / Nenhum professor distrado.
e) Joo no professor / Todo professor distrado.
24- Considere verdadeiras as premissas:

O mdico no erra.

Mrio ciumento.

Quem ciumento erra.

As duas concluses simultaneamente verdadeiras so.

a) Mrio no mdico / Todo mdico ciumento.
b) Mrio mdico / Todo mdico ciumento.
c) Mrio mdico / Nenhum mdico ciumento.
c) Mrio no mdico / Existe pelo menos um mdico que ciumento.
e) Mrio no mdico / Nenhum mdico ciumento.
25- (USU RJ) Andr e Bruno fazem parte de um grupo de mentirosos
programados. Andr mente sempre na tera, quarta e quinta-feira, dizendo a
verdade nos demais dias da semana, enquanto Bruno mente sempre na sexta,
sbado e domingo, dizendo a verdade nos demais dias. Certo dia, enquanto
conversavam, afirmaram:
Andr: Eu mentirei amanh, assim como fiz ontem.
Bruno: Hoje no tera-feira.
O dilogo acima se deu
a) na segunda-feira.
b) na quarta-feira.
c) na quinta-feira.
d) na sexta-feira.
e) no sbado.
M mente

V diz a verdade

Dom 2
Andr V
V
Bruno M
V

3
M
V

4
M
V

5
M
V

6
V
M

Sb
V
M

39

26- em uma empresa com 90 funcionrios, 40 falam ingls, 49 falam espanhol e 17

falam as duas lnguas. Quantos funcionrios dessa empresa no falam ingls
nem espanhol?
Resposta:
40 17 = 23 falam apenas ingls.
49 17 = 32 falam apenas espanhol
23 + 17 + 32 = 72 falam pelo menos uma lngua
90 72 = 18 no falam ingls nem espanhol

27- Num grupo de 20 pessoas, 8 bebem caf e 13 bebem refrigerante. Quantas

pessoas bebem apenas caf?
28- Entre 200 leitores dos jornais A Tarde e A Noite, 120 leem A Tarde e 90 leem A
Noite. Quantos lem os dois jornais?

40

29- Numa pesquisa entre 180 entrevistados, 90 usam o produto A, 50 usam tanto
o produto A como o produto B e 20 no usam nem A nem B. Quantos usam o
produto B?
30- Numa classe existem 30 moas, 21 estudantes de nacionalidade brasileira, 13
rapazes estrangeiros e 4 moas brasileiras. Nessas condies, o nmero de
estudantes dessa classe
a) 43 b) 47 c) 51 d) 60 e) 68
31- Consultadas 500 pessoas sobre as emissoras de TV que habitualmente
assistem, obteve-se: 280 assistem ao canal A, 250 assistem ao canal B e 70
assistem a outros canais, distintos de A e B. O nmero de pessoas que assistem
ao canal A e no assistem ao B
a) 30 b0 150 c)180 d0 200 e) 210
32- Sabe-se que 56 pessoas de um condomnio lem o jornal A, 21 leem os jornais
A e B, 106 leem apenas um dos jornais e 66 no lem o jornal B. Quantas pessoas
h no condomnio?
33- Um grupo de 50 garotas formado por louras e ruivas, que tm os olhos azuis
ou castanhos. Se 14 so louras de olhos azuis, 31 so ruivas e 18 tm olhos
castanhos, ento o nmero de ruivas de olhos castanhos
a) 5 b) 13 c) 7 d) 11 e) 15
Respostas:
27) 7

28) 10

29)120

30) d

31) c

32) 158

33) b

34-Construa a tabela-verdade da seguinte proposio composta:

P(p,q)= (p ^ ~q) v (q ^ ~p)
Resposta.: Observamos que h dois parnteses. Comearemos a trabalhar o primeiro
deles, isoladamente.

41

1 Passo) A negao de q:

2 Passo) A conjuno:

3 Passo) A negao de p:

4 Passo) A conjuno:

5 Passo) Uma vez trabalhados os dois parnteses, faremos a disjuno que os une.

42

Se quisssemos, poderamos ter feito tudo em uma nica tabela maior, da seguinte forma:

TABELAS-VERDADE PARA TRS PROPOSIES (p, q , r):

O nmero de linhas que ter a tabela-verdade ser dado por:
N linhas = 2 N de proposies.
Logo, 2 = 8 linhas numa tabela-verdade para trs proposies simples.
Vimos que, para duas proposies, a tabela-verdade se inicia sempre do mesmo jeito.
O mesmo ocorrer para uma de trs proposies. Ter sempre o mesmo incio. E ser
o seguinte:

A coluna da proposio p ser construda da seguinte forma: quatro V alternando

com quatro F; a coluna da proposio q tem outra alternncia: dois V com dois F; por
fim, a coluna da proposio r alternar sempre um V com um F. Teremos, portanto,
sempre a mesma estrutura inicial:

43

35- Construir a tabela-verdade da proposio composta seguinte:

P(p,q,r)=(p ^ ~q) (q v ~r)
A leitura dessa proposio a seguinte: Se p e no q, ento q ou no r.
Resposta: Comearemos sempre com a estrutura inicial para trs proposies.

J sabemos que existe uma ordem a ser observada, de modo que trabalharemos
logo os parnteses da proposio acima. Comeando pelo primeiro deles, faremos os
seguintes passos:
1 Passo) Negao de q:

2 Passo) A conjuno dos primeiros parnteses ( somente se as duas partes forem

verdadeiras que a conjuno (e) tambm o ser)

44

3 Passo) Trabalhando agora com o segundo parnteses, faremos a negao de r:

4 Passo) A disjuno dos outros parnteses ( basta que uma parte seja verdadeira, e a
disjuno (ou) tambm o ser).

5 Passo) Finalmente, j tendo trabalhado os dois parnteses separadamente, agora

vamos fazer a condicional que os une ( a condicional s ser falsa se tivermos
VERDADEIRO na primeira parte e FALSO na segunda).

45

Poderamos ter feito todo o trabalho em uma s tabela, como se segue:

TAUTOLOGIA

Uma proposio composta formada por duas ou mais proposies p, q, r, ... ser
dita uma Tautologia se ela for sempre verdadeira, independentemente dos valores
lgicos das proposies p, q, r, ... que a compem. Para saber se uma proposio
composta uma Tautologia, construiremos a sua tabela-verdade. Da, se a ltima
coluna da tabela-verdade s apresentar verdadeiro (e nenhum falso), ento estaremos
diante de uma Tautologia.
Exemplo: A proposio (p ^ q) (p v q) uma tautologia, pois sempre verdadeira,
independentemente, dos valores lgicos de p e de q, como se pode observar na tabelaverdade abaixo:

Observemos que o valor lgico da proposio composta (p ^ q) (p v q), que

aparece na ltima coluna, sempre verdadeiro. Segue outro exemplo de Tautologia:
[(p v q) ^ (p ^ s)] p . Vamos construir a sua tabela-verdade para demonstrarmos que
se trata de uma tautologia:

46

Podemos observar que o valor lgico da proposio composta

[(p v q) ^ (p ^ s)] p, que aparece na ltima coluna, sempre verdadeiro,
independentemente,dos valores lgicos que p, q e s assumem.
CONTRADIO
Uma proposio composta formada por duas ou mais proposies p, q, r, ... ser
dita uma contradio se ela for sempre falsa, independentemente dos valores lgicos
das proposies p,q, r, ... que a compem. Ou seja, construindo a tabela-verdade de
uma proposio composta, se todos os resultados da ltima coluna forem FALSO,
ento estaremos diante de uma contradio.
Exemplo 1:
A proposio "p ~p" (p se e somente se no p) uma contradio, pois sempre
falsa, independentemente do valor lgico de p, como se pode observar na tabelaverdade abaixo:

Exemplo 2:
A proposio (p ~q) ^ (p ^ q) tambm uma contradio, conforme verificaremos por
meio da construo de sua da tabela-verdade.

47

Podemos observar que o valor lgico da proposio composta

(p ~q) ^ (p ^ q), que aparece na ltima coluna de sua tabela-verdade, sempre
Falso, independentemente dos valores lgicos que p e q assumem.

CONTINGNCIA
Uma proposio composta ser dita uma contingncia sempre que no for uma
tautologia nem uma contradio. Voc pegar a proposio composta e construir a
sua tabela-verdade. Se, ao final, voc verificar que a proposio nem uma tautologia
(s resultados V), e nem uma contradio (s resultados F), ento, ser uma
contingncia.
Exemplo:
A proposio "p (p ^ q)" uma contingncia, pois o seu valor lgico depende dos
valores lgicos de p e q, como se pode observar na tabela-verdade abaixo:

36-Considere a seguinte proposio: "na eleio para a prefeitura, o candidato A

ser eleito ou no ser eleito. Do ponto de vista lgico, a afirmao da
proposio caracteriza:
(A) um silogismo.
(B) uma tautologia.
(C) uma equivalncia.
(D) uma contingncia.
(E) uma contradio.

48

Resposta: Com a finalidade de montarmos a tabela verdade para verificar se a

proposio apresentada no enunciado da questo uma tautologia ou uma
contradio, definiremos a seguinte proposio simples: p : o candidato A ser eleito
Ento, a sentena o candidato A ser eleito OU no ser eleito passar ser
representada simbolicamente como: (p v ~p) .
Construindo a tabela- verdade, teremos que:
p
V
F

~p
F
V

p v ~p
V
V

Como a ltima linha desta tabela-verdade s apresenta o valor lgico Verdadeiro,

estamos diante de uma Tautologia. A alternativa correta a letra B.
37- 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
Resposta: Assumiremos as seguintes proposies simples:
p : Joo alto.
q : Guilherme gordo.
As alternativas da questo podero ser reescritas simbolicamente como:
a) p (p v q) (=se Joo alto, ento Joo alto ou Guilherme gordo)
b) p (p ^ q) (=se Joo alto, ento Joo alto e Guilherme gordo)
c) (p v q) q (=se Joo alto ou Guilherme gordo, ento Guilherme gordo)
d) (p v q)(p ^ q) (=se Joo alto ou Guilherme gordo, ento Joo alto e
Guilherme gordo)
e) (p v ~p) q (=se Joo alto ou no alto, ento Guilherme gordo)
Agora testar as alternativas, procurando por aquela que seja uma Tautologia. Para
isso, construiremos a tabela-verdade de cada opo de resposta.
Teste da alternativa a: p (p v q)

49

Podemos observar que a ltima coluna da tabela-verdade acima s apresentou valores

lgicos verdadeiros! Com isso, conclumos: a proposio da opo A Se Joo alto,
ento Joo alto ou Guilherme gordo uma Tautologia. Resposta: Letra A
Para efeitos de treino, vamos testar tambm a alternativa B: p (p ^ q)

Como podemos observar na ltima coluna da tabela-verdade acima, o valor

lgico da proposio p (p ^ q) pode ser verdadeiro ou falso. Isto nos leva a concluir,
portanto, que esta proposio no uma tautologia, nem uma contradio, mas, sim,
uma contingncia.
Uma soluo alternativa para a questo acima:
Observem que em todas as alternativas aparece o conectivo , ou seja, todas as
proposies so condicionais. Na tabela verdade do conectivo s temos o valor
lgico falso quando na proposio condicional o antecedente for verdade e o
conseqente for falso. Sabendo que uma tautologia sempre tem valor lgico verdade,
ento dentre as proposies condicionais apresentadas nas alternativas, aquela em
que nunca ocorrer o antecedente verdade e o consequente falso ser uma tautologia.
- Anlise do item a: p (p v q)
Vejam que quando o antecedente desta proposio for verdade, tambm o
consequente ser verdade, e assim a proposio nunca ser falsa, logo esta
proposio uma tautologia.
- Anlise do item b: p (p ^ q)
Vejam que quando o antecedente desta proposio for verdade, o consequente ser
verdade se q for verdade, e falso se q for falso. Assim, a proposio pode assumir os
valores lgicos de verdade e falso. No uma tautologia.
- Anlise do item c: (p v q) q
O antecedente desta proposio sendo verdade, o valor lgico de q pode ser verdade
ou falso, e da o consequente que dado por q tambm pode ser verdade ou falso,
logo conclumos que a proposio desta alternativa no uma tautologia.
- Anlise do item d: (p v q) (p ^ q)
O antecedente desta proposio sendo verdade, os valores de p e q podem ser
verdade ou falso, e portanto o consequente tambm pode ser verdade ou falso, logo
conclumos que a proposio desta alternativa no uma tautologia.
- Anlise do item e: (p v ~p) q

50

Observem que o antecedente sempre verdade independente do valor lgico de p, j

o consequente pode assumir o valor lgico de verdade ou falso. Portanto, conclumos
que a proposio desta alternativa no uma tautologia.

PROPOSIES LOGICAMENTE EQUIVALENTES

Dizemos que duas proposies so logicamente equivalentes (ou simplesmente
que so equivalentes) quando so compostas pelas mesmas proposies simples e os
resultados de suas tabelas-verdade so idnticos.
Uma conseqncia prtica da equivalncia lgica que ao trocar uma dada
proposio por qualquer outra que lhe seja equivalente, estamos apenas mudando a
maneira de diz-la.
A equivalncia lgica entre duas proposies, p e q, pode ser representada
simbolicamente como: p q , ou simplesmente por p = q.
Equivalncias Bsicas:
1) p e p = p Exemplo: Andr inocente e inocente = Andr inocente
2) p ou p = p Exemplo: Ana foi ao cinema ou ao cinema = Ana foi ao cinema
3) p e q = q e p Exemplo: o cavalo forte e veloz = o cavalo veloz e forte
4) p ou q = q ou p Exemplo: o carro branco ou azul = o carro azul ou branco
5) p q = q p Exemplo: Amo se e somente se vivo = Vivo se e somente se amo
6) p q = (p q) e (q p) Exemplo: Amo se e somente se vivo = Se amo ento
vivo, e se vivo ento amo
Para facilitar a nossa memorizao, colocaremos essas equivalncias na tabela
seguinte:

51

Equivalncias da Condicional
As duas equivalncias que se seguem so de fundamental importncia. Essas
equivalncias podem ser verificadas, ou seja, demonstradas, por meio da comparao
entre as tabelas-verdade. So as seguintes as equivalncias da condicional:
1) Se p, ento q = Se no q, ento no p. Exemplo: Se chove ento me molho = Se
no me molho ento no chove
2) Se p, ento q = No p ou q. Exemplo: Se estudo ento passo no concurso = No
estudo ou passo no concurso
Colocando esses resultados numa tabela, para ajudar a memorizao, teremos :

38- Se Marcos no estuda, Joo no passeia. Logo

a) Marcos estudar condio 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.
Resposta: A estrutura condicional pode ser traduzida tambm com uso das expresses
condio suficiente e condio necessria. Usando essa nomenclatura, teremos
que:

a primeira parte da condicional uma condio suficiente; e

a segunda parte da condicional uma condio

necessria.

Tomando a sentena Se Marcos no estuda, ento Joo no passeia, teremos

que:

passear ou

estudar.

Marcos no estudar condio suficiente para Joo no

Joo no passear condio necessria Marcos no

52

Nenhum desses dois resultados possveis acima consta entre as opes de

resposta. Resta-nos uma sada: teremos que encontrar uma condicional equivalente
a essa da questo: p q = ~q ~p.
Teremos:
Se Marcos no estuda, ento Joo no passeia = Se Joo passeia, ento
Marcos estuda.
Fizemos as duas negativas e trocamos a ordem. Analisando essa condicional
equivalente, concluiremos que:
Joo passear condio suficiente para Marcos estudar ou
Marcos estudar condio necessria para Joo passear. Resposta (Letra E)
39- 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
Resposta: Teremos que usar as duas equivalncias da condicional para resolv-la.
Vejamos: o enunciado nos trouxe uma disjuno
p q = ~q ~p
p q = ~p ou q

Temos que comear a desenvolver nosso raciocnio por a. Invertendo a ordem

desta segunda linha da tabela acima, conclumos que: ~p ou q = p q. Chamaremos
Andr artista ou Bernardo no engenheiro de ~p ou q.
Assim: Andr artista = ~p e
Bernardo no engenheiro = q.
Encontrando agora a estrutura equivalente p q, teremos: Se Andr no
artista, ento Bernardo no engenheiro. Ocorre que esta sentena acima no figura
entre as opes de resposta. Isso nos leva a concluir que teremos ainda que mexer

53

com essa condicional, encontrando uma condicional equivalente a ela. Usaremos a

equivalncia da primeira linha da tabela acima: p q = ~q~p. Teremos que:
Se Andr no artista, ento Bernardo no engenheiro o mesmo que:
Se Bernardo engenheiro, ento Andr artista (Letra D)
40- 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
Resposta: Teremos que transformar uma disjuno em uma condicional. J sabemos,
pela resoluo da questo anterior, que poderemos usar a seguinte equivalncia: ~p ou
q = p q.
Teremos:
Pedro no pedreiro = ~p
Paulo paulista = q
A condicional equivalente a esta disjuno ser a seguinte: Se Pedro pedreiro,
ento Paulo paulista. (Letra A)
41- Uma sentena logicamente equivalente a 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.
Resposta: A questo nos trouxe uma condicional e pediu uma proposio equivalente.
Podemos testar as duas equivalncias da condicional que conhecemos. Comecemos
pela seguinte: p q = ~q ~p
Da, considerando que:
Pedro economista = p
Lusa solteira = q
Sua condicional equivalente ser: Se Lusa no solteira, ento Pedro no
economista. (Letra E)
Tivemos sorte de encontrar a resposta logo na primeira tentativa. Mas, se no
houvesse essa sentena entre as opes de resposta, teramos que tentar a segunda
equivalncia da condicional, a qual resulta em uma disjuno. Teramos, pois que:

54

p q = ~p ou q. Se Pedro economista, ento Lusa solteira = Pedro no

economista ou Lusa solteira. Seria a segunda resposta possvel.

Equivalncias com o smbolo da negao

Negaes das proposies compostas
~(p e q) = ~p ou ~q
~(p ou q) = ~p e ~q
~(p q) = p e ~q
~(p q) = [(p e ~q) ou (~p e q)]

Obs.: Para negar a bicondicional acima, teremos na verdade que negar a sua
conjuno equivalente. E para negar uma conjuno, j sabemos, negam-se as duas
partes e troca-se o E por um OU.

Outras equivalncias
Algumas outras equivalncias que podem ser relevantes so as seguintes:
1) p e (p ou q) = p Exemplo: Paulo dentista, e Paulo dentista ou Pedro mdico =
Paulo dentista
2) p ou (p e q) = p Exemplo: Paulo dentista, ou Paulo dentista e Pedro mdico =
Paulo dentista
Por meio das tabelas-verdade, estas equivalncias tambm podem ser facilmente
demonstradas. Para auxiliar nossa memorizao, observe
a tabela seguinte:

p e (p ou q) = p

p ou (p e q) = p

55

Equivalncia entre nenhum e todo

1) Nenhum A B = Todo A no B Exemplo:Nenhum mdico louco = Todo
mdico no louco (=Todo mdico no louco)
2) Todo A B = Nenhum A no B Exemplo: Toda arte bela = Nenhuma arte
no bela (= Nenhuma arte no bela)
Colocando essas equivalncias numa tabela, teremos:
Nenhum A B = Todo A no B

Todo A B = Nenhum A no

Lembretes:
Negao de uma Proposio Simples: O que VERDADEIRO torna-se falso, e viceversa!
A tabela-verdade ser, portanto, a seguinte:
p
V
F

~p
F
V

Negao de uma Proposio Composta

Negao de uma Conjuno:
A negativa de uma conjuno se faz assim:
1) Nega-se a primeira parte;

56

2) Nega-se a segunda parte;

3) Troca-se o E por um OU.
Ou seja: ~(p ^ q) = ~p v ~q
Assim, para negar a seguinte sentena:
Negao de uma Disjuno:
A negativa de uma disjuno se faz assim:
1) Nega-se a primeira parte;
2) Nega-se a segunda parte;
3) Troca-se o OU por um E.
Ou seja: ~(p v q) = ~p ^ ~q
Negao de uma Condicional:
A negativa de uma condicional se faz assim:
1) Mantm-se a primeira parte; E
2) Nega-se a segunda parte;
Ou seja: ~(p q) = p ^ ~q

57

AVALIAO A1
Esta avaliao corresponde a 50% da nota do primeiro mdulo.
Nome do (a) cursista: ________________________________________________

1. Questo:
Considere as informaes abaixo.

Sandra dois anos mais nova que Paulo.

Paulo tem um ano a mais que Maria.

Maria dois anos mais velha que Joo.

Joo um ano mais moo que Sandra.

A sequncia correta dos nomes das pessoas, da mais velha para a mais moa,

a) Paulo, Maria, Joo e Sandra.

b) Paulo, Sandra, Joo e Maria.
c) Maria, Paulo, Sandra e Joo.
d) Paulo, Maria, Sandra e Joo.
e) Maria, Paulo, Joo e Sandra.
2. Questo:
Numa escola de 630 alunos, 350 deles estudam Matemtica, 210 estudam Fsica
e 90 deles estudam as duas matrias (Matemtica e Fsica). Pergunta - se:
a) quantos alunos estudam apenas Matemtica?
estudam Fsica.)

(Estudam Matemtica, mas no

58

b) quantos alunos estudam apenas Fsica? (Estudam Fsica, mas no estudam

Matemtica.)
c) quantos alunos estudam Matemtica ou Fsica?
d) quantos alunos no estudam nenhuma das duas matrias?
3. Questo:
Carlos e Sara formam um casal, de modo que: Sara mente aos domingos,
segundas e teras-feiras, dizendo verdade nos outros dias. Carlos mente s quartas,
quintas e sexta-feiras, dizendo verdade nos outros dias. Em certo dia ambos declaram:
Ontem foi dia de mentir. Qual foi o dia dessa declarao?
a) Segunda feira
b) Tera feira.
c) Quarta feira
d) Quinta feira
e) Nenhuma das respostas anteriores.
4. Questo:
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.
5. Questo:
A negao da afirmao condicional "se estiver chovendo, eu levo o guarda-chuva"
a) se no estiver chovendo, eu levo o guarda-chuva

59

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
AVALIAO A2
Esta avaliao corresponde a 50% da nota do primeiro mdulo.
Nome do (a) cursista: __________________________________________________
1. Questo:
Considere como verdadeiras as seguintes premissas.

Se Alexandre no arquivar os processos, ento Josias far

a expedio de documentos.

Se Alexandre arquivar os processos, ento Samir no

atender o pblico.

Samir atender o pblico.

Logo correto concluir que

a) Alexandre arquivar os processos.
b) Alexandre arquivar os processos ou Samir no atender o pblico.
c) Josias far a expedio dos documentos.
d) Alexandre arquivar os processos e Samir atender o pblico.
e) Alexandre no arquivar os processos e Josias no far a expedio de documentos.
2. Questo:
Com relao a trs funcionrios de um Tribunal, sabe-se que

Josias mais alto que o recepcionista.

Alexandre escrivo.

Samir no o mais baixo dos trs.

60

Um deles escrivo, o outro recepcionista e o outro

segurana.
Sendo verdadeiras as quatro afirmaes, correto dizer que
a) Josias mais baixo que Alexandre.
b) Samir segurana.
c) Samir o mais alto dos trs.
d) Josias o mais alto dos trs.
e) Alexandre mais alto que Samir.
3. Questo:
Um departamento de uma empresa de consultoria composto de 2 gerentes e 3
consultores. Todo cliente desse departamento necessariamente atendido por uma
equipe formada por 1 gerente e 2 consultores. As equipes escaladas para atender trs
diferentes clientes so mostradas abaixo.
Cliente 1: Andr, Bruno e Ceclia.
Cliente 2: Ceclia, Dbora e Evandro.
Cliente 3: Andr, Bruno e Evandro.
A partir dessas informaes, pode-=se concluir que
a) Andr consultor.
b) Bruno gerente.
c) Ceclia gerente.
d) Dbora consultora.
e) Evandro consultor.
4. Questo:

61

Alcides, Fernando e Reginaldo foram a uma lanchonete e pediram lanches, cada qual
constitudo de um sanduche e uma bebida. Sabe-se que

os tipos de sanduches pedidos eram de presunto, misto

quente e hambrguer.

Reginaldo pediu um misto quente.

um deles pediu um hambrguer e um suco de laranja.

Alcides pediu um suco de uva.

um deles pediu suco de acerola.

Nessas condies correto afirmar que

a) Alcides pediu o sanduche de presunto.
b) Fernando pediu o sanduche de presunto.
c) Reginaldo pediu suco de laranja.
d) Fernando pediu suco de acerola.
e) Alcides pediu um hambrguer.

5. Questo:
Alice, Bruna e Carla, cujas profisses so advogada, dentista e professora, no
necessariamente nesta ordem, tiveram grandes oportunidades para progredir em sua
carreira: uma delas, foi aprovada em um concurso pblico; outra recebeu uma tima
oferta de emprego e a terceira, uma proposta para fazer um curso de especializao no
exterior. Considerando que

Carla professora.

Alice

recebeu

proposta

para

fazer

curso

especializao no exterior.

a advogada foi aprovada em um concurso pblico.

de

62

correto afirmar que

a) Alice advogada.
b) Bruna advogada.
c) Carla foi aprovada no concurso pblico.
d) Bruna recebeu a oferta de emprego.
e) Bruna dentista.