SEFAZ - RS

Matemtica e Raciocnio Lgico

Marcos Luciano

LGICA PROPOSICIONAL

1. PROPOSIO

toda sentena (conjunto de palavras e smbolos) declarativa (afirmativa), que exprime um pensamento de
sentido completo, e que pode ser classificada como verdadeira (V) ou falsa (F), mas no ambos.

Reconhecendo uma proposio:

Sentena afirmativa;
Sentido completo;
Pode assumir uma valorao: verdadeira ou falsa, mas no ambos.

Exemplos de sentenas que representam proposies:

a) Salvador a capital da Bahia.

b) 2+3 < 5.

c) A Lua um planeta.

d) 7 um nmero primo.

e) Ana tem quatro filhos.

f) Paulo artista.

Contra exemplos - sentenas que no representam proposies:

Frases exclamativas:

Como faz calor!; Que belo dia!

Frases interrogativas:

Que dia hoje?; Que horas so?

Frases imperativas:

Faa seu trabalho.; Resolva o problema corretamente.

Sentenas abertas: sentena que depende de pelo menos um termo que pode variar, ou seja, assumir mais de um
valor.

x + 2 = 1 (sentena aberta; depende de x);

A expresso x + y negativa. (sentena aberta; depende dos valores de x e y);
 SEFAZ - RS
Matemtica e Raciocnio Lgico
Marcos Luciano

Ele um mdico notvel. (sentena aberta; depende de quem Ele);

Sentena que representa um paradoxo:

Esta frase falsa.

A sentena no pode assumir o valor V, pois caso fosse V, ao afirmar que uma frase falsa teramos uma
contradio (estaria afirmando uma falsidade) e, tambm, no pode assumir o valor F, pois caso fosse F, ao
afirmar que falsa teramos outra contradio (estaria afirmando uma verdade).

Observao: As proposies podem ser indicadas por letras do alfabeto, maisculas ou minsculas.

1.1 Princpios da Lgica.

Para que a lgica matemtica seja desenvolvida corretamente necessrio obedecer aos princpios
bsicos. Os mais importantes so os trs seguintes:

a) Princpio da Identidade

Uma proposio identificada pelo seu valor lgico. Se qualquer proposio verdadeira, ento, ela
verdadeira. Se qualquer proposio falsa, ento, ela falsa.

b) Princpio da No Contradio

Nenhuma proposio pode ser verdadeira e falsa.

c) Princpio do Terceiro Excludo

Uma proposio ou verdadeira ou falsa.

1.2 Tipos de Proposies

As proposies se dividem em Simples e Compostas.

1.2.1 Proposio Simples

Encerra um nico sentido, um nico pensamento, e no contm nenhuma outra proposio como parte
integrante de si mesma.

Exemplos:
 SEFAZ - RS
Matemtica e Raciocnio Lgico
Marcos Luciano

a) p: 4 > 8.
b) q: 8 par.
c) r: Ana mdica.
d) s: Joo no baiano.

1.2.2 Proposio Composta

formada pela combinao de proposies simples interligadas por conectivos (operadores) lgicos. Os
conectivos lgicos so:

Conjuno: p E q (p q)

Disjuno: p OU q (p q)

Disjuno exclusiva: OU p OU q (p q)

Condicional: SE p ENTO q (p q)

Bicondicional: p SE E SOMENTE SE q (p q)

Exemplos:

a) 8 par e 7 > 9. (conectivo e)

b) Ana mdica ou Joo arquiteto. (conectivo ou)

c) Ou Paulo paulista ou Maria alta. (conectivo ou ... ou...)

d) Se 3 mpar, ento 4 no primo. (conectivo Se...ento...)

e) baiano se e somente se nasceu na Bahia. (conectivo ...se e somente se...).

Importante: cada conectivo est associado a uma operao da lgica. Assim, importante saber ler o conectivo,
saber o seu smbolo e a que operao est associada. As operaes sero vistas no estudo de cada conectivo um
pouco mais a frente.

1.3 Negao de uma Proposio

A negao de uma proposio p, indicada por ~p (ou p) (l-se: no p ou negao de p) , por definio, a
proposio que verdadeira ou falsa conforme p falsa ou verdadeira, respectivamente. Logicamente, negar uma
proposio mudar o seu valor lgico.

Os possveis valores lgicos para a negao so dados pela tabela abaixo, chamada tabela-verdade.

p p
 SEFAZ - RS
Matemtica e Raciocnio Lgico
Marcos Luciano

V F
F V

Vamos observar alguns exemplos:

a) A negao de p: Ana baiana, pode ser escrita das seguintes formas:

p: Ana no baiana.

p: No verdade que Ana baiana.

p: falso que Ana baiana.

b) A negao de q: 7 no um nmero primo, pode ser escrita das seguintes formas:

q: 7 nmero primo. (exclui- se a palavra no)

q: No verdade que 7 no um nmero primo.

q: falso que 7 no um nmero primo.

Observaes sobre a negao de uma proposio:

1) Ao negar proposies que envolvam smbolos usualmente empregados na matemtica deve-se utilizar a
regra de que necessrio somente negar o smbolo. Na tabela a seguir esto apresentados os smbolos e suas
negaes mais usadas.

SMBOLOS NEGAO
<
>
>
<
=
=

Exemplos:

a) A negao de p: 7 3, escrita como p: 7 < 3.

b) A negao de q: (5 2)2 9, escrita como q: (5 2)2 = 9.
c) A negao de r: , escrita como r: .

2) A negao da negao de uma proposio equivale proposio inicial dada. Dessa forma ao se fazer a
dupla negao de uma proposio o valor lgico inicial conservado. Vamos observar o seguinte exemplo:

Proposio inicial (p):

 SEFAZ - RS
Matemtica e Raciocnio Lgico
Marcos Luciano

p: 2 primo.(V)

Negao de p:

p: 2 no primo.(F)

Negao da negao de p:

(p): 2 primo.(V)

Assim pode-se escrever a seguinte equivalncia:

(A dupla negao equivale a uma confirmao)

3) A negao de uma proposio somente deve envolver expresses antnimas quando a situao for do tipo
excludente (exclusiva), ou seja, admita somente duas situaes possveis:

Exemplos:

a) p: Joo honesto. b) q: A porta estava aberta.

p: Joo desonesto. q: A porta estava fechada.

IMPORTANTE !!!

A negao da proposio p: Trs amigos foram festa de Ana, no pode ser escrita da seguinte forma: p: Trs
amigos no foram o festa de Ana. Observe que se a proposio p verdadeira para que p passe a ser falsa, ou
seja, para p que seja negada (p falsa) no quer dizer que desses amigos de Ana nenhum tenha ido sua festa;
suficiente que Pelo menos um dos trs amigos no tenha ido sua festa, e assim a negao da proposio p
escrita de forma correta p: Pelo menos um dos trs amigos no foi festa de Ana.

Exemplo: Proposio:

q: Quatro rus so inocentes.

Negao:

q: Pelo menos um dos quatro rus culpado.

2. CONECTIVOS OPERAES LGICAS (proposies compostas)

2.1. Conjuno: p e q (Representao: p q)

A proposio composta resultante da operao de conjuno de duas ou mais proposies s ser verdadeira, se
todas as proposies envolvidas na operao forem verdadeiras. Basta uma proposio ser falsa, para que a
proposio resultante da conjuno seja falsa.
 SEFAZ - RS
Matemtica e Raciocnio Lgico
Marcos Luciano

Tabela Verdade:

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

Vamos observar o valor lgico de algumas proposies envolvendo a conjuno:

a) 2 par 7 primo.

V V : V.

b) A Lua um planeta e a gua do mar salgada.

F e V : F.

2.2. Disjuno: p ou q (Representao: p q)

A proposio composta resultante da operao da disjuno de duas ou mais proposies s ser falsa se todas as
proposies envolvidas na operao forem falsas. Basta uma proposio ser verdadeira, para que a proposio
resultante seja verdadeira.

Tabela Verdade:

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

Vamos observar o valor lgico de algumas proposies envolvendo a disjuno:

a) 2 par 7 primo.

V V : V.

b) A Lua um planeta ou a gua do mar doce.

F ou F : F.

2.3. Disjuno Exclusiva: Ou p ou q (Representao: p q)

A proposio composta resultante da operao da disjuno exclusiva de duas ou mais proposies s ser
verdadeira se as proposies envolvidas na operao tiverem valores lgicos contrrios, isto , se uma for verdadeira
 SEFAZ - RS
Matemtica e Raciocnio Lgico
Marcos Luciano

e a outra, falsa. Se tiverem o mesmo valor lgico (ambas verdadeiras ou ambas falsas), a proposio resultante da
disjuno exclusiva ser falsa.

Tabela Verdade:

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

Vamos observar o valor lgico de algumas proposies envolvendo a disjuno exclusiva:

a) 2 par 7 primo.

V V : F.

b) Ou a Lua um planeta ou a gua do mar salgada.

OU F OU V : V.

2.4. Condicional (Implicao) Se p ento q (Representao: p q)

Antes de definir o condicional vamos observar as seguintes proposies condicionais:

Se nasci em Salvador, ento sou baiano.

Antecedente: nasci em Salvador; Consequente: sou baiano

Se vou praia, ento tomo gua de coco.

Antecedente: vou praia; Consequente: tomo gua de coco

Da pode-se observar que:

a) A primeira proposio (p) chamada de antecedente ou hiptese (causa) ; a segunda (q) de consequente ou
tese (efeito, consequncia).
b) A proposio composta resultante da operao de implicao de uma proposio em outra s ser falsa, se a
antecedente (hiptese) for verdadeira e a consequente for falsa. Em todos os outros casos, proposio
resultante da implicao ser verdadeira.

Tabela Verdade:

p q pq
V V V
V F F
F V V
 SEFAZ - RS
Matemtica e Raciocnio Lgico
Marcos Luciano

F F V

Vamos analisar a seguinte situao hipottica de acordo a proposio condicional:

Jnior diz. Se domingo fizer sol, ento vou praia.

Vamos considerar agora, as seguintes situaes:

I. Domingo fez sol e Jnior foi a praia Jnior cumpriu sua palavra.
II. Domingo fez sol e Jnior NO foi praia Jnior NO cumpriu com sua palavra.
III. Domingo NO fez sol e Jnior foi praia Jnior cumpriu sua palavra, pois no disse o que faria caso no
fizesse sol, o que significa que poderia ou no ir a praia.
IV. Domingo NO fez sol e Jnior NO foi a praia Jnior cumpriu sua palavra, pelos mesmos motivos
explicados no item anterior

Vamos observar o valor lgico de algumas proposies envolvendo o condicional:

a) 2 par 7 primo.

V V : V.

b) Se a Lua no um planeta ento a gua do mar doce.

V F : F.

OBSERVAES SOBRE O CONDICIONAL:

a) O condicional p q pode ser lido tambm de uma das seguintes maneiras:

CONDICIONAL: p q EXEMPLO:
Se p, ento q Se penso, ento existo.
p implica (ou acarreta) q Pensar implica (acarreta) existir.
p somente se q Penso somente se existo.
q, se p Existo, se penso.
Se p, q Se penso, existo.
p, ento q Penso, ento existo.
Sempre que p, q Sempre que penso, existo.
Se p, logo q Se penso, logo existo.
p, logo q Penso, logo existo.
q, pois p Existo, pois penso.
 SEFAZ - RS
Matemtica e Raciocnio Lgico
Marcos Luciano

p consequentemente q Penso, consequentemente existo.

q uma consequncia de p Existir uma consequncia de pensar.
Toda vez que p, q Toda vez que penso, existo.
Quando p, q. Quando penso, existo.
Caso p, q. Caso pense, existo.

b) As condies que esto presentes em uma proposio condicional:

Observe o seguinte exemplo:

Se passo de ano, ento passo em Matemtica.

Da pode-se observar que:

Passar de ano condio suficiente para passar em Matemtica.

ANTECEDENTE CONSEQUENTE

Passar em Matemtica condio necessria para passar de ano.

CONSEQUENTE ANTECEDENTE

Assim tem-se que a partir do condicional p q, pode-se escrever que:

p condio suficiente para q

q condio necessria para p

 SEFAZ - RS
Matemtica e Raciocnio Lgico
Marcos Luciano

2.5. Bicondicional (Dupla Implicao): p se somente se q (representao: p q)

Antes de informar a regra da proposio bicondicional, vamos conhecer a sua definio. Uma proposio
bicondicional pode ser escrita atravs da seguinte equivalncia:

p q (p q) (q p)

Exemplo:

A proposio bicondicional:

Passo se e somente se estudo

Pode ser escrita da seguinte forma:

Se passo, ento estudo e se estudo, ento passo.

Regra de uma proposio Bicondicional:

Para um melhor aprendizado vamos observar a seguinte proposio condicional:

Bicicleta se e somente se passar de ano.

Vamos analisar a seguinte situao hipottica de acordo a proposio condicional:

Luiz diz: Irei praia se e somente se fizer sol.

I. Luiz foi a praia e fez sol Luiz cumpriu sua palavra.

II. Luiz foi a praia e no fez sol Luiz no cumpriu sua palavra
III. Luiz no foi a praia e fez sol Luiz no cumpriu sua palavra.
IV. Luiz no foi a praia e no fez sol Luiz cumpriu sua palavra.

Regra do bicondicional:

A proposio composta resultante da operao da dupla implicao de uma proposio em outra s ser verdadeira
se ambas as proposies envolvidas na operao tiverem o mesmo valor lgico (ambas verdadeiras ou ambas falsas).
Se uma for verdadeira e a outra falsa, a dupla implicao ser falsa. A tabela-verdade para a proposio
bicondicional dada a seguir:

Tabela Verdade:

p q pq
V V V
V F F
F V F
F F V
 SEFAZ - RS
Matemtica e Raciocnio Lgico
Marcos Luciano

Vamos observar o valor lgico de algumas proposies envolvendo o condicional:

a) 2 par 7 primo.

V V : V.

b) A Lua no um planeta se e somente se a gua do mar doce.

V F : F.

OBSERVAO:

A sentena composta p q chamada de bicondicional e pode ser lida de qualquer uma das seguintes maneiras:

BICONDICIONAL: p q EXEMPLO:

p se, e somente se q Vivo se e somente se amo.

q se, e somente se p Amo se e somente se vivo.

p equivalente a q Viver equivalente a amar.

q equivalente a p Amar equivalente a viver.

p condio suficiente e necessria para q Viver condio suficiente e necessria para amar.

q condio necessria e suficiente para p Amar condio necessria e suficiente para viver.
 SEFAZ - RS
Matemtica e Raciocnio Lgico
Marcos Luciano

3. TABELA VERDADE

a tabela na qual figuram todos os possveis valores lgicos de uma proposio composta para todas as
combinaes possveis dos valores lgicos (todos possveis valores lgicos V ou F) de suas proposies
simples.

3.1 Construo de uma tabela verdade:

Antes de construir uma tabela verdade devemos ter em mente que necessrio que as regras de cada um dos
conectivos, bem sedimentadas. Vamos relembrar as tabelas e as respectivas regras:

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

Regras:

Conjuno: p q V, quando p e q so V, nos demais casos p q F.

Disjuno: p q F, quando p e q so F, nos demais casos p q V.

Disjuno Exclusiva: p q F, quando p e q possuem o mesmo valor lgico, nos demais casos p q V.

Condicional: p q F, quando p V e q F, nos demais casos p q V.

Bicondicional: p q V, quando p e q possuem o mesmo valor lgico, nos demais casos, em que p e q
possuem valores lgicos diferentes, p q F.

Para construir uma tabela verdade, vamos observar alguns passos:

1 passo: Construir as colunas das proposies simples.

Observe que at agora nossa arrumao inicial para as proposies simples p e q foram s seguintes:

p q
V V
V F
F V
F F

Ou seja:

V V, na 1 linha;
V F, na 2 linha;
 SEFAZ - RS
Matemtica e Raciocnio Lgico
Marcos Luciano

F V, na 3 linha;
F F, na 4 linha.

OBSERVAO:

Essa arrumao adotada no nica nem fixa. Vamos dizer que uma arrumao didtica.

2 passo: Construir, caso existam, as colunas das negaes das proposies simples. Caso no existam pulamos
direto para o 3 passo.

3 passo: Construir as colunas referentes s proposies compostas que fazem parte da proposio composta
completa. Caso a proposio composta completa no seja formada por outras proposies compostas menores o 3
passo j nos fornecer a tabela verdade da proposio.

4 passo: Construir a coluna da proposio composta completa.

Exemplo 1: Construir a tabela verdade da proposio p q.

RESOLUO:

1 passo: Construir as colunas das proposies simples.

p q
V V
V F
F V
F F

2 passo: Construir, caso existam, as colunas das negaes das proposies simples.

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

3 passo: Construir a coluna da proposio composta. Observe que essa proposio no composta no formada por
outras proposies compostas. Com o 3 passo j encontraremos a tabela verdade da proposio dada. Detalhe
importante: o conectivo que liga p a q o conectivo ou (). Assim a coluna de p q ser construda utilizando a
regra do ou. Vamos l:

p q q pq
V V F V
V F V V
F V F F
 SEFAZ - RS
Matemtica e Raciocnio Lgico
Marcos Luciano

F F V V

Exemplo 2: Construir a tabela verdade da proposio ( p q) (q p).

RESOLUO:

1 passo: Construir as colunas das proposies simples.

p q
V V
V F
F V
F F

2 passo: Construir, caso existam, as colunas das negaes das proposies simples:

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

3 passo: Construir a coluna da proposio composta. Observe que essa proposio formada por duas outras
proposies compostas menores que formam a proposio composta completa: ( p q) e (q p). Precisamos
agora construir as colunas referentes essas proposies e depois partir para o 4 passo. Vamos l:

p q p pq qp
V V F V V
V F F F V
F V V V F
F F V V V
 SEFAZ - RS
Matemtica e Raciocnio Lgico
Marcos Luciano

4 passo: Construir a coluna da proposio composta completa. Vamos a gora construir a coluna da proposio
composta completa ( p q) (q p) e assim finalizamos a tabela verdade.

p q p pq qp ( p q) (q p)
V V F V V V
V F F F V F
F V V V F F
F F V V V V

3.2 Nmero de Linhas de uma Tabela Verdade

O nmero de linhas da tabela-verdade de uma proposio est em funo do nmero de proposies simples que
formam a proposio composta. Esta relao dada pela seguinte frmula:

, onde n nmero de proposies simples

Exemplos:

1 Exemplo: Quantas linhas possui a tabela-verdade da proposio p (~p)?

A proposio acima possui 1 letra (p), ou seja, 1 proposio simples. Assim:

2 Exemplo: Quantas linhas possui a tabela-verdade da proposio (p q)(~q ~p)?

A proposio acima possui 2 letras diferentes (p e q), ou seja, 2 proposio simples. Portanto:

3 Exemplo: Quantas linhas possui a tabela-verdade da proposio (p r)(~q ~r)?

A proposio acima possui 3 letras diferentes (p, q e r), ou seja, 3 proposio simples. Logo:

4 Exemplo: Quantas linhas possui a tabela-verdade da proposio (~s p)(~r q)?

A proposio acima possui 3 letras diferentes (p, q, r e s), ou seja, 4 proposio simples. Logo:
 SEFAZ - RS
Matemtica e Raciocnio Lgico
Marcos Luciano

4. EQUIVALNCIA LGICA

Duas proposies P e Q so LOGICAMENTE EQUIVALENTES ou EQUIVALENTES quando apresentarem

tabelas verdades idnticas. Pode-se afirmar tambm que duas proposies so equivalentes quando o bicondicional
entre as proposies for uma tautologia.

4.1 Equivalncias do Condicional.

Vamos estudar e estabelecer uma relao importante entre trs proposies que so muito frequentes em provas de
concursos. As proposies so:

Para isso vamos construir suas tabelas verdades e fazer uma comparao entre a tabela verdade de cada uma dessas
proposies. Vamos l:

p q p q pq q p 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

Observamos que as tabelas verdades das trs proposies: p q, q p e p q so iguais. Certo, mas o que
isso nos diz? Quando as tabelas verdades de duas ou mais proposies so iguais dizemos que elas so
EQUIVALENTES. Ou seja:

Em relao s proposies: , e , vamos dar seus nomes.

 SEFAZ - RS
Matemtica e Raciocnio Lgico
Marcos Luciano

Como j sabemos que essas proposies so equivalentes, podemos escrever as seguintes relaes. Vamos tomar
como base o condicional (p q). Ou seja, so as

Essas relaes so muito importantes. Devemos observar que as questes sobre essas relaes podem ser feitas com
o uso da tabela verdade ou pela memorizao do processo de construo escrito acima em negrito. Como dica
preferencial o processo de memorizao!

Vale a pena saber !!!!

O bicondicional possui a seguinte equivalncia:

Repare que o bicondicional escrito em funo de dois condicionais. Lembre que o condicional possui duas
proposies equivalentes e dessa forma um ou os dois podem ser substitudos por suas proposies equivalentes. Por
exemplo:

O detalhe que no vale a pena memorizar as equivalncias acima e lembrar a equivalncia do bicondicional e do
condicional.

4.1 NEGAO DE PROPOSIES COMPOSTAS

As negaes das proposies compostas mantm o mesmo princpio da ideia de negao: modificar o valor lgico
de uma proposio. Funcionam como se fossem frmulas, igualdades (na verdade representam equivalncias da
prpria negao). Por serem muito cobradas nos concursos pblicos vale a pena a memorizao de cada uma dessas
negaes, lembrando que seria possvel fazer a verificao de cada uma delas com a construo da tabela verdade.
Vamos s frmulas:

a) Negao da Conjuno:
 SEFAZ - RS
Matemtica e Raciocnio Lgico
Marcos Luciano

Para negar uma proposio que envolva o conectivo de conjuno p q, vamos observar a seguinte regra:

1 passo: Negamos todas as proposies simples;

2 passo: Trocamos o conectivo (e) pelo conectivo (ou)

Da pode-se escrever a seguinte equivalncia:

(p q) p q

Exemplo:

A negao da proposio:

Thas estudiosa e Clara disciplinada,

(p) (q)

escrita como:

Thas no estudiosa ou Clara no disciplinada

(p) (q)

b) Negao da Disjuno:

Para negar uma proposio que envolva o conectivo de disjuno p q, vamos observar a seguinte regra:

1 passo: Negamos todas as proposies simples;

2 passo: Trocamos o conectivo (ou) pelo conectivo (e).

Da pode-se escrever a seguinte equivalncia:

(p q) p q

Exemplo:

A negao da proposio:

Thas estudiosa ou Clara disciplinada,

(p) (q)

escrita como:

Thas no estudiosa e Clara no disciplinada.

(p) (q)

Importante: A negao da Conjuno e da Disjuno so tambm conhecidas como Leis de Morgan.

 SEFAZ - RS
Matemtica e Raciocnio Lgico
Marcos Luciano

c) Negao do Condicional:

Para negar uma proposio que envolva o conectivo condicional p q, vamos observar a seguinte regra:

1 passo: Conservamos o antecedente;

2 passo: Negamos o consequente;
3 passo: Trocamos o conectivo Se..., ento (), pelo conectivo (e).

Da pode-se escrever a seguinte equivalncia:

(p q) p q

Exemplo:

Dada a proposio condicional:

Se Joo mdico, ento Thas arquiteta.

(p) (q)

Tem-se que sua negao escrita da seguinte forma:

Joo mdico e Thas no arquiteta.

(p) (q)

d) Negao de uma Bicondicional:

Para negar uma proposio bicondicional da forma pq, pode - se escrever as seguintes equivalncias:

(p q) p q

(p q) p q

(p q) pq

Exemplo: Dada a proposio bicondicional:

Joo mdico, se e somente se Thas arquiteta.

Tem-se que sua negao escrita das seguintes formas possveis:

Joo no mdico se e somente se Thas arquiteta.

Joo mdico se e somente se Thas no arquiteta.

Ou Joo mdico ou Thas arquiteta.

 SEFAZ - RS
Matemtica e Raciocnio Lgico
Marcos Luciano

IMPORTANTE !!!

Observando as tabelas abaixo:

p q p q (bicondicional) p q (disjuno exclusiva)

V V V F
V F F V
F V F V
F F V F

vemos que as tabelas verdades do Bicondicional (p q) e da Disjuno Exclusiva (p q) , so uma o contrrio da

outra. Ou seja, quando uma verdadeira a outra falsa e vice versa. Assim podemos afirmar que a negao da
Bicondicional pode ser feita pela Disjuno Exclusiva e que a negao da Disjuno Exclusiva a
Bicondicional. Assim podemos escrever que:

(p q) pq

Resumindo:

PROPOSIO NEGAO

 SEFAZ - RS
Matemtica e Raciocnio Lgico
Marcos Luciano

5. TAUTOLOGIA E CONTRADIO

5.1. Definio de Tautologia

Uma proposio composta uma tautologia se tem valor lgico V quaisquer que sejam os valores lgicos
das proposies componentes, ou seja, uma tautologia conter apenas V na ltima coluna de sua tabela-
verdade.

Exemplo: A proposio p ou no p, isto , p (p) uma tautologia. De fato, a tabela-verdade de p (p) :

p ~p p (~p)
V F V
F V V

5.2. Definio de Contradio

Uma proposio composta uma contradio se tem valor lgico F quaisquer que sejam os valores lgicos
das proposies componentes, ou seja, uma contradio conter apenas F na ltima coluna de sua tabela-
verdade.

Exemplo: A proposio p e no p, isto , p (p) uma contradio. De fato, a tabela-verdade de p (p) :

p ~p p (~p)
V F F
F V F

OBSERVAO: Quando uma proposio no uma tautologia nem uma contradio, ns a chamaremos de
CONTINGNCIA.

6. LGICA DE ARGUMENTAO

6.1. Argumento

Dadas as proposies P1, P2, ..., Pn (n 1) e Q, simples ou compostas, chama-se argumento toda afirmao de que
uma certa sequncia finita de proposies tem como consequncia uma proposio final. As proposies iniciais P1,
P2, ..., Pn so as premissas (hipteses) do argumento e a proposio final Q a concluso (tese) do argumento.

Exemplos:

Argumento 1:
 SEFAZ - RS
Matemtica e Raciocnio Lgico
Marcos Luciano

Argumento 2:

Argumento 3:

6.2. Representao de um Argumento

Um argumento pode ser representado das seguintes formas:

a) Forma Simblica

Podemos indicar um argumento de premissas P1, P2, ...,Pn e de concluso Q da seguinte forma:

P1, P2, ..., Pn Q

Que poder ser lido das seguintes formas:

(1) Q decorre de P1, P2, ..., Pn.

(2) Q se deduz de P1, P2, ..., Pn.
(3) Q se infere de P1, P2, ..., Pn.
(4) P1, P2, ..., Pn acarretam Qn.

Observao: o smbolo denominado de trao de assero.

Exemplo:

Representando o argumento 1:
 SEFAZ - RS
Matemtica e Raciocnio Lgico
Marcos Luciano

Considerando:

Temos que:

b) Forma Simblica Implicativa

Podemos indicar um argumento de premissas P1, P2, ...,Pn e de concluso Q da seguinte forma:

[P1 P2 ... Pn] Q

Exemplo:

Representando o argumento 1:

Temos que:

[ ]

c) Forma Padronizada

Podemos indicar um argumento de premissas P1, P2, ...Pn e de concluso Q, tambm da seguinte forma:

P1

P2

Pn

_______

Q
 SEFAZ - RS
Matemtica e Raciocnio Lgico
Marcos Luciano

Exemplo:

Representando o argumento 1:

6.3. Silogismo

Um argumento que consiste em duas premissas e uma concluso chama-se silogismo.

Poderemos usar os termos hiptese, no lugar de premissa, e tese, no lugar de concluso.

Os argumentos utilizados como exemplos anteriormente so silogismos, pois so formados somente por duas
premissas e a concluso.

6.4. Validade de um argumento

Diz-se que VLIDO UM ARGUMENTO, se, e somente se, a concluso for verdadeira, todas as vezes que as
premissas forem verdadeiras (consideradas por hiptese, supostamente verdadeiras). Lembre que verdade e falsidade
so predicados das proposies, nunca dos argumentos.

Assim, o argumento P1, P2, P3, ..., Pn Q VLIDO, se, e somente se, a concluso Q for verdadeira, todas as
vezes que as premissas P1, P2, P3, ..., Pn forem verdadeiras (consideradas por hiptese, supostamente verdadeiras).
Lembre que validade ou no-validade so atributos dos argumentos, nunca das proposies.

Portanto, em todo argumento vlido, a verdade das premissas incompatvel com a falsidade da concluso. Um
argumento no vlido chamado de falcia ou sofisma. Existe uma conexo entre validade e no validade de um
argumento e a verdade e falsidade de suas premissas e concluso, mas essa conexo de modo nenhum simples. H
argumentos vlidos com concluses falsas, assim como argumentos no vlidos com concluses verdadeiras.

A validade de um argumento depende to somente da relao existente entre as premissas e a concluso. Logo,
afirmar que um dado argumento vlido significa afirmar que as premissas esto de tal modo relacionadas com a
concluso que no possvel ter a concluso falsa se as premissas forem verdadeiras.
 SEFAZ - RS
Matemtica e Raciocnio Lgico
Marcos Luciano

7. SENTENA ABERTA

Antes de definir Sentena Aberta, vamos observar algumas sentenas:

a) x + 3 = 7.
b) Ela uma professora de Direito do Trabalho.
c) Fulano um mdico notvel.

Pergunta-se:

Ser que possvel atribuir algum valor lgico, V ou F, em relao s sentenas dadas?

Respostas:

No, pois nada foi informado sobre a varivel x, de quem Ele e sobre o Fulano, respectivamente nas letras a, b e
c. Assim tais sentenas no podem ser classificadas com V ou F, ou seja, no so proposies. Logo, sentenas,
afirmaes com essa caracterstica, so denominados de sentenas abertas.

Definio

Sentena aberta toda expresso que depende de pelo menos um termo varivel, de tal forma que esse termo pode
assumir mais de um valor.

Nos exemplos:

a) Na sentena x + 3 = 7, a varivel (Termo Varivel) x. Pode-se atribuir infinitos valores a x, de tal

forma que apenas para x = 4 a sentena aberta transformada numa proposio verdadeira; e para
qualquer valor de x 4 a sentena aberta transformada numa proposio falsa.

b) Na sentena Ela um professora de Direito do Trabalho, a varivel (Termo Varivel) Ela, pois tal
termo pode ser substitudo por um nome qualquer para que a sentena possa ser classificada com V ou F,
passando a ser uma proposio. Por exemplo, caso o Ela seja o grande mestre, professor Thas
Mendona, teramos uma proposio verdadeira.

c) Mesma justificativa do exemplo b.

8. QUANTIFICADORES

J se sabe que uma expresso da forma x + 4 = 1, uma sentena aberta, pois depende dos valores que a varivel
x pode assumir e nada foi informado a esse respeito. Ou seja, faltam informaes sobre x. Tudo bem, isso a gente j
sabe. Mas como que uma sentena aberta transformada numa proposio, podendo ser classificada como V ou F?

Para transformar uma sentena aberta numa proposio, deve-se associar sentena aberta um CONJUNTO (um ou
mais) cujos elementos esto associados a varivel, ou variveis, da mesma e um QUANTIFICADOR, que um
 SEFAZ - RS
Matemtica e Raciocnio Lgico
Marcos Luciano

smbolo lgico, associado a varivel, ou variveis, da sentena aberta, que tem a funo de quantificar
quantos elementos do conjunto (todos, algum ou nenhum), satisfazem a expresso da sentena aberta.

Os quantificadores so:

a) Quantificador Universal: , que significa: para todo, qualquer que seja, para cada, todo, toda.

b) Quantificador existencial: , que significa: existe pelo menos um, existe algum, existe, algum, alguma,
algum.

c) Quantificador existencial de Unicidade: !, que significa: existe somente um, existe um nico, existe
apenas um.

Observao:

Temos tambm o quantificador indicado pelos seguintes smbolos:

, ,

Que significa: no existe, nenhum, nenhuma, ningum, nada.

Observe o seguinte exemplo:

(x, x {3, 4, 5, 6}) (x + 4 = 9), uma proposio.

Da:

Quantificador associado varivel da sentena aberta.

{3, 4, 5, 6} Conjunto, cujos elementos esto associados varivel da sentena aberta.

x + 4 = 9 Antes era uma sentena aberta, mas agora chamada de: Propriedade, Caracterstica ou
Predicado.

Exemplo:

a) (x, x Z) (x + 3 = 7)

Leitura: Para todo x, com x sendo um elemento de Z, tem-se que, x + 3 = 7.

Observe que uma proposio falsa.

b) (x, x N) (x2 = 9).

Leitura: Existe algum nmero natural, tal que o quadrado desse nmero igual a 9.
 SEFAZ - RS
Matemtica e Raciocnio Lgico
Marcos Luciano

Observe que uma proposio verdadeira.

c) !x, x {1, 2, 3}; x + x2 = 2.

Leitura: Existe um nico valor de x, com x pertencente ao conjunto {1, 2, 3}, tal que x + x2 = 2.

Observe que uma proposio verdadeira.

9. SILOGISMOS ENVOLVENDO QUANTIFICADORES (Diagramas Lgicos)

Alguns problemas apresentam expresses como todos, algum, nenhum (quantificadores). Muitos desses
problemas so resolvidos atravs do uso dos diagramas de Venn. Vamos agora analisar as seguintes proposies:
Todo A B, Algum A B, Nenhum A B e Algum A no B. Tais proposies so denominadas de Proposies
Categricas.

9.1. Anlise das Proposies Categricas

a) Todo A B se um elemento pertence ao conjunto A, ento pertence tambm a B.

Proposio
Representao Simblica Leitura
Categrica
Qualquer que seja X, se ele pertence a A,
Todo A B ( x) ((A(x)B(x))
pertence necessariamente a B.

Diagrama de Venn

Todo A B

b) Algum A B (ou: pelo menos um A B) existe pelo menos um elemento comum aos conjuntos A e B.

Proposio
Representao Simblica Leitura
Categrica
Existe um elemento X, tal que X pertence
Algum A B ( x) (A(x) B(x))
a A, e tambm pertence a B.
 SEFAZ - RS
Matemtica e Raciocnio Lgico
Marcos Luciano

Os elementos comuns aos dois conjuntos esto representados pela parte sombreada.

c) Nenhum A B no existe nenhum elemento comum aos conjuntos A e B, isto , se um elemento pertence a A,
ento no pertence a B, e vice-versa.

Proposio
Representao Simblica Leitura
Categrica
No existe elemento X, tal que X
Nenhum A B ( x) (A(x) B(x))
pertence a A e X pertence a B.

Diagrama de Venn

A B Nenhum A B

No existem elementos comuns aos dois conjuntos.

d) Algum A no B existe pelo menos um elemento que pertence a A, que no pertence a B, e vice-versa.

Proposio
Representao Simblica Leitura
Categrica
Existe um elemento X, tal que X pertence
Algum A no B ( x) (A(x) B(x))
a A, e no pertence a B.
 SEFAZ - RS
Matemtica e Raciocnio Lgico
Marcos Luciano

Diagrama de Venn

Perceba-se que, nesta sentena, a ateno est sobre o(s) elemento(s) de A que no so B (enquanto que, no algum
A B, a ateno estava sobre os que eram B, ou seja, na intercesso).

9.2 Negao envolvendo quantificadores

Nas provas de concursos pblicos muito comum aparecer questes que envolvam a negao de proposies com
os quantificadores: todo, algum e nenhum. Vamos a seguir observar tais negaes.

a) Negao de Todo

Negar a proposio Todo A B o mesmo que dizer que Algum A no B.

Exemplo:

Todo homem educado.

Negao:

Algum homem no educado.

b) Negao de Nenhum

Negar a proposio Nenhum A B o mesmo que dizer que Algum A B.

 SEFAZ - RS
Matemtica e Raciocnio Lgico
Marcos Luciano

Exemplo:

Nenhum artista professor.

Negao:

Algum artista professor.

c) Negao de Algum

A negao de uma proposio com o quantificador Algum pode ser feita de duas formas possveis:

c.1) Negar a proposio Algum A B o mesmo que dizer que Nenhum A B.

Exemplo:

Algum filsofo rico.

Negao:

Nenhum filsofo rico. ou Todo filsofo no rico.

c.2) Negar a proposio Algum A no B o mesmo que dizer que Todo A B.

Exemplo:

Alguma mulher no vaidosa.

Negao:

Toda mulher vaidosa. Ou Nenhuma mulher no vaidosa.

 SEFAZ - RS
Matemtica e Raciocnio Lgico
Marcos Luciano

PROPOSIO EXEMPLO
NEGAO EXEMPLO DA NEGAO
INICIAL INICIAL
Algum A no B, ou Algum homem no educado; ou
Todo homem
Todo A B
educado Pelo menos um A no Pelo menos um homem no
B educado
Algum A B ou Algum homem educado; ou
Nenhum homem
Nenhum A B
educado
Pelo menos um A B Pelo menos um homem educado
Algum homem
Algum A B Nenhum A B Nenhum homem educado
educado

Algum homem no
Algum A no B Todo A B Todo homem educado
educado

EXERCCIOS PROPOSTOS DE LGICA

01. Julgue os item a seguir:

(CESPE) Entre as frases apresentadas a seguir, identificadas por letras de A a E, apenas duas so proposies.

A: Pedro marceneiro e Francisco, pedreiro.

B: Adriana, voc vai para o exterior nessas frias?
C: Que jogador fenomenal!
D: Todos os presidentes foram homens honrados.
E: No deixe de resolver a prova com a devida ateno.

02. Julgue o item a seguir:

(CESPE) Nas sentenas abaixo, apenas A e E so proposies.

A: 12 menor que 6
B: Para qual time voc torce?
C: x + 3 > 10
D: Existe vida aps a morte
 SEFAZ - RS
Matemtica e Raciocnio Lgico
Marcos Luciano

E: Ele um advogado talentoso.

03. (CRF RS FUNDATEC 2008) Um exemplo de sentena aberta dado por

(A) o Brasil um pas.

(B) o nmero 2 um nmero primo.
(C) todo quadrado um quadriltero.
(D) eles so sbios.
(E) 1 < 5.

04. (ANALISTA TCNICO N. SUPERIOR MTUR ESAF 2014) Assinale a opo que apresenta valor lgico
falso.

(A) 23 = 8 e 1 + 4 = 5.
(B) Se, 3 ento 6 2 = 3.
(C) Ou 3 1 = 2 ou 5 + 2 = 8.
(D) Se 7 2 = 5, ento 5 + 1 = 7.
3
(E) 32 = 9 se, e somente se, = 2.

05. (ANALISTA PETROBRS CESGRANRIO 2006) Sabendo que as proposies p e q so verdadeiras e que as
proposies r e s so falsas, assinale a opo que apresenta valor lgico falso nas proposies abaixo.

a) r p q
b) (r s) (p q)
c) (s r) (p q)
d) ((r p) (s q))
e) r q (p r)

06. (SES RS FUNDATEC 2014) Considerando os operadores lgicos usados nas sentenas compostas abaixo,
correto afirmar que a sentena composta que representa um condicional FALSO :

(A) Se 2 mpar, ento 2 par.

(B) 2 par, logo 11 primo.
(C) Se 2 par, ento, 6 primo.
(D) 5 mpar, portanto 4 par.
(E) 4 ser mpar implica que 5 par.
 SEFAZ - RS
Matemtica e Raciocnio Lgico
Marcos Luciano

07. (GESTOR FAZENDRIO MG ESAF 2005) Considere a afirmao P: A ou B, onde A e B, por sua vez so
as seguintes afirmaes;

A: Carlos dentista.

B: Se Enio economista, ento Juca arquiteto.

Ora, sabe-se que a afirmao P falsa. Logo:

a) Carlos no dentista; Enio no economista; Juca no arquiteto;

b) Carlos no dentista; Enio economista; Juca no arquiteto;
c) Carlos no dentista; Enio economista; Juca arquiteto;
d) Carlos dentista; Enio no economista; Juca no arquiteto;
e) Carlos dentista; Enio economista; Juca no arquiteto.

08. (MPOG ESAF 2009) Considere que: se o dia est bonito, ento no chove. Desse modo:

a) no chover condio necessria para o dia estar bonito.

b) no chover condio suficiente para o dia estar bonito.
c) chover condio necessria para o dia estar bonito.
d) o dia estar bonito condio necessria e suficiente para chover.
e) chover condio necessria para o dia no estar bonito.

09. (IRGA FUNDATEC 2013) Para responder questo, considere a tabela a seguir, a qual apresenta valores
lgicos de forma binria. Cada coluna representa uma proposio lgica (simples ou composta), 0 representa o valor
lgico falso, e 1 representa o valor lgico verdadeiro.
 SEFAZ - RS
Matemtica e Raciocnio Lgico
Marcos Luciano

Baseando-se no conceito de operaes lgicas e suas respectivas Tabelas-Verdade, que proposies esto
representadas nas colunas E e F, respectivamente?

(A) bicondio e disjuno inclusiva.

(B) condio e disjuno exclusiva.
(C) conjuno e disjuno exclusiva.
(D) disjuno inclusiva e condio.
(E) disjuno inclusiva e conjuno.

10. (ANALISTA TCNICO N. SUPERIOR MF ESAF 2013) A negao da proposio Braslia a Capital
Federal e os Territrios Federais integram a Unio :

(A) Braslia no a Capital Federal e os Territrios Federais no integram a Unio.

(B) Braslia no a Capital Federal ou os Territrios Federais no integram a Unio.
(C) Braslia no a Capital Federal ou os Territrios Federais integram a Unio.
(D) Braslia a Capital Federal ou os Territrios Federais no integram a Unio.
(E) (E)Braslia no a Capital Federal e os Territrios Federais integram a Unio.

11. (IRGA FUNDATEC 2013) A negao da proposio Joo mdico ou Joo engenheiro. :

(A) Joo no mdico e Joo no engenheiro.

(B) Joo no mdico ou Joo no engenheiro.
(C) No verdade que Joo no mdico ou Joo engenheiro.
(D) No verdade que Joo no mdico e Joo engenheiro.
(E) No verdade que Joo mdico e Joo engenheiro.
 SEFAZ - RS
Matemtica e Raciocnio Lgico
Marcos Luciano

12. (CREA PR FUNDATEC 2010) Dadas as proposies:

p: os gatos so marrons.
q: os ces so amarelos.

Uma das formas de representao, em linguagem simblica, da proposio No verdade que, se os gatos no so
marrons, ento os ces so amarelos.

(A) ~(p q)
(B) p ~q
(C) ~p ~q
(D) ~(p q)
(E) ~p q

13. (ATA MF ESAF 2014) A negao da proposio se Paulo trabalha oito horas por dia, ento ele servidor
pblico logicamente equivalente proposio:

(A) Paulo trabalha oito horas por dia ou servidor pblico.

(B) Paulo trabalha oito horas por dia e no servidor pblico.
(C) Paulo trabalha oito horas por dia e servidor pblico.
(D) Se Paulo no trabalha oito horas por dia, ento no servidor pblico.
(E) Se Paulo servidor pblico, ento ele no trabalha oito horas por dia.

14. (IFBA 2010) A negao da afirmao: Se, o euro subir e o frio diminuir, ento eu no vou viajar, equivale a:

(A) se, o euro subir e o frio diminuir, ento eu vou viajar.

(B) se, o euro no subir e o frio no diminuir, eu vou viajar.
(C) o euro no subiu, o frio no diminuiu e eu no vou viajar.
(D) o euro subiu, o frio diminuiu e eu vou viajar.
(E) o euro no subiu, o frio no diminuiu e eu no vou viajar.

15. (PROCERGS FUNDATEC 2012) Dadas as proposies:

p: Ana saudvel.
q: Paulo est gripado.

Uma forma de se representar a proposio ~(p ~q) em linguagem corrente

(A) Ana no saudvel e Paulo no est gripado.

(B) No verdade que Ana no saudvel e Paulo no est gripado.
(C) Ana no saudvel ou Paulo no est gripado.
(D) Se Ana saudvel, ento Paulo est gripado.
(E) Se Ana no saudvel, ento Paulo no est gripado.
 SEFAZ - RS
Matemtica e Raciocnio Lgico
Marcos Luciano

16. (CESPE) Julgue o prximo item, considerando proposio P, a seguir: O desenvolvimento cientfico do pas
permanecer estagnado se, e somente se, no houver investimento em pesquisa acadmica no Brasil.

1. A negao da proposio P est corretamente enunciada da seguinte forma: Ou o desenvolvimento

cientfico do pas permanecer estagnado, ou no haver investimento em pesquisa acadmica no Brasil. C

17. (ANALISTA TCNICO N. SUPERIOR MTUR ESAF 2014) A proposio se Catarina turista, ento Paulo
estudante logicamente equivalente a

(A) Catarina no turista ou Paulo no estudante.

(B) Catarina turista e Paulo no estudante.
(C) Se Paulo no estudante, ento Catarina no turista.
(D) Catarina no turista e Paulo no estudante.
(E) Se Catarina no turista, ento Paulo no estudante.

18. (PROCERGS FUNDATEC 2012) Dada a proposio: Quando chove, no h aula ao ar livre., sua
contrapositiva

(A) Quando no chove, no h aula ao ar livre.

(B) Se h aula ao ar livre, ento no chove.
(C) No chove e nem h aula ao ar livre.
(D) Se chove, h aula ao ar livre.
(E) Quando chove, h aula em outro local.

19. (CREA PR FUNDATEC 2010) Dada a proposio: Se Joo trabalha longe de casa e tem carro, ento ele no
chega atrasado ao trabalho. Sua contrapositiva

(A) Se Joo no trabalha longe de casa e no tem carro, ento ele chega atrasado ao trabalho.
(B) Se Joo no chega atrasado ao trabalho, ento ele trabalha longe de casa e tem carro.
(C) Se Joo no trabalha longe de casa ou tem carro, ento ele chega atrasado ao trabalho.
(D) Se Joo trabalha longe de casa ou no tem carro, ento ele no chega atrasado ao trabalho.
(E) Se Joo chega atrasado ao trabalho, ento ele no trabalha longe de casa ou no tem carro.

20. (AFRFB ESAF 2012) A afirmao A menina tem olhos azuis ou o menino loiro tem como sentena
logicamente equivalente:

(A) se o menino loiro, ento a menina tem olhos azuis.

(B) se a menina tem olhos azuis, ento o menino loiro.
(C) se a menina no tem olhos azuis, ento o menino loiro.
(D) no verdade que se a menina tem olhos azuis, ento o menino loiro.
 SEFAZ - RS
Matemtica e Raciocnio Lgico
Marcos Luciano

(E) no verdade que se o menino loiro, ento a menina tem olhos azuis.

21. (PREFEFEITURA FOZ DO IGUAU FUNDATEC 2013) Assinale a alternativa que apresenta erro
conceitual.

(A) ~ ~p ~p
(B) ~(p q) p ~q
(C) ~(p q) pq
(D) ~(p q) ~p ~q
(E) pq ~p q

22. (IRGA FUNDATEC 2013) Considere os seguintes argumentos, assinalando V, se vlidos, ou NV, se no
vlidos.

( ) Se o co um mamfero, ento laranjas no so minerais. Ora, laranjas so minerais, logo, o co no um

mamfero.

( ) Quando chove, Joo no vai escola. Hoje no choveu, portanto, hoje Joo foi escola.

( ) Quando estou de frias, viajo. No estou viajando agora, portanto, no estou de frias.

A ordem correta de preenchimento dos parnteses, de cima para baixo, :

(A) V V V
(B) V V NV
(C) V NV V
(D) NV V V
(E) NV NV NV

23. (ANALISTA TCNICO N. SUPERIOR MTUR ESAF 2014) As seguintes premissas so verdadeiras:

Se Paulo no trabalha tera-feira, ento Maria trabalha sbado.

Se Ana no trabalha domingo, ento Samuel no trabalha sexta-feira.
Se Samuel trabalha sexta-feira, ento Maria no trabalha sbado.
Samuel trabalha sexta-feira.

Logo, pode-se afirmar que:

(A) Paulo trabalha tera-feira e Maria trabalha sbado.

(B) Paulo no trabalha tera-feira ou Maria trabalha sbado.
(C) Maria trabalha sbado e Ana no trabalha domingo.
 SEFAZ - RS
Matemtica e Raciocnio Lgico
Marcos Luciano

(D) Ana no trabalha domingo e Paulo trabalha tera-feira.

(E) Se Maria trabalha sbado, ento Ana no trabalha domingo.

24. (CRF RS FUNDATEC 2008) Uma proposio composta que sempre falsa, independentemente dos valores
lgicos das proposies simples que a constituem, representa uma

(A) implicao.
(B) equivalncia.
(C) tautologia.
(D) disjuno.
(E) contradio.

25. (ANALISTA TCNICO N. SUPERIOR MF ESAF 2013) Conforme a teoria da lgica proposicional, a
proposio ~ P P :

(A) uma tautologia.

(B) equivalente proposio ~ P V P.
(C) uma contradio.
(D) uma contingncia.
(E) uma disjuno.

26. (SES RS FUNDATEC 2014) Qual das alternativas abaixo uma tautologia?

(A) ~ (A B) (~A ~B)

(B) (~A B) (B A)
(C) ((A B) B) ~A
(D) (A B) (~A~B)
(E) ((A B) ~B) A

27. (AFR SP FCC) Todos os diplomatas so gordos. Nenhum gordo sabe nadar. Segue-se que:

(A) algum diplomata no gordo.

(B) algum diplomata sabe nadar.
(C) nenhum diplomata sabe nadar.
(D) nenhum diplomata gordo.
(E) algum gordo sabe nadar.

28. (CREA PR FUNDATEC 2010) Dadas as premissas: Todos os abacaxis so bananas. e Algumas laranjas no
so bananas. A concluso que torna o argumento vlido :

(A) Existem laranjas que no so abacaxis.

(B) Nenhum abacaxi banana.
(C) Existe laranja que banana.
(D) Todas as laranjas so bananas.
 SEFAZ - RS
Matemtica e Raciocnio Lgico
Marcos Luciano

(E) Nem todos os abacaxis so bananas.

29. (PGE RS FUNDATEC 2014) A negao da sentena Todos os quadrilteros so retngulos :

(A) Todos os quadrilteros no so retngulos

(B) Nenhum quadriltero retngulo
(C) Existe quadriltero que retngulo
(D) Existe quadriltero que no retngulo
(E) Todos os quadrilteros no so quadrados

30. (BB ESCRITURRIO CESGRANRIO 2010) Qual a negao da proposio Algum funcionrio da agncia P
do Banco do Brasil tem menos de 20 anos?

(A) Todo funcionrio da agncia P do Banco do Brasil tem menos de 20 anos.

(B) No existe funcionrio da agncia P do Banco do Brasil com 20 anos.
(C) Algum funcionrio da agncia P do Banco do Brasil tem mais de 20 anos.
(D) Nenhum funcionrio da agncia P do Banco do Brasil tem menos de 20 anos.
(E) Nem todo funcionrio da agncia P do Banco do Brasil tem menos de 20 anos.

31. (MPOG ESAF 2009) A negao de noite, todos os gatos so pardos :

(A) De dia, todos os gatos so pardos.

(B) De dia, nenhum gato pardo.
(C) De dia, existe pelo menos um gato que no pardo.
(D) noite, existe pelo menos um gato que no pardo.
(E) noite, nenhum gato pardo.

32. (TCNICO TRT 19 REGIO 2011) Ricardo, Mateus e Lucas so trs amigos que cursam faculdades de
medicina, engenharia e direito. Cada um dos trs usa um meio diferente de transporte para chegar faculdade:
nibus, automvel e bicicleta. Para descobrir o que cada um cursa e o meio de transporte que utilizam, temos o
seguinte:

Mateus anda de bicicleta;

Quem anda de nibus no faz medicina;
 SEFAZ - RS
Matemtica e Raciocnio Lgico
Marcos Luciano

Ricardo no cursa engenharia e Lucas estuda direito.

Considerando as concluses:

I. Lucas vai de nibus para a faculdade de direito.

II. Mateus estuda medicina.
III. Ricardo vai de automvel para a faculdade.

Est correto o que consta em

(A) I, apenas.
(B) III, apenas.
(C) II e III, apenas.
(D) I e III, apenas.
(E) I, II e III.

33. (TRF 3 REGIO FCC 2007) Trs irmos, Huguinho, Zezinho e Luisinho, esto sentados lado a lado em um
cinema. Luisinho nunca fala a verdade, Zezinho s vezes fala a verdade e Huguinho sempre fala a verdade. Quem
est sentado direita diz: Luisinho est sentado no meio. Quem est sentado no meio diz: Eu sou Zezinho. Por
fim, quem est sentado esquerda diz: Huguinho est sentando no meio. Quem est sentado direita, quem est
sentado no meio e quem est sentado esquerda so, respectivamente:

(A) Zezinho, Huguinho e Luisinho.

(B) Luisinho, Zezinho e Huguinho.
(C) Huguinho, Luisinho e Zezinho.
(D) Luisinho, Huguinho e Zezinho.
(E) Zezinho, Luisinho e Huguinho.

34. (INSTITUTO RIO GRANDENSE DO ARROZ AUXILIAR CONTBIL 2014) Aldo, Breno e Cludio so
trs amigos cujas profisses so advogado, engenheiro e mdico, mas no se sabe ao certo qual a profisso de cada
um deles. Sabe-se que apenas uma das seguintes afirmaes verdadeira:

I. Aldo advogado.
II. Breno no mdico.
III. Cludio no advogado.

Considerando os dados acima, as profisses de Aldo, Breno e Cludio so, respectivamente:

(A) Mdico, engenheiro e advogado.

(B) Mdico, advogado e engenheiro.
(C) Engenheiro, mdico e advogado.
(D) Engenheiro, advogado e mdico.
(E) Advogado, mdico e engenheiro.
 SEFAZ - RS
Matemtica e Raciocnio Lgico
Marcos Luciano

35. (INEA RJ GESTO AMBIENTAL FGV 2013) A sequncia de letras a seguir mantm o mesmo padro de
repetio.

INEARJINEARJINEARJ

A letra que ocupa a 555 posio

(A) N.
(B) E.
(C) A.
(D) R.
(E) J.

GABARITO EXERCCIOS PROPOSTOS DE LGICA

01 - C 02 - E 03 - D 04 D 05 - D 06 - C 07 - B 08 - A 09 - B 10 - B
11 - A 12 - C 13 - B 14 D 15 - D 16 - C 17 - C 18 - B 19 - E 20 - C
21 - A 22 - C 23 - E 24 E 25 - C 26 - C 27 - C 28 - A 29 - A 30 D
31 - D 32 - D 33 - C 34 A 35 - B