Conjunção (símbolo Λ): Este conectivo é utilizado para

RACIOCÍNIO LÓGICO unir duas proposições formando uma terceira. O

resultado dessa união somente será verdadeiro se as
1 ESTRUTURAS LÓGICAS duas proposições (p e q) forem verdadeiras, ou seja,
sendo pelo menos uma falsa, o resultado será falso. Ex.:
p Λ q. (O Pão é barato e o Queijo não é bom). Λ = “e”.
Na lógica, uma estrutura (ou estrutura de interpretação) Regrinha para o conectivo de conjunção (Λ):
é um objeto que dá significado semântico ou
interpretação aos símbolos definidos pela assinatura de
uma linguagem. Uma estrutura possui diferentes
configurações, seja em lógicas de primeira ordem, seja
em linguagens lógicas poli-sortidas ou de ordem
superior. As questões de Raciocínio Lógico sempre vão
ser compostas por proposições que provam, dão
suporte, dão razão a algo, ou seja, são afirmações que
expressam um pensamento de sentindo completo.
Essas proposições podem ter um sentindo positivo ou
negativo. Disjunção (símbolo V): Este conectivo também serve
Exemplo 1: João anda de bicicleta. para unir duas proposições. O resultado será verdadeiro
Exemplo 2: Maria não gosta de banana. se pelo menos uma das proposições for verdadeira. Ex:
Tanto o exemplo 1 quanto o 2 caracterizam uma p v q. (Ou o Pão é barato ou o Queijo não é bom.) V =
afirmação/ proposição. “ou”. Regrinha para o conectivo de disjunção (V):
A base das Estruturas Lógicas é saber o que é Verdade
ou Mentira (verdadeiro/falso). Os resultados das
proposições sempre tem que dar verdadeiro. Há alguns
princípios básicos:
Contradição: Nenhuma proposição pode ser verdadeira
e falsa ao mesmo tempo.
Terceiro Excluído: Dadas duas proposições lógicas
contraditórias somente uma delas é verdadeira. Uma
proposição ou é verdadeira ou é falsa, não há um Condicional (símbolo →): Este conectivo dá a ideia de
terceiro valor lógico (“mais ou menos”, meio verdade ou condição para que a outra proposição exista. “P” será
meio mentira). Ex. Estudar é fácil. (o contrário seria: condição suficiente para “Q” e “Q” é condição necessária
“Estudar é difícil”. Não existe meio termo, ou estudar é para “P”. Ex: P → Q. (Se o Pão é barato então o Queijo
fácil ou estudar é difícil). não é bom.) → = “se...então”. Regrinha para o conectivo
Para facilitar a resolução das questões de lógica usam- condicional (→):
se os conectivos lógicos, que são símbolos que
comprovam a veracidade das informações e unem as
proposições uma a outra ou as transformam numa
terceira proposição. Veja:
(~) “não”: negação
(Λ) “e”: conjunção
(V) “ou”: disjunção
(→) “se...então”: condicional Bicondicional (símbolo ↔): O resultado dessas
(↔) “se e somente se”: bicondicional proposições será verdadeiro se e somente se as duas
Temos as seguintes proposições: forem iguais (as duas verdadeiras ou as duas falsas). “P”
O Pão é barato. O Queijo não é bom. será condição suficiente e necessária para “Q”.
A letra p representa a primeira proposição e a letra q, a Exemplo: P ↔ Q. (O Pão é barato se e somente se o
segunda. Assim, temos: Queijo não é bom.) ↔ = “se e somente se”. Regrinha
p: O Pão é barato. para o conectivo bicondicional (↔):
q: O Queijo não é bom.

Negação (símbolo ~): Quando usamos a negação de

uma proposição invertemos a afirmação que está sendo
dada. Veja os exemplos:
~p (não p): O Pão não é barato. (É a negação lógica de
p)
~q (não q): O Queijo é bom. (É a negação lógica de q)
Se uma proposição é verdadeira, quando usamos a
negação vira falsa.
Se uma proposição é falsa, quando usamos a negação
vira verdadeira.
Regrinha para o conectivo de negação (~):
QUESTÕES
01. (ESAF - Receita Federal - Auditor Fiscal) A afirmação
“A menina tem olhos azuis ou o menino é loiro” tem
como sentença logicamente equivalente:
(A) se o menino é loiro, então a menina tem olhos azuis.
(B) se a menina tem olhos azuis, então o menino é loiro.
(C) se a menina não tem olhos azuis, então o menino é
loiro.
(D) não é verdade que se a menina tem olhos azuis,
então o menino é loiro.
(E) não é verdade que se o menino é loiro, então a
menina tem olhos azuis.
02. (ESAF - Receita Federal - Auditor Fiscal) Se
Anamara é médica, então Angélica é médica. Se
Anamara é arquiteta, então Angélica ou Andrea são
médicas. Se Andrea é arquiteta, então Angélica é
arquiteta. Se Andrea é médica, então Anamara é
médica. Considerando que as afirmações são
verdadeiras, segue-se, portanto, que:
(A) Anamara, Angélica e Andrea são arquitetas.
(B) Anamara é médica, mas Angélica e Andrea são
arquitetas.
(C) Anamara, Angélica e Andrea são médicas.
(D) Anamara e Angélica são arquitetas, mas Andrea é
médica.
(E) Anamara e Andrea são médicas, mas Angélica é
arquiteta.
03. (ESAF - Receita Federal - Auditor Fiscal) Se Ana é
pianista, então Beatriz é violinista. Se Ana é violinista,
então Beatriz é pianista. Se Ana é pianista, Denise é
violinista. Se Ana é violinista, então Denise é pianista. Se
Beatriz é violinista, então Denise é pianista. Sabendo-se
que nenhuma delas toca mais de um instrumento, então
Ana, Beatriz e Denise tocam, respectivamente:
(A) piano, piano, piano.
(B) violino, piano, piano.
(C) violino, piano, violino.
(D) violino, violino, piano.
(E) piano, piano, violino.
Texto para as questões de 04 a 07.
O cenário político de uma pequena cidade tem sido
movimentado por denúncias a respeito da existência de
um esquema de compra de votos dos vereadores. A
dúvida quanto a esse esquema persiste em três pontos,
correspondentes às proposições P, Q e R:
P: O vereador Vitor não participou do esquema;
Q: O Prefeito Pérsio sabia do esquema;
R: O chefe de gabinete do Prefeito foi o mentor do
esquema.
Os trabalhos de investigação de uma CPI da Câmara
Municipal conduziram às premissas P1, P2 e P3
seguintes:
P1: Se o vereador Vitor não participou do esquema,
então o Prefeito Pérsio não sabia do esquema.
P2: Ou o chefe de gabinete foi o mentor do esquema, ou
o Prefeito Pérsio sabia do esquema, mas não ambos.
P3: Se o vereador Vitor não participou do esquema,
então o chefe de gabinete não foi o mentor do esquema.
Considerando essa situação hipotética, julgue os itens
seguintes, acerca de proposições lógicas.
04. Das premissas P1, P2 e P3, é correto afirmar que “O
chefe de gabinete foi o mentor do esquema ou o
vereador Vitor participou do esquema”.
( ) Certo ( ) Errado
05. Considerando essa situação hipotética, julgue os
itens seguintes, acerca de proposições lógicas. A
premissa P2 pode ser corretamente representada por R
∨ Q.
( ) Certo ( ) Errado
06. Considerando essa situação hipotética, julgue os
itens seguintes, acerca de proposições lógicas. A
premissa P3 é logicamente equivalente à proposição “O
vereador Vitor participou do esquema ou o chefe de
gabinete não foi o mentor do esquema”.
( ) Certo ( ) Errado
07. Considerando essa situação hipotética, julgue os
itens seguintes, acerca de proposições lógicas. A partir
das premissas P1, P2 e P3, é correto inferir que o
prefeito Pérsio não sabia do esquema.
( ) Certo ( ) Errado
08. (CESPE - TRE-ES - Técnico) Entende-se por
proposição todo conjunto de palavras ou símbolos que
exprimem um pensamento de sentido completo, isto é,
que afirmam fatos ou exprimam juízos a respeito de
determinados entes. Na lógica bivalente, esse juízo, que
é conhecido como valor lógico da proposição, pode ser
verdadeiro (V) ou falso (F), sendo objeto de estudo
desse ramo da lógica apenas as proposições que
atendam ao princípio da não contradição, em que uma
proposição não pode ser simultaneamente verdadeira e
falsa; e ao princípio do terceiro excluído, em que os
únicos valores lógicos possíveis para uma proposição
são verdadeiro e falso. Com base nessas informações,
julgue os itens a seguir. Segundo os princípios da não
contradição e do terceiro excluído, a uma proposição
pode ser atribuído um e somente um valor lógico.
( ) Certo ( ) Errado
(CESPE - TRT-ES – Técnico Judiciário) Proposição
Texto para as questões 09 e 10.
Proposições são frases que podem ser julgadas como
verdadeiras (V) ou falsas (F), mas não como V e F
simultaneamente. As proposições simples são aquelas
que não contêm nenhuma outra proposição como parte
delas. As proposições compostas são construídas a
partir de outras proposições, usando-se símbolos
lógicos, parênteses e colchetes para que se evitem
ambiguidades. As proposições são usualmente
simbolizadas por letras maiúsculas do alfabeto: A, B, C,
etc. Uma proposição composta da forma A ∨ B, chamada
disjunção, deve ser lida como “A ou B” e tem o valor
lógico F, se A e B são F, e V, nos demais casos. Uma
proposição composta da forma A ∨ B, chamada
conjunção, deve ser lida como “A e B” e tem valor lógico
V, se A e B são V, e F, nos demais casos. Além disso, A,
que simboliza a negação da proposição A, é V, se A for
F, e F, se A for V. Considere que cada uma das
proposições seguintes tenha valor lógico V.
I- Tânia estava no escritório ou Jorge foi ao centro da
cidade
II- Manuel declarou o imposto de renda na data correta e
Carla não pagou o condomínio.
III- Jorge não foi ao centro da cidade.
09. A partir dessas proposições, é correto afirmar que a
proposição “Manuel declarou o imposto de renda na data
correta e Jorge foi ao centro da cidade” tem valor lógico
V.
( ) Certo ( ) Errado
10. A partir dessas proposições, é correto afirmar que a
proposição. “Carla pagou o condomínio” tem valor lógico
F.
( ) Certo ( ) Errado
Respostas
1. Resposta “C”.
Sintetizando: Basta negar a primeira, manter a segunda
e trocar o “ou” pelo “se então”. “A menina tem olhos
azuis (M) ou o menino é loiro (L)”.
Está assim: M v L
Fica assim: ~M → L
Se a menina não tem olhos azuis, então o menino é
loiro.
02. Parte inferior do formulário
Resposta “C”.
Anamara médica → Angélica médica. (verdadeira →
verdadeira)
Anamara arquiteta → Angélica médica ∨ Andrea médica.
(falsa → verdadeira ∨ verdadeira)
Andrea arquiteta → Angélica arquiteta. (falsa → falsa)
Andrea médica → Anamara médica. (verdadeira →
verdadeira)
Como na questão não existe uma proposição simples,
temos que escolher entre as existentes, uma proposição
composta e supor se é verdadeira ou falsa. Nesta
questão analise as proposições à medida que aparecem
na questão, daí a primeira proposição sobre a pessoa
assume o valor de verdade, as seguintes serão, em
regra, falsas. Embora nada impeça que uma pessoa
tenha mais de uma profissão, o que não deve ser levado
em consideração. Importante lembrar que todas as
proposições devem ter valor lógico verdadeiro. Para
encontrar a resposta temos que testar algumas
hipóteses até encontrar a que preencha todos os
requisitos da regra.
- Se Anamara é médica, então Angélica é médica.
(verdadeiro)
1. V V
2. F F
3. F V
- Se Anamara é arquiteta, então Angélica ou Andrea são
médicas. (verdadeiro)
1. F V V - Para ser falso Todos devem ser falsos.
2. V F V - A segunda sentença deu falso e a VF
apareceu, então descarta essa hipótese.
3. V V F - Aqui também ocorreu o mesmo problema da
2º hipótese, também devemos descartá-la.
- Se Andrea é arquiteta, então Angélica é arquiteta.
(verdadeiro)
1. F F
2.
3.
- Se Andrea é médica, então Anamara é médica.
(verdadeiro)
1. V V
2.
3.
03. Resposta “B”.
Ana pianista → Beatriz violinista. (F → F)
Ana violinista → Beatriz pianista. (V → V)
Ana pianista → Denise violinista. (F → F)
Ana violinista → Denise pianista. (V → V)
Beatriz violinista → Denise pianista. (F → V)
Proposições Simples quando aparecem na questão,
suponhamos que sejam verdadeiras (V). Como na
questão não há proposições simples, escolhemos outra
proposição composta e supomos que seja verdadeira ou
falsa.
1º Passo: qual regra eu tenho que saber? Condicional
(Se... então).
2º Passo: Fazer o teste com as hipóteses possíveis até
encontrar a resposta.
Hipótese 1
- Se Ana é pianista, então Beatriz é violinista. (verdade)
V V - Como já sabemos, se a (verdade) aparecer
primeiro, a (falso) não poderá.
- Se Ana é violinista, então Beatriz é pianista. (verdade)
F F - Já sabemos que Ana é pianista e Bia é violinista,
então falso nelas.
- Se Ana é pianista, Denise é violinista. (verdade)
VV
- Se Ana é violinista, então Denise é pianista. (verdade)
FF
- Se Beatriz é violinista, então Denise é pianista.
(verdade)
V F - Apareceu a temida V F, logo a nossa proposição
será falsa. Então descarte essa hipótese.
Hipótese 2
- Se Ana é pianista, então Beatriz é violinista. (verdade)
FV
- Se Ana é violinista, então Beatriz é pianista. (verdade)
V F - A VF apareceu, então já podemos descartá-la, pois
a nossa proposição será falsa.
04. Resposta “Certo”.
É só aplicar a tabela verdade do “ou” (v).
V v F será verdadeiro, sendo falso apenas quando as
duas forem falsas.
A tabela verdade do “ou”. Vejam:
No 2º caso, os dois não podem ser verdade ao mesmo
tempo.
Disjunção exclusiva (Ou... ou)
Representado pelo v, ou ainda ou.
Pode aparecer assim também: p v q, mas não ambos.
Regra: Só será verdadeira se houver uma das sentenças
verdadeira e outra falsa.
Hipótese 1:
P1: F → V = V (Não poderá aparecer VF).
P2: V F = V (Apenas um tem que ser verdadeiro).
P3: F → F = V
Conclusões:
Vereador participou do esquema.
Prefeito não sabia.
Chefe do gabinete foi o mentor.
Então:
O chefe de gabinete foi o mentor do esquema ou o
vereador Vitor participou do esquema.
V V = verdade, pois sabemos que para ser falso, todos
devem ser falsos.
Hipótese 2:
P1: F → F = V
P2: F V = V
P3: F →V = V
Conclusões:
Vereador participou do esquema.
Prefeito sabia.
Chefe de gabinete não era o mentor.
Então:
O chefe de gabinete foi o mentor do esquema ou o
vereador Vitor participou do esquema.
F V = verdade.
05. Resposta “Errado”.
Não se trata de uma Disjunção, trata-se de uma
Disjunção Exclusiva, cujo símbolo é . Também chamado
de “Ou Exclusivo”. É o famoso “um ou outro mas não
ambos”. Só vai assumir valor verdade, quando somente
uma das proposições forem verdadeiras, pois quando as
duas forem verdadeiras a proposição será falsa. Da
mesma forma se as duas forem falsas, a proposição
toda será falsa.
Tabela verdade do “Ou Exclusivo”.
Com a frase em P2 “mas não ambos” deixa claro que as
duas premissas não podem ser verdadeiras, logo não é
uma Disjunção, mas sim uma Disjunção Exclusiva, onde
apenas uma das premissas pode ser verdadeira para
que P2 seja verdadeira.
06. Resposta “Certo”.
Duas premissas são logicamente equivalentes quando
elas possuem a mesma tabela verdade:
Possuem a mesma tabela verdade, logo são
equivalentes.
Representando simbolicamente as equivalências, temos
o seguinte:
(P → R) = (¬P ∨ R) = (¬R → ¬P)
As proposições dadas na questão:
P = O vereador Vitor não participou do esquema.
R = O chefe de gabinete do Prefeito foi o mentor do
esquema.
Premissa dada na questão: P3 = Se o vereador Vitor não
participou do esquema, então o chefe do gabinete não
foi o mentor do esquema. Em linguagem simbólica, a
premissa P3 fica assim: (P → ¬R).
A questão quer saber se (P → ¬R) é logicamente
equivalente a proposição: “O vereador Vitor participou do
esquema ou o chefe de gabinete não foi o mentor do
esquema”, que pode ser representada da seguinte
forma: (¬P ∨ ¬R). Vemos que P3 tem a seguinte
equivalente lógica: (P → ¬R) = (¬P ∨ ¬R). Negamos a
primeira sentença, mudamos o conectivo “→” para “∨”, e
depois mantemos a segunda sentença do mesmo jeito.
Assim sendo, a questão está correta. As duas sentenças
são “logicamente equivalentes”.
07. Resposta “Errado”.
A questão quer saber se o argumento “o Prefeito Pérsio
não sabia do esquema” é um argumento válido. Quando
o argumento é válido? Quando as premissas forem
verdadeiras e a conclusão obrigatoriamente verdadeira
ou quando as premissas forem falsas e a conclusão
falsa. Quando o argumento não é válido? Quando as
premissas forem verdadeiras e a conclusão for falsa. Pra
resolver essas questões de validade de argumento é
melhor começar de forma contrária ao comando da
questão. Como a questão quer saber se o argumento é
válido, vamos partir do princípio (hipótese) que é
inválido. Fica assim:
P1: P → ~Q verdade
P2: R (ou exclusivo) Q verdade
P3: P → ~R verdade
Conclusão: O prefeito Pérsio não sabia do esquema.
falso
Se é falso que o Prefeito Pérsio não sabia, significa dizer
que ele sabia do esquema. Então, pode-se deduzir que
as proposições ~Q e Q são, respectivamente, falsa e
verdadeira. Na segunda premissa: Se Q é verdadeira, R
será obrigatoriamente falsa, pois na disjunção exclusiva
só vai ser verdade quando apenas um dos argumentos
for verdadeiro. E se R é falso, significa dizer que ~R é
verdadeiro. Fazendo as substituições:
P1: P → ~Q Verdade
F→FV
Por que P é falso? Na condicional só vai ser falso se a
primeira for verdadeira e a segunda for falsa. Como
“sabemos” que a premissa toda é verdadeira e que ~Q é
falso, P só pode assumir valor F.
P2: R (ou exclusivo) Q Verdade
F (ou exclusivo) V V
Lembrando que na disjunção exclusiva, só vai ser
verdade quando uma das proposições forem
verdadeiras. Como sei que Q é verdadeiro, R só pode
ser falso.
P3: P → ~R Verdade
F→VV
Se deduz que R é falso, logo ~R é verdadeiro.
Consideramos inicialmente o argumento sendo não
válido (premissas verdadeiras e conclusão falsa).
Significa dizer que a questão está errada. Não é correto
inferir que o Prefeito Pérsio não sabia do esquema. Foi
comprovado que ele sabia do esquema.
08. Resposta “Certo”.
Princípio da Não Contradição = Uma preposição será V
ou F não podendo assumir os 2 valores
simultaneamente. Representação: ¬(P ∨ ¬P). Exemplo:
Não (“a terra é redonda” e “a terra não é redonda”).
Princípio do Terceiro Excluído = Uma preposição será V
ou F, não podendo assumir um 3o valor lógico.
Representação: P ∨ ¬P. Exemplo: Ou este homem é
José ou não é José.
Uma proposição só poderá ser julgada verdadeira ou
falsa, nunca poderá ser as duas coisas ao mesmo
tempo.
09. Resposta “Errado”.
Da proposição III “Jorge não foi ao centro da cidade” que
é verdadeira e a questão diz “Manuel declarou o imposto
de renda na data correta e Jorge foi ao centro da cidade”
a segunda parte é falsa como o conectivo é “e” as duas
teriam que ser verdadeiras (o que não acontece). Vamos
analisar cada proposição de cada premissa, tendo em
mente que as premissas tem valor lógico (V), daí tiramos
um importante dado, sabemos que a premissa III é (V),
portanto vamos atribuir o valor lógico (V) a proposição
“e” e o valor lógico (F) a proposição “B”, agora vamos
separar:
A: Tânia estava no escritório (V)
B: Jorge foi ao centro da cidade (F)
Diante das análises iniciais temos que a premissa A v B,
tem valor lógico (V), mas que a proposição “B” tem valor
lógico (F), ou seja, A v (valor lógico F), para que essa
premissa tenha o valor lógico (V), “A” tem que ter um
valor lógico (V).
C: Manuel declarou o imposto de renda na data correta
(V)
D: Carla não pagou o condomínio (V)
O enunciado fala para considerar todas as premissas
com valor lógico (V), logo, a premissa C ∨ D para ter
valor lógico (V), ambas proposições devem ter valor
lógico (V).
E: Jorge não foi ao centro da cidade (V)
Diante das explicações, C ∨ B = (V) ∨ (F) = (F).
10. Resposta “Certo”.
Considere que cada uma das proposições seguintes
tenha valor lógico V. Logo o que contraria essa verdade
é falso.
I- V + F = V
II- V + V = V
III- V
Portanto se no item II diz que Carla não pagou o
condomínio é verdadeiro, então o fato dela ter pago o
condomínio é falso, pois está contradizendo o dito no
item II. Os valores lógicos da segunda proposição não
são deduzíveis, mas sim informados no enunciado.
II- Manuel declarou o imposto de renda na data correta e
Carla não pagou o condomínio V e V. Portanto, se Carla
não pagou o condomínio é Verdadeiro. Carla pagou o
condomínio é Falso. Enunciado correto.
2 LÓGICA DE ARGUMENTAÇÃO: ANALOGIAS,
INFERÊNCIAS, DEDUÇÕES E CONCLUSÕES
Um argumento é “uma série concatenada de afirmações
com o fim de estabelecer uma proposição definida”. É
um conjunto de proposições com uma estrutura lógica
de maneira tal que algumas delas acarretam ou tem
como consequência outra proposição. Isto é, o conjunto
de proposições p1,...,pn que tem como
consequênciaoutra proposição q. Chamaremos as
proposições p1,p2,p3,...,pn de premissas do argumento,
e a proposição q de conclusão do argumento. Podemos
representar por:
p1
p2
p3
.
.
.
pn
∴q
Exemplos:
01.
Se eu passar no concurso, então irei trabalhar.
Passei no concurso
________________________
∴ Irei trabalhar
02.
Se ele me ama então casa comigo.
Ele me ama.
__________________________
∴ Ele casa comigo.
03.
Todos os brasileiros são humanos.
Todos os paulistas são brasileiros.
__________________________
∴ Todos os paulistas são humanos.
04.
Se o Palmeiras ganhar o jogo, todos os jogadores
receberão o bicho.
Se o Palmeiras não ganhar o jogo, todos os jogadores
receberão o bicho.
__________________________
∴ Todos os jogadores receberão o bicho.
Observação: No caso geral representamos os
argumentos escrevendo as premissas e separando por
uma barra horizontal seguida da conclusão com três
pontos antes. Veja exemplo:
Premissa: Todos os sais de sódio são substâncias
solúveis em água.
Todos os sabões são sais de sódio.
____________________________________
Conclusão: ∴ Todos os sabões são substâncias
solúveis em água.
Os argumentos, em lógica, possuem dois componentes
básicos: suas premissas e sua conclusão. Por exemplo,
em: “Todos os times brasileiros são bons e estão entre
os melhores times do mundo. O Brasiliense é um time
brasileiro. Logo, o Brasiliense está entre os melhores
times do mundo”, temos um argumento com duas
premissas e a conclusão.
Evidentemente, pode-se construir um argumento válido
a partir de premissas verdadeiras, chegando a uma
conclusão também verdadeira. Mas também é possível
construir argumentos válidos a partir de premissas
falsas, chegando a conclusões falsas. O detalhe é que
podemos partir de premissas falsas, proceder por meio
de uma inferência válida e chegar a uma conclusão
verdadeira. Por exemplo:
Premissa: Todos os peixes vivem no oceano.
Premissa: Lontras são peixes.
Conclusão: Logo, focas vivem no oceano.
Há, no entanto, uma coisa que não pode ser feita: a
partir de premissas verdadeiras, inferirem de modo
correto e chegar a uma conclusão falsa. Podemos
resumir esses resultados numa tabela de regras de
implicação. O símbolo A denota implicação; A é a
premissa, B é a conclusão.
- Se as premissas são falsas e a inferência é válida, a
conclusão pode ser verdadeira ou falsa (linhas 1 e 2).
- Se as premissas são verdadeiras e a conclusão é falsa,
a inferência é inválida (linha 3).
- Se as premissas e a inferência são válidas, a
conclusão é verdadeira (linha 4).
Desse modo, o fato de um argumento ser válido não
significa necessariamente que sua conclusão seja
verdadeira, pois pode ter partido de premissas falsas.
Um argumento válido que foi derivado de premissas
verdadeiras é chamado de argumento consistente.
Esses, obrigatoriamente, chegam a conclusões
verdadeiras.
Premissas: Argumentos dedutíveis sempre requerem
certo número de “assunções-base”. São as chamadas
premissas. É a partir delas que os argumentos são
construídos ou, dizendo de outro modo, é as razões para
se aceitar o argumento. Entretanto, algo que é uma
premissa no contexto de um argumento em particular
pode ser a conclusão de outro, por exemplo. As
premissas do argumento sempre devem ser explicitadas.
A omissão das premissas é comumente encarada como
algo suspeito, e provavelmente reduzirá as chances de
aceitação do argumento.
A apresentação das premissas de um argumento
geralmente é precedida pelas palavras “admitindo
que...”, “já que...”, “obviamente se...” e “porque...”. É
imprescindível que seu oponente concorde com suas
premissas antes de proceder à argumentação. Usar a
palavra “obviamente” pode gerar desconfiança. Ela
ocasionalmente faz algumas pessoas aceitarem
afirmações falsas em vez de admitir que não entenda
por que algo é “óbvio”. Não se deve hesitar em
questionar afirmações supostamente “óbvias”.
Inferência: Uma vez que haja concordância sobre as
premissas, o argumento procede passo a passo por
meio do processo chamado “inferência”. Na inferência,
parte-se de uma ou mais proposições aceitas
(premissas) para chegar a outras novas. Se a inferência
for válida, a nova proposição também deverá ser aceita.
Posteriormente, essa proposição poderá ser empregada
em novas inferências. Assim, inicialmente, apenas se
pode inferir algo a partir das premissas do argumento;
ao longo da argumentação, entretanto, o número de
afirmações que podem ser utilizadas aumenta. Há vários
tipos de inferência válidos, mas também alguns
inválidos. O processo de inferência é comumente
identificado pelas frases “Consequentemente...” ou “isso
implica que...”.
Conclusão: Finalmente se chegará a uma proposição
que consiste na conclusão, ou seja, no que se está
tentando provar. Ela é o resultado final do processo de
inferência e só pode ser classificada como conclusão no
contexto de um argumento em particular. A conclusão
respalda-se nas premissas e é inferida a partir delas.
A seguir está exemplificado um argumento válido, mas
que pode ou não ser “consistente”.
1. Premissa: Todo evento tem uma causa.
2. Premissa: O universo teve um começo.
3. Premissa: Começar envolve um evento.
4. Inferência: Isso implica que o começo do universo
envolveu um evento.
5. Inferência: Logo, o começo do universo teve uma
causa.
6. Conclusão: O universo teve uma causa.
A proposição do item 4 foi inferida dos itens 2 e 3. O item
1, então, é usado em conjunto com proposição 4 para
inferir uma nova proposição (item 5). O resultado dessa
inferência é reafirmado (numa forma levemente
simplificada) como sendo a conclusão.
Validade de um Argumento
Conforme citamos anteriormente, uma proposição é
verdadeira ou falsa. No caso de um argumento diremos
que ele é válido ou não válido. A validade de uma
propriedade dos argumentos dedutivos que depende da
forma (estrutura) lógica das suas proposições
(premissas e conclusões) e não do conteúdo delas.
Sendo assim podemos ter as seguintes combinações
para os argumentos válidos dedutivos:
a) Premissas verdadeiras e conclusão verdadeira.
Exemplo:
Todos os apartamentos são pequenos. (V)
Todos os apartamentos são residências. (V)
__________________________________
∴ Algumas residências são pequenas. (V)
b) Algumas ou todas as premissas falsas e uma
conclusão verdadeira. Exemplo:
Todos os peixes têm asas. (F)
Todos os pássaros são peixes. (F)
__________________________________
∴ Todos os pássaros têm asas. (V)
c) Algumas ou todas as premissas falsas e uma
conclusão falsa. Exemplo:
Todos os peixes têm asas. (F)
Todos os cães são peixes. (F)
__________________________________
∴ Todos os cães têm asas. (F)
Todos os argumentos acima são válidos, pois se suas
premissas fossem verdadeiras então as conclusões
também as seriam. Podemos dizer que um argumento é
válido quando todas as suas premissas são verdadeiras,
acarreta que sua conclusão também é verdadeira.
Portanto, um argumento será não válido se existir a
possibilidade de suas premissas serem verdadeiras e
sua conclusão falsa. Observe que a validade do
argumento depende apenas da estrutura dos
enunciados. Exemplo:
Todas as mulheres são bonitas.
Todas as princesas são mulheres.
__________________________
∴ Todas as princesas são bonitas.
Observe que não precisamos de nenhum conhecimento
aprofundado sobre o assunto para concluir que o
argumento é válido. Vamos substituir mulheres bonitas e
princesas por A, B e C respectivamente e teremos:
Todos os A são B.
Todos os C são A.
________________
∴ Todos os C são B.
Logo, o que é importante é a forma do argumento e não
o conhecimento de A, B e C, isto é, este argumento é
válido para quaisquer A, B e C, portanto, a validade é
consequência da forma do argumento. O atributo
validade aplica-se apenas aos argumentos dedutivos.
Argumentos Dedutivos e Indutivos
O argumento será dedutivo quando suas premissas
fornecerem prova conclusiva da veracidade da
conclusão, isto é, o argumento é dedutivo quando a
conclusão é completamente derivada das premissas.
Exemplo:
Todo ser humano tem mãe.
Todos os homens são humanos.
__________________________
∴ Todos os homens têm mãe.
O argumento será indutivo quando suas premissas não
fornecerem o apoio completo para retificar as
conclusões. Exemplo:
O Flamengo é um bom time de futebol.
O Palmeiras é um bom time de futebol.
O Vasco é um bom time de futebol.
O Cruzeiro é um bom time de futebol.
______________________________
∴ Todos os times brasileiros de futebol são bons.
Portanto, nos argumentos indutivos a conclusão possui
informações que ultrapassam as fornecidas nas
premissas. Sendo assim, não se aplica, então, a
definição de argumentos válidos ou não válidos para
argumentos indutivos.
Argumentos Dedutivos Válidos
Vimos então que a noção de argumentos válidos ou não
válidos aplica-se apenas aos argumentos dedutivos, e
também que a validade depende apenas da forma do
argumento e não dos respectivos valores verdades das
premissas. Vimos também que não podemos ter um
argumento válido com premissas verdadeiras e
conclusão falsa. A seguir exemplificaremos alguns
argumentos dedutivos válidos importantes.
Afirmação do Antecedente: O primeiro argumento
dedutivo válido que discutiremos chama-se “afirmação
do antecedente”, também conhecido como modus
ponens. Exemplo:
Se José for reprovado no concurso, então será demitido
do serviço.
José foi aprovado no concurso.
___________________________
∴ José será demitido do serviço.
Este argumento é evidentemente válido e sua forma
pode ser escrita da seguinte forma:
Outro argumento dedutivo válido é a “negação do
consequente” (também conhecido como modus tollens).
Obs.: (q→p ) é equivalente a (¬q→¬p). Esta
equivalência é chamada de contra positiva. Exemplo:
“Se ele me ama, então casa comigo” é equivalente a “Se
ele não casa comigo, então ele não me ama”;
Então vejamos o exemplo do modus tollens. Exemplo:
Se aumentarmos os meios de pagamentos, então
haverá inflação.
Não há inflação.
______________________________
∴ Não aumentamos os meios de pagamentos.
Este argumento é evidentemente válido e sua forma
pode ser escrita da seguinte maneira:
Existe também um tipo de argumento válido conhecido
pelo nome de dilena. Geralmente este argumento ocorre
quando alguém é forçado a escolher entre duas
alternativas indesejáveis. Exemplo:
João se inscreve no concurso de MS, porém não
gostaria de sair de São Paulo, e seus colegas de
trabalho estão torcendo por ele.Eis o dilema de João:
Ou João passa ou não passa no concurso.
Se João passar no concurso vai ter que ir embora de
São Paulo.
Se João não passar no concurso ficará com vergonha
diante dos colegas de trabalho.
_________________________
∴ Ou João vai embora de São Paulo ou João ficará com
vergonha dos colegas de trabalho.
Este argumento é evidentemente válido e sua forma
pode ser escrita da seguinte maneira:
Argumentos Dedutivos Não Válidos
Existe certa quantidade de artimanhas que devem ser
evitadas quando se está construindo um argumento
dedutivo. Elas são conhecidas como falácias. Na
linguagem do dia a dia, nós denominamos muitas
crenças equivocadas como falácias, mas, na lógica, o
termo possui significado mais específico: falácia é uma
falha técnica que torna o argumento inconsistente ou
inválido (além da consistência do argumento, também se
podem criticar as intenções por detrás da
argumentação).
Argumentos contentores de falácias são denominados
falaciosos. Frequentemente, parecem válidos e
convincentes, às vezes, apenas uma análise
pormenorizada é capaz de revelar a falha lógica. Com as
premissas verdadeiras e a conclusão falsa nunca
teremos um argumento válido, então este argumento é
não válido, chamaremos os argumentos não válidos de
falácias. A seguir, examinaremos algumas falácias
conhecidas que ocorrem com muita frequência. O
primeiro caso de argumento dedutivo não válido que
veremos é o que chamamos de “falácia da afirmação do
consequente”. Exemplo:
Se ele me ama então ele casa comigo.
Ele casa comigo.
_______________________
∴ Ele me ama.
Podemos escrever esse argumento como:
Este argumento é uma falácia, podemos ter as
premissas verdadeiras e a conclusão falsa.
Outra falácia que corre com frequência é a conhecida
por “falácia da negação do antecedente”. Exemplo:
Se João parar de fumar ele engordará.
João não parou de fumar.
________________________
∴ João não engordará.
Observe que temos a forma:
Este argumento é uma falácia, pois podemos ter as
premissas verdadeiras e a conclusão falsa.
Os argumentos dedutivos não válidos podem combinar
verdade ou falsidade das premissas de qualquer
maneira com a verdade ou falsidade da conclusão.
Assim, podemos ter, por exemplo, argumentos não
válidos com premissas e conclusões verdadeiras,
porém, as premissas não sustentam a conclusão.
Exemplo:
Todos os mamíferos são mortais. (V)
Todos os gatos são mortais. (V)
___________________________
∴ Todos os gatos são mamíferos. (V)
Este argumento tem a forma:
Todos os A são B.
Todos os C são B.
___________________
∴ Todos os C são A.
Podemos facilmente mostrar que esse argumento é não
válido, pois as premissas não sustentam a conclusão, e
veremos então que podemos ter as premissas
verdadeiras e a conclusão falsa, nesta forma, bastando
substituir A por mamífero, B por mortais e C por cobra.
Todos os mamíferos são mortais. (V)
Todas as cobras são mortais. (V)
__________________________
∴ Todas as cobras são mamíferas. (F)
Podemos usar as tabelas-verdade, definidas nas
estruturas lógicas, para demonstrarmos se um
argumento é válido ou falso. Outra maneira de verificar
se um dado argumento P1, P2, P3, ...Pn é válido ou não,
por meio das tabelas-verdade, é construir a condicional
associada: (P1 ∧ P2 ∧ P3 ...Pn) e reconhecer se essa
condicional é ou não uma tautologia. Se essa
condicional associada é tautologia, o argumento é
válido. Não sendo tautologia, o argumento dado é um
sofisma (ou uma falácia).
Tautologia: Quando uma proposição composta é
sempre verdadeira, então teremos uma tautologia. Ex:
Há argumentos válidos com conclusões falsas, da
mesma forma que há argumentos não válidos com
conclusões verdadeiras. Logo, a verdade ou falsidade de
sua conclusão não determinam a validade ou não
validade de um argumento. O reconhecimento de
argumentos é mais difícil que o das premissas ou da
conclusão. Muitas pessoas abarrotam textos de
asserções sem sequer produzirem algo que possa ser
chamado de argumento. Às vezes, os argumentos não
seguem os padrões descritos acima. Por exemplo,
alguém pode dizer quais são suas conclusões e depois
justificá-las. Isso é válido, mas pode ser um pouco
confuso.
Para complicar, algumas afirmações parecem
argumentos, mas não são. Por exemplo: “Se a Bíblia é
verdadeira, Jesus foi ou um louco, ou um mentiroso, ou
o Filho de Deus”. Isso não é um argumento, é uma
afirmação condicional. Não explicita as premissas
necessárias para embasar as conclusões, sem
mencionar que possui outras falhas.
Um argumento não equivale a uma explicação. Suponha
que, tentando provar que Albert Einstein cria em Deus,
alguém dissesse: “Einstein afirmou que ‘Deus não joga
dados’ porque acreditava em Deus”. Isso pode parecer
um argumento relevante, mas não é. Trata-se de uma
explicação da afirmação de Einstein. Para perceber isso,
deve-se lembrar que uma afirmação da forma “X porque
Y” pode ser reescrita na forma “Y logo X”. O que
resultaria em: “Einstein acreditava em Deus, por isso
afirmou que ‘Deus não joga dados’”. Agora fica claro que
a afirmação, que parecia um argumento, está admitindo
a conclusão que deveria estar provando. Ademais,
Einstein não cria num Deus pessoal preocupado com
assuntos humanos.
QUESTÕES
01. Se Iara não fala italiano, então Ana fala alemão. Se
Iara fala italiano, então ou Ching fala chinês ou Débora
fala dinamarquês. Se Débora fala dinamarquês, Elton
fala espanhol. Mas Elton fala espanhol se e somente se
não for verdade que Francisco não fala francês. Ora,
Francisco não fala francês e Ching não fala chinês.
Logo,
a) Iara não fala italiano e Débora não fala dinamarquês.
b) Ching não fala chinês e Débora fala dinamarquês.
c) Francisco não fala francês e Elton fala espanhol.
d) Ana não fala alemão ou Iara fala italiano.
e) Ana fala alemão e Débora fala dinamarquês.
02. Sabe-se que todo o número inteiro n maior do que 1
admite pelo menos um divisor (ou fator) primo.Se n é
primo, então tem somente dois divisores, a saber, 1 e n.
Se n é uma potência de um primo p, ou seja, é da forma
ps, então 1, p, p2, ..., ps são os divisores positivos de n.
Segue-se daí que a soma dos números inteiros positivos
menores do que 100, que têm exatamente três divisores
positivos, é igual a:
a) 25
b) 87
c) 112
d) 121
e) 169
03. Ou Lógica é fácil, ou Artur não gosta de Lógica. Por
outro lado, se Geografia não é difícil, então Lógica é
difícil. Daí segue-se que, se Artur gosta de Lógica,
então:
a) Se Geografia é difícil, então Lógica é difícil.
b) Lógica é fácil e Geografia é difícil.
c) Lógica é fácil e Geografia é fácil.
d) Lógica é difícil e Geografia é difícil.
e) Lógica é difícil ou Geografia é fácil.
04. Três suspeitos de haver roubado o colar da rainha
foram levados à presença de um velho e sábio professor
de Lógica. Um dos suspeitos estava de camisa azul,
outro de camisa branca e o outro de camisa preta. Sabe-
se que um e apenas um dos suspeitos é culpado e que o
culpado às vezes fala a verdade e às vezes mente.
Sabe-se, também, que dos outros dois (isto é, dos
suspeitos que são inocentes), um sempre diz a verdade
e o outro sempre mente. O velho e sábio professor
perguntou, a cada um dos suspeitos, qual entre eles era
o culpado. Disse o de camisa azul: “Eu sou o culpado”.
Disse o de camisa branca, apontando para o de camisa
azul: “Sim, ele é o culpado”. Disse, por fim, o de camisa
preta: “Eu roubei o colar da rainha; o culpado sou eu”. O
velho e sábio professor de Lógica, então, sorriu e
concluiu corretamente que:
a) O culpado é o de camisa azul e o de camisa preta
sempre mente.
b) O culpado é o de camisa branca e o de camisa preta
sempre mente.
c) O culpado é o de camisa preta e o de camisa azul
sempre mente.
d) O culpado é o de camisa preta e o de camisa azul
sempre diz a verdade.
e) O culpado é o de camisa azul e o de camisa azul
sempre diz a verdade.
05. O rei ir à caça é condição necessária para o duque
sair do castelo, e é condição suficiente para a duquesa ir
ao jardim. Por outro lado, o conde encontrar a princesa é
condição necessária e suficiente para o barão sorrir e é
condição necessária para a duquesa ir ao jardim. O
barão não sorriu. Logo:
a) A duquesa foi ao jardim ou o conde encontrou a
princesa.
b) Se o duque não saiu do castelo, então o conde
encontrou a princesa.
c) O rei não foi à caça e o conde não encontrou a
princesa.
d) O rei foi à caça e a duquesa não foi ao jardim.
e) O duque saiu do castelo e o rei não foi à caça.
06. (FUNIVERSA - 2012 - PC-DF - Perito Criminal) Parte
superior do formulário
Cinco amigos encontraram-se em um bar e, depois de
algumas horas de muita conversa, dividiram igualmente
a conta, a qual fora de, exatos, R$ 200,00, já com a
gorjeta incluída. Como se encontravam ligeiramente
alterados pelo álcool ingerido, ocorreu uma dificuldade
no fechamento da conta. Depois que todos julgaram ter
contribuído com sua parte na despesa, o total colocado
sobre a mesa era de R$ 160,00, apenas, formados por
uma nota de R$ 100,00, uma de R$ 20,00 e quatro de
R$ 10,00. Seguiram-se, então, as seguintes
declarações, todas verdadeiras:
Antônio: — Basílio pagou. Eu vi quando ele pagou.
Danton: — Carlos também pagou, mas do Basílio não
sei dizer.
Eduardo: — Só sei que alguém pagou com quatro notas
de R$ 10,00.
Basílio: — Aquela nota de R$ 100,00 ali foi o Antônio
quem colocou, eu vi quando ele pegou seus R$ 60,00 de
troco.
Carlos: — Sim, e nos R$ 60,00 que ele retirou, estava a
nota de R$ 50,00 que o Eduardo colocou na mesa.
Imediatamente após essas falas, o garçom, que ouvira
atentamente o que fora dito e conhecia todos do grupo,
dirigiu-se exatamente àquele que ainda não havia
contribuído para a despesa e disse: — O senhor
pretende usar seu cartão e ficar com o troco em
espécie? Com base nas informações do texto, o garçom
fez a pergunta a
(A) Antônio.
(B) Basílio.
(C) Carlos.
(D) Danton.
(E) Eduardo.
07. (ESAF - 2012 - Auditor Fiscal da Receita Federal)
Parte superior do formulário
Caso ou compro uma bicicleta. Viajo ou não caso. Vou
morar em Passárgada ou não compro uma bicicleta.
Ora, não vou morar em Passárgada. Assim,
(A) não viajo e caso.
(B) viajo e caso.
(C) não vou morar em Passárgada e não viajo.
(D) compro uma bicicleta e não viajo.
(E) compro uma bicicleta e viajo.
08. (FCC - 2012 - TST - Técnico Judiciário) Parte
superior do formulário
A declaração abaixo foi feita pelo gerente de recursos
humanos da empresa X durante uma feira de
recrutamento em uma faculdade: “Todo funcionário de
nossa empresa possui plano de saúde e ganha mais de
R$ 3.000,00 por mês”. Mais tarde, consultando seus
arquivos, o diretor percebeu que havia se enganado em
sua declaração. Dessa forma, conclui-se que,
necessariamente,
(A) dentre todos os funcionários da empresa X, há um
grupo que não possui plano de saúde.
(B) o funcionário com o maior salário da empresa X
ganha, no máximo, R$ 3.000,00 por mês.
(C) um funcionário da empresa X não tem plano de
saúde ou ganha até R$ 3.000,00 por mês.
(D) nenhum funcionário da empresa X tem plano de
saúde ou todos ganham até R$ 3.000,00 por mês.
(E) alguns funcionários da empresa X não têm plano de
saúde e ganham, no máximo, R$ 3.000,00 por mês.
09. (CESGRANRIO - 2012 - Chesf - Analista de
Sistemas) Parte superior do formulário
Se hoje for uma segunda ou uma quarta-feira, Pedro
terá aula de futebol ou natação. Quando Pedro tem aula
de futebol ou natação, Jane o leva até a escolinha
esportiva. Ao levar Pedro até a escolinha, Jane deixa de
fazer o almoço e, se Jane não faz o almoço, Carlos não
almoça em casa. Considerando-se a sequência de
implicações lógicas acima apresentadas textualmente,
se Carlos almoçou em casa hoje, então hoje
(A) é terça, ou quinta ou sexta-feira, ou Jane não fez o
almoço.
(B) Pedro não teve aula de natação e não é segunda-
feira.
(C) Carlos levou Pedro até a escolinha para Jane fazer o
almoço.
(D) não é segunda, nem quarta, mas Pedro teve aula de
apenas uma das modalidades esportivas.
(E) não é segunda, Pedro não teve aulas, e Jane não fez
o almoço.
10. (VUNESP - 2011 - TJM-SP) Parte superior do
formulário
Se afino as cordas, então o instrumento soa bem. Se o
instrumento soa bem, então toco muito bem. Ou não
toco muito bem ou sonho acordado. Afirmo ser
verdadeira a frase: não sonho acordado. Dessa forma,
conclui-se que
(A) sonho dormindo.
(B) o instrumento afinado não soa bem.
(C) as cordas não foram afinadas.
(D) mesmo afinado o instrumento não soa bem.
(E) toco bem acordado e dormindo.
Respostas
01.
(P1) Se Iara não fala italiano, então Ana fala alemão.
(P2) Se Iara fala italiano, então ou Ching fala chinês ou
Débora fala dinamarquês.
(P3) Se Débora fala dinamarquês, Elton fala espanhol.
(P4) Mas Elton fala espanhol se e somente se não for
verdade que Francisco não fala francês.
(P5) Ora, Francisco não fala francês e Ching não fala
chinês.
Ao todo são cinco premissas, formadas pelos mais
diversos conectivos (Se então, Ou, Se e somente se, E).
Mas o que importa para resolver este tipo de argumento
lógico é que ele só será válido quando todas as
premissas forem verdadeiras, a conclusão também for
verdadeira. Uma boa dica é sempre começar pela
premissa formada com o conectivo e.
Na premissa 5 tem-se: Francisco não fala francês e
Ching não fala chinês. Logo para esta proposição
composta pelo conectivo e ser verdadeira as premissas
simples que a compõe deverão ser verdadeiras, ou seja,
sabemos que:
Francisco não fala francês
Ching não fala chinês
Na premissa 4 temos: Elton fala espanhol se e somente
se não for verdade que Francisco não fala francês.
Temos uma proposição composta formada pelo se e
somente se, neste caso, esta premissa será verdadeira
se as proposições que a formarem forem de mesmo
valor lógico, ou ambas verdadeiras ou ambas falsas, ou
seja, como se deseja que não seja verdade que
Francisco não fala francês e ele fala, isto já é falso e o
antecedente do se e somente se também terá que ser
falso, ou seja: Elton não fala espanhol.
Da premissa 3 tem-se: Se Débora fala dinamarquês,
Elton fala espanhol. Uma premissa composta formada
por outras duas simples conectadas pelo se então (veja
que a vírgula subentende que existe o então), pois é, a
regra do se então é que ele só vai ser falso se o seu
antecedente for verdadeiro e o seu consequente for
falso, da premissa 4 sabemos que Elton não fala
espanhol, logo, para que a premissa seja verdadeira só
poderemos aceitar um valor lógico possível para o
antecedente, ou seja, ele deverá ser falso, pois F Î F = V,
logo: Débora não fala dinamarquês.
Da premissa 2 temos: Se Iara fala italiano, então ou
Ching fala chinês ou Débora fala dinamarquês. Vamos
analisar o consequente do se então, observe: ou Ching
fala chinês ou Débora fala dinamarquês. (temos um ou
exclusivo, cuja regra é, o ou exclusivo, só vai ser falso
se ambas forem verdadeiras, ou ambas falsas), no caso
como Ching não fala chinês e Débora não fala
dinamarquês, temos: F ou exclusivo F = F. Se o
consequente deu falso, então o antecedente também
deverá ser falso para que a premissa seja verdadeira,
logo: Iara não fala italiano.
Da premissa 1 tem-se: Se Iara não fala italiano, então
Ana fala alemão. Ora ocorreu o antecedente, vamos
reparar no consequente... Só será verdadeiro quando V Î
V = V pois se o primeiro ocorrer e o segundo não
teremos o Falso na premissa que é indesejado, desse
modo: Ana fala alemão.
Observe que ao analisar todas as premissas, e
tornarmos todas verdadeiras obtivemos as seguintes
afirmações:
Francisco não fala francês
Ching não fala chinês
Elton não fala espanhol
Débora não fala dinamarquês
Iara não fala italiano
Ana fala alemão.
A única conclusão verdadeira quando todas as
premissas foram verdadeiras é a da alternativa (A),
resposta do problema.
02. Resposta “B”.
O número que não é primo é denominado número
composto. O número 4 é um número composto. Todo
número composto pode ser escrito como uma
combinação de números primos, veja: 70 é um número
composto formado pela combinação: 2 x 5 x 7, onde 2, 5
e 7 são números primos. O problema informou que um
número primo tem com certeza 3 divisores quando puder
ser escrito da forma: 1 p p2, onde p é um número primo.
Observe os seguintes números:
1 2 22 (4)
1 3 3² (9)
1 5 5² (25)
1 7 7² (49)
1 11 11² (121)
Veja que 4 têm apenas três divisores (1, 2 e ele mesmo)
e o mesmo ocorre com os demais números 9, 25, 49 e
121 (mas este último já é maior que 100) portanto a
soma dos números inteiros positivos menores do que
100, que têm exatamente três divisores positivos é dada
por: 4 + 9 + 25 + 49 = 87.
03. Resposta “B”.
O Argumento é uma sequência finita de proposições
lógicas iniciais (Premissas) e uma proposição final
(conclusão). A validade de um argumento independe se
a premissa é verdadeira ou falsa, observe a seguir:
Todo cavalo tem 4 patas (P1)
Todo animal de 4 patas tem asas (P2)
Logo: Todo cavalo tem asas (C)
Observe que se tem um argumento com duas
premissas, P1 (verdadeira) e P2 (falsa) e uma conclusão
C. Veja que este argumento é válido, pois se as
premissas se verificarem a conclusão também se
verifica: (P1) Todo cavalo tem 4 patas. Indica que se é
cavalo então tem 4 patas, ou seja, posso afirmar que o
conjunto dos cavalos é um subconjunto do conjunto de
animais de 4 patas.
(P2) Todo animal de 4 patas tem asas. Indica que se tem
4 patas então o animal tem asas, ou seja, posso afirmar
que o conjunto dos animais de 4 patas é um subconjunto
do conjunto de animais que tem asas.
(C) Todo cavalo tem asas. Indica que se é cavalo então
tem asas, ou seja, posso afirmar que o conjunto de
cavalos é um subconjunto do conjunto de animais que
tem asas.

Observe que ao unir as premissas, a conclusão sempre
se verifica. Toda vez que fizermos as premissas serem
verdadeiras, a conclusão também for verdadeira,
estaremos diante de um argumento válido. Observe:
Desse modo, o conjunto de cavalos é subconjunto do
conjunto dos animais de 4 patas e este por sua vez é
subconjunto dos animais que tem asas. Dessa forma, a
conclusão se verifica, ou seja, todo cavalo tem asas.
Agora na questão temos duas premissas e a conclusão
é uma das alternativas, logo temos um argumento. O
que se pergunta é qual das conclusões possíveis
sempre será verdadeira dadas as premissas sendo
verdadeiras, ou seja, qual a conclusão que torna o
argumento válido. Vejamos:
Ou Lógica é fácil, ou Artur não gosta de Lógica (P1)
Se Geografia não é difícil, então Lógica é difícil. (P2)
Artur gosta de Lógica (P3)
Observe que deveremos fazer as três premissas serem
verdadeiras, inicie sua análise pela premissa mais fácil,
ou seja, aquela que já vai lhe informar algo que deseja,
observe a premissa três, veja que para ela ser
verdadeira, Artur gosta de Lógica. Com esta informação
vamos até a premissa um, onde temos a presença do
“ou exclusivo” um ou especial que não aceita ao mesmo
tempo que as duas premissas sejam verdadeiras ou
falsas. Observe a tabela verdade do “ou exclusivo”
abaixo:
Sendo as proposições:
p: Lógica é fácil
q: Artur não gosta de Lógica
p v q = Ou Lógica é fácil, ou Artur não gosta de Lógica
(P1)
Observe que só nos interessa os resultados que possam
tornar a premissa verdadeira, ou seja, as linhas 2 e 3 da
tabela verdade. Mas já sabemos que Artur gosta de
Lógica, ou seja, a premissa q é falsa, só nos restando a
linha 2, quer dizer que para P1 ser verdadeira, p também
será verdadeira, ou seja, Lógica é fácil. Sabendo que
Lógica é fácil, vamos para a P2, temos um se então.
Se Geografia não é difícil, então Lógica é difícil. Do se
então já sabemos que:
Geografia não é difícil - é o antecedente do se então.
Lógica é difícil - é o consequente do se então.
Chamando:
r: Geografia é difícil
~r: Geografia não é difícil (ou Geografia é fácil)
p: Lógica é fácil
(não p) ~p: Lógica é difícil
~r → ~p (lê-se se não r então não p) sempre que se
verificar o se então tem-se também que a negação do
consequente gera a negação do antecedente, ou seja:
~(~p) → ~(~r), ou seja, p → r ou Se Lógica é fácil então
Geografia é difícil.
De todo o encadeamento lógico (dada as premissas
verdadeiras) sabemos que:
Artur gosta de Lógica
Lógica é fácil
Geografia é difícil
Vamos agora analisar as alternativas, em qual delas a
conclusão é verdadeira:
a) Se Geografia é difícil, então Lógica é difícil. (V → F =
F) a regra do “se então” é só ser falso se o antecedente
for verdadeiro e o consequente for falso, nas demais
possibilidades ele será sempre verdadeiro.
b) Lógica é fácil e Geografia é difícil. (V ^ V = V) a regra
do “e” é que só será verdadeiro se as proposições que o
formarem forem verdadeiras.
c) Lógica é fácil e Geografia é fácil. (V ^ F = F)
d) Lógica é difícil e Geografia é difícil. (F ^ V = F)
e) Lógica é difícil ou Geografia é fácil. (F v F = F) a regra
do “ou” é que só é falso quando as proposições que o
formarem forem falsas.
04. Alternativa “A”.
Com os dados fazemos a tabela:
Sabe-se que um e apenas um dos suspeitos é culpado e
que o culpado às vezes fala a verdade e às vezes
mente. Sabe-se, também, que dos outros dois (isto é,
dos suspeitos que são inocentes), um sempre diz a
verdade e o outro sempre mente.
I) Primeira hipótese: Se o inocente que fala verdade é o
de camisa azul, não teríamos resposta, pois o de azul
fala que é culpado e então estaria mentindo.
II) Segunda hipótese: Se o inocente que fala a verdade é
o de camisa preta, também não teríamos resposta,
observem: Se ele fala a verdade e declara que roubou
ele é o culpado e não inocente.
III) Terceira hipótese: Se o inocente que fala a verdade é
o de camisa branca achamos a resposta, observem: Ele
é inocente e afirma que o de camisa branca é culpado,
ele é o inocente que sempre fala a verdade. O de
camisa branca é o culpado que ora fala a verdade e ora
mente (no problema ele está dizendo a verdade). O de
camisa preta é inocente e afirma que roubou, logo ele é
o inocente que está sempre mentindo.
O resultado obtido pelo sábio aluno deverá ser: O
culpado é o de camisa azul e o de camisa preta sempre
mente (Alternativa A).
05. Resposta “C”.
Uma questão de lógica argumentativa, que trata do uso
do conectivo “se então” também representado por “→”.
Vamos a um exemplo:
Se o duque sair do castelo então o rei foi à caça. Aqui 3 - Antônio pagou, justamente, com os R$ 100,00 e
estamos tratando de uma proposição composta (Se o pegou os R$ 60,00 de troco que, segundo Carlos,
duque sair do castelo então o rei foi à caça) formada por estavam os R$ 50,00 pagos por Eduardo, então...
duas proposições simples (duque sair do castelo) (rei ir à 4 - Eduardo pagou com a nota de R$ 50,00.
caça), ligadas pela presença do conectivo (→) “se O único que escapa das afirmações é o Danton.
então”. O conectivo “se então” liga duas proposições Outra forma: 5 amigos: A,B,C,D, e E.
simples da seguinte forma: Se p então q, ou seja: Antônio: - Basílio pagou. Restam A, D, C e E.
→ p será uma proposição simples que por estar antes Danton: - Carlos também pagou. Restam A, D, e E.
do então é também conhecida como antecedente. Eduardo: - Só sei que alguém pagou com quatro notas
→ q será uma proposição simples que por estar depois de R$ 10,00. Restam A, D, e E.
do então é também conhecida como consequente. Basílio: - Aquela nota de R$ 100,00 ali foi o Antônio.
→ Se p então q também pode ser lido como p implica Restam D, e E.
em q. Carlos: - Sim, e nos R$ 60,00 que ele retirou, estava a
→ p é conhecida como condição suficiente para que q nota de R$ 50,00 que o Eduardo colocou. Resta
ocorra, ou seja, basta que p ocorra para q ocorrer. somente D (Dalton) a pagar.
→ q é conhecida como condição necessária para que p
ocorra, ou seja, se q não ocorrer então p também não irá 07. Resposta “B”.
ocorrer. Parte inferior do formulário
Vamos às informações do problema: 1°: separar a informação que a questão forneceu: “não
1) O rei ir à caça é condição necessária para o duque vou morar em passárgada”.
sair do castelo. Chamando A (proposição rei ir à caça) e 2°: lembrando-se que a regra do ou diz que: para ser
B (proposição duque sair do castelo) podemos escrever verdadeiro tem de haver pelo menos uma proposição
que se B então A ou B → A. Lembre-se de que ser verdadeira.
condição necessária é ser consequente no “se então”. 3°: destacando-se as informações seguintes:
2) O rei ir à caça é condição suficiente para a duquesa ir - caso ou compro uma bicicleta.
ao jardim. Chamando A (proposição rei ir à caça) e C - viajo ou não caso.
(proposição duquesa ir ao jardim) podemos escrever que - vou morar em passárgada ou não compro uma
se A então C ou A → C. Lembre-se de que ser condição bicicleta.
suficiente é ser antecedente no “se então”. Logo:
3) O conde encontrar a princesa é condição necessária - vou morar em pasárgada (F)
e suficiente para o barão sorrir. Chamando D - não compro uma bicicleta (V)
(proposição conde encontrar a princesa) e E (proposição - caso (V)
barão sorrir) podemos escrever que D se e somente se - compro uma bicicleta (F)
E ou D ↔ E (conhecemos este conectivo como um - viajo (V)
bicondicional, um conectivo onde tanto o antecedente - não caso (F)
quanto o consequente são condição necessária e Conclusão: viajo, caso, não compro uma bicicleta.
suficiente ao mesmo tempo), onde poderíamos também Outra forma:
escrever E se e somente se D ou E → D. c = casar
4) O conde encontrar a princesa é condição necessária b = comprar bicicleta
para a duquesa ir ao jardim. Chamando D (proposição v = viajar
conde encontrar a princesa) e C (proposição duquesa ir p = morar em Passárgada
ao jardim) podemos escrever que se C então D ou C → Temos as verdades:
D. Lembre-se de que ser condição necessária é ser c ou b
consequente no “se então”. v ou ~c
A única informação claramente dada é que o barão não p ou ~b
sorriu, ora chamamos de E (proposição barão sorriu). Transformando em implicações:
Logo barão não sorriu = ~E (lê-se não E). ~c → b = ~b → c
Dado que ~E se verifica e D ↔ E, ao negar a condição ~v → ~c = c → v
necessária nego a condição suficiente: esse modo ~E → ~p → ~b
~D (então o conde não encontrou a princesa). Assim:
Se ~D se verifica e C → D, ao negar a condição ~p → ~b
necessária nego a condição suficiente: ~D → ~C (a ~b → c
duquesa não foi ao jardim). c→v
Se ~C se verifica e A → C, ao negar a condição Por transitividade:
necessária nego a condição suficiente: ~C → ~A (então ~p → c
o rei não foi à caça). ~p → v
Se ~A se verifica e B → A, ao negar a condição Não morar em passárgada implica casar. Não morar em
necessária nego a condição suficiente: ~A → ~B (então passárgada implica viajar.
o duque não saiu do castelo).
Observe entre as alternativas, que a única que afirma 08. Resposta “C”.
uma proposição logicamente correta é a alternativa C, A declaração dizia:
pois realmente deduziu-se que o rei não foi à caça e o “Todo funcionário de nossa empresa possui plano de
conde não encontrou a princesa. saúde e ganha mais de R$ 3.000,00 por mês”. Porém, o
diretor percebeu que havia se enganado, portanto, basta
06. Resposta “D”. que um funcionário não tenha plano de saúde ou ganhe
Como todas as informações dadas são verdadeiras, até R$ 3.000,00 para invalidar, negar a declaração,
então podemos concluir que: tornando-a desse modo FALSA. Logo, necessariamente,
1 - Basílio pagou; um funcionário da empresa X não tem plano de saúde
2 - Carlos pagou; ou ganha até R$ 3.000,00 por mês.
Proposição composta no conectivo “e” - “Todo citada, para esta ser verdadeira S V Q tem que ser falsa.
funcionário de nossa empresa possui plano de saúde e Bem, agora analisando individualmente S V Q como
ganha mais de R$ 3.000,00 por mês”. Logo: basta que falsa, esta só pode ser falsa se as duas premissas
uma das proposições seja falsa para a declaração ser simples forem falsas. E da mesma maneira tratamos PF
falsa. V PN.
1ª Proposição: Todo funcionário de nossa empresa Representação lógica de todas as proposições:
possui plano de saúde. S V Q → PF V PN
2ª Proposição: ganha mais de R$ 3.000,00 por mês. (f) (f) (f) (f)
Lembre-se que no enunciado não fala onde foi o erro da FF
declaração do gerente, ou seja, pode ser na primeira PF V PN → Je
proposição e não na segunda ou na segunda e não na FF
primeira ou nas duas que o resultado será falso. Je → ~Ja
Na alternativa C a banca fez a negação da primeira FF
proposição e fez a da segunda e as ligaram no conectivo ~Ja → ~C
“ou”, pois no conectivo “ou” tanto faz a primeira ser FF
verdadeira ou a segunda ser verdadeira, desde que haja Conclusão: Carlos almoçou em casa hoje, Jane fez o
uma verdadeira para o resultado ser verdadeiro. almoço e não levou Pedro à escolinha esportiva, Pedro
Atenção: A alternativa “E” está igualzinha, só muda o não teve aula de futebol nem de natação e também não
conectivo que é o “e”, que obrigaria que o erro da é segunda nem quarta. Agora é só marcar a questão
declaração fosse nas duas. cuja alternativa se encaixa nesse esquema.
A questão pede a negação da afirmação: Todo
funcionário de nossa empresa possui plano de saúde “e” 10. Resposta “C”.
ganha mais de R$ 3.000,00 por mês. Dê nome:
Essa fica assim ~(p ^ q). A = AFINO as cordas;
A negação dela ~pv~q I = INSTRUMENTO soa bem;
~(p^q) ↔ ~pv~q (negação todas “e” vira “ou”) T = TOCO bem;
A 1ª proposição tem um Todo que é quantificador S = SONHO acordado.
universal, para negá-lo utilizamos um quantificador Montando as proposições:
existencial. Pode ser: um, existe um, pelo menos, 1° - A → I
existem... 2° - I → T
No caso da questão ficou assim: Um funcionário da 3° - ~T V S (ou exclusivo)
empresa não possui plano de saúde “ou” ganha até R$ Como S = FALSO; ~T = VERDADEIRO, pois um dos
3.000,00 por mês. A negação de ganha mais de termos deve ser verdadeiro (equivale ao nosso “ou isso
3.000,00 por mês, é ganha até 3.000,00. ou aquilo, escolha UM”).
~T = V
09. Resposta “B”. T=F
Sendo: I→T
Segunda = S e Quarta = Q, (F)
Pedro tem aula de Natação = PN e Em muitos casos, é um macete que funciona nos
Pedro tem aula de Futebol = PF. exercícios “lotados de condicionais”, sendo assim o F
V = conectivo ou e → = conectivo Se, ... então, temos: passa para trás.
S V Q → PF V PN Assim: I = F
Sendo Je = Jane leva Pedro para a escolinha e ~Je = a Novamente: A → I
negação, ou seja Jane não leva Pedro a escolinha. (F)
Ainda temos que ~Ja = Jane deixa de fazer o almoço e O FALSO passa para trás. Com isso, A = FALSO. ~A =
C = Carlos almoça em Casa e ~C = Carlos não almoça Verdadeiro = As cordas não foram afinadas.
em casa, temos: Outra forma: partimos da premissa afirmativa ou de
PF V PN → Je conclusão; última frase:
Je → ~Ja Não sonho acordado será VERDADE
~Ja → ~C Admita todas as frases como VERDADE
Em questões de raciocínio lógico devemos admitir que Ficando assim de baixo para cima
todas as proposições compostas são verdadeiras. Ora, o Ou não toco muito bem (V) ou sonho acordado (F) = V
enunciado diz que Carlos almoçou em casa, logo a Se o instrumento soa bem (F) então toco muito bem (F)
proposição ~C é Falsa. =V
~Ja → ~C Se afino as cordas (F), então o instrumento soa bem (F)
Para a proposição composta ~Ja → ~C ser verdadeira, =V
então ~Ja também é falsa. A dica é trabalhar com as exceções: na condicional só
~Ja → ~C dá falso quando a primeira V e a segunda F. Na
Na proposição acima desta temos que Je → ~Ja, disjunção exclusiva (ou... ou) as divergentes se atraem o
contudo já sabemos que ~Ja é falsa. Pela mesma regra que dá verdade. Extraindo as conclusões temos que:
do conectivo Se, ... então, temos que admitir que Je Não toco muito bem, não sonho acordado como
também é falsa para que a proposição composta seja verdade.
verdadeira. Se afino as corda deu falso, então não afino as cordas.
Na proposição acima temos que PF V PN → Je, tratando Se o instrumento soa bem deu falso, então o
PF V PN como uma proposição individual e sabendo que instrumento não soa bem.
Je é falsa, para esta proposição composta ser Joga nas alternativas:
verdadeira PF V PN tem que ser falsa. (A) sonho dormindo (você não tem garantia de que
Ora, na primeira proposição composta da questão, sonha dormindo, só temos como verdade que não sonho
temos que S V Q → PF V PN e pela mesma regra já acordado, pode ser que você nem sonhe).
(B) o instrumento afinado não soa bem deu que: Não
afino as cordas.
(C) Verdadeira: as cordas não foram afinadas.
(D) mesmo afinado (Falso deu que não afino as cordas)
o instrumento não soa bem.
(E) toco bem acordado e dormindo, absurdo. Deu não
toco muito bem e não sonho acordado.
“Alguns homens não são mentirosos” é particular
negativa e simbolizamos por “algum S não é P”.
No caso de afirmativa consideramos o item anterior.
Chamaremos as proposições dos tipos: “Todo S é P”,
“algum S é P”, “algum S não é P” e “nenhum S é P”.
Então teremos a tabela:

3 LÓGICA SENTENCIAI (OU PROPOSICIONAL). 3.1

PROPOSIÇÕES SIMPLES E COMPOSTAS

Uma proposição é uma afirmação que pode ser

verdadeira ou falsa. Ela é o significado da afirmação,
não um arranjo preciso das palavras para transmitir esse Diagrama de Euler
significado. Por exemplo, “Existe um número primo par Para analisar, poderemos usar o diagrama de Euler.
maior que dois” é uma proposição (no caso, falsa). “Um - Todo S é P (universal afirmativa – A)
número primo par maior que dois existe” é a mesma
proposição, expressa de modo diferente. É muito fácil
mudar acidentalmente o significado das palavras apenas
reorganizando-as. A dicção da proposição deve ser
considerada algo significante. É possível utilizar a
linguística formal para analisar e reformular uma
afirmação sem alterar o significado.
As sentenças ou proposições são os elementos que, na - Nenhum S é P (universal negativa – E)
linguagem escrita ou falada, expressam uma ideia,
mesmo que absurda. Considerar-se-ão as que são bem
definidas, isto é, aquelas que podem ser classificadas
em falsas ou verdadeiras, denominadas declarativas. As
proposições geralmente são designadas por letras
latinas minúsculas: p, q, r, s...
Considere os exemplos a seguir:
p: Mônica é inteligente.
- Algum S é P (particular afirmativa – I)
q: Se já nevou na região Sul, então o Brasil é um país
europeu.
r: 7 > 3
s: 8 + 2 ≠ 10

Tipos de Proposições
Podemos classificar as sentenças ou proposições,
conforme o significado de seu texto, em:
- Declarativas ou afirmativas: são as sentenças em
que se afirma algo, que pode ou não ser verdadeiro.
Exemplo: Júlio César é o melhor goleiro do Brasil.
- Interrogativas: são aquelas sentenças em que se
questiona algo. Esse tipo de sentença não admite valor
verdadeiro ou falso. Exemplo: Lula estava certo em
demitir a ministra?
- Imperativas ou ordenativas: são as proposições em
que se ordena alguma coisa. Exemplo: Mude a geladeira
de lugar.
Proposições Universais e Particulares
As proposições universais são aquelas em que o
predicado refere-se à totalidade do conjunto. Exemplo:
“Todos os homens são mentirosos” é universal e
simbolizamos por “Todo S é P”
Nesta definição incluímos o caso em que o sujeito é
unitário.
Exemplo: “O cão é mamífero”.
As proposições particulares são aquelas em que o
predicado refere-se apenas a uma parte do conjunto.
Exemplo: “Alguns homens são mentirosos” é particular e
simbolizamos por “algum S é P”.
Proposições Afirmativas e Negativas
No caso de negativa podemos ter:
“Nenhum homem é mentiroso” é universal negativa e
simbolizamos por “nenhum S é P”.
- Algum S não é P (particular negativa – O)
Princípios
- Princípio da não-contradição: Uma proposição não
pode ser verdadeira e falsa simultaneamente.
- Princípio do Terceiro Excluído: Uma proposição só
pode ter dois valores verdades, isto é, é verdadeiro (V)
ou falso (F), não podendo ter outro valor.
a) “O Curso Pré-Fiscal fica em São Paulo” é um
proposição verdadeira.
b) “O Brasil é um País da América do Sul” é uma
proposição verdadeira.
c) “A Receita Federal pertence ao poder judiciário”, é
uma proposição falsa.
As proposições simples (átomos) combinam-se com
outras, ou são modificadas por alguns operadores
(conectivos), gerando novas sentenças chamadas de
moléculas. Os conectivos serão representados da
seguinte forma:
~ corresponde a “não”
∧ corresponde a “e”
∧ corresponde a “ou”
⇒ corresponde a “então”
⇔ corresponde a “se somente se” 1. Quando uma proposição é verdadeira, sua
Sendo assim, a partir de uma proposição podemos negação é falsa.
construir uma outra correspondente com a sua negação;
e com duas ou mais, podemos formar: 2. Quando uma proposição é falsa, sua negação é
- Conjunções: a ∧ b (lê-se: a e b) verdadeira.
- Disjunções: a ∧ b (lê-se: a ou b) V ou F Sentença: Negação: V ou F
- Condicionais: a ⇒ b (lê-se: se a então b) p ~p
- Bicondicionais: a ⇔ b (lê-se: a se somente se b) V N∈4 N∉4 F
F 12 é 12 não é V
Exemplo divisível divisível
“Se Cacilda é estudiosa então ela passará no AFRF” por zero por zero.
Sejam as proposições:
p = “Cacilda é estudiosa” Para classificar mais facilmente as proposições em
q = “Ela passará no AFRF” falsas ou verdadeiras, utilizam-se as chamadas tabelas-
Daí, poderemos representar a sentença da seguinte verdade.
forma: Para negação, tem-se
Se p então q (ou p ⇒q) p ~p
V F
Sentenças Abertas F V
Existem sentenças que não podem ser classificadas
nem como falsas, nem como verdadeiras. São as
sentenças chamadas sentenças abertas. Atenção: A sentença negativa é representada por
“~”.
A sentença t:
“O time do Paraná resistiu à pressão do São Paulo”
A sentença matemática é aberta, pois possui como negativa de t, ou seja, “~t”, o
existem infinitos números que satisfazem a equação. correspondente a: “O time do Paraná não resistiu à
Obviamente, apenas um deles, , tornando a pressão do São Paulo”.
sentença verdadeira. Porém, existem infinitos outros Observação: Alguns matemáticos utilizam o símbolo “¬
números que podem fazer com que a proposição se O Brasil possui um grande time de futebol”, que pode ser
lida como “O Brasil não possui um grande time de
torne falsa, como futebol”.

Proposições Simples e Compostas

Dessa maneira, na sentença , obtemos Uma proposição pode ser simples (também denominada
infinitos valores que satisfazem à equação. Porém, atômica) ou composta (também denominada molecular).
alguns são verdadeiros, como , e outros são As proposições simples apresentam apenas uma
afirmação. Pode-se considerá-las como frases formadas
falsos, como por apenas uma oração. As proposições simples são
Atenção: As proposições ou sentenças lógicas são representadas por letras latinas minúsculas.
representadas por letras latinas e podem ser
classificadas em abertas ou fechadas. Exemplos
A sentença é uma sentença (1) p: eu sou estudioso
fechada, pois a ela se pode atribuir um valor lógico; (2) q: Maria é bonita
(3) r: 3 + 4 > 12
nesse caso, o valor de é F, pois a sentença é
falsa.
Uma proposição composta é formada pela união de
A sentença “Phil Collins é um grande cantor duas ou mais proposições simples.
de música pop internacional” é fechada, dado que possui Indica-se uma proposição composta por letras latinas
um valor lógico e esse valor é verdadeiro. maiúsculas. Se P é uma proposição composta das
proposições simples p, q, r, ..., escreve-se P (p, q, r,...).
Já a sentença “O sorteio milionário da Mega- Quando P estiver claramente definida não há
Sena” é uma sentença aberta, pois não se sabe o necessidade de indicar as proposições simples entre os
objetivo de falar do sorteio da Mega-Sena, nem se pode parênteses, escrevendo simplesmente P.
atribuir um valor lógico para que seja verdadeiro,
ou falso. Exemplos:
(4) P: Paulo é estudioso e Maria é bonita. P é composta
Modificadores das proposições simples p: Paulo é estudioso e q: Maria
A partir de uma proposição, podemos formar outra é bonita.
proposição usando o modificador “não” (~), que será sua (5) Q: Maria é bonita ou estudiosa. Q é composta das
negação, a qual possuirá o valor lógico oposto ao da proposições simples p: Maria é bonita e q: Maria é
proposição. estudiosa.
(6) R: Se x = 2 então x2 + 1 = 5. R é composta das
Exemplo proposições simples p: x = 2 e q: x2 + 1 = 5.
p: Jacira tem 3 irmãos. (7) S: a > b se e somente se b < a. S é composta das
~p: Jacira não tem 3 irmãos. proposições simples p: a > b e q: b < a.
É fácil verificar que: As proposições simples são aquelas que expressam
“uma única ideia”. Constituem a base da linguagem e
são também chamadas de átomos da linguagem. São
representadas por letras latinas minúsculas (p, q, r, Proposição Composta - 03 proposições simples
s, ...). No caso de uma proposição composta cujas proposições
As proposições composta são aquelas formadas por simples componentes são p, q e r as únicas possíveis
duas ou mais proposições ligadas pelos conectivos atribuições de valores lógicos a p, a q e a r são:
lógicos. São geralmente representadas por letras latinas p q r
maiúsculas (P, Q, R, S, ...). O símbolo P (p, q, r), por V V V
exemplo, indica que a proposição composta P é formada V V F
pelas proposições simples p, q e r. V F V
Exemplos V F F
São proposições simples: F V V
p: A lua é um satélite da terra. F V F
q: O número 2 é primo. F F V
r: O número 2 é par. F F F
s: Roma é a capital da França. Analogamente, observe-se que os valores lógicos V e F
t: O Brasil fica na América do Sul. se alternam de quatro em quatro para a primeira
u: 2 + 5 = 3 . 4 proposição p, de dois em dois para a segunda
São proposições compostas: proposição q e de um em um para a terceira proposição
P(q, r): O número 2 é primo ou é par. r, e que, além disso, VVV, VVF, VFV, VFF, FVV, FVF,
Q(s, t): Roma é a capital da França e o Brasil fica na FFV e FFF sãos os arranjos ternários com repetição dos
América do Sul. dois elementos V e F.
R: O número 6 é par e o número 8 é cubo perfeito. Notação: O valor lógico de uma proposição simples p
Não são proposições lógicas: indica-se por V(p). Assim, exprime-se que p é verdadeira
- Roma (V), escrevendo: V(p) = V. Analogamente, exprime-se
- O cão do menino que p é falsa (F), escrevendo: V(p) = F.
- 7+1
- As pessoas estudam
- Quem é?
- Que pena! Exemplos
p: o sol é verde;
q: um hexágono tem nove diagonais;
r: 2 é raiz da equação x² + 3x - 4 = 0
Tabela Verdade V(p) = F
V(q) = V
Proposição Simples - Segundo o princípio do V(r) = F
terceiro excluído, toda proposição simples p, é verdade
ou falsa, isto é, tem o valor lógico verdade (V) ou o valor
lógico falso (F).
p Questões
01. Considere as proposições p: Está frio e q: Está
V
chovendo. Traduza para linguagem corrente as
F
seguintes proposições:
a) P ˅ ~q
Proposição Composta - O valor lógico de qualquer b) p → q
proposição composta depende unicamente dos valores c) ~p ^ ~q
lógicos das proposições simples componentes, ficando d) p ↔ ~q
por eles univocamente determinados. É um dispositivo e) (p ˅ ~q) ↔ (q ^~p)
prático muito usado para a determinação do valor lógico
de uma proposição composta. Neste dispositivo figuram 02. Considere as proposições p: A terra é um planeta e
todos os possíveis valores lógicos da proposição q: Aterra gira em torno do Sol. Traduza para linguagem
composta, correspondentes a todas as possíveis simbólica as seguintes proposições:
atribuições de valores lógicos às proposições simples a) Não é verdade: que a Terra é um planeta ou gira em
componentes. torno do Sol.
b) Se a Terra é um planeta então a Terra gira em torno
Proposição Composta - 02 proposições simples do Sol.
Assim, por exemplo, no caso de uma proposição c) É falso que a Terra é um planeta ou que não gira em
composta cujas proposições simples componentes são p torno do Sol.
e q, as únicas possíveis atribuições de valores lógicos a d) A Terra gira em torno do Sol se, e somente se, a Terra
p e a q são: não é um planeta.
p q e) A Terra não é nem um planeta e nem gira em torno do
V V Sol.
V F (Expressões da forma “não é nem p e nem q” devem ser
F V vistas como “não p e não q”)
F F
03. Dada a condicional: “Se p é primo então p = 2 ou
Observe-se que os valores lógicos V e F se alternam p é impar”, determine:
de dois em dois para a primeira proposição p e de um a) a contrapositiva
em um para a segunda proposição q, e que, além disso, b) a recíproca
VV, VF, FV e FF são os arranjos binários com repetição
dos dois elementos V e F. 04.
 a) Supondo V (p ^ q ↔ r ˅ s) = F e V (~r ^ ~s) = V,
determine V (p → r ^ s).
b) Supondo V (p ^ (q ˅ r)) = V e V (p ˅ r → q) = F,
determine V (p), V (q), V (r).
c) Supondo V (p → q) = V, determine V (p ^ r → q ^ r)
e V (p ˅ r → q ˅ r).
05. Dê o conjunto-verdade em R das seguintes
sentenças abertas:
a) x² + x – 6 = 0 → x² - 9 = 0
b) x² ˃ 4 ↔ x² -5x + 6 = 0
06. Use o diagrama de Venn para decidir quais das
seguintes afirmações são válidas:
a) Todos os girassóis são amarelos e alguns
pássaros são amarelos, logo nenhum pássaro é um
girassol.
b) Alguns baianos são surfistas. Alguns surfistas são
louros. Não existem professores surfistas. Conclusões:
I- Alguns baianos são louros.
II- Alguns professores são baianos.
III- Alguns louros são professores.
IV- Existem professores louros.
07. (CESPE - PF - Regional) Considere que as letras
P, Q, R e T representem proposições e que os símbolos
̚ , ^, ˅ e → sejam operadores lógicos que constroem
novas proposições e significam não, e, ou e então,
respectivamente. Na lógica proposicional, cada
proposição assume um único valor (valor-verdade), que
pode ser verdadeiro (V) ou falso (F), mas nunca ambos.
Com base nas informações apresentadas no texto,
julgue os itens a seguir.
a) Se as proposições P e Q são ambas verdadeiras,
então a proposição ( ̚ P) ˅ ( ̚ Q) também é verdadeira.
b) Se a proposição T é verdadeira e a proposição R
é falsa, então a proposição R→ ( ̚ T) é falsa.
c) Se as proposições P e Q são verdadeiras e a
proposição R é falsa, então a proposição (P ^ R) → (¬ Q)
é verdadeira.
08. (CESPE - Papiloscopista) Sejam P e Q variáveis
proposicionais que podem ter valorações, ou serem
julgadas verdadeiras (V) ou falsas (F). A partir dessas
variáveis, podem ser obtidas novas proposições, tais
como: a proposição condicional, denotada por P → Q,
que será F quando P for V e Q for F, ou V, nos outros
casos; a disjunção de P e Q, denotada por P v Q, que
será F somente quando P e Q forem F, ou V nas outras
situações; a conjunção de P e Q, denotada por P ^ Q,
que será V somente quando P e Q forem V, e, em outros
casos, será F; e a negação de P, denotada por ¬P, que
será F se P for V e será V se P for F. Uma tabela de
valorações para uma dada proposição é um conjunto de
possibilidades V ou F associadas a essa proposição. A
partir das informações do texto, julgue os itens
subsequentes.
a) As tabelas de valorações das proposições P v Q e
Q → ¬P são iguais.
b) As proposições (P v Q) → S e (P → S) v (Q → S)
possuem tabelas de valorações iguais.
09. (CESPE - PF - Regional) Considere as sentenças
abaixo.
I- Fumar deve ser proibido, mas muitos europeus
fumam.
II- Fumar não deve ser proibido e fumar faz bem à
saúde.
III- Se fumar não faz bem à saúde, deve ser proibido.
IV- Se fumar não faz bem à saúde e não é verdade que
muitos europeus fumam, então fumar deve ser proibido.
V- Tanto é falso que fumar não faz bem à saúde como é
falso que fumar deve ser proibido; consequentemente,
muitos europeus fumam.
Considere também que P, Q, R e T representem as
sentenças listadas na tabela a seguir.
P Fumar deve ser
proibido.
Q Fumar de ser
encorajado.
R Fumar não faz
bem à saúde.
T Muitos europeus
fumam.
Com base nas informações acima e considerando a
notação introduzida no texto, julgue os itens seguintes.
a) A sentença I pode ser corretamente representada por
P ^ (¬ T).
b) A sentença II pode ser corretamente representada por
(¬ P) ^ (¬ R).
c) A sentença III pode ser corretamente representada por
R → P.
d) A sentença IV pode ser corretamente representada
por (R ^ (¬ T)) → P.
e) A sentença V pode ser corretamente representada por
T → ((¬ R) ^ (¬ P)).
10. Um agente de viagens atende três amigas. Uma
delas é loura, outra é morena e a outra é ruiva. O agente
sabe que uma delas se chama Bete, outra se chama
Elza e a outra se chama Sara. Sabe, ainda, que cada
uma delas fará uma viagem a um país diferente da
Europa: uma delas irá à Alemanha, outra irá à França e
a outra irá à Espanha. Ao agente de viagens, que queria
identificar o nome e o destino de cada uma, elas deram
as seguintes informações:
A loura: “Não vou à França nem à Espanha”.
A morena: “Meu nome não é Elza nem Sara”.
A ruiva: “Nem eu nem Elza vamos à França”.
O agente de viagens concluiu, então, acertadamente,
que:
a) A loura é Sara e vai à Espanha.
b) A ruiva é Sara e vai à França.
c) A ruiva é Bete e vai à Espanha.
d) A morena é Bete e vai à Espanha.
e) A loura é Elza e vai à Alemanha.
Respostas:
01.
a) “Está frio ou não está chovendo”.
b) “Se está frio então está chovendo”.
c) “Não está frio e não está chovendo”.
d) “Está frio se e somente se não está chovendo”.
e) “Está frio e não está chovendo se e somente se está
chovendo e não está frio”.
02.
a) ~(p ˅ q);
b) p → q
c) ~(p ˅ ~q)
d) ~p ^ ~q
e) q ↔ ~p
03.
a) a contrapositiva: “Se p 2 e p é par, então p não é
primo”.
 b) a recíproca: “Se p = 2 ou p é ímpar, então p é
primo”.
04.
a) Supondo V (p ^ q ↔ r ˅ s) = F (1) e V (~r ^ ~s) = V
(2), determine V (p → r ^ s). Solução: De (2) temos que
V (r) = V (s) = F; Usando estes resultados em (1)
obtemos: V (p) = V (q) = V, logo, V (p → r ^ s) = F
b) Supondo V (p ^ (q ˅ r)) = V (1) e V (p ˅ r → q) = F
(2), determine V (p), V (q) e V (r). Solução: De (1)
concluímos que V (p) = V e V (q ˅ r) = V e de (2) temos
que V (q) = F, logo V (r) = V
c) Supondo V (p → q) = V, determine V (p ^ r → q ^ r) e
V (p ˅ r → q ˅ r). Solução: Vamos supor V (p ^ r → q ^ r)
= F. Temos assim que V (p ^ r) = V e V (q ^ r) = F, o que
nos permite concluir que V (p) = V (r) = V e V (q) = F, o
que contradiz V (p → q) = V. Logo, V (p ˅ r → q ˅ r) = V.
Analogamente, mostramos que V (p ˅ r → q ˅ r) = V.
05.
a) R – {2}
b) [-2,2[
06.
a) O diagrama a seguir mostra que o argumento é falso:
b) O diagrama a seguir mostra que todos os argumentos
são falsos:
07.
a) Item ERRADO. Pela tabela do “ou” temos:
(¬ P) v (¬ Q)
(¬ V) v (¬ V)
(F) v (F)
Falsa
b) Item ERRADO. A condicional regra que:
R → (¬ T)
F (¬ V)
F (F)
Verdadeira
c) Item CERTO. Obedecendo a conjunção e a
condicional:
(P ^ R) → (¬ Q)
(V ^ F) → (¬ V)
FF
Verdadeira
08.
a) Item ERRADO. Basta considerarmos a linha da
tabela-verdade onde P e Q são ambas proposições
verdadeiras para verificar que as tabelas de valorações
de P v Q e Q → ¬P não são iguais:
b) Item ERRADO. Nas seguintes linhas da tabela-
verdade, temos os valores lógicos da proposição (P v Q)
→ S diferente dos da proposição (P → S) v (Q → S):
09.
a) Item ERRADO. Sua representação seria P ^ T.
b) Item CERTO. Apenas deve-se ter o cuidado para o
que diz a proposição R: “Fumar não faz bem à saúde”. É
bom sempre ficarmos atentos à atribuição inicial dada à
respectiva letra.
c) Item CERTO. É a representação simbólica da
Condicional entre as proposições R e P.
d) Item CERTO. Proposição composta, com uma
Conjunção (R ^ ¬T) como condição suficiente para P.
d) Item ERRADO. Dizer “...consequentemente...” é dizer
“se... então...”. A representação correta seria ((¬ R) ^ (¬
P)) → T.
10. Resposta “E”.
A melhor forma de resolver problemas como este é
arrumar as informações, de forma mais interessante,
que possa prover uma melhor visualização de todo o
problema. Inicialmente analise o que foi dado no
problema:
a) São três amigas
b) Uma é loura, outra morena e outra ruiva.
c) Uma é Bete, outra Elza e outra Sara.
d) Cada uma fará uma viagem a um país diferente da
Europa: Alemanha, França e Espanha.
e) Elas deram as seguintes informações:
A loura: “Não vou à França nem à Espanha”.
A morena: “Meu nome não é Elza nem Sara”.
A ruiva: “Nem eu nem Elza vamos à França”.
Faça uma tabela:
Com a informação da loura, sabemos que ela vai para a
Alemanha.
Com a informação da morena, sabemos que ela é a
Bete.
Com a informação da ruiva sabemos que ela não vai à
França e nem Elza, mas observe que a loura vai a
Alemanha e a ruiva não vai à França, só sobrando a
Bete ir à França. Se Bete vai à França a ruiva coube a
Espanha. Elza é a loura e Sara fica sendo a ruiva.
3.2 TABELAS-VERDADE
A tabela-verdade é usada para determinar o valor lógico
de uma proposição composta, sendo que os valores das
proposições simples já são conhecidos. Pois o valor
lógico da proposição composta depende do valor lógico
da proposição simples. A seguir vamos compreender
como se constrói essas tabelas-verdade partindo da
árvore das possibilidades dos valores lógicos das
proposições.
 q = 24 é múltiplo de 5.
~q = 24 não é múltiplo de 5.
q ~
q
F V

Observação: A negação de “Roma é a capital da Itália” é

“Roma não é a capital da Itália” ou “Não é verdade que
Roma é a capital da Itália”. Note que:
- A negação de “Todos os brasileiros são carecas” é
“Nem todos os brasileiros são carecas” ou “Pelo menos
um brasileiro não é careca”.
p q P(p, - A negação de “Nenhum homem é careca” é “Algum
q) homem é careca” ou “Pelo menos um homem é careca”.
V V ?
V F ? Número de linhas da Tabela Verdade
F V ? Seja “L” uma linguagem que contenha as proposições P,
F F ? Q e R. O que podemos dizer sobre a proposição P?
Para começar, segundo o princípio de bivalência, ela é
ou verdadeira ou falsa. Isto representamos assim:
P
V
F

Agora, o que podemos dizer sobre as proposições P e

Q? Oras, ou ambas são verdadeiras, ou a primeira é
verdadeira e a segunda é falsa, ou a primeira é falsa e a
segunda é verdadeira, ou ambas são falsas. Isto
representamos assim:
P Q
p q r P(p,
V V
q, r)
V F
V V V ?
F V
V V F ?
F F
V F V ?
V F F ?
Como você já deve ter reparado, uma tabela para P, Q e
F V V ?
R é assim:
F V F ?
P Q R
F F V ?
V V V
F F F ?
V V F
V F V
Proposição Composta do Tipo P(p, q, r, s): a tabela-
V F F
verdade possui 24 = 16 linhas e é formada igualmente
F V V
as anteriores.
F V F
Proposição Composta do Tipo P(p1, p2, p3,…, pn): a F F V
tabela-verdade possui 2n linhas e é formada igualmente F F F
as anteriores.
Cada linha da tabela (fora a primeira que contém as
O Conectivo “não” e a negação fórmulas) representa uma valoração. Agora, o que dizer
O conectivo “não” e a negação de uma proposição p é sobre fórmulas moleculares, tais como ⌐P, Q∨R, ou (Q
outra proposição que tem como valor lógico V se p for ∨R) → (P↔Q)? Para estas, podemos estabelecer os
falsa e F se p é verdadeira. O símbolo ~p (não p) valores que elas recebem em vista do valor de cada
representa a negação de p com a seguinte tabela- fórmula atômica que as compõe. Faremos isto por meio
verdade: das tabelas de verdade. Os primeiros passos para
p ~ construir uma tabela de verdade consistem em:
p - Uma linha em que estão contidas todas as
V F subfórmulas de uma fórmula e a própria fórmula. Por
F V exemplo, a fórmula ⌐(P˄Q) → R tem o seguinte conjunto
de subfórmulas: [(P˄Q) → R, P˄Q, P, Q, R].
Exemplo: - “L” linhas em que estão todos os possíveis valores
a) que as proposições atômicas podem receber e os
p = 7 é ímpar. valores recebidos pelas fórmulas moleculares a partir
~p = 7 não é ímpar. dos valores destes átomos.
p ~ O número de linhas é L = nt, sendo n o número de
p valores que o sistema permite (sempre 2 no caso do
V F CPC) e t o número de átomos que a fórmula contém.
Assim, se uma fórmula contém 2 átomos, o número de
linhas que expressam a permutações entre estes será 4: forem falsas. O símbolo p v q (p ou q) representa a
um caso de ambos serem verdadeiros (V V), dois casos disjunção, com a seguinte tabela-verdade:
de apenas um dos átomos ser verdadeiro (V F , F V) e p q p∨
um caso no qual ambos serem falsos (F F). Se a fórmula q
contiver 3 átomos, o número de linhas que expressam a V V V
permutações entre estes será 8: um caso de todos os V F V
átomos serem verdadeiros (V V V), três casos de F V V
apenas dois átomos serem verdadeiros (V V F , V F V , F F F
F V V), três casos de apenas um dos átomos ser Exemplo:
verdadeiro (V F F , F V F , F F V) e um caso no qual a)
todos átomos são falsos (F F F). Então, para a fórmula p = 2 é par.
⌐(P˄Q) → R, temos: q = o céu é rosa.
p ν q = 2 é par ou o céu é rosa.
p q p∨
q
V F V
b)
p = 9 < 6.
q = 3 é par.
p ν q: = 9 < 6 ou 3 é par.
p q p∨
q
lógicos. Ao fazê-lo, vamos aproveitar para explicar como F F F
interpretá-los. c)
p = O número 17 é primo.
O Conectivo e “e” a conjunção q = Brasília é a capital do Brasil.
O conectivo “e” e a conjunção de duas proposições p e q p ν q = O número 17 é primo ou Brasília é a capital
é outra proposição que tem como valor lógico V se p e q do Brasil.
forem verdadeiras, e F em outros casos. O símbolo p ˄ q p q p∨
(p e q) representa a conjunção, com a seguinte tabela- q
verdade: V V V
p q p˄ d)
q p = O número 9 é par.
V V V q = O dobro de 50 é 100.
V F F p ν q: O número 9 é par ou o dobro de 50 é 100.
F V F p q p∨
F F F q
F V V
Exemplo: O Conectivo “se… então…” e a condicional
a) A condicional se p então q é outra proposição que tem
p = 2 é par. como valor lógico F se p é verdadeira e q é falsa. O
q = o céu é rosa. símbolo p → q representa a condicional, com a seguinte
p ˄ q = 2 é par e o céu é rosa. tabela-verdade:
p q p˄ p q p
q →
V F F q
V V V
b) V F F
p = 9 < 6. F V V
q = 3 é par. F F V
p ˄ q: 9 < 6 e 3 é par. Exemplo:
p q p˄ a)
q p: 7 + 2 = 9.
F F F q: 9 – 7 = 2.
c) p → q: Se 7 + 2 = 9 então 9 – 7 = 2.
p = O número 17 é primo. p q p
q = Brasília é a capital do Brasil. →
p ˄ q = O número 17 é primo e Brasília é a capital do q
Brasil. V V V
p q p˄
q b)
V V V p = 7 + 5 < 4.
q = 2 é um número primo.
O Conectivo “ou” e a disjunção p → q: Se 7 + 5 < 4 então 2 é um número primo.
O conectivo “ou” e a disjunção de duas proposições p q p
p e q é outra proposição que tem como valor lógico V se →
alguma das proposições for verdadeira e F se as duas q
F V V
c) Agora veja passo a passo a determinação dos
p = 24 é múltiplo de 3. valores lógicos de P.
q = 3 é par. a) Valores lógicos de p ν q
p → q: Se 24 é múltiplo de 3 então 3 é par.
p q p
→
q
V F F
d) b) Valores lógicos de ~p
p = 25 é múltiplo de 2.
q = 12 < 3.
p → q: Se 25 é múltiplo de 2 então 2 < 3.

O Conectivo “se e somente se” e a bicondicional

A bicondicional p se e somente se q é outra proposição
que tem como valor lógico V se p e q forem ambas c) Valores lógicos de (p ν q) → (~p)
verdadeiras ou ambas falsas, e F nos outros casos. O
símbolo p ↔ q representa a bicondicional, com a
seguinte tabela-verdade:
p q p
↔
q d) Valores lógicos de p ∨ q
V V V
V F F
F V F
F F V
Exemplo:
a)
e) Valores lógicos de P(p, q) = ((p ν q) → (~p)) → (p ∨ q)
p = 24 é múltiplo de 3.
q = 6 é ímpar.
p ↔ q = 24 é múltiplo de 3 se, e somente se, 6 é
ímpar.
p q p
↔
q
V F F QUESTÕES
01. Considere as proposições
b) p: Está frio e
p = 25 é quadrado perfeito. q: Está chovendo.
q = 8 > 3. Traduza para linguagem corrente as seguintes
p ↔ q = 25 é quadrado perfeito se, e somente se, 8 proposições:
> 3. (A) p v ~q
p q p (B) p → q c) ~p ∨ ~q
↔ (C) p ↔ ~q e) (p v ~q) ↔ (q ∨ ~p)
q
V V V 02. Considere as proposições
c) p: A Terra é um planeta e
p = 27 é par. q: A Terra gira em torno do Sol.
q = 6 é primo. Traduza para linguagem simbólica as seguintes
p ↔ q = 27 é par se, e somente se, 6 é primo. proposições:
p q p (A) Não é verdade: que a Terra é um planeta ou gira
↔ em torno do Sol.
q (B) Se a Terra é um planeta então a Terra gira em
F F V torno do Sol.
(C) É falso que a Terra é um planeta ou que não gira
Tabela-Verdade de uma Proposição Composta em torno do Sol.
Exemplo: veja como se procede a construção de uma (D) A Terra gira em torno do Sol se, e somente se, a
Terra não é um planeta.
tabela-verdade da proposição composta P(p, q) = ((p ∨
(E) A Terra não é nem um planeta e nem gira em
q) → (~p)) → (p ∨ q), onde p e q são duas proposições
torno do Sol.
simples quaisquer. Resolução: uma tabela-verdade de
(Expressões da forma “não é nem p e nem q” devem
uma proposição do tipo P(p, q) possui 24 = 4 linhas,
ser vistas como “não p e não q”)
logo:
03. Escreva a negação das seguintes proposições
numa sentença o mais simples possível.
(A) É falso que não está frio ou que está chovendo.
(B) Se as ações caem aumenta o desemprego.
 (C) Ele tem cabelos louros se e somente se tem
olhos azuis.
(D) A condição necessária para ser um bom
matemático é saber lógica.
(E) Jorge estuda física mas não estuda química.
(Expressões da forma “p mas q” devem ser vistas
como “ p e q”)
04. Dada a condicional: “Se p é primo então p = 2 ou
p é ímpar”, determine:
(A) a contrapositiva
(B) a recíproca
05.
(A) Supondo V(p Λ q ↔ r v s) = F e V(~r Λ ~s) = V,
determine V(p → r Λs).
(B) Supondo V(p Λ (q v r)) = V e V (p v r → q) = F,
determine V(p), V(q) e V(r).
(C) Supondo V(p→ q) = V, determine V(p Λ r → q Λ r)
e V(p v r → q v r).
06. Utilizando as propriedades das operações
lógicas, simplifique as seguintes proposições:
(A) (p v q) Λ ~p
(B) p Λ (p → q) Λ (p →~q)
(C) p Λ (p v q) → (p v q) Λ q
(D) ~(p → q) Λ ((~p Λ q) v ~(p v q))
(E) ~p → (p v ~(p v ~q))
07. Escrever as expressões relativas aos circuitos.
Simplificá-las e fazer novos esquemas.
08. Verifique a validade ou não dos seguintes
argumentos sem utilizar tabela-verdade:
(A) p v q, ~r v ~q ╞ ~p → ~r
(B) p → q v r, q → ~p, s → ~r ╞ ~(p ∨ s)
(C) p → q, r → s, p v s ╞ q v r
(D) Se o déficit público não diminuir, uma condição
necessária e suficiente para inflação cair é que os
impostos sejam aumentados. Os impostos serão
aumentados somente se o déficit público não diminuir.
Se a inflação cair, os impostos não serão aumentados.
Portanto, os impostos não serão aumentados.
09. Dê o conjunto-verdade em R das seguintes
sentenças abertas:
(A) x² + x – 6 = 0 → x² - 9 = 0
(B) x² > 4 ↔ x² - 5x + 6 = 0
10. Dê a negação das seguintes proposições:
(A) Existem pessoas inteligentes que não sabem ler nem
escrever.
(B) Toda pessoa culta é sábia se, e somente se, for
inteligente.
(C) Para todo número primo, a condição suficiente para
ser par é ser igual a 2.
Respostas
01.
(A) “Não está frio e não está chovendo”.
(B) “Está frio se e somente se não está chovendo”.
(C) “Está frio e não está chovendo se e somente se está
chovendo e não está frio”.
02.
(A) ~(p v q)
(B) p → q
(C) ~(p v ~q)
(D) ~p ∨ ~q
(E) q ↔ ~p
03.
(A) “Não está frio ou está chovendo”.
(B) “As ações caem e não aumenta o desemprego”.
(C) “Ele tem cabelos louros e não tem olhos azuis ou ele
tem olhos azuis e não tem cabeloslouros”.
(D) A proposição é equivalente a “Se é um bom
matemático então sabe lógica” cuja negação é “É um
bom matemático e não sabe lógica”.
(E) “Jorge não estuda lógica ou estuda química”.
04.
(A) contrapositiva: “Se p ≠ 2 e p é par então p não é
primo”.
(B) recíproca: “Se p = 2 ou p é ímpar então p é primo”.
05.
(A) Supondo V(p Λ q ↔ r v s) = F(1) e V(~r Λ ~s) = V (2),
determine V(p → r Λ s).
Solução: De (2) temos que V (r) = V(s) = F; Usando
estes resultados em (1) obtemos:
V(p) = V(q) = V, logo,
V(p → r Λ s) = F
(B) Supondo V(p Λ (q v r)) = V (1) e V(p v r → q) = F (2),
determine V(p), V(q) e V(r).
Solução: De (1) concluimos que V(p) = V e V(q v r) = V e
de (2) temos que V(q) = F, logo V (r) = V.
(C) Supondo V(p → q) = V, determine V(p Λ r → q Λ r) e
V(p v r → q v r).
Solução: Vamos supor V(p Λ r →q Λ r) = F. Temos assim
que V(p Λ r) = V e V(q Λ r) = F, o que nos permite
concluir que V(p) = V(r) = V e V(q) = F, o que contradiz
V(p → q) = V. Logo, V(p v r → q v r) = V. Analogamente,
mostramos que V(p v r → q v r) = V.
06.
(A) (p∨q) ∨ ~p ↔ (p ∨~p) ∨ (q ∨~p) ↔ F ∨ (q ∨~p) ↔ (q
∨~p)
(B) p ∨ (p→q) ∨ (p→~p) ↔ p ∨ (~p∨q) ∨ (~p∨~q)
↔ p ∨ ((~p ∨ (q ∨~q)) ↔ p ∨ (~p ∨ F) ↔ p ∨ ~p ↔ F
(C) p ∨ (p∨q) → (p ∨q) ∨ q ↔ p→q
(D) ~(p→q) ∨ ((~p ∨q)) ↔ (p ∨~q) ∨ ((~p ∨q) ∨ (~p ∨~q))
(p ∨~q) ∨ ((~p ∨ (q∨~q)) ↔ (p ∨~q) ∨ (~p ∨V) ↔ (p ∨~q)
∨ ~p
(p ∨~p) ∨ ~q ↔ F ∨ ~q ↔ F
(E) ~p → (p ∨ ~(p∨~q)) ↔ p ∨ (p ∨ ~(p∨~q)) ↔ (p ∨ (~p
∨q)) ↔
(p∨~p) ∨ (p∨q) ↔ V ∨ (p∨q) ↔ p∨q
07. A tabela da bicondicional (p → q) ↔ (~q → ~p) será:
(A) (p ∨q) ∨ ((p ∨q) ∨ q) ∨ p ↔ ((p ∨q) ∨ p ↔ q ∨p p q ~q ~p p→q ~q → (p →
(B) ((p∨q) ∨ r)) ∨ ((q ∨r) ∨ q)) ↔ ~p q) ↔
((p∨q) ∨ r) ∨ q ↔ (p∨q∨q) ∨ (r∨q) (~q
↔ (p∨q) ∨ (r∨q) ↔ q ∨ (p ∨r) →
~p)
08. V V F F V V V
(A) Válido V F V F F F V
(B) Válido F V F V V V V
(C) Sofisma. Considerando V(p) = V(q) = V( r ) = F e F F V V V V V
V(s) = V, todas as premissas são verdadeiras e a
conclusão é falsa. Portanto, p → q é equivalente a ~q → ~p, pois estas
(D) Considere proposições possuem a mesma tabela-verdade ou a
p: O déficit público não diminui; bicondicional (p → q) ↔ (~q → ~p) é uma tautologia.
q: A inflação cai; Veja a representação: (p → q) ⇔ (~q → ~p)
r: Os impostos são aumentados.
Analise o argumento: p → (q↔r), r →p, q →~r ╞ ~r
(Válido)

09.
(A) R- {2}
(B) [-2, 2[

10.
(A) “Todas as pessoas inteligentes sabem ler ou
escrever”.
(B) “Existe pessoa culta que é sábia e não é
inteligente ou que é inteligente e não é sábia”.
(C) “Existe um número primo que é igual a 2 e não é
par”. As proposições p e q são chamadas de logicamente
equivalentes (≡) se p ↔ q é uma tautologia. Exemplos:
3.3 EQUIVALÊNCIAS Mostraremos que (p V q) e p ∧ q são logicamente
equivalentes. Uma das leis de De Morgan. Solução:

Na lógica, as asserções p e q são ditas logicamente

equivalentes ou simplesmente equivalentes, se p ╞ q e q
╞ p. Em termos intuitivos, duas sentenças são
logicamente equivalentes se possuem o mesmo
“conteúdo lógico”. Do ponto de vista da teoria da
demonstração, p e q são equivalentes se cada uma
delas pode ser derivada a partir da outra.
Semanticamente, p e q são equivalentes se elas têm os Mostraremos que (p → q) e p V q são logicamente
mesmos valores para qualquer interpretação. A notação equivalentes. Solução:
normalmente usada para representar a equivalência
lógica entre p e q é p ≡ q, p ⇔ q ou p q.
Exemplo: As seguintes sentenças são logicamente
equivalentes:
1- Se hoje é sábado, então hoje é fim de semana.
2- Se hoje não é fim de semana, então hoje não é
sábado.
Em símbolos:
d: “Hoje é sábado”. (d → f) QUESTÕES
f: “Hoje é fim de semana”. ( f → d) 01. Demonstre as relações abaixo utilizando as
Sintaticamente, (1) e (2) são equivalentes pela Lei da equivalências notáveis:
Contraposição. Semânticamente, (1) e (2) têm os (A) p → q ∧ r ⇔ (p → q) ∧ (p → r)
mesmos valores nas mesmas interpretações.
(B) p → q ∨ r ⇔ (p → q) ∨ (p → r)
Há equivalência entre as proposições p e q somente
(C) p ∧ (r ∨ s ∨ t) ⇔ (p ∧ r) ∨ (p ∧ s) ∨ (p ∧ t)
quando a bicondicional p ↔ q for uma tautologia ou
(D) p ∧ q → r ⇔ p → (q → r)
quando p e q tiverem a mesma tabela-verdade.
(E)~( ~p →~q) ⇔~p ∧ q
p ⇔ q (p é equivalente a q) é o símbolo que
representa a equivalência lógica.
02. Demonstre, utilizando as equivalências notáveis,
Diferenciação dos símbolos ↔ e ⇔
que as relações de implicação são válidas:
O símbolo ↔ representa uma operação entre as
(A) Exemplo: Regra da simplificação: p ∧ q ⇒ q
proposições p e q, que tem como resultado uma nova
Para provarmos uma relação de implicação temos
proposição p ↔ q com valor lógico V ou F.
que demonstrar que a condicional p ∧ q → q é
O símbolo ⇔ representa a não ocorrência de VF e
tautológica, ou seja, que a condicional p ∧ q → q ⇔ V
de FV na tabela-verdade p ↔ q, ou ainda que o valor
Desenvolvendo o lado esquerdo da equivalência,
lógico de p ↔ q é sempre V, ou então p ↔ q é uma
tem-se:
tautologia. Exemplo:
 p ∧ q → q ≡ (aplicando-se a equiv. de reescrita da
condicional)
~(p ∧ q) ∨ q ≡ (aplicando-se a Lei de Morgan)
~p ∨ ~q ∨ q ≡ (aplicando-se lei complementar, ~q ∨ q
é uma tautologia)
~p ∨ V ≡ (pela lei da identidade ~p ∨ V é um
tautologia)
V Portanto, está provado que p ∧ q ⇒ q é uma
tautologia
(B) Regra da adição: p ⇒ p ∨ q
(C) Regra do Silogismo Disjuntivo: (p ∨ q) ∧ ~q ⇒ p
(D) Regra de Modus Ponens: (p → q) ∧ p ⇒ q
(E) Regra de Modus Tollens: (p → q) ∧ ~q ⇒ ~p
03. Usando as regras de equivalência, mostre a
seguinte tautologia: (p → q) → r ⇔ r ∨ (p ∧ ~q)
Respostas
01.
(A) p → q ∧ r ⇔ (p → q) ∧ (p → r)
p→q∧r⇔
~p ∨ (q ∧ r) ⇔ (reescrita da condicional)
(~p ∨ q) ∧ (~p ∨ r) ⇔ (distributiva)
(p → q) ∧ (p → r) (reescrita da condicional)
(B) p → q ∨ r ⇔ (p → q) ∨ (p → r)
p→q∨r⇔
~p ∨ (q ∨ r) ⇔ (reescrita da condicional)
~p ∨ q ∨ r ⇔ (associativa)
~p ∨ ~p ∨ q ∨ r ⇔ (idempotente, adicionei um ~p,
pois ~p ∨ ~p ⇔ ~p)
(~p ∨ q) ∨ (~p ∨ r) ⇔ (associativa)
(p → q) ∨ (p → r) (reescrita da condicional)
(C) p ∧ (r ∨ s ∨ t) ⇔ (p ∧ r) ∨ (p ∧ s) ∨ (p ∧ t)
p ∧ (r ∨ s ∨ t) ⇔
p ∧ (r ∨ (s ∨ t)) ⇔ (associativa em s ∨ t )
(p ∧ r) ∨ (p ∧ (s ∨ t)) ⇔ (distributiva)
(p ∧ r) ∨ (p ∧ s) ∨ (p ∧ t) (distributiva)
(D) p ∧ q → r ⇔ p → (q → r)
p∧q→r⇔
~(p ∧ q) ∨ r ⇔ (reescrita da condicional)
~p ∨ ~q ∨ r ⇔ (De Morgan)
~p ∨ (~q ∨ r) ⇔ (associativa)
~p ∨ (q → r) ⇔ (reescrita da condicional)
p → (q → r) (reescrita da condicional)
(E) ~(~p → ~q) ⇔ ~p ∧ q
~(~p → ~q) ⇔
~(~~p ∨ ~q) ⇔ (reescrita da condicional)
~(p ∨ ~q) ⇔ (dupla negação)
~p ∧ ~~q ⇔ (De Morgan)
~p ∧ q (dupla negação)
02.
(B) Regra da adição: p ⇒ p ∨ q
p → p ∨ q ⇔ V (devemos demonstrar que a relação
de implicação equivale a uma tautologia)
~p ∨ (p ∨ q) ⇔ (condicional)
~p ∨ p ∨ q ⇔ (associativa)
V ∨ q ⇔ (complementares ~p ∨ p)
V (identidade)
(C) Regra do Silogismo Disjuntivo: (p ∨ q) ∧ ~q ⇒ p
(p ∨ q) ∧ ~q → p ⇔ V (devemos demonstrar que a
relação de implicação equivale a uma tautologia)
(p ∧ ~q) ∨ (q ∧ ~q) → p ⇔ (distributiva)
(p ∧ ~q) ∨ F → p ⇔ (complementares)
(p ∧ ~q) → p ⇔ (identidade)
~(p ∧ ~q) ∨ p ⇔ (condicional)
~p ∨ ~q ∨ p ⇔ (De Morgan)
(~p ∨ p) ∨ ~q ⇔ (associativa)
V ∨ ~q ⇔ (complementares)
V (identidade)
(D) Regra de Modus Ponens: (p → q) ∧ p ⇒ q
(p → q) ∧ p → q ⇔ V (devemos demonstrar que a
relação de implicação equivale a uma tautologia)
(~p ∨ q) ∧ q → q ⇔ (condicional)
(q ∧ ~p) ∨ (q ∧ q) → q ⇔ (distributiva)
(q ∧ ~p) ∨ q → q ⇔ (idempotente)
~((q ∧ ~p) ∨ q) ∨ q ⇔ (condicional)
(~(q ∧ ~p) ∧ ~q) ∨ q ⇔ (De Morgan)
((~q ∨ p) ∧ ~q) ∨ q ⇔ (De Morgan)
(~q ∧ ~q) ∨ (~q ∧ p) ∨ q ⇔ (distributiva)
~q ∨ (~q ∧ p) ∨ q ⇔ (idempotente)
(~q ∨ q) ∨ (~q ∧ p) ⇔ (associativa)
V ∨ (~q ∧ p) ⇔ (complementares)
V (identidade)
(E) Regra de Modus Tollens: (p → q) ∧ ~q ⇒ ~p
(p → q) ∧ ~q → ~p ⇔ V (devemos demonstrar que a
relação de implicação equivale a uma tautologia)
(~p ∨ q) ∧ ~q → ~p ⇔ (De Morgan)
(~q ∧ ~p) ∨ (~q ∧ q) → ~p ⇔ (Distributiva)
(~q ∧ ~p) ∨ F → ~p ⇔ (Complementares)
(~q ∧ ~p) → ~p ⇔ (Identidade)
~(~q ∧ ~p) ∨ ~p ⇔ (condicional)
~~q ∨ ~~p ∨ ~p ⇔ (De Morgan)
q ∨ p ∨ ~p ⇔ (Dupla Negação)
q ∨ V ⇔ (complementares)
V
03. Mostraremos que (p → q) → r ⇔ r ∨ (p ∧ ~q) é uma
tautologia, de fato:
3.4 LEIS DE DE MORGAN
As leis de De Morgan definem regras usadas para
converter operações lógicas OU em E e vice versa.
Sendo X, Y {0,1} e as operações em {0,1} sendo +, . e -,
assim definidas:
Operação Símbolo Exemplos
lógica
Ou + 0+0=0
0+1=1
1+0=1
1+1=1
E . 0.0=0
0.1=0
1.0=0
1.1=1
Não - =1
=0
Da autoria do ilustre matemático inglês Augustus De
Morgan (1806-1871), podemos separá-las em Primeiras
Leis de Morgan e Segundas Leis de Morgan. As
primeiras podem ser indicadas de várias formas,
dependendo do contexto a estudar. Podemos utilizá-las
em operações lógicas sobre proposições ou em
operações sobre conjuntos.
 Prova: Se de fato, então:

Primeiras Leis de Morgan: Sendo p e q duas

proposições e ~, ∧ e ∧, respetivamente, os símbolos das
operações lógicas negação, conjunção e disjunção, as
Primeiras Leis de Morgan podem ser apresentadas
simbolicamente por: Primeiro usamos a propriedade distributiva do operador
1. ~(p ∧ q) = ~p ∧ ~q cujo significado é: (+), depois a propriedade comutativo (passo não
“negar a simultaneidade de p e q é afirmar pelo menos mostrado), então vemos a soma de elementos
não p ou não q”. complementares.
2. ~(p ∧ q) = ~p ∧ ~q cujo significado é:
“negar a ocorrência de pelo menos p ou q é afirmar nem
p nem q”.
Mas, se considerarmos A e B dois conjuntos e
Primeiro usamos a propriedade distributiva do operador
, respectivamente, os símbolos da (.), depois usamos a propriedade de comutatividade
interseção, reunião, complementar de A e complementar (esse passo não foi mostrado), então usamos a
de B, as Primeiras Leis de Morgan podem ser propriedade de elementos complementares .

apresentadas simbolicamente por: QUESTÕES

cujo significado é: “o complementar da interseção de 01. Numa pesquisa sobre audiência de TV entre 125
dois conjuntos é igual à reunião dos complementares entrevistados, obteve-se: 60 assistem ao canal X, 40 ao
dos conjuntos iniciais” cujo canal Y, 15 ao canal Z, 25 assistem a X e Y, 8 a Y e Z, 3
significado é: “o complementar da reunião de dois a X e Z e 1 assiste aos três.
conjuntos é igual à interseção dos complementares dos (A) Quantos não assistem a nenhum desses canais?
conjuntos iniciais”. (B) Quantos assistem somente ao canal X?

Segundas Leis de Morgan: As Segundas Leis de 02. Prove a seguinte Lei de De Morgan: x + y = xy.
Morgan permitem-nos efetuar a negação de proposições 03. Demonstre as Leis de Morgan:
com quantificadores (universais e existenciais). Dada a (A) ~(p ∧ q ∧ r) ↔ ~p ∨ ~q ∨ ~r
expressão proposicional (ou condição) p(x), em que x ∈ (B) ~(p ∨ q ∨ r) ↔ ~p ∧ ~q ∧ ~r
A, conjunto de números reais, a expressão ∀x ∈ A: p (x)
lê-se: “para todo o elemento de A, verifica-se p”, ou seja, Respostas
qualquer que seja o valor de A pelo qual substituímos x, 01.
p(x) transforma-se numa proposição verdadeira. Por (A) Assim, (A B C) ∧ C = ?
outro lado, a expressão ∃x ∈ A: p(x) lê-se: “existe pelo X= 60
menos um elemento de A que verifica p”, ou seja, XY= 25 - 1 = 24
significa que existe pelo menos um valor da variável x, XeY=3-1=2
para a qual a p(x) se transforma numa proposição X, Y e Z= 1 → X, Y e Z = 1
verdadeira. Da teoria dos conjuntos, temos:
n(X Y Z) = n(X) + n(Y) + n(Z) - n(X Y) - n(X Z) - n(Y Z) +
n(X Y Z)
n(X Y Z) = 60 + 40 + 15 - 25 - 3 - 8 + 1
n(X Y Z) = 116 – 36
As negações destas duas proposições constituem n(X Y Z) = 80, então: como n(X Y Z) = 125, vem que:
então as Segundas Leis de Morgan. 125 - 80 = 45 não assistem nenhum desses canais.
As leis: Considere X e Y como variáveis booleanas ou (B) 60 - (25 - 1) + (3 -1) + 1 = 60 - 27 = 33
proposições cuja resposta seja {Sim, Não} ou
{Verdadeiro, Falso} ou ainda {0,1}. Seguem as leis de De 02. Podemos demonstrar a Lei de De Morgan por
Morgan conforme algumas notações possíveis: indução completa ou algebricamente.
Tabela de verdade onde se demonstra a Segunda Lei de
De Morgan:
0 0 1 1 1 1
0 1 0 1 0 0
0 1 0 0 1 0
1 1 0 0 0 0
1
0
1
1

Para a demonstração algébrica vamos ter de nos

socorrer dos axiomas e de outros teoremas da álgebra
de Boole Binária. Para tanto, consideremos:

Generalização: A ideia é que ao “aplicar” a barra

(operador Não) sobre uma outra operação, esta muda
seu sinal, restando uma barra para cada membro da Por outro lado, consideremos:
operação. Exemplos:
Sendo assim, x + y e xy satisfazem os axiomas A4a e
A4b, pelo que x + y deverá ser o (único) complemento
de xy, e vice-versa. E então possível escrever e, por
dualidade, x . y = x + y.

a) Temos no grupo: 8 + 10 + 33 = 51 motoristas.

b) Dirigem somente carros 33 motoristas.
c) Dirigem somente motos 8 motoristas.
No caso de uma pesquisa de opinião sobre a preferência
quanto à leitura de três jornais. A, B e C, foi apresentada
a seguinte tabela:
3.5 DIAGRAMAS LÓGICOS

Os diagramas lógicos são usados na resolução de vários

problemas. Uma situação que esses diagramas poderão
ser usados, é na determinação da quantidade de
elementos que apresentam uma determinada
característica.

Para termos os valores reais da pesquisa, vamos

inicialmente montar os diagramas que representam cada
conjunto. A colocação dos valores começará pela
intersecção dos três conjuntos e depois para as
Assim, se num grupo de pessoas há 43 que dirigem intersecções duas a duas e por último às regiões que
carro, 18 que dirigem moto e 10 que dirigem carro e representam cada conjunto individualmente.
moto. Baseando-se nesses dados, e nos diagramas Representaremos esses conjuntos dentro de um
lógicos poderemos saber: Quantas pessoas têm no retângulo que indicará o conjunto universo da pesquisa.
grupo ou quantas dirigem somente carro ou ainda
quantas dirigem somente motos. Vamos inicialmente
montar os diagramas dos conjuntos que representam os
motoristas de motos e motoristas de carros.
Começaremos marcando quantos elementos tem a
intersecção e depois completaremos os outros espaços.

Marcando o valor da intersecção, então iremos

subtraindo esse valor da quantidade de elementos dos
conjuntos A e B. A partir dos valores reais, é que
poderemos responder as perguntas feitas.
Fora dos diagramas teremos 150 elementos que não
são leitores de nenhum dos três jornais.
Na região I, teremos: 70 - 40 = 30 elementos.
Na região II, teremos: 65 - 40 = 25 elementos.
Na região III, teremos: 105 - 40 = 65 elementos.
Na região IV, teremos: 300 - 40 - 30 - 25 = 205
elementos.
Na região V, teremos: 250 - 40 -30 - 65 = 115 elementos.
Na região VI, teremos: 200 - 40 - 25 - 65 = 70 elementos.
Dessa forma, o diagrama figura preenchido com os
seguintes elementos:

Com essa distribuição, poderemos notar que 205
pessoas leem apenas o jornal A. Verificamos que 500
pessoas não leem o jornal C, pois é a soma 205 + 30 +
115 + 150. Notamos ainda que 700 pessoas foram
entrevistadas, que é a soma 205 + 30 + 25 + 40 + 115 +
65 + 70 + 150.
Diagrama de Euler
Um diagrama de Euler é similar a um diagrama de Venn,
mas não precisa conter todas as zonas (onde uma zona
é definida como a área de intersecção entre dois ou
mais contornos). Assim, um diagrama de Euler pode
definir um universo de discurso, isto é, ele pode definir
um sistema no qual certas intersecções não são
possíveis ou consideradas. Assim, um diagrama de Venn
contendo os atributos para Animal, Mineral e quatro
patas teria que conter intersecções onde alguns estão
em ambos animal, mineral e de quatro patas. Um
diagrama de Venn, consequentemente, mostra todas as
possíveis combinações ou conjunções.
Diagramas de Euler consistem em curvas simples
fechadas (geralmente círculos) no plano que mostra os
conjuntos. Os tamanhos e formas das curvas não são
importantes: a significância do diagrama está na forma
como eles se sobrepõem. As relações espaciais entre as
regiões delimitadas por cada curva (sobreposição,
contenção ou nenhuma) correspondem relações teóricas
(subconjunto interseção e disjunção). Cada curva de
Euler divide o plano em duas regiões ou zonas estão: o
interior, que representa simbolicamente os elementos do
conjunto, e o exterior, o que representa todos os
elementos que não são membros do conjunto. Curvas
cujos interiores não se cruzam representam conjuntos
disjuntos. Duas curvas cujos interiores se interceptam
representam conjuntos que têm elementos comuns, a
zona dentro de ambas as curvas representa o conjunto
de elementos comuns a ambos os conjuntos
(intersecção dos conjuntos). Uma curva que está contido
completamente dentro da zona interior de outro
representa um subconjunto do mesmo.
Os Diagramas de Venn são uma forma mais restritiva de
diagramas de Euler. Um diagrama de Venn deve conter
todas as possíveis zonas de sobreposição entre as suas
curvas, representando todas as combinações de
inclusão / exclusão de seus conjuntos constituintes, mas
em um diagrama de Euler algumas zonas podem estar
faltando. Essa falta foi o que motivou Venn a
desenvolver seus diagramas. Existia a necessidade de
criar diagramas em que pudessem ser observadas, por
meio de suposição, quaisquer relações entre as zonas
não apenas as que são “verdadeiras”.
Os diagramas de Euler (em conjunto com os de Venn)
são largamente utilizados para ensinar a teoria dos
conjuntos no campo da matemática ou lógica
matemática no campo da lógica. Eles também podem
ser utilizados para representar relacionamentos
complexos com mais clareza, já que representa apenas
as relações válidas. Em estudos mais aplicados esses
diagramas podem ser utilizados para provar / analisar
silogismos que são argumentos lógicos para que se
possa deduzir uma conclusão.
Diagramas de Venn
Designa-se por diagramas de Venn os diagramas
usados em matemática para simbolizar graficamente
propriedades, axiomas e problemas relativos aos
conjuntos e sua teoria. Os respectivos diagramas
consistem de curvas fechadas simples desenhadas
sobre um plano, de forma a simbolizar os conjuntos e
permitir a representação das relações de pertença entre
conjuntos e seus elementos (por exemplo, 4 ∉ {3,4,5},
mas 4 ∉ {1,2,3,12}) e relações de continência (inclusão)
entre os conjuntos (por exemplo, {1, 3} ⊂ {1, 2, 3, 4}).
Assim, duas curvas que não se tocam e estão uma no
espaço interno da outra simbolizam conjuntos que
possuem continência; ao passo que o ponto interno a
uma curva representa um elemento pertencente ao
conjunto.
Os diagramas de Venn são construídos com coleções de
curvas fechadas contidas em um plano. O interior
dessas curvas representa, simbolicamente, a coleção de
elementos do conjunto. De acordo com Clarence Irving
Lewis, o “princípio desses diagramas é que classes (ou
conjuntos) sejam representadas por regiões, com tal
relação entre si que todas as relações lógicas possíveis
entre as classes possam ser indicadas no mesmo
diagrama. Isto é, o diagrama deixa espaço para qualquer
relação possível entre as classes, e a relação dada ou
existente pode então ser definida indicando se alguma
região em específico é vazia ou não-vazia”. Pode-se
escrever uma definição mais formal do seguinte modo:
Seja C = (C1, C2, ... Cn) uma coleção de curvas
fechadas simples desenhadas em um plano. C é uma
família independente se a região formada por cada uma
das interseções X1 X 2 . .. X n, onde cada Xi é o interior
ou o exterior de Ci, é não-vazia, em outras palavras, se
todas as curvas se intersectam de todas as maneiras
possíveis. Se, além disso, cada uma dessas regiões é
conexa e há apenas um número finito de pontos de
interseção entre as curvas, então C é um diagrama de
Venn para n conjuntos.
Nos casos mais simples, os diagramas são
representados por círculos que se encobrem
parcialmente. As partes referidas em um enunciado
específico são marcadas com uma cor diferente.
Eventualmente, os círculos são representados como
completamente inseridos dentro de um retângulo, que
representa o conjunto universo daquele particular
contexto (já se buscou a existência de um conjunto
universo que pudesse abranger todos os conjuntos
possíveis, mas Bertrand Russell mostrou que tal tarefa
era impossível). A ideia de conjunto universo é
normalmente atribuída a Lewis Carroll. Do mesmo modo,
espaços internos comuns a dois ou mais conjuntos
representam a sua intersecção, ao passo que a
totalidade dos espaços pertencentes a um ou outro
conjunto indistintamente representa sua união.
John Venn desenvolveu os diagramas no século XIX,
ampliando e formalizando desenvolvimentos anteriores
de Leibniz e Euler. E, na década de 1960, eles foram
incorporados ao currículo escolar de matemática.
Embora seja simples construir diagramas de Venn para
dois ou três conjuntos, surgem dificuldades quando se
tenta usá-los para um número maior. Algumas
construções possíveis são devidas ao próprio John Venn
e a outros matemáticos como Anthony W. F. Edwards,
Branko Grünbaum e Phillip Smith. Além disso,
encontram-se em uso outros diagramas similares aos de
Venn, entre os quais os de Euler, Johnston, Pierce e
Karnaugh.
Dois Conjuntos: considere-se o seguinte exemplo:
suponha-se que o conjunto A representa os animais
bípedes e o conjunto B representa os animais capazes
de voar. A área onde os dois círculos se sobrepõem,
designada por intersecção A e B ou intersecção A-B,
conteria todas as criaturas que ao mesmo tempo podem
voar e têm apenas duas pernas motoras.

Além disso, essas quatro áreas podem ser combinadas

de 16 formas diferentes. Por exemplo, pode-se
Considere-se agora que cada espécie viva está perguntar sobre os animais que voam ou tem duas patas
representada por um ponto situado em alguma parte do (pelo menos uma das características); tal conjunto seria
diagrama. Os humanos e os pinguins seriam marcados representado pela união de A e B. Já os animais que
dentro do círculo A, na parte dele que não se sobrepõe voam e não possuem duas patas mais os que não voam
com o círculo B, já que ambos são bípedes mas não e possuem duas patas, seriam representados pela
podem voar. Os mosquitos, que voam mas têm seis diferença simétrica entre A e B. Estes exemplos são
pernas, seriam representados dentro do círculo B e fora mostrados nas imagens a seguir, que incluem também
da sobreposição. Os canários, por sua vez, seriam outros dois casos.
representados na intersecção A-B, já que são bípedes e
podem voar. Qualquer animal que não fosse bípede nem
pudesse voar, como baleias ou serpentes, seria marcado
por pontos fora dos dois círculos.
Assim, o diagrama de dois conjuntos representa
quatro áreas distintas (a que fica fora de ambos os
círculos, a parte de cada círculo que pertence a ambos
os círculos (onde há sobreposição), e as duas áreas que
não se sobrepõem, mas estão em um círculo ou no
outro):
- Animais que possuem duas pernas e não voam (A
sem sobreposição).
- Animais que voam e não possuem duas pernas (B
sem sobreposição).
- Animais que possuem duas pernas e voam
(sobreposição).
- Animais que não possuem duas pernas e não voam
(branco - fora).
Essas configurações são representadas,
respectivamente, pelas operações de conjuntos:
diferença de A para B, diferença de B para A,
intersecção entre A e B, e conjunto complementar de A e
B. Cada uma delas pode ser representada como as
seguintes áreas (mais escuras) no diagrama:

Três Conjuntos: Na sua apresentação inicial, Venn

focou-se sobretudo nos diagramas de três conjuntos.
Alargando o exemplo anterior, poderia-se introduzir o
conjunto C dos animais que possuem bico. Neste caso,
o diagrama define sete áreas distintas, que podem
combinar-se de 256 (28) maneiras diferentes, algumas
delas ilustradas nas imagens seguintes.
Proposições Categóricas
- Todo A é B
- Nenhum A é B
- Algum A é B e
- Algum A não é B
Proposições do tipo Todo A é B afirmam que o conjunto A
é um subconjunto do conjunto B. Ou seja: A está contido
em B. Atenção: dizer que Todo A é B não significa o
mesmo que Todo B é A. Enunciados da forma Nenhum A
é B afirmam que os conjuntos A e B são disjuntos, isto é,
não tem elementos em comum. Atenção: dizer que
Nenhum A é B é logicamente equivalente a dizer que
Nenhum B é A.
Por convenção universal em Lógica, proposições da
forma Algum A é B estabelecem que o conjunto A tem
pelo menos um elemento em comum com o conjunto B.
Contudo, quando dizemos que Algum A é B,
pressupomos que nem todo A é B. Entretanto, no sentido
lógico de algum, está perfeitamente correto afirmar que
“alguns de meus colegas estão me elogiando”, mesmo
que todos eles estejam. Dizer que Algum A é B é
logicamente equivalente a dizer que Algum B é A.
Também, as seguintes expressões são equivalentes:
Algum A é B = Pelo menos um A é B = Existe um A que é
B.
Proposições da forma Algum A não é B estabelecem que
o conjunto A tem pelo menos um elemento que não
pertence ao conjunto B. Temos as seguintes
equivalências: Algum A não é B = Algum A é não B =
Algum não B é A. Mas não é equivalente a Algum B não
é A. Nas proposições categóricas, usam-se também as
variações gramaticais dos verbos ser e estar, tais como
é, são, está, foi, eram, ..., como elo de ligação entre A e
B.
- Todo A é B = Todo A não é não B.
- Algum A é B = Algum A não é não B.
- Nenhum A é B = Nenhum A não é não B.
- Todo A é não B = Todo A não é B.
- Algum A é não B = Algum A não é B.
- Nenhum A é não B = Nenhum A não é B.
- Nenhum A é B = Todo A é não B.
- Todo A é B = Nenhum A é não B.
- A negação de Todo A é B é Algum A não é B (e vice-
versa).
- A negação de Algum A é B é Nenhum A não é B (e vice-
versa).
Verdade ou Falsidade das Proposições Categóricas
Dada a verdade ou a falsidade de qualquer uma das
proposições categóricas, isto é, de Todo A é B, Nenhum
A é B, Algum A é B e Algum A não é B, pode-se inferir de
imediato a verdade ou a falsidade de algumas ou de
todas as outras.
1. Se a proposição Todo A é B é verdadeira, então
temos as duas representações possíveis:
Nenhum A é B. É falsa.
Algum A é B. É verdadeira.
Algum A não é B. É falsa.
2. Se a proposição Nenhum A é B é verdadeira, então
temos somente a representação:
Todo A é B. É falsa.
Algum A é B. É falsa.
Algum A não é B. É verdadeira.
3. Se a proposição Algum A é B é verdadeira, temos as
quatro representações possíveis:
Nenhum A é B. É falsa.
Todo A é B. Pode ser verdadeira (em 3 e 4) ou falsa
(em 1 e 2).
Algum A não é B. Pode ser verdadeira (em 1 e 2) ou
falsa (em 3 e 4) – é indeterminada.
4. Se a proposição Algum A não é B é verdadeira, temos
as três representações possíveis:
Todo A é B. É falsa.
Nenhum A é B. Pode ser verdadeira (em 3) ou falsa
(em 1 e 2 – é indeterminada).
 Algum A é B. Ou falsa (em 3) ou pode ser verdadeira (E) 114
(em 1 e 2 – é ideterminada).
07. Numa pesquisa, verificou-se que, das pessoas
QUESTÕES entrevistadas, 100 liam o jornal X, 150 liam o jornal Y, 20
01. Represente por diagrama de Venn-Euler liam os dois jornais e 110 não liam nenhum dos dois
(A) Algum A é B jornais. Quantas pessoas foram entrevistadas?
(B) Algum A não é B (A) 220
(C) Todo A é B (B) 240
(D) Nenhum A é B (C) 280
(D) 300
02. (Especialista em Políticas Públicas Bahia - FCC) (E) 340
Considerando “todo livro é instrutivo” como uma
proposição verdadeira, é correto inferir que: 08. Em uma entrevista de mercado, verificou-se que
(A) “Nenhum livro é instrutivo” é uma proposição 2.000 pessoas usam os produtos C ou D. O produto D é
necessariamente verdadeira. usado por 800 pessoas e 320 pessoas usam os dois
(B) “Algum livro é instrutivo” é uma proposição produtos ao mesmo tempo. Quantas pessoas usam o
necessariamente verdadeira. produto C?
(C) “Algum livro não é instrutivo” é uma proposição (A) 1.430
verdadeira ou falsa. (B) 1.450
(D) “Algum livro é instrutivo” é uma proposição (C) 1.500
verdadeira ou falsa. (D) 1.520
(E) “Algum livro não é instrutivo” é uma proposição (E) 1.600
necessariamente verdadeira.
09. Sabe-se que o sangue das pessoas pode ser
03. Dos 500 músicos de uma Filarmônica, 240 tocam classificado em quatro tipos quanto a antígenos. Em
instrumentos de sopro, 160 tocam instrumentos de corda uma pesquisa efetuada num grupo de 120 pessoas de
e 60 tocam esses dois tipos de instrumentos. Quantos um hospital, constatou-se que 40 delas têm o antígeno
músicos desta Filarmônica tocam: A, 35 têm o antígeno B e 14 têm o antígeno AB. Com
(A) instrumentos de sopro ou de corda? base nesses dados, quantas pessoas possuem o
(B) somente um dos dois tipos de instrumento? antígeno O?
(C) instrumentos diferentes dos dois citados? (A) 50
(B) 52
04. (TTN - ESAF) Se é verdade que “Alguns A são R” e (C) 59
que “Nenhum G é R”, então é necessariamente (D) 63
verdadeiro que: (E) 65
(A) algum A não é G;
(B) algum A é G. 10. Em uma universidade são lidos dois jornais, A e
(C) nenhum A é G; B. Exatamente 80% dos alunos leem o jornal A e 60%
(D) algum G é A; leem o jornal B. Sabendo que todo aluno é leitor de pelo
(E) nenhum G é A; menos um dos jornais, encontre o percentual que leem
ambos os jornais.
05. Em uma classe, há 20 alunos que praticam futebol (A) 40%
mas não praticam vôlei e há 8 alunos que praticam vôlei (B) 45%
mas não praticam futebol. O total dos que praticam vôlei (C) 50%
é 15. Ao todo, existem 17 alunos que não praticam (D) 60%
futebol. O número de alunos da classe é: (E) 65%
(A) 30.
(B) 35.
(C) 37. Respostas
(D) 42.
(E) 44.

06. Um colégio oferece a seus alunos a prática de um ou

mais dos seguintes esportes: futebol, basquete e vôlei.
Sabe-se que, no atual semestre:
- 20 alunos praticam vôlei e basquete.
- 60 alunos praticam futebol e 55 praticam basquete.
- 21 alunos não praticam nem futebol nem vôlei.
- o número de alunos que praticam só futebol é idêntico
ao número de alunos que praticam só vôlei.
- 17 alunos praticam futebol e vôlei.
- 45 alunos praticam futebol e basquete; 30, entre os 45,
não praticam vôlei.
O número total de alunos do colégio, no atual semestre,
é igual a:
(A) 93
(B) 110
(C) 103
(D) 99

A opção A é descartada de pronto: “nenhum livro é
instrutivo” implica a total dissociação entre os diagramas.
E estamos com a situação inversa. A opção “B” é
perfeitamente correta. Percebam como todos os
elementos do diagrama “livro” estão inseridos no
diagrama “instrutivo”. Resta necessariamente perfeito
que algum livro é instrutivo.
03. Seja C o conjunto dos músicos que tocam
instrumentos de corda e S dos que tocam instrumentos
de sopro. Chamemos de F o conjunto dos músicos da
Filarmônica. Ao resolver este tipo de problema faça o
diagrama, assim você poderá visualizar o problema e
sempre comece a preencher os dados de dentro para
fora.
Passo 1: 60 tocam os dois instumentos, portanto, após
fazermos o diagrama, este número vai no meio.
Passo 2:
a)160 tocam instrumentos de corda. Já temos 60. Os
que só tocam corda são, portanto 160 - 60 = 100
b) 240 tocam instrumento de sopro. 240 - 60 = 180
Vamos ao diagrama, preenchemos os dados obtidos
acima:
Com o diagrama completamente preenchido, fica fácil
achara as respostas: Quantos músicos desta
Filarmônica tocam:
a) instrumentos de sopro ou de corda? Pelos dados do
problema: 100 + 60 + 180 = 340
b) somente um dos dois tipos de instrumento? 100 + 180
= 280
c) instrumentos diferentes dos dois citados? 500 - 340 =
160
04. Esta questão traz, no enunciado, duas proposições
categóricas:
- Alguns A são R
- Nenhum G é R
Devemos fazer a representação gráfica de cada uma
delas por círculos para ajudar-nos a obter a resposta
correta. Vamos iniciar pela representação do Nenhum G
é R, que é dada por dois círculos separados, sem
nenhum ponto em comum.
Como já foi visto, não há uma representação gráfica
única para a proposição categórica do Alguns A são R,
mas geralmente a representação em que os dois
círculos se interceptam (mostrada abaixo) tem sido
suficiente para resolver qualquer questão.
Agora devemos juntar os desenhos das duas
proposições categóricas para analisarmos qual é a
alternativa correta. Como a questão não informa sobre a
relação entre os conjuntos A e G, então teremos
diversas maneiras de representar graficamente os três
conjuntos (A, G e R). A alternativa correta vai ser aquela
que é verdadeira para quaisquer dessas representações.
Para facilitar a solução da questão não faremos todas as
representações gráficas possíveis entre os três
conjuntos, mas sim, uma (ou algumas)
representação(ões) de cada vez e passamos a analisar
qual é a alternativa que satisfaz esta(s)
representação(ões), se tivermos somente uma
alternativa que satisfaça, então já achamos a resposta
correta, senão, desenhamos mais outra representação
gráfica possível e passamos a testar somente as
alternativas que foram verdadeiras. Tomemos agora o
seguinte desenho, em que fazemos duas
representações, uma em que o conjunto A intercepta
parcialmente o conjunto G, e outra em que não há
intersecção entre eles.
Teste das alternativas:
Teste da alternativa “A” (algum A não é G).
Observando os desenhos dos círculos, verificamos que
esta alternativa é verdadeira para os dois desenhos de
A, isto é, nas duas representações há elementos em A
que não estão em G. Passemos para o teste da próxima
alternativa.
Teste da alternativa “B” (algum A é G). Observando
os desenhos dos círculos, verificamos que, para o
desenho de A que está mais a direita, esta alternativa
não é verdadeira, isto é, tem elementos em A que não
estão em G. Pelo mesmo motivo a alternativa “D” não é
correta. Passemos para a próxima.
Teste da alternativa “C” (Nenhum A é G). Observando os
desenhos dos círculos, verificamos que, para o desenho
de A que está mais a esquerda, esta alternativa não é
verdadeira, isto é, tem elementos em A que estão em G.
Pelo mesmo motivo a alternativa “E” não é correta.
Portanto, a resposta é a alternativa “A”.
n = 20 + 7 + 8 + 9
n = 44
06. Resposta “D”.
n(FeB) = 45 e n(FeB -V) = 30 → n(FeBeV) = 15
n(FeV) = 17 com n(FeBeV) = 15 → n(FeV - B) = 2
n(F) = n(só F) + n(FeB-V) + n(FeV -B) + n(FeBeV)
60 = n(só F) + 30 + 2 + 15 → n(só F) = 13
n(sóF) = n(sóV) = 13
n(B) = n(só B) + n(BeV) + n(BeF-V) → n(só B) = 65 - 20
– 30 = 15
n(nem F nem B nem V) = n(nem F nem V) - n(solo B) =
21- 15 = 6
Total = n(B) + n(só F) + n(só V) + n(Fe V - B) + n(nemF
nemB nemV) = 65 + 13 + 13 + 2 + 6 = 99.
07. Resposta “E”.
Começamos resolvendo pelo que é comum: 20 alunos
gostam de ler os dois.
Leem somente A: 100 – 20 = 80
Leem somente B: 150 – 20 = 130
Totaliza: 80 + 20 + 130 + 110 = 340 pessoas.
08. Resposta “D”.
Somente B: 800 – 320 = 480
Usam A = total – somente B = 2000 – 480 = 1520.
09. Resposta “C”.
Começa-se resolvendo pelo AB, então somente A =
40 – 14 = 26 e somente B = 35 – 14 = 21.
Somando-se A, B e AB têm-se 61, então o O são 120
– 61 = 59 pessoas.
10. Resposta “A”.
- Jornal A → 0,8 – x
- Jornal B → 0,6 – x
- Intersecção → x
Então fica:
(0,8 - x) + (0,6 - x) + x = 1
- x + 1,4 = 1
- x = - 0,4
x = 0,4.
Resposta “40% dos alunos leem ambos os jornais”.
4 LÓGICA DE PRIMEIRA ORDEM
O cálculo proposicional possui limitações com
respeito a codificação de sentenças declarativas. De
fato, o cálculo proposicional manipula de forma
satisfatória componentes das sentenças como não, e,
ou, se ... então, mas certos aspectos lógicos que
aparecem em linguagens naturais ou artificiais são muito
mais ricos. Por exemplo, como expressar coisas do tipo:
“Existe...” e “Para todo...” na lógica proposicional?
Exemplo: Considere a seguinte sentença declarativa:
Todo estudante é mais jovem do que algum instrutor. Na
lógica proposicional podemos identificar esta sentença
com uma variável proposicional p. No entanto, esta
codificação não reflete os detalhes da estrutura lógica
desta sentença. De que trata esta sentença?
- Ser um estudante.
- Ser um instrutor.
- Ser mais jovem do que alguém.
Para expressar estas propriedades utilizaremos
predicados. Por exemplo, podemos escrever estudante
(ana) para denotar que Ana é uma estudante. Da mesma
forma podemos escrever instrutor (marcos) para denotar
que Marcos é um instrutor. Por fim, podemos escrever
jovem (ana, marcos) para denotar que Ana é mais jovem
do que Marcos. Nestes exemplos, estudante, instrutor e
jovem são exemplos de predicados. Ainda precisamos
codificar as noções de “todo” e “algum”. Para isto
introduziremos o conceito de variável. Variáveis serão
denotadas por letras latinas minúsculas do final do
alfabeto: u, v, w, x, y, z (possivelmente acrescidas de
sub-índices x1, x2, ...). Variáveis devem ser pensadas
como “lugares vazios” que podem ser preenchidos (ou
instanciados) por elementos concretos, como João,
Maria, etc. Utilizando variáveis podemos especificar o
significado dos predicados estudante, instrutor e jovem
de uma maneira mais formal:
- estudante (x): x é um estudante.
- instrutor (x): x é um instrutor.
- jovem (x, y): x é mais jovem do que y.
Note que o nome das variáveis não é importante. É
equivalente a:
- estudante (x): x é um estudante.
- estudante(y): y é um estudante.
Para que possamos finalmente expressar em detalhes a
sentença apresentada no exemplo precisamos codificar
o significado de Todo e algum em Todo estudante é mais
jovem do que algum instrutor. Os quantificadores e
fazem este trabalho:
: significa para todo;
: significa existe.
Os quantificadores e estão sempre ligados a alguma
variável:
: para todo x;
: existe um x (ou existe algum x).
Agora podemos finalmente codificar a sentença: Todo
estudante é mais jovem do que algum instrutor. Da
seguinte forma:

Note que predicados diferentes podem ter um número
distinto de argumentos: os predicados estudante e
instrutor admitem apenas um argumento e por isto são
chamados de predicados unários, enquanto que o
predicado jovem admite dois argumentos, e portanto é
um predicado binário. O número de argumentos de um
predicado é chamado sua aridade. Assim, os predicados
unários têm aridade 1, enquanto que os predicados
binários têm aridade 2, etc. No cálculo de predicados
são permitidos predicados com qualquer aridade finita.
Exemplo: Considere a sentença: Nem todos os pássaros
podem voar. Escolhemos os seguintes predicados para
expressar esta sentença:
- pássaro(x): x é um pássaro.
- voar (x): x pode voar.
Esta sentença pode ser codificada da seguinte forma:
Exemplo: Uma outra maneira de expressar a mesma
ideia da sentença anterior é dizer que: Existem alguns
pássaros que não podem voar. Esta última sentença
pode ser codificada da seguinte maneira:
Posteriormente veremos que as duas codificações
dadas são semanticamente equivalentes. De fato,
existem transformações que convertem uma na outra.
O vocabulário da lógica de primeira ordem consiste de
três conjuntos:
- Um conjunto P de símbolos de predicado;
- Um conjunto F de símbolos de função;
- Um conjunto C de constantes.
Onde cada símbolo de predicado e de função vem
com sua aridade bem definida. Os predicados são casos
especiais de função: enquanto as funções possuem
contradomínio qualquer, os predicados têm
contradomínio sempre igual a {V,F}. As constantes são
funções de aridade 0.
Termos são definidos da seguinte forma:
- Qualquer variável é um termo;
- Se c F é uma função de aridade 0 então c é um
termo;
- Se t1, ... , tn são termos e f F é uma função de
aridade n > 0 então f (t1, ... , tn) é um termo.
- Nada mais é termo.
Em BNF (Backus Naur form) temos:
t :: = x | c | f (t, ... , t)
Onde x percorre o conjunto de variáveis V, c percorre
os símbolos de função de aridade 0 de F e f percorre os
elementos de aridade maior do que 0 de F.
Exemplo: Suponha que n, f e g são símbolos de
função de aridade respectivamente igual a 0, 1 e 2.
Então g (f (n), n) e f (g (n, f (n))) são termos, mas g(n) e f
(f (n), n) não são termos por violarem as aridades dos
símbolos. A escolha dos conjuntos P e F para símbolos
de predicado e de função é definida a partir do que se
pretende descrever.
Definimos o conjunto de fórmulas sobre o conjunto S
= (F, P) indutivamente da seguinte forma:
- Se p P é um símbolo de predicado de aridade n >
0, e se t1, ... , tn são termos sobre F então p (t1, .... , tn)
é uma fórmula.
- Se Φ é uma fórmula então (¬Φ) é também uma
fórmula.
- Se Φ e ψ são fórmulas então (Φ Λ ψ), (Φ V ψ), (Φ
→ ψ) e (Φ ↔ ψ) são fórmulas.
- Se Φ é uma fórmula e x é uma variável então ( xΦ)
e ( xΦ) também são fórmulas.
- Nada mais é fórmula.
Em BNF temos:
Φ :: = p (t1, ... , tn) | (¬Φ) | (Φ Λ Φ) | (Φ V Φ) | (Φ →
Φ) | (Φ ↔ ψ) | (( xΦ) | (( xΦ)
Onde p é um símbolo de predicado de aridade n > 0,
ti são termos sobre F e x é uma variável.
Adotaremos a seguinte prioridade de operadores:
1. ¬, , ;
2. Λ, V;
3. →, ↔.
Exemplo: Considere a seguinte sentença: Todo filho
de meu pai é meu irmão. Podemos codificar esta fórmula
de pelo menos duas formas distintas:
1. Representando a noção de “pai” como predicado:
Neste caso escolhemos três predicados: filho, pai e
irmão com os seguintes significados e aridades:
- filho (x, y): x é filho de y.
- pai (x, y): x é pai de y.
- irmão (x, y): x é irmão de y.
Uma possível codificação para a sentença dada
utilizando estes predicados é:
Dizendo que: “para todo x e todo y, se x é o pai de João
e se y é um filho de x então y é um irmão de João”.
Representando a noção de “pai” como função, que
chamaremos de f: Neste caso, f(x) retorna o pai de x.
Note que isto funciona apenas porque o pai de uma
dado x é único e está sempre definido, e portanto f é
realmente uma função. Uma possível codificação para
esta sentença é dada por:
Significando que “para todo x, se x é um filho do pai de
João então x é um irmão de João. Esta codificação é
menos complexa que a anterior porque envolve apenas
um quantificador.
Especificações formais em geral exigem um domínio de
conhecimento. Muitas vezes este conhecimento não
está explicitado no domínio. Sendo assim, um
especificador pode desconsiderar restrições importantes
para um modelo ou implementação. Por exemplo, as
codificações dadas no exemplo anterior podem parecer
corretas, mas e se x for igual a João? Se o domínio de
relações de parentesco não é um conhecimento comum
o especificador pode não notar que uma pessoa não
pode ser irmão dela mesma.
A abrangência de (respectivamente, ) em
(respectivamente, ) é Φ. Uma ocorrência de
uma variável ligada numa fórmula, é uma ocorrência de
uma variável x, dentro do campo de abrangência de um
quantificador . Uma ocorrência de uma
variável livre é uma ocorrência de uma variável x não
ligada.
Exemplo: Na fórmula ,
as duas ocorrências da variável x são ligadas, enquanto
a ocorrência da variável y é livre. Na fórmula
a primeira ocorrência da
variável x é ligada, no entanto a segunda é livre.
Dada uma variável x, um termo t e uma fórmula Φ,
definimos Φ [x/t] como sendo a fórmula obtida após
substituir cada ocorrência livre de x em Φ por t.
Exemplo: Considere novamente a fórmula
, que chamaremos
simplesmente de Φ. Temos que Φ [x/f(x, y)] = Φ. De fato,
todas as ocorrências de x em Φ são ligadas, e portanto a
substituição [x/f(x, y)] não tem nenhum efeito sobre esta
fórmula.
Dados um termo t, uma variável x e uma fórmula Φ,
dizemos que t é livre para x em Φ se nenhuma
ocorrência livre de x em Φ está no escopo de (
para qualquer variável y que ocorra em t.
Exemplo: Considere a , , onde
que possui duas ocorrências livres de x. A ocorrência de
x mais a esquerda poderia, por exemplo, ser substituída
pelo termo f(y, y), no entanto a outra ocorrência não
poderia ser substituída por este termo porque tal
substituição acarretaria captura da variável y. Quando
precisamos realizar uma substituição de um termo t que
não está livre para uma variável x em uma fórmula Φ, o
que fazemos é renomear as variáveis ligadas para evitar
capturas:
Exemplo: No caso do exemplo anterior, a substituição de
x por pode ser
resolvida renomeando a variável ligada y da fórmula
para algum nome novo, por exemplo
. Agora a substituição pode
ser realizada sem provocar captura de variáveis.
O ingrediente novo da lógica de primeira ordem não
encontrado na lógica proposicional é a quantificação:
dada uma sentença Φ qualquer, as novas construções
xΦ e xΦ - leia “para todo x, Φ” e “para algum x, Φ”,
respectivamente são introduzidas. xΦ significa que Φ é
verdadeiro para todo valor de x e xΦ significa que há
pelo menos um x tal que Φ é verdadeiro. Os valores das
variáveis são tirados de um universo de discurso pré-
determinado. Um refinamento da lógica de primeira
ordem permite variáveis de diferentes tipos, para tratar
de diferentes classes de objetos.
A lógica de primeira ordem tem poder expressivo
suficiente para formalizar praticamente toda a
matemática. Uma teoria de primeira ordem consiste em
um conjunto de axiomas (geralmente finitos ou
recursivamente enumerável) e de sentenças dedutíveis
a partir deles. A teoria dos conjuntos de Zermelo-
Fraenkel é um exemplo de uma teoria de primeira
ordem, e aceita-se geralmente que toda a matemática
clássica possa ser formalizada nela. Há outras teorias
que são normalmente formalizadas na lógica de primeira
ordem de maneira independente (embora elas admitam
a implementação na teoria dos conjuntos) tais como a
aritmética de Peano. Um cálculo de predicados consiste
em:
- regras de formação (definições recursivas para dar
origem a fórmulas bem-formadas ou FBFs).
- regras de transformação (regras de inferência para
derivar teoremas).
- axiomas.
Os axiomas considerados aqui são os axiomas lógicos
que fazem parte do cálculo de predicados. Além disso,
os axiomas não-lógicos são adicionados em teorias de
primeira ordem específicas: estes não são considerados
como verdades da lógica, mas como verdades da teoria
particular sob consideração. Quando o conjunto dos
axiomas é infinito, requer-se que haja um algoritmo que
possa decidir para uma fórmula bem-formada dada, se
ela é um axioma ou não. Deve também haver um
algoritmo que possa decidir se uma aplicação dada de
uma regra de inferência está correta ou não. É
importante notar que o cálculo de predicados pode ser
formalizado de muitas maneiras equivalentes; não há
nada canônico sobre os axiomas e as regras de
inferência propostos aqui, mas toda a formalização dará
origem aos mesmos teoremas da lógica (e deduzirá os
mesmos teoremas a partir de um conjunto qualquer de
axiomas não-lógicos).
Alfabeto
O alfabeto de 1ª ordem, Σ, tem a seguinte constituição:
X = {x, y, z, x1, x2, ..., y1, y2, ..., z1, z2, ...} é um
conjunto enumerável de variáveis;
ΣC = {a, b, c, a1, a2, ..., b1, b2, ..., c1, c2, ...} é um
conjunto de símbolos chamados de constantes;
ΣF = {F1, F2, ...} é um conjunto de símbolos ditos sinais
funcionais;
ΣR = {R1, R2, ...} é um conjunto de símbolos ditos sinais
relacionais ou predicativos;
ΣL = {¬, Λ, V, →, ↔, , } é o conjunto de símbolos ditos
sinais lógicos;
ΣP = {(,),,} é o conjunto de símbolos de pontuação.
As constantes, sinais funcionais e sinais predicativos
constituem a coleção de sinais ditos símbolos não
lógicos. Há diversas variações menores listadas abaixo:
O conjunto de símbolos primitivos (operadores e
quantificadores) varia frequentemente. Alguns símbolos
primitivos podem ser omitidos, substituindo-os com
abreviaturas adequadas; por exemplo (p ↔ q) é uma
abreviatura para (p → q) ∧ (q → p). No sentido contrário,
é possível incluir outros operadores como símbolos
primitivos, como as constantes de verdade ⊤ para
“verdadeiro” e o ⊥ para “falso” (estes são operadores do
aridade 0). O número mínimo dos símbolos primitivos
necessários é um, mas se nós nos restringirmos aos
operadores listados acima, seria necessário três; por
exemplo, o ¬, o ∧ , e o bastariam.
Alguns livros mais velhos usam a notação Φ ⊃ ψ para Φ
→ ψ, ~Φ para ¬Φ, Φ & ψ para Φ ∧ ψ, e uma riqueza de
notações para os quantificadores; por exemplo, xΦ pode
ser escrito como (x)Φ. A igualdade é às vezes
considerada como parte da lógica de primeira ordem;
Neste caso, o símbolo da igualdade será incluído no
alfabeto, e comportar-se-á sintaticamente como um
predicado binário. Assim a LPO será chamada de lógica
de primeira ordem com igualdade. As constantes são na
verdade funções de aridade 0, assim seria possível e
conveniente omitir constantes e usar as funções que
tenham qualquer aridade. Mas é comum usar o termo
“função” somente para funções de aridade 1. Na
definição acima, as relações devem ter pelo menos
aridade 1. É possível permitir relações de aridade 0;
estas seriam consideradas variáveis proposicionais.
Há muitas convenções diferentes sobre onde pôr
parênteses; por exemplo, se pode escrever x ou ( x). Às
vezes se usa dois pontos ou ponto final ao invés dos
parênteses para criar fórmulas não ambíguas. Uma
convenção interessante, mas incomum, é a “notação
polonesa”, onde se omite todos os parênteses, e
escreve-se o ∧ , ∧ , e assim por diante na frente de seus
argumentos. A notação polonesa é compacta e elegante,
mas rara e de leitura complexa. Uma observação técnica
é que se houver um símbolo de função de aridade 2 que
representa um par ordenado (ou símbolos de predicados
de aridade 2 que representam as relações de projeção
de um par ordenado) então se pode dispensar
inteiramente as funções ou predicados de aridade > 2.
Naturalmente o par ou as projeções necessitam
satisfazer aos axiomas naturais.
Os conjuntos das constantes, das funções, e das
relações compõem a assinatura e são geralmente
considerados para dar forma a uma linguagem,
enquanto as variáveis, os operadores lógicos, e os
quantificadores são geralmente considerados para
pertencer à lógica. Uma estrutura dá o significado
semântico de cada símbolo da assinatura. Por exemplo,
a linguagem da teoria dos grupos consiste de uma
constante (elemento da identidade), de uma função de
aridade 1 (inverso), de uma função de aridade 2
(produto), e de uma relação de aridade 2 (igualdade),
que seria omitida pelos autores que incluem a igualdade
na lógica subjacente.
Regras de Formação
As regras de formação definem os termos, fórmulas,
e as variáveis livres como segue. O conjunto dos termos
é definido recursivamente pelas seguintes regras:
- Qualquer constante é um termo (sem variáveis
livres).
- Qualquer variável é um termo (cuja única variável
livre é ela mesma).
- Toda expressão f (t1,…, tn) de n ≥ 1 argumentos
(onde cada argumento ti é um termo e f é um símbolo de
função de aridade n) é um termo. Suas variáveis livres
são as variáveis livres de cada um dos termos ti.
- Cláusula de fechamento: Nada mais é um termo.
O conjunto das fórmulas bem-formadas (chamadas
geralmente FBFs ou apenas fórmulas) é definido
recursivamente pelas seguintes regras:
- Predicados simples e complexos: se P for uma
relação de aridade n ≥ 1 e os ai são os termos então P
(a1, ..., an) é bem formada. Suas variáveis livres são as
variáveis livres de quaisquer termos ai. Se a igualdade
for considerada parte da lógica, então (a1 = a2) é bem
formada. Tais fórmulas são ditas atômicas.
- Cláusula indutiva I: Se Φ for uma FBF, então ¬Φ é
uma FBF. Suas variáveis livres são as variáveis livres de
Φ.
- Cláusula indutiva II: Se Φ e ψ são FBFs, então (ψ ∧
Φ), (ψ V Φ), (ψ → Φ), (ψ ↔ Φ) são FBFs. Suas variáveis
livres são as variáveis livres de Φ e de ψ.
- Cláusula indutiva III: Se Φ for uma FBF e x for um
variável, então xΦ e xΦ são FBFs, cujas variáveis livres
são as variáveis livres de Φ com exceção de x.
Ocorrências de x são ditas ligadas ou mudas (por
oposição a livre) em xΦ e xΦ.
- Cláusula de fechamento: Nada mais é uma FBF.
Na prática, se P for uma relação de aridade 2, nós
escrevemos frequentemente “a P b” em vez de “P a b”;
por exemplo, nós escrevemos 1 < 2 em vez de < (1 2).
Similarmente se f for uma função de aridade 2, nós
escrevemos às vezes “a f b” em vez de “f (a b)”; por
exemplo, nós escrevemos 1 + 2 em vez de + (1 2). É
também comum omitir alguns parênteses se isto não
conduzir à ambiguidade. Às vezes é útil dizer que “P(x)
vale para exatamente um x”, o que costuma ser
denotado por !xP(x). Isto também pode ser expresso por
x (P (x) y (P (y) → (x = y))). Exemplos: A linguagem dos
grupos abelianos ordenados tem uma constante 0, uma
função unária −, uma função binária +, e uma relação
binária ≤. Assim:
- [0, x, y são termos atômicos];
- [+ (x, y), + (x, + (y, − (z))) são termos, escritos
geralmente como x + y, x + (y + (−z))];
- [= (+ (x, y), 0), ≤ (+ (x, + (y, − (z))), + (x, y)) são
fórmulas atômicas, escritas geralmente como x + y = 0, x
+ y - z ≤ x + y,];
- [( x y ≤ (+ (x, y), z)) ∧ ( x = (+ (x, y), 0)) é uma fórmula,
escrita geralmente como ( x y (x + y ≤ z)) ∧ ( x (x + y =
0))].
Substituição: Se t é um termo e Φ(x) é uma fórmula
que contém possivelmente x como uma variável livre,
então Φ(t) se definido como o resultado da substituição
de todas as instâncias livres de x por t, desde que
nenhuma variável livre de t se torne ligada neste
processo. Se alguma variável livre de t se tornar ligada,
então para substituir t por x é primeiramente necessário
mudar os nomes das variáveis ligadas de Φ para algo
diferente das variáveis livres de t. Para ver porque esta
condição é necessária, considere a fórmula Φ(x) dada
por y y ≤ x (“x é máximal”). Se t for um termo sem y
como variável livre, então Φ(t) diz apenas que t é
maximal. Entretanto se t é y, a fórmula Φ(y) é y y ≤ y que
não diz que y é máximal. O problema de que a variável
livre y de t (=y) se transformou em ligada quando nós
substituímos y por x em Φ(x). Assim, para construir Φ(y)
nós devemos primeiramente mudar a variável ligada y
de Φ para qualquer outra coisa, por exemplo a variável
z, de modo que o Φ(y) seja então z z ≤ y. Esquecer
desta condição é uma causa notória de erros.
Igualdade: Há diversas convenções diferentes para se
usar a igualdade (ou a identidade) na lógica de primeira
ordem. Esta seção resume as principais. Todas as
convenções resultam mais ou menos no mesmo com
mais ou menos a mesma quantidade de trabalho, e
diferem principalmente na terminologia. A convenção
mais comum para a igualdade é incluir o símbolo da
igualdade como um símbolo lógico primitivo, e adicionar
os axiomas da igualdade aos axiomas da lógica de
primeira ordem. Os axiomas de igualdade são
x=x
x = y → F(…, x, …) = F(…, y, …) para qualquer função F
x = y → (R(…, x, …) → R(…, y, …)) para qualquer
relação R (incluindo a própria igualdade)
A próxima convenção mais comum é incluir o símbolo da
igualdade como uma das relações de uma teoria, e
adicionar os axiomas da igualdade aos axiomas da
teoria. Na prática isto é quase idêntico à da convenção
precedente, exceto no exemplo incomum de teorias com
nenhuma noção de igualdade. Os axiomas são os
mesmos, e a única diferença é se eles serão chamados
de axiomas lógicos ou de axiomas de teoria. Nas teorias
sem funções e com um número finito de relações, é
possível definir a igualdade em termos de relações,
definindo os dois termos s e t como iguais se qualquer
relação continuar inalterada ao se substituir s por t em
qualquer argumento. Por exemplo, em teoria dos
conjuntos com uma relação ∈, nós definiríamos s = t
como uma abreviatura para ∀x (s ∈ x ↔ t ∈ x) ∧ ∀x (x ∈ s
↔ x ∈ t). Esta definição de igualdade satisfaz
automaticamente os axiomas da igualdade. Em algumas
teorias é possível dar definições de igualdade ad hoc.
Por exemplo, em uma teoria de ordens parciais com
uma relação ≤ nós poderíamos definir s = t como uma
abreviatura para s ≤ t ∧ t ≤ s.
Regras de Inferência
A regra de inferência modus ponens é a única
necessária para a lógica proposicional de acordo com a
formalização proposta aqui. Ela diz que se Φ e Φ → ψ
são ambos demonstrados, então pode-se deduzir ψ. A
regra de inferência chamada Generalização Universal é
característica da lógica de primeira ordem:
Se ╞ Φ, então ╞ xΦ
onde se supõe que Φ é um teorema já demonstrado
da lógica de primeira ordem. Observe que a
Generalização é análoga à regra da necessitação da
lógica modal, que é:
Se ╞ P, então ╞ xP
Limitações: Apesar da Lógica de Primeira Ordem
ser suficiente para formalizar uma grande parte da
matemática, e também ser comumente usada em
Ciência da Computação e outras áreas, ela tem as suas
limitações. Suas limitações incluem limitações em sua
expressividade e limitações com relação aos fragmentos
das línguas naturais que pode descrever.
Expressividade: O teorema de Löwenheim–Skolem
mostra que se uma teoria de primeira ordem tem um
modelo infinito, então a teoria também tem modelos de
todas as cardinalidades infinitas. Em particular, nenhuma
teoria de primeira ordem com um modelo infinito pode
ser categórica. Assim, não há uma teoria de primeira
ordem cujo único modelo tem o conjunto dos números
naturais como domínio, ou cujo único modelo tem o
conjunto dos números reais como domínio. Várias
extensões da Lógica de Primeira-Ordem, incluindo a
Lógica de Ordem Superior e a Lógica Infinitária, são
mais expressivas no sentido de que elas admitem
axiomatizações categóricas dos números naturais ou
reais. Essa expressividade tem um custo em relação às
propriedades meta-lógicas; de acordo com o Teorema de
Lindström, qualquer lógica que seja mais forte que a
lógica de primeira ordem falhará em validar o teorema
da compaccidade ou em validar o teorema de
Löwenheim–Skolem.
Formalizando as Línguas Naturais
A lógica de primeira ordem é capaz de formalizar vários
quantificadores na lingua natural, como “todas as
pessoas que moram em Paris, moram na França”. Mas
existem várias características que não podem ser
expressas na lógica de primeira ordem. “Qualquer
sistema lógico que é apropriado para analisar línguas
naturais, precisa de uma estrutura muito mais rica que a
lógica de primeira ordem” (Gamut 1991).
 Axiomas e Regras
Os cinco axiomas lógicos mais as duas regras de
inferência seguintes caracterizam a lógica de primeira
ordem:
Estes axiomas são na realidade esquemas de
axiomas. Cada letra grega pode ser uniformemente
substituída, em cada um dos axiomas acima, por uma
FBF qualquer, e uma expressão do tipo α [t:= x] denota o
resultado da substituição de x por t na fórmula α.
Cálculo de Predicados
O cálculo de predicado é uma extensão da lógica
proposicional que define quais sentenças da lógica de
primeira ordem são demonstráveis. É um sistema formal
usado para descrever as teorias matemáticas. Se o
cálculo proposicional for definido por um conjunto
adequado de axiomas e a única regra de inferência
modus ponens (isto pode ser feito de muitas maneiras
diferentes, então o cálculo de predicados pode ser
definido adicionando-se alguns axiomas e uma regra de
inferência “generalização universal”. Mais precisamente,
como axiomas para o cálculo de predicado, teremos:
- Os axiomas circunstanciais do cálculo proposicional
(A1, A2 e A3);
- Os axiomas dos quantificadores (A4 e A5);
- Os axiomas para a igualdade propostos em seção
anterior, se a igualdade for considerada como um
conceito lógico.
Uma sentença será definida como demonstrável na
lógica de primeira ordem se puder ser obtida começando
com os axiomas do cálculo de predicados e aplicando-se
repetidamente as regras de inferência “modus ponens” e
“generalização universal”. Se nós tivermos uma teoria T
(um conjunto de sentenças, às vezes chamadas
axiomas) então uma sentença Φ se define como
demonstrável na teoria T se a ∧ b ∧ ...→ Φ é
demonstrável na lógica de primeira ordem (relação de
consequência formal), para algum conjunto finito de
axiomas a, b, ... da teoria T. Um problema aparente com
esta definição de “demonstrabilidade” é que ela parece
um tanto ad hoc: nós tomamos uma coleção
aparentemente aleatória de axiomas e de regras de
inferência, e não é óbvio que não tenhamos
acidentalmente deixado de fora algum axioma ou regra
fundamental.
O teorema da completude de Gödel nos assegura de
que este não é realmente um problema: o teorema diz
que toda sentença verdadeira em todos os modelos é
demonstrável na lógica de primeira ordem. Em particular,
toda definição razoável de “demonstrável” na lógica de
primeira ordem deve ser equivalente à definição acima
(embora seja possível que os comprimentos das
derivações difira bastante para diferentes definições de
demonstrabilidade). Há muitas maneiras diferentes (mas
equivalentes) de definir provabilidade. A definição acima
é um exemplo típico do cálculo no estilo de Hilbert, que
tem muitos axiomas diferentes, mas poucas regras de
inferência. As definições de demonstrabilidade para a
lógica de primeira ordem nos estilos de Gentzen
(dedução natural e cálculo de sequentes) são baseadas
em poucos ou nenhum axiomas, mas muitas regras de
inferência.
Conclui-se que
(A) uma das afirmativas acima é verdadeira e quatro são
falsas.
(B) duas das afirmativas acima são verdadeiras e três
são falsas.
(C) três das afirmativas acima são verdadeiras e duas
são falsas.
(D) quatro das afirmativas acima são verdadeiras e uma
é falsa.
(E) todas as afirmativas acima são verdadeiras.
03. (CESGRANRIO - 2010 - Petrobrás) Considere as
premissas:
Premissa 1: as premissas 2 e 3 são verdadeiras.
Premissa 2: das premissas 3 e 4, uma delas é
verdadeira e a outra, falsa.
Premissa 3: as premissas 1 e 4 são ambas
verdadeiras ou ambas falsas.
Premissa 4: as premissas 1 e 3 são ambas falsas.
Sabendo-se que cada premissa acima é
exclusivamente verdadeira ou exclusivamente falsa, são
verdadeiras APENAS as premissas:
(A) 1 e 2.
(B) 1 e 3.
(C) 2 e 3.
(D) 2 e 4.
(E) 3 e 4.
04. (CESPE - TRE-MG – Técnico Judiciário)
Considere as sentenças apresentada a seguir.
G - O preço do combustível automotivo é alto.
M - Os motores dos veículos são econômicos.
I - Há inflação geral de preços.
C - O preço da cesta básica é estável.
Admitindo que os valores lógicos das proposições
compostas
são verdadeiros, assinale a opção correta, considerando
que, nessas proposições, os símbolos ∨ e ∧
representam os conectivos “ou” e “e”, respectivamente, e
o símbolo ¬denota o modificador negação.
(A) os motores dos veículos são econômicos e não
há inflação geral de preços.
(B) o preço da cesta básica não é estável e há
inflação geral de preços.
(C) o preço do combustível automotivo é alto e os
motores dos veículos não são econômicos.
(D) os motores dos veículos são econômicos e o
preço da cesta básica não é estável.
(E) o preço da cesta básica é estável e o preço do
combustível automotivo é alto.
05. (FCC - TRE-PI - Técnico Judiciário) Todos os
advogados que trabalham numa cidade formaram- se na
universidade X. Sabe-se ainda que alguns funcionários
da prefeitura dessa cidade são advogados. A partir
dessas informações, é correto concluir que,
necessariamente,
(A) existem funcionários da prefeitura dessa cidade
formados na universidade X.
(B) todos os funcionários da prefeitura dessa cidade
formados na universidade X são advogados.
(C) todos os advogados formados na universidade X
trabalham nessa cidade.
(D) dentre todos os habitantes dessa cidade,
somente os advogados formaram-se na universidade X.
(E) existem funcionários da prefeitura dessa cidade
que não se formaram na universidade X.
06. (CESPE - SECONT-ES - Auditor do Estado) Se a
proposição simbolizada por A ∧ B → C for um argumento
válido, então a proposição A ∧ B ∧ (¬C) será falsa.
( ) Certo ( ) Errado
07. (CESPE - TRE-MA – Técnico Judiciário) Com base
nas regras da lógica sentencial, assinale a opção que
corresponde à negação da proposição “Mário é contador
e Norberto é estatístico”.
(A) Se Mário não é contador, então Norberto não é
estatístico.
(B) Mário não é contador e Norberto não é estatístico.
(C) Se Mário não é contador, então Norberto é
estatístico.
(D) Se Mário é contador, então Norberto não é
estatístico.
(E) Se Mário é contador, então Norberto é estatístico.
08. (FCC - TCE-GO - Técnico de Controle Externo) São
dadas as afirmações:
- Toda cobra é um réptil.
- Existem répteis venenosos.
Se as duas afirmações são verdadeiras, então, com
certeza, também é verdade que
(A) Se existe uma cobra venenosa, então ela é um réptil.
(B) toda cobra é venenosa.
(C) algum réptil venenoso é uma cobra.
(D) qualquer réptil é uma cobra.
(E) Se existe um réptil venenoso, então ele é uma cobra.
09. (FCC - TCE-GO - Técnico de Controle Externo) No
próximo domingo, Dona Marieta completará 100 anos de
idade e sua bisneta Julieta resolveu presenteá-la
construindo a árvore genealógica de seus descendentes.
Para tal, Julieta usou as seguintes informações:
- Dona Marieta teve 10 filhos, três dos quais não lhe
deram netos e cada um dos demais lhe deu 3 netos;
- Apenas quatro dos netos de Dona Marieta não tiveram
filhos, enquanto que cada um dos demais lhe deu 5
bisnetos;
- Dos bisnetos de Dona Marieta, apenas nove não
tiveram filhos e cada um dos outros teve 2 filhos;
- Os tataranetos de Dona Marieta ainda não têm filhos.
Nessas condições, é correto afirmar que o total de
descendentes de Dona Marieta é:
(A) 277
(B) 272
(C) 268
(D) 264
(E) 226
10. (CESGRANRIO - 2010 - Petrobrás) x ↔ y possui a
mesma tabela verdade que:
(A) ¬x → y
(B) ¬x → ¬y
(C) (x → y) ∧ y
(D) (x → y) ∧ (y → x)
(E) (x → y) ∧ (¬y → x)
Respostas
01. Resposta “A”.
Para a sentença A ser “transformada”, seria necessário
introduzir uma negação dupla (¬¬). Observando a regra
(1), percebe-se que a sentença B pode ser
“transformada” sem a necessidade de utilização de uma
negação dupla. Com isso, selecionamos a sentença B
para efetuar a manipulação. Manipulando a sentença B:
Logo, a sentença A é consequência da lógica de B. É
importante mencionar que não foram introduzidos
elementos adicionais (negação dupla, por exemplo) na
sentença original para se chegar ao resultado. Com isso,
podemos afirmar que a sentença A é consequência da
lógica (manipulação direta) de B.
São equivalências lógicas, ou seja, elas são
bidirecionais. Dessa forma, pode-se concluir que a
alternativa correta é a “A”, (B → A).
02. Resposta “C”.
Dizemos que um conjunto de operadores é completo
se com eles pode exprimir as operações conjunção,
disjunção e negação, que são: ∧, ∧ ,¬ e nand (não é).
I - Verdadeiro;
II - Verdadeiro;
III - Falso;
IV - Verdadeiro;
V - Falso.
Na lógica, um grupo de conectivos tem a
propriedade da completude funcional se todos outros
conectivos possíveis podem ser definidos em função
dele. Os conjuntos {nand}, {nor}, { ∧, ¬}, { ∧, ¬} e {→, ¬}
possuem a propriedade da completude funcional.
Demonstração da completude funcional em um conjunto:
Utilizando apenas a negação ¬ e a implicação (→)
podemos gerar todas as outras operações.
03. Resposta “D”.
Premissa 1: as premissas 2 e 3 são verdadeiras.
FALSO (apenas a premissa 2 é verdadeira a 3 é falsa);
Premissa 2: das premissas 3 e 4, uma delas é
verdadeira e a outra é falsa. VERDADEIRA (a premissa
3 é falsa e a 4 é verdadeira);
Premissa 3: as premissas 3 e 4 são ambas verdadeiras
ou ambas falsas. FALSO (premissa 3 é falsa e a 4 é
verdadeira);
Premissa 4: as premissas 1 e 3 são ambas falsas.
VERDADEIRA.
Normalmente ler as premissas em ordem inversa facilita
a resposta.
Premissa 4: afirma que 1 e 3 são falsas, portanto 2
deverá ser verdadeira.
Premissa 3: contraditória com a P4 - Falsa.
Premissa 2: até aqui a 4 é verdadeira e a 3 falsa –
Verdadeira.
Premissa 1: contraditória com a P4 – Falsa.
04. Resposta “A”.
- Atribui-se verdadeiro para todas as sentenças simples,
ou seja, G, M, I, C - são a princípio (V).
- Comece pela primeira sentença composta: M ∧ ~G
então C ∧ G - Por essa sentença conclui-se que
atribuindo à sentença I como verdadeira essa sentença
composta seria falsa e como a questão afirma que todas
as compostas são verdadeiras, então I = Falsa e ~I = V,
daí a sentença seria verdadeira, ou seja: Não há inflação
geral de preços.
- Na segunda sentença composta: I então ~C ∧ G -
considerando I (falsa) o resultado era verdadeiro para a
sentença independente de ser Falso ou Verdadeiro a 2ª
parte - por isso não tinha ainda argumento válido.
- Na terceira sentença: G então M - se considerar M
verdadeira então G pode ser falso ou Verdadeiro.
- Na quarta sentença: ~C ∧ M - se considerar M
verdadeira então ~C pode ser falso ou verdadeiro (mas
como na primeira sentença já considera C como
verdadeira), ou seja: Os motores dos veículos são
econômicos.
O enunciado da questão diz:
1) Se (M ∧ ~G) então (C ∧ ~ I) que equivale a: Se (Se G
então M ) então ~(Se C então I);
2) Se I então (~C ∧ G) que;
3) Se G então M;
4) ~C ∧ M que.
Precisa-se somente das proposições 1 e 3. Inicia-se pela
proposição 3. Supunha que o G era verdadeiro, desta
forma o M só poderia ser verdadeiro. Caso contrário a
proposição se tornaria falsa.
Então para a proposição 1: Como a primeira parte é
verdadeira a segunda só poderia ser verdadeira, ou seja
~(se C então I) também tinha que ser verdadeira. Como
tem o “~” na frente, Se C então I tem que ser falsa. E
para ser falsa I deve ser falso e C deve ser verdadeira.
Desta forma descobre-se o valor real de cada
proposição.
05. Resposta “A”.
Quando temos a expressão “Todo” e “Todo”, a resposta
tem que obrigatoriamente ter a expressão “Todo” e não
pode aparecer a expressão comum. Ex.: Todo indivíduo
que fuma tem bronquite. Todo indivíduo que tem
bronquite costuma faltar ao trabalho. Expressão comum:
bronquite. Logo: Todo indivíduo que fuma costuma faltar
ao trabalho.
Quando temos as expressões “Todo” e “Algum”, na
resposta prevalece o “Algum” e não pode aparecer a
expressão comum. Na questão acima, descartamos a
“B” e a “C”, pois começam com “Todo”. Depois
descartamos “D” pois aparece a expressão comum
“advogados”. Depois descartamos a “E” pois aparece
uma negação “não se formaram na universidade x”.
Resumo:
Todo e Todo = Todo
Todo e Nenhum = Nenhum
Algum e Todo = Algum
Algum e Nenhum = Algum Não
Se todos os advogados são formados na
universidade X e se existem funcionários da prefeitura
que são advogados, logo, certamente existem
funcionários da prefeitura dessa cidade formados na
universidade X. Com relação a letra “E”, temos que não
necessariamente os outro funcionários que não são
advogados não se formaram na universidade X, pois
nada garante que eles tenham se formado nesta
universidade ou não, como deixa dúvida, esta não pode
ser necessariamente correta.
06. Resposta “Certo”.
Um argumento válido considere todas as premissas
verdadeiras, e a conclusão terá que ser verdadeira.
V∧V
A ∧ B → C (Argumento válido)
A ∧ B ∧ (~C)
V ∧ V ∧ (~V)
V ∧ F = F (Falsa)
Nota-se que na proposição composta que a
alternativa diz ser falsa só foi usado o conectivo E (∧ ),
isto torna a questão fácil, ou seja, tanto o A, o B e a
negação de C têm que ter valores verdadeiros para a
proposição ser verdadeira (regra do conectivo E). Se a
negação de C tem que ser verdade, logo, o C é falso. Se
o C é falso, A ∧ B não pode ser verdadeiro, pois V então
F, que é o argumento válido trazido pela questão, é
falso. Se a questão diz que o argumento é válido, ele
realmente é válido, temos que acreditar nisso, logo, o
valor de A ∧ B tem que ser falso obrigatoriamente, senão
o argumento não é válido. Se A ∧ B tem que ser falso,
significa que ou o A ou o B tem que ser falso (regra do E,
um falso tudo falso). Sendo ou o A ou o B falso, torna a
proposição A ∧ B ∧ ~C falsa.
07. Resposta “D”.
A negativa de uma conjunção pode ser:
- uma condicional - afirma a 1ª parte e nega a 2ª
parte = P então não Q.
- uma disjunção - Não P ou Não Q.
Mário é contador e Norberto é estatístico.
P e Q = P e não Q, portanto:
Se Mário é contador, então Norberto não é
estatístico.
Considerando:
P: “Mário é contador”.
Q: “Norberto é estatístico”.
A negação de P ∧ Q é ~P “ou” ~Q.
A partir daí basta transformar ~P “ou” ~Q em sua
proposição equivalente: P “se então” ~Q.
08. Resposta “A”.
(A) Verdade, toda cobra é um réptil.
Se as duas afirmações são verdadeiras, então, com
certeza, também é verdade que
- Se existe uma cobra venenosa (P), então ela é um
réptil (Q). (P → Q = V). Obs: segundo as afirmações
“dadas” não se pode determinar se P é V ou F, no
entanto isto não altera a correção da assertiva.
(B) Falsa = nem toda cobra é venenosa.
(C) Falsa = nem todo réptil venenoso é cobra (há
lagartos venenosos, répteis e não são cobras).
No contexto geral, esta afirmação poderia ser
considerada verdadeira, mas segundo as afirmações
“dadas” pela questão ela é falsa, pois não é mencionada
qualquer ligação entre o grupo das cobras e dos répteis
venenosos; A cobra é um réptil; Alguns répteis são
venenosos; mas embasando-se somente nestas duas
afirmações não há como se garantir que Algum réptil
venenoso é uma cobra.
(D) Falsa = nem todo réptil é uma cobra (Jacaré é réptil).
(E) Falsa = nem todo réptil venenoso é cobra (há
lagartos venenosos, são répteis e não são cobras).
Um grande conjunto é o dos répteis, obrigatoriamente o
conjunto das cobras, que é menor, estará totalmente
dentro do conjunto dos répteis. Já o conjunto dos
Venenosos existem 3 possibilidades:
1 - o conjunto dos venenosos estar totalmente dentro do
conjunto dos répteis, mas não se mistura com o conjunto
das cobras, ou seja, são dois conjuntos dentro do
grande conjunto que é o dos répteis;
2 - o conjunto dos venenosos estar parcialmente dentro
do conjunto dos répteis, mas não se mistura com o
conjunto das cobras, ou seja, um conjunto (cobras)
dentro do conjunto dos répteis e outro (venenosos)
parcialmente dentro e fora (como na figura).
3 - o conjunto dos venenosos estar totalmente dentro do
conjunto dos répteis, e parcialmente, também, dentro do
conjunto das cobras.
4 - o conjunto dos venenosos estar totalmente dentro do
conjunto dos répteis e totalmente dentro do conjunto das
cobras.
Logo, a única coisa que conseguimos garantir dentre as
alternativas é que “todas as cobras são répteis”, elas
podem ser ou não venenosas e os venenosos podem ou
não ser répteis e podem ou não ser cobras.
09. Resposta “C”.
Dona Marieta teve 10 filhos = 7 férteis e 3 inférteis.
Sete férteis tiveram 21 filhos = 17 férteis e 4 inférteis.
Dezessete férteis tiveram 85 filhos = 76 férteis e 9
inférteis.
Setenta e seis férteis tiveram 152 filhos = 152 férteis.
Descendentes = férteis + inférteis = 252 + 16 = 268
descendentes.
Seguindo os passos:
- Dona Marieta teve 10 filhos, três dos quais não lhe
deram netos e cada um dos demais lhe deu 3 netos; dos
10 filhos de Dona Marieta 3 não lhe deram netos,
enquanto que 7 lhe deram 3 netos “cada”, então
fazemos o seguinte cálculo: 7. 3 = 21 netos.
- Apenas quatro dos netos de Dona Marieta não
tiveram filhos, enquanto que cada um dos demais lhe
deram 5 bisnetos; Sabemos que Dona Marieta teve 21
netos, mas, desses 21, quatro não tiveram filhos,
enquanto que os outros 17 lhe deram 5 bisnetos cada:
17. 5 = 85 bisnetos.
- Dos bisnetos de Dona Marieta, apenas nove não
tiveram filhos e cada um dos outros tiveram 2 filhos;
Dona Marieta teve 85 bisnetos, e desses 85 nove não
tiveram filhos, o que implica que 76 tiveram 2 filhos
“cada”: 76 . 2 = 152 tataranetos.
- Os tataranetos de Dona Marieta ainda não têm
filhos. Como os tataranetos não tiveram filhos, então
somamos os filhos, netos, bisnetos e tataranetos: 10 +
21 + 85 + 152 = 268.
10. Resposta “D”.
Segundo Sérates (1997), a conjunção da sentença x
→ y com a sentença y → x resulta na sentença x y.
Assim, (x → y) ∧ (y → x) equivale a x y.
x se e somente se y: somente admite resposta
verdadeira quando ambas possuem o mesmo sinal.
Tabela verdade: tabela verdade de x-y e y-x:
5 PRINCÍPIOS DE CONTAGEM E PROBABILIDADE
Análise Combinatória
Análise combinatória é uma parte da matemática que
estuda, ou melhor, calcula o número de possibilidades, e
estuda os métodos de contagem que existem em acertar
algum número em jogos de azar. Esse tipo de cálculo
nasceu no século XVI, pelo matemático italiano Niccollo
Fontana (1500-1557), chamado também de Tartaglia.
Depois, apareceram os franceses Pierre de Fermat
(1601- 1665) e Blaise Pascal (1623-1662). A análise
desenvolve métodos que permitem contar,
indiretamente, o número de elementos de um conjunto.
Por exemplo, se quiser saber quantos números de
quatro algarismos são formados com os algarismos 1, 2,
3, 4, 5, 6, 7 e 9, é preciso aplicar as propriedades da
análise combinatória. Veja quais propriedades existem:
- Princípio fundamental da contagem
- Fatorial
- Arranjos simples
- Permutação simples
- Combinação
- Permutação com elementos repetidos
Princípio fundamental da contagem: é o mesmo que a
Regra do Produto, um princípio combinatório que indica
quantas vezes e as diferentes formas que um
acontecimento pode ocorrer. O acontecimento é formado
por dois estágios caracterizados como sucessivos e
independentes:
- O primeiro estágio pode ocorrer de m modos distintos.
- O segundo estágio pode ocorrer de n modos distintos.
Desse modo, podemos dizer que o número de formas
diferente que pode ocorrer em um acontecimento é igual
ao produto m . n
Exemplo: Alice decidiu comprar um carro novo, e
inicialmente ela quer se decidir qual o modelo e a cor do
seu novo veículo. Na concessionária onde Alice foi há 3
tipos de modelos que são do interesse dela: Siena, Fox
e Astra, sendo que para cada carro há 5 opções de
cores: preto, vinho, azul, vermelho e prata. Qual é o
número total de opções que Alice poderá fazer?
Resolução: Segundo o Principio Fundamental da
Contagem, Alice tem 3×5 opções para fazer, ou seja,ela
poderá optar por 15 carros diferentes. Vamos
representar as 15 opções na árvore de possibilidades:
 positivos menores ou iguais a n. A notação n! foi
introduzida por Christian Kramp em 1808. A função
fatorial é normalmente definida por:

Por exemplo, 5! = 1 . 2 . 3 . 4 . 5 = 120

Note que esta definição implica em particular que 0! = 1,
porque o produto vazio, isto é, o produto de nenhum
número é 1. Deve-se prestar atenção neste valor, pois
este faz com que a função recursiva (n + 1)! = n! . (n + 1)
funcione para n = 0.
Os fatoriais são importantes em análise combinatória.
Por exemplo, existem n! caminhos diferentes de arranjar
n objetos distintos numa sequência. (Os arranjos são
chamados permutações) E o número de opções que
podem ser escolhidos é dado pelo coeficiente binomial.

Generalizações: Um acontecimento é formado por k

estágios sucessivos e independentes, com n1, n2, n3, …
, nk possibilidades para cada. O total de maneiras
Arranjos simples: são agrupamentos sem repetições
distintas de ocorrer este acontecimento é n1, n2, n3, … ,
em que um grupo se torna diferente do outro pela ordem
nk
ou pela natureza dos elementos componentes. Seja A
Técnicas de contagem: Na Técnica de contagem não
um conjunto com n elementos e k um natural menor ou
importa a ordem.
igual a n. Os arranjos simples k a k dos n elementos de
Considere A = {a; b; c; d; …; j} um conjunto formado
A, são os agrupamentos, de k elementos distintos cada,
por 10 elementos diferentes, e os agrupamentos ab, ac e
que diferem entre si ou pela natureza ou pela ordem de
ca”.
seus elementos.
ab e ac são agrupamentos sempre distintos, pois se
Cálculos do número de arranjos simples:
diferenciam pela natureza de um dos elemento.
Na formação de todos os arranjos simples dos n
ac e ca são agrupamentos que podem ser
elementos de A, tomados k a k:
considerados distintos ou não distintos pois se
n → possibilidades na escolha do 1º elemento.
diferenciam somente pela ordem dos elementos.
n - 1 → possibilidades na escolha do 2º elemento, pois
Quando os elementos de um determinado conjunto A
um deles já foi usado.
forem algarismos, A = {0, 1, 2, 3, …, 9}, e com estes
n - 2 → possibilidades na escolha do 3º elemento, pois
algarismos pretendemos obter números, neste caso, os
dois deles já foi usado.
agrupamentos de 13 e 31 são considerados distintos,
pois indicam números diferentes. .
.
Quando os elementos de um determinado conjunto A
.
forem pontos, A = {A1, A2, A3, A4, A5…, A9}, e com
n - (k - 1) → possibilidades na escolha do kº elemento,
pois l-1 deles já foi usado.
estes pontos pretendemos obter No Princípio Fundamental da Contagem (An, k), o
retas, neste caso os agrupamentos são iguais, pois número total de arranjos simples dos n elementos de A
indicam a mesma reta. (tomados k a k), temos:
Conclusão: Os agrupamentos... An,k = n (n - 1) . (n - 2) . ... . (n – k + 1)
1. Em alguns problemas de contagem, quando os (é o produto de k fatores)
agrupamentos se diferirem pela natureza de pelo menos Multiplicando e dividindo por (n – k)!
um de seus elementos, os agrupamentos serão
considerados distintos.
ac = ca, neste caso os agrupamentos são
denominados combinações.
Pode ocorrer: O conjunto A é formado por pontos e o
problema é saber quantas retas esses pontos
determinam.
2. Quando se diferir tanto pela natureza quanto pela
ordem de seus elementos, os problemas de contagem
serão agrupados e considerados distintos. Permutações: Considere A como um conjunto com n
ac ≠ ca, neste caso os agrupamentos são elementos. Os arranjos simples n a n dos elementos de
denominados arranjos. A, são denominados permutações simples de n
Pode ocorrer: O conjunto A é formado por algarismos elementos. De acordo com a definição, as permutações
e o problema é contar os números por eles têm os mesmos elementos. São os n elementos de A. As
determinados. duas permutações diferem entre si somente pela ordem
Fatorial: Na matemática, o fatorial de um número natural de seus elementos.
n, representado por n!, é o produto de todos os inteiros Cálculo do número de permutação simples:
 O número total de permutações simples de n
elementos indicado por Pn, e fazendo k = n na fórmula
An,k = n (n – 1) (n – 2) . … . (n – k + 1), temos:
Pn = An,n= n (n – 1) (n – 2) . … . (n – n + 1) = (n – 1)
(n – 2) . … .1 = n!
Portanto: Pn = n!
Combinações Simples: são agrupamentos formados
com os elementos de um conjunto que se diferenciam
somente pela natureza de seus elementos. Considere A
como um conjunto com n elementos k um natural menor
ou igual a n. Os agrupamentos de k elementos distintos
cada um, que diferem entre si apenas pela natureza de
seus elementos são denominados combinações simples
k a k, dos n elementos de A.
Exemplo: Considere A = {a, b, c, d} um conjunto com
elementos distintos. Com os elementos de A podemos
formar 4 combinações de três elementos cada uma: abc
– abd – acd – bcd
Se trocarmos ps 3 elementos de uma delas:
Exemplo: abc, obteremos P3 = 6 arranjos disdintos.
Se trocarmos os 3 elementos das 4 combinações
obtemos todos os arranjos 3 a 3:
(4 combinações) x (6 permutações) = 24 arranjos
Logo: C4,3 . P3 = A4,3
Cálculo do número de combinações simples: O
número total de combinações simples dos n elementos
de A representados por C n,k, tomados k a k,
analogicamente ao exemplo apresentado, temos:
a) Trocando os k elementos de uma combinação k a
k, obtemos Pk arranjos distintos.
b) Trocando os k elementos das Cn,k . Pk arranjos
distintos.
Arranjos Completos: Arranjos completos de n elementos,
de k a k são os arranjos de k elementos não
necessariamente distintos. Em vista disso, quando
vamos calcular os arranjos completos, deve-se levar em
consideração os arranjos com elementos distintos
(arranjos simples) e os elementos repetidos. O total de
arranjos completos de n elementos, de k a k, é indicado
simbolicamente por A*n,k dado por: A*n,k = nk
Permutações com elementos repetidos
Considerando:
α elementos iguais a a,
β elementos iguais a b,
γ elementos iguais a c, …,
λ elementos iguais a l,
Totalizando em α + β + γ + … λ = n elementos.
Simbolicamente representado por Pnα, β, γ, …, λ o
número de permutações distintas que é possível
formarmos com os n elementos:
Combinações Completas: Combinações completas de n
elementos, de k a k, são combinações de k elementos
não necessariamente distintos. Em vista disso, quando
vamos calcular as combinações completas devemos
levar em consideração as combinações com elementos
distintos (combinações simples) e as combinações com
elementos repetidos. O total de combinações completas
de n elementos, de k a k, indicado por C*n,k
QUESTÕES
01. Quantos números de três algarismos distintos podem
ser formados com os algarismos 1, 2, 3, 4, 5, 7 e 8?
02. Organiza-se um campeonato de futebol com 14
clubes, sendo a disputa feita em dois turnos, para que
cada clube enfrente o outro no seu campo e no campo
deste. O número total de jogos a serem realizados é:
(A)182
(B) 91
(C)169
(D)196
(E)160
03. Deseja-se criar uma senha para os usuários de um
sistema, começando por três letras escolhidas entre as
cinco A, B, C, D e E, seguidas de quatro algarismos
escolhidos entre 0, 2, 4, 6 e 8. Se entre as letras puder
haver repetição, mas se os algarismos forem todos
distintos, o número total de senhas possíveis é:
(A) 78.125
(B) 7.200
(C) 15.000
(D) 6.420
(E) 50
04. (UFTM) – João pediu que Cláudia fizesse cartões
com todas as permutações da palavra AVIAÇÃO.
Cláudia executou a tarefa considerando as letras A e Ã
como diferentes, contudo, João queria que elas fossem
consideradas como mesma letra. A diferença entre o
número de cartões feitos por Cláudia e o número de
cartões esperados por João é igual a
(A) 720
(B) 1.680
 (C) 2.420 Resoluções
(D) 3.360
(E) 4.320

05. (UNIFESP) – As permutações das letras da palavra

PROVA foram listadas em ordem alfabética, como se
fossem palavras de cinco letras em um dicionário. A 73ª
palavra nessa lista é
(A) PROVA.
(B) VAPOR.
(C) RAPOV.
(D) ROVAP.
(E) RAOPV.

06. (MACKENZIE) – Numa empresa existem 10

diretores, dos quais 6 estão sob suspeita de corrupção.
Para que se analisem as suspeitas, será formada uma
comissão especial com 5 diretores, na qual os suspeitos
não sejam maioria. O número de possíveis comissões é:
(A) 66
(B) 72
(C) 90
(D) 120
(E) 124
07. (ESPCEX) – A equipe de professores de uma escola
possui um banco de questões de matemática composto
de 5 questões sobre parábolas, 4 sobre circunferências
e 4 sobre retas. De quantas maneiras distintas a equipe
pode montar uma prova com 8 questões, sendo 3 de
parábolas, 2 de circunferências e 3 de retas?
(A) 80
(B) 96
(C) 240
(D) 640
(E) 1.280
08. Numa clínica hospitalar, as cirurgias são sempre
assistidas por 3 dos seus 5 enfermeiros, sendo que,
para uma eventualidade qualquer, dois particulares
enfermeiros, por serem os mais experientes, nunca são
escalados para trabalharem juntos. Sabendo-se que em
todos os grupos participa um dos dois enfermeiros mais
experientes, quantos grupos distintos de 3 enfermeiros
podem ser formados?
(A) 06
(B) 10
(C) 12
(D) 15
(E) 20
As três letras poderão ser escolhidas de 5 . 5 . 5 =125
maneiras.
Os quatro algarismos poderão ser escolhidos de 5 . 4 . 3
. 2 = 120 maneiras.
O número total de senhas distintas, portanto, é igual a
125 . 120 = 15.000.
4. O número de cartões feitos por Cláudia foi
II) O número de cartões esperados por João era
Assim, a diferença obtida foi 2.520 – 840 = 1.680
05. Se as permutações das letras da palavra PROVA
forem listadas em ordem alfabética, então teremos:
P4 = 24 que começam por A
P4 = 24 que começam por O
P4 = 24 que começam por P
A 73.ª palavra nessa lista é a primeira permutação
que começa por R. Ela é RAOPV.
06. Se, do total de 10 diretores, 6 estão sob suspeita de
corrupção, 4 não estão. Assim, para formar uma
comissão de 5 diretores na qual os suspeitos não sejam
maioria, podem ser escolhidos, no máximo, 2 suspeitos.
Portanto, o número de possíveis comissões é

09. Seis pessoas serão distribuídas em duas equipes

para concorrer a uma gincana. O número de maneiras
diferentes de formar duas equipes é
(A) 10
(B) 15
(C) 20
(D) 25
(E) 30
10. Considere os números de quatro algarismos do
sistema decimal de numeração. Calcule:
a) quantos são no total;
b) quantos não possuem o algarismo 2;
c) em quantos deles o algarismo 2 aparece ao menos
uma vez;
d) quantos têm os algarismos distintos;
e) quantos têm pelo menos dois algarismos iguais.
08.
I) Existem 5 enfermeiros disponíveis: 2 mais
experientes e
outros 3.
II) Para formar grupos com 3 enfermeiros, conforme
o enunciado, devemos escolher 1 entre os 2 mais
experientes e 2 entre os 3 restantes.
III) O número de possibilidades para se escolher 1
entre os 2 mais experientes é
IV) O número de possibilidades para se escolher 2
entre 3 restantes é
V) Assim, o número total de grupos que podem ser Considerando S como um espaço finito e não vazio,
formados é 2 . 3 = 6 temos:

Probabilidade

Ponto Amostral, Espaço Amostral e Evento

Em uma tentativa com um número limitado de União de Eventos
resultados, todos com chances iguais, devemos Considere A e B como dois eventos de um espaço
considerar: amostral S, finito e não vazio, temos:
Ponto Amostral: Corresponde a qualquer um dos
resultados possíveis.
Espaço Amostral: Corresponde ao conjunto dos
resultados possíveis; será representado por S e o
número de elementos do espaço amostra por n(S).
Evento: Corresponde a qualquer subconjunto do espaço
amostral; será representado por A e o número de
elementos do evento por n(A).
Os conjuntos S e Ø também são subconjuntos de S,
portanto são eventos.
Ø = evento impossível.
S = evento certo.

Eventos Mutuamente Exclusivos

Conceito de Probabilidade
As probabilidades têm a função de mostrar a chance de
ocorrência de um evento. A probabilidade de ocorrer um
determinado evento A, que é simbolizada por P(A), de
um espaço amostral S ≠ Ø, é dada pelo quociente entre
o número de elementos A e o número de elemento S.
Representando:

Exemplo: Ao lançar um dado de seis lados, numerados

de 1 a 6, e observar o lado virado para cima, temos:
- um espaço amostral, que seria o conjunto S {1, 2, 3, 4,
5, 6}.
- um evento número par, que seria o conjunto A1 = {2, 4,
6} C S.
- o número de elementos do evento número par é n(A1)
= 3.
- a probabilidade do evento número par é 1/2, pois Eventos Exaustivos
Quando os eventos A1, A2, A3, …, An de S forem, de
dois em dois, mutuamente exclusivos, estes serão
Propriedades de um Espaço Amostral Finito e Não denominados exaustivos se
Vazio
- Em um evento impossível a probabilidade é igual a
zero. Em um evento certo S a probabilidade é igual a 1.
Simbolicamente: P(Ø) = 0 e P(S) = 1.
- Se A for um evento qualquer de S, neste caso: 0 ≤ P(A)
≤ 1.
- Se A for o complemento de A em S, neste caso: P(A) =
1 - P(A).

Demonstração das Propriedades


Probabilidade Condicionada
Considere dois eventos A e B de um espaço amostral S,
finito e não vazio. A probabilidade de B condicionada a A
é dada pela probabilidade de ocorrência de B sabendo
que já ocorreu A. É representada por P(B/A).
Eventos Independentes
Considere dois eventos A e B de um espaço amostral S,
finito e não vazio. Estes serão independentes somente
quando:
P(A/N) = P(A) P(B/A) = P(B)
Intersecção de Eventos
Considerando A e B como dois eventos de um espaço
amostral S, finito e não vazio, logo:
Assim sendo:
Considerando A e B como eventos independentes,
logo P(B/A) = P(B), P(A/B) = P(A), sendo assim: P(A ∩
B) = P(A) . P(B). Para saber se os eventos A e B são
independentes, podemos utilizar a definição ou calcular
a probabilidade de A ∩ B. Veja a representação:
A e B independentes ↔ P(A/B) = P(A) ou
A e B independentes ↔ P(A ∩ B) = P(A) . P(B)
Lei Binominal de Probabilidade
Considere uma experiência sendo realizada diversas
vezes, dentro das mesmas condições, de maneira que
os resultados de cada experiência sejam independentes.
Sendo que, em cada tentativa ocorre, obrigatoriamente,
um evento A cuja probabilidade é p ou o complemento A
cuja probabilidade é 1 – p.
Problema: Realizando-se a experiência descrita
exatamente n vezes, qual é a probabilidade de ocorrer o
evento A só k vezes?
Resolução:
- Se num total de n experiências, ocorrer somente k
vezes o evento A, nesse caso será necessário ocorrer
exatamente n – k vezes o evento A.
- Se a probabilidade de ocorrer o evento A é p e do
evento A é 1 – p, nesse caso a probabilidade de ocorrer
k vezes o evento A e n – k vezes o evento A,
ordenadamente, é:
- As k vezes em que ocorre o evento A são quaisquer
entre as n vezes possíveis. O número de maneiras de
escolher k vezes o evento A é, portanto Cn,k.
- Sendo assim, há Cn,k eventos distintos, mas que
possuem a mesma probabilidade pk . (1 – p)n-k, e
portanto a probabilidade desejada é: Cn,k . pk . (1 – p)n-
k
QUESTÕES
01. A probabilidade de uma bola branca aparecer ao se
retirar uma única bola de uma urna que contém,
exatamente, 4 bolas brancas, 3 vermelhas e 5 azuis é:
02. As 23 ex-alunas de uma turma que completou o
Ensino Médio há 10 anos se encontraram em uma
reunião comemorativa. Várias delas haviam se casado e
tido filhos. A distribuição das mulheres, de acordo com a
quantidade de filhos, é mostrada no gráfico abaixo. Um
prêmio foi sorteado entre todos os filhos dessas ex-
alunas. A probabilidade de que a criança premiada tenha
sido um(a) filho(a) único(a) é
03. Retirando uma carta de um baralho comum de 52
cartas, qual a probabilidade de se obter um rei ou uma
dama?
04. Jogam-se dois dados “honestos” de seis faces,
numeradas de 1 a 6, e lê-se o número de cada uma das
duas faces voltadas para cima. Calcular a probabilidade
de serem obtidos dois números ímpares ou dois
números iguais?
05. Uma urna contém 500 bolas, numeradas de 1 a 500.
Uma bola dessa urna é escolhida ao acaso. A
probabilidade de que seja escolhida uma bola com um
número de três algarismos ou múltiplo de 10 é
(A) 10%
(B) 12%
(C) 64%
(D) 82%
(E) 86%
06. Uma urna contém 4 bolas amarelas, 2 brancas e 3
bolas vermelhas. Retirando-se uma bola ao acaso, qual
a probabilidade de ela ser amarela ou branca?
07. Duas pessoas A e B atiram num alvo com Para encontrarmos n(B) recorremos à fórmula do
probabilidade 40% e 30%, respectivamente, de acertar. termo geral da P.A., em que
Nestas condições, a probabilidade de apenas uma delas a1 = 10
acertar o alvo é: an = 500
(A) 42% r = 10
(B) 45% Temos an = a1 + (n – 1) . r → 500 = 10 + (n – 1) . 10
(C) 46% → n = 50
(D) 48% Dessa forma, p(B) = 50/500.
(E) 50% A Ω B: o número tem 3 algarismos e é múltiplo de
10;
08. Num espaço amostral, dois eventos independentes A A Ω B = {100, 110, ..., 500}.
e B são tais que P(A U B) = 0,8 e P(A) = 0,3. Podemos De an = a1 + (n – 1) . r, temos: 500 = 100 + (n – 1) . 10
concluir que o valor de P(B) é: → n = 41 e p(A B) = 41/500
(A) 0,5
(B) 5/7
(C) 0,6
(D) 7/15 06.
(E) 0,7 Sejam A1, A2, A3, A4 as bolas amarelas, B1, B2 as
brancas e V1, V2, V3 as vermelhas.
09. Uma urna contém 6 bolas: duas brancas e quatro Temos S = {A1, A2, A3, A4, V1, V2, V3 B1, B2} →
pretas. Retiram-se quatro bolas, sempre com reposição n(S) = 9
de cada bola antes de retirar a seguinte. A probabilidade A: retirada de bola amarela = {A1, A2, A3, A4}, n(A) =
de só a primeira e a terceira serem brancas é: 4
B: retirada de bola branca = {B1, B2}, n(B) = 2

10. Uma lanchonete prepara sucos de 3 sabores:

laranja, abacaxi e limão. Para fazer um suco de laranja,
são utilizadas 3 laranjas e a probabilidade de um cliente Como A B = , A e B são eventos mutuamente exclusivos;
pedir esse suco é de 1/3. Se na lanchonete, há 25
laranjas, então a probabilidade de que, para o décimo
cliente, não haja mais laranjas suficientes para fazer o
suco dessa fruta é:
07.
Se apenas um deve acertar o alvo, então podem ocorrer
os seguintes eventos:
(A) “A” acerta e “B” erra; ou
(B) “A” erra e “B” acerta.
Assim, temos:
P (A B) = P (A) + P (B)
02. P (A B) = 40% . 70% + 60% . 30%
A partir da distribuição apresentada no gráfico: P (A B) = 0,40 . 0,70 + 0,60 . 0,30
08 mulheres sem filhos. P (A B) = 0,28 + 0,18
07 mulheres com 1 filho. P (A B) = 0,46
06 mulheres com 2 filhos. P (A B) = 46%
02 mulheres com 3 filhos.
Como as 23 mulheres têm um total de 25 filhos, a 08.
probabilidade de que a criança premiada tenha sido Sendo A e B eventos independentes, P(A B) = P(A) .
um(a) filho(a) único(a) é igual a P = 7/25. P(B) e como P(A B) = P(A) + P(B) – P(A B). Temos:
P(A B) = P(A) + P(B) – P(A) . P(B)
0,8 = 0,3 + P(B) – 0,3 . P(B)
0,7 . (PB) = 0,5
P(B) = 5/7.
04. No lançamento de dois dados de 6 faces, numeradas
de 1 a 6, são 36 casos possíveis. Considerando os 09. Representando por a
eventos A (dois números ímpares) e B (dois números probabilidade pedida, temos:
iguais), a probabilidade pedida é:

05. Sendo Ω, o conjunto espaço amostral, temos

n(Ω) = 500
A: o número sorteado é formado por 3 algarismos;
A = {100, 101, 102, ..., 499, 500}, n(A) = 401 e p(A) =
401/500
B: o número sorteado é múltiplo de 10;
B = {10, 20, ..., 500}.
10. Supondo que a lanchonete só forneça estes três
tipos de sucos e que os nove primeiros clientes foram
servidos com apenas um desses sucos, então:
I- Como cada suco de laranja utiliza três laranjas, não é
possível fornecer sucos de laranjas para os nove
primeiros clientes, pois seriam necessárias 27 laranjas.
II- Para que não haja laranjas suficientes para o próximo
cliente, é necessário que, entre os nove primeiros, oito
tenham pedido sucos de laranjas, e um deles tenha
pedido outro suco.
A probabilidade de isso ocorrer é:
6 OPERAÇÕES COM CONJUNTOS
Número de Elementos da União e da Intersecção de
Conjuntos
Dados dois conjuntos A e B, como vemos na figura
abaixo, podemos estabelecer uma relação entre os
respectivos números de elementos.
Note que ao subtrairmos os elementos comuns
evitamos que eles sejam contados duas
vezes.
Observações:
a) Se os conjuntos A e B forem disjuntos ou se
mesmo um deles estiver contido no outro, ainda assim a
relação dada será verdadeira.
b) Podemos ampliar a relação do número de
elementos para três ou mais conjuntos com a mesma
eficiência.
Observe o diagrama e comprove.
Conjuntos
Conjuntos Primitivos
Os conceitos de conjunto, elemento e pertinência
são primitivos, ou seja, não são definidos.
Um cacho de bananas, um cardume de peixes ou
uma porção de livros são todos exemplos de conjuntos.
Conjuntos, como usualmente são concebidos, têm
elementos. Um elemento de um conjunto pode ser uma
banana, um peixe ou um livro. Convém frisar que um
conjunto pode ele mesmo ser elemento de algum outro
conjunto.
Por exemplo, uma reta é um conjunto de pontos; um
feixe de retas é um conjunto onde cada elemento (reta)
é também conjunto (de pontos).
Em geral indicaremos os conjuntos pelas letras
maiúsculas A, B, C, ..., X, e os elementos pelas letras
minúsculas a, b, c, ..., x, y, ..., embora não exista essa
obrigatoriedade.
Em Geometria, por exemplo, os pontos são indicados
por letras maiúsculas e as retas (que são conjuntos de
pontos) por letras minúsculas.
Outro conceito fundamental é o de relação de
pertinência que nos dá um relacionamento entre um
elemento e um conjunto.
Se x é um elemento de um conjunto A, escreveremos
x∈A
Lê-se: x é elemento de A ou x pertence a A.
Se x não é um elemento de um conjunto A,
escreveremos x ∉A
Lê-se x não é elemento de A ou x não pertence a A.
Como representar um conjunto
Pela designação de seus elementos: Escrevemos os
elementos entre chaves, separando os por vírgula.
Exemplos
- {3, 6, 7, 8} indica o conjunto formado pelos elementos
3, 6, 7 e 8.
{a; b; m} indica o conjunto constituído pelos elementos a,
b e m.
{1; {2; 3}; {3}} indica o conjunto cujos elementos são 1,
{2; 3} e {3}.
Pela propriedade de seus elementos: Conhecida uma
propriedade P que caracteriza os elementos de um
conjunto A, este fica bem determinado.
P termo “propriedade P que caracteriza os elementos de
um conjunto A” significa que, dado um elemento x
qualquer temos:
Assim sendo, o conjunto dos elementos x que possuem
a propriedade P é indicado por:
{x, tal que x tem a propriedade P}
Uma vez que “tal que” pode ser denotado por t.q. ou | ou
ainda :, podemos indicar o mesmo conjunto por:
{x, t . q . x tem a propriedade P} ou, ainda,
{x : x tem a propriedade P}
Exemplos
- { x, t.q. x é vogal } é o mesmo que {a, e, i, o, u}
- {x | x é um número natural menor que 4 } é o mesmo
que {0, 1, 2, 3}
- {x : x em um número inteiro e x2 = x } é o mesmo que
{0, 1}
Pelo diagrama de Venn-Euler: O diagrama de Venn-
Euler consiste em representar o conjunto através de um
“círculo” de tal forma que seus elementos e somente
eles estejam no “círculo”.
Exemplos
- Se A = {a, e, i, o, u} então
- Se B = {0, 1, 2, 3 }, então
 - {2,2,2,4} = {2,4}, pois {2,2,2,4} ⊂ {2,4} e {2,4} ⊂
{2,2,2,4}. Isto nos mostra que a repetição de elementos
é desnecessária.
- {a,a} = {a}
- {a,b = {a} ⇔ a= b
- {1,2} = {x,y} ⇔ (x = 1 e y = 2) ou (x = 2 e y = 1)

Conjunto das partes

Dado um conjunto A podemos construir um novo
conjunto formado por todos os subconjuntos (partes) de
Conjunto Vazio A. Esse novo conjunto chama-se conjunto dos
Conjunto vazio é aquele que não possui elementos. subconjuntos (ou das partes) de A e é indicado por P(A).
Representa-se pela letra do alfabeto norueguês 0/ ou, Simbolicamente: P(A)={X | X ⊂ A} ou X ⊂ P(A) ⇔ X
simplesmente { }. ⊂A
Simbolicamente: ∀ x, x∉ 0/ Exemplos
Exemplos a) = {2, 4, 6}
- 0/ = {x : x é um número inteiro e 3x = 1} P(A) = { 0/ , {2}, {4}, {6}, {2,4}, {2,6}, {4,6}, A}
- 0/ = {x | x é um número natural e 3 – x = 4} b) = {3,5}
- 0/ = {x | x ≠ x} P(B) = { 0/ , {3}, {5}, B}
Subconjunto c) = {8}
Sejam A e B dois conjuntos. Se todo elemento de A é P(C) = { 0/ , C}
também elemento de B, dizemos que A é um d) = 0/
subconjunto de B ou A é a parte de B ou, ainda, A está P(D) = { 0/ }
contido em B e indicamos por A ⊂ B. Propriedades
Simbolicamente: A ⊂ B ⇔ ( ∀ x)(x∈ ∀ ⇒ x∈B) Seja A um conjunto qualquer e 0/ o conjunto vazio.
Portanto, A ⊄ B significa que A não é um subconjunto Valem as seguintes propriedades
de B ou A não é parte de B ou, ainda, A não está contido
em B.
Por outro lado, A ⊄ B se, e somente se, existe, pelo
menos, um elemento de A que não é elemento de B.
Simbolicamente: A ⊄ B ⇔ ( ∃ x)(x∈A e x∉B)
Exemplos
Se A tem n elementos então A possui 2n
- {2 . 4} ⊂ {2, 3, 4}, pois 2 ∈ {2, 3, 4} e 4 ∈ {2, 3, 4}
subconjuntos e, portanto, P(A) possui 2n elementos.
- {2, 3, 4} ⊄ {2, 4}, pois 3 ∉{2, 4}
- {5, 6} ⊂ {5, 6}, pois 5 ∈{5, 6} e 6 ∈{5, 6}
União de conjuntos
Inclusão e pertinência
A união (ou reunião) dos conjuntos A e B é o
A definição de subconjunto estabelece um
conjunto formado por todos os elementos que pertencem
relacionamento entre dois conjuntos e recebe o nome de
a A ou a B. Representa-se por A∪ B.
relação de inclusão ( ⊂ ).
Simbolicamente: AN∉4B = {X | X∈A ou X∈B}
A relação de pertinência (∈) estabelece um
relacionamento entre um elemento e um conjunto e,
portanto, é diferente da relação de inclusão.
Simbolicamente
x∈A ⇔ {x} ⊂A
x∉A ⇔ {x} ⊄A

Igualdade Exemplos
Sejam A e B dois conjuntos. Dizemos que A é igual a - {2,3} ∪ {4,5,6}={2,3,4,5,6}
B e indicamos por A = B se, e somente se, A é - {2,3,4} ∪ {3,4,5}={2,3,4,5}
subconjunto de B e B é também subconjunto de A. - {2,3} ∪ {1,2,3,4}={1,2,3,4}
Simbolicamente: A = B ⇔ A⊂ B e B ⊂A - {a,b} ∪ φ {a,b}
Demonstrar que dois conjuntos A e B são iguais
equivale, segundo a definição, a demonstrar que A ⊂ B e Intersecção de conjuntos
B ⊂ A. A intersecção dos conjuntos A e B é o conjunto formado
Segue da definição que dois conjuntos são iguais se, por todos os elementos que pertencem,
e somente se, possuem os mesmos elementos. simultaneamente, a A e a B. Representa-se por A∩ B.
Portanto A ≠ B significa que A é diferente de B. Simbolicamente: A∩ B = {X | X∈A ou X∈B}
Portanto A ≠ B se, e somente se, A não é subconjunto de
B ou B não é subconjunto de A. Simbolicamente: A ≠ B
⇔ A⊄ B ou B ⊄A

Exemplos
- {2,4} = {4,2}, pois {2,4} ⊂ {4,2} e {4,2} ⊂ {2,4}. Isto
nos mostra que a ordem dos elementos de um conjunto Exemplos
não deve ser levada em consideração. Em outras - {2,3,4} ∩ {3,5}={3}
palavras, um conjunto fica determinado pelos elementos - {1,2,3} ∩ {2,3,4}={2,3}
que o mesmo possui e não pela ordem em que esses - {2,3} ∩ {1,2,3,5}={2,3}
elementos são descritos. - {2,4} ∩ {3,5,7}=φ
Observação: Se A∩ B=φ , dizemos que A e B são
conjuntos disjuntos.
Subtração
A diferença entre os conjuntos A e B é o conjunto
formado por todos os elementos que pertencem a A e
não pertencem a B. Representa-se por A – B.
Simbolicamente: A – B = {X | X ∈A e X∉B}
O conjunto A – B é também chamado de conjunto
complementar de B em relação a A, representado por
CAB.
Simbolicamente: CAB = A - B{X | X∈A e X∉B}
Exemplos
- A = {0, 1, 2, 3} e B = {0, 2}
CAB = A – B = {1,3} e CBA = B – A =φ
- A = {1, 2, 3} e B = {2, 3, 4}
CAB = A – B = {1} e CBA = B – A = {14}
- A = {0, 2, 4} e B = {1 ,3 ,5}
CAB = A – B = {0,2,4} e CBA = B – A = {1,3,5}
Observações: Alguns autores preferem utilizar o
conceito de completar de B em relação a A somente nos
casos em que B ⊂ A.
- Se B ⊂ A representa-se por B o conjunto complementar
de B em relação a A. Simbolicamente: B ⊂ A ⇔ B = A –
B = CAB`
Exemplos
Seja S = {0, 1, 2, 3, 4, 5, 6}. Então:
a) A = {2, 3, 4} A ⇒ = {0, 1, 5, 6}
b) B = {3, 4, 5, 6 } B ⇒ = {0, 1, 2}
c) C = φ C ⇒= S
Número de elementos de um conjunto
Sendo X um conjunto com um número finito de
elementos, representa-se por n(X) o número de
elementos de X. Sendo, ainda, A e B dois conjuntos
quaisquer, com número finito de elementos temos:
n(A∪ B)=n(A)+n(B)-n(A∩ B)
A∩ B=φ ⇒ n(A∪ B)=n(A)+n(B)
n(A -B)=n(A)-n(A ∩ B)
B ⊂A⇒ n(A-B)=n(A)-n(B)
Exercícios
1. Assinale a alternativa a Falsa:
a) φ ⊂{3}
b)(3) ⊂ {3}
c)φ ∉ {3}
d)3∈{3}
e)3={3}
2. Seja o conjunto A = {1, 2, 3, {3}, {4}, {2, 5}}. Classifique
as afirmações em verdadeiras (V) ou falsas (F).
a) 2 ∈ A
b) (2) ∈A
c) 3∈A
d) (3) ∈A
e) 4∈A
3. Um conjunto A possui 5 elementos . Quantos
subconjuntos (partes) possuem o conjunto A?
4. Sabendo-se que um conjunto A possui 1024
subconjuntos, quantos elementos possui o conjunto A?
5. 12 - Dados os conjuntos A = {1; 3; 4; 6}, B = {3; 4 ; 5;
7} e C = {4; 5; 6; 8 } pede-se:
a) A∪ B
b) A∩ B
c) A∪ C
d) A∩ C
6. Considere os conjuntos: S = {1,2,3,4,5} e A={2,4}.
Determine o conjunto X de tal forma que: X ∩ A=φ e X ∪
A = S.
7. Seja A e X conjuntos. Sabendo-se que A ⊂ X e A∪
X={2,3,4}, determine o conjunto X.
8. Dados três conjuntos finitos A, B e C, determinar o
número de elementos de A∩ (B ∪ C), sabendo-se:
a) A∩ B tem 29 elementos
b) A∩ C tem 10 elementos
c) A∩ B tem 7 elementos.
9. Numa escola mista existem 42 meninas, 24
crianças ruivas, 13 meninos não ruivos e 9 meninas
ruivas. Pergunta-se
a) quantas crianças existem na escola?
b) quantas crianças são meninas ou são ruivas?
10. USP-SP - Depois de n dias de férias, um
estudante observa que:
- Choveu 7 vezes, de manhã ou à tarde;
- Quando chove de manhã não chove à tarde;
- Houve 5 tardes sem chuva;
- Houve 6 manhãs sem chuva.
Podemos afirmar então que n é igual a:
a)7
b)8
c)9
d)10
e)11
Respostas
1) Resposta “E”.
Solução: A ligação entre elemento e conjunto é
estabelecida pela relação de pertinência (∈) e não pela
relação de igualdade (=). Assim sendo, 3∈{3} e 3≠{3}. De
um modo geral, x ≠ {x}, ∀ x.
2) Solução:
a) Verdadeira, pois 2 é elemento de A.
b) Falsa, pois {2} não é elemento de A.
c) Verdadeira, pois 3 é elemento de A.
d) Verdadeira, pois {3} é elemento de A.
e) Falsa, pois 4 não é elemento de A.
3) Resposta “32”.
 Solução: Lembrando que: “Se A possui k elementos, n(A∩ C) = b + 7 = 10⇒ b = 3
então A possui 2k subconjuntos”, concluímos que o Assim sendo:
conjunto A, de 5 elementos, tem 25 = 32 subconjuntos.

4) Resposta “10”.
Solução: Se k é o número de elementos do conjunto
A, então 2k é o número de subconjuntos de A. e portanto n[A∩ (B ∪ C)] = a + 7 + b = 19 + 7 + 3
Assim sendo: 2k=1024 ⇔ 2k=210 ⇔ k=10. Logo: n[A∩ (B ∪ C)] = 29.

5) Solução: Representando os conjuntos A, B e C

através do diagrama de Venn-Euler, temos: 9) Solução:

A∪ B={1,3,4,5,6,7}
b)

Sejam:
A o conjunto dos meninos ruivos e n(A) = x
B o conjunto das meninas ruivas e n(B) = 9
C o conjunto dos meninos não-ruivos e n(C) = 13
A∩ B={3,4}
D o conjunto das meninas não-ruivas e n(D) = y
De acordo com o enunciado temos:
c)  =⇔ = + = + = ∪ =⇔ = + = + = ∪ 15 24 9 ) ( ) (
) ( 33 42 9 ) ( ) ( ) ( xx B n A n D A n y y D n B n D B n
Assim sendo
a) O número total de crianças da escola é:
70 33 13 9 15 ) () () () () (= + ++ =+ + + = ∪ ∪∪
DnCnBnAnDC B An
b) O número de crianças que são meninas ou são
ruivas é:
57 33 9 15 ) () () ()] ()[(= + + = + + = ∪ ∪∪
A∪ C={1,3,4,5,6,8}
DnBnAnDB Ban
d)
10) Resposta “C”.
Solução:
Seja M, o conjunto dos dias que choveu pela manhã
e T o conjunto dos dias que choveu à tarde. Chamando
de M’ e T’ os conjuntos complementares de M e T
respectivamente, temos:
A∩ C={4,6} n(T’) = 5 (cinco tardes sem chuva)
n(M’) = 6 (seis manhãs sem chuva)
6) Resposta “X={1;3;5}”. n(M Ç T) = 0 (pois quando chove pela manhã, não
Solução: Como X ∩ A=φ e X ∪ A=S, então X= A =S- chove à tarde)
A=CsA ⇒ X={1;3;5} Daí:
n(M È T) = n(M) + n(T) – n(M Ç T)
7 = n(M) + n(T) – 0
Podemos escrever também:
n(M’) + n(T’) = 5 + 6 = 11
Temos então o seguinte sistema:
n(M’) + n(T’) = 11
7) Resposta “X = {2;3;4} n(M) + N(T) = 7
Solução: Como A ⊂ X, então A∪ X = X = {2;3;4}. Somando membro a membro as duas igualdades,
vem:
8) Resposta “A”. n(M) + n(M’) + n(T) + n(T’) = 11 + 7 = 18
Solução: De acordo com o enunciado, temos: Observe que n(M) + n(M’) = total dos dias de férias =
n
Analogamente, n(T) + n(T’) = total dos dias de férias
=n
Portanto, substituindo vem:
n + n = 18
n(A∩ B ∩ C) = 7 2n = 18
n(A∩ B) = a + 7 = 26⇒ a = 19 n=9
 Logo, foram nove dias de férias, ou seja, n = 9 dias. Futuramente
Filho: x + 5
7 RACIOCÍNIO LÓGICO ENVOLVENDO PROBLEMAS Pai: 4x + 5
ARITMÉTICOS, GEOMÉTRICOS E MATRICIAIS 4x + 5 = 3 . (x + 5)
4x + 5 = 3x + 15
Problemas Matemáticos 4x – 3x = 15 – 5
Os problemas matemáticos são resolvidos utilizando X = 10
inúmeros recursos matemáticos, destacando, entre Pai: 4x = 4 . 10 = 40
todos, os princípios algébricos, os quais são divididos de O filho tem 10 anos e o pai tem 40.
acordo com o nível de dificuldade e abordagem dos
conteúdos.
Primeiramente os cálculos envolvem adições e Exemplo 4
subtrações, posteriormente as multiplicações e divisões. O dobro de um número adicionado ao seu triplo
Depois os problemas são resolvidos com a utilização corresponde a 20. Qual é o número?
dos fundamentos algébricos, isto é, criamos equações Resolução
matemáticas com valores desconhecidos (letras). 2x + 3x = 20
Observe algumas situações que podem ser descritas 5x = 20
com utilização da álgebra.
- O dobro de um número adicionado com 4: 2x + 4;
- A soma de dois números consecutivos: x + (x + 1); x=4
- O quadrado de um número mais 10: x2 + 10;
- O triplo de um número adicionado ao dobro do O número corresponde a 4.
número: 3x + 2x;
- A metade da soma de um número mais 15: Exemplo 5
Em uma chácara existem galinhas e coelhos
- A quarta parte de um número: totalizando 35 animais, os quais somam juntos 100 pés.
Determine o número de galinhas e coelhos existentes
Exemplo 1 nessa chácara.
A soma de três números pares consecutivos é igual Galinhas: G
a 96. Determine-os. Coelhos: C
1º número: x G + C = 35
2º número: x + 2 Cada galinha possui 2 pés e cada coelho 4, então:
3º número: x + 4 2G + 4C = 100
(x) + (x + 2) + (x + 4) = 96 Sistema de equações
Resolução: Isolando C na 1ª equação:
x + x + 2 + x + 4 = 96 G + C = 35
3x = 96 – 4 – 2 C = 35 – G
3x = 96 – 6 Substituindo C na 2ª equação:
3x = 90 2G + 4C = 100
2G + 4 . (35 – G) = 100
2G + 140 – 4G = 100
x = 30 2G – 4G = 100 – 140
1º número: x = 30 - 2G = - 40
2º número: x + 2 = 30 + 2 = 32
3º número: x + 4 = 30 + 4 = 34
Os números são 30, 32 e 34. G = 20
Calculando C
C = 35 – G
Exemplo 2 C = 35 – 20
O triplo de um número natural somado a 4 é igual ao C = 15
quadrado de 5. Calcule-o:
Resolução: Exercícios
3x + 4 = 52 1. A soma de três números pares consecutivos é
3x = 25 – 4 igual a 96. Determine-os.
3x = 21 1º número: x
2º número: x + 2
3º número: x + 4
x=7
( x )+(x + 2) + (x + 4) = 96
O número procurado é igual a 7.
2. O triplo de um número natural somado a 4 é igual
Exemplo 3
ao quadrado de 5. Calcule-o:
A idade de um pai é o quádruplo da idade de seu filho.
Daqui a cinco anos, a idade do pai será o triplo da idade
3. A idade de um pai é o quádruplo da idade de seu filho.
do filho. Qual é a idade atual de cada um?
Daqui a cinco anos, a idade do pai será o triplo da idade
Resolução:
do filho. Qual é a idade atual de cada um?
Atualmente
Filho: x
Pai: 4x
 4. Certa quantidade de cards é repartida entre três Futuramente
meninos. O primeiro menino recebe 73 da quantidade e Filho: x + 5
o segundo, metade do resto. Dessa maneira, os dois Pai: 4x + 5
receberam 250 cards. Quantos cards havia para serem 4x + 5 = 3 * (x + 5)
repartidos e quantos cards recebeu o terceiro menino? 4x + 5 = 3x + 15
4x – 3x = 15 – 5
5. Um cozinheiro dispõe de 10 litros de uma mistura de x = 10
água e leite em quantidades iguais. Para obter uma Pai: 4x → 4 * 10 = 40
mistura com 2/5 de água e 3/5 de leite, ele deve O filho tem 10 anos e o pai tem 40.
acrescentar aos 10 litros da mistura quantos litros do
que? 4) Resposta “350 cards; 3˚ menino recebeu 100”.
Solução:
6. Em uma chácara existem galinhas e coelhos X = cards (substituindo o “1°” e “2º” pelos valores
totalizando 35 animais, os quais somam juntos 100 pés. respectivos)
Determine o número de galinhas e coelhos existentes
nessa chácara.

7. Uma viagem é feita em quatro etapas. Na primeira

etapa, percorrem-se os 72 da distância total. Na
segunda, os 53 do resto. Na terceira, a metade do novo
resto. Dessa maneira foram percorridos 60 quilômetros.
Qual a distância total a ser percorrida e quanto se
percorreu na quarta etapa?

8. Uma pessoa caminha em uma pista plana com a

forma de triângulo retângulo. Ao dar uma volta completa
na pista com velocidade constante de caminhada, ela
percorre 600 e 800 metros nos trajetos correspondentes
aos catetos da pista triangular, e o restante da
caminhada ela completa em 10 minutos. A velocidade
constante de caminhada dessa pessoa é igual a quantos
quilômetros por hora?
5) Originalmente tínhamos o mesmo volume dos
9. Num dia, um pintor pinta 52 de um muro. No dia líquidos, isto é, 5 l de água e 5 l de leite. Pretendemos
seguinte, pinta mais 51 metros do muro. Desse modo, ficar com a proporção de 2/5 de água e 3/5 de leite. De
pintou 97 do muro todo. Quantos metros têm o muro? onde concluímos que devemos aumentar a quantidade
10. Suponha que o preço da ação de uma empresa de leite, pois a proporção de leite será maior.
tenha sofrido as seguintes variações sucessivas no Como a quantidade de água não aumentou, isto quer
primeiro trimestre de um determinado ano: em janeiro, dizer que os 5 l de água originais representarão 2/5 do
aumentou 12%; em fevereiro, sofreu uma redução de novo volume final.
8%; e, em março, uma redução de 4%, sempre em Entendido isto se pode dizer que o problema está
relação ao mês anterior. Considerando-se essas resolvido.
variações, ao final do trimestre, em relação ao preço Se tivéssemos o novo volume total, para calcularmos
original, o preço da ação subiu ou desceu quanto por quanto daria 2/5 dele, o multiplicaríamos por esta fração
cento aproximadamente (sem casas decimais)? e iríamos obter 5 l. Como temos os 5 l, precisamos fazer
o cálculo inverso, isto é, dividirmos 5 l por 2/5 para
Respostas obtermos o novo volume total:
1) x + x + 2 + x + 4 = 96 2 5 5 5. 12,5 5 2 ÷ = =
3x = 96 – 4 – 2 Como tínhamos originalmente 10 l e iremos ficar com
3x = 96 – 6 12,5 l após o acréscimo do leite, isto quer dizer que
3x = 90 acrescentamos 2,5 l de leite:
x = 90/3 12,5-10=2,5
x =30
1º número: x → 30 6)
2º número: x + 2 → 30 + 2 = 32 Galinhas: g
3º número: x + 4 → 30 + 4 = 34 Coelhos: c
Os números procurados são 30, 32 e 34. g + c = 35
Cada galinha possui 2 pés e cada coelho 4, então:
2) 3x + 4 = 5² 2g + 4c = 100
3x = 25 – 4 Isolando c na 1ª equação:
3x = 21 g + c = 35
x = 21/3 c = 35 – g
x=7 Substituindo c na 2ª equação:
O número procurado é igual a 7. 2g + 4c = 100
2g + 4 * (35 – g) = 100
3) Atualmente 2g + 140 – 4g = 100
Filho: x 2g – 4g = 100 – 140
Pai: 4x – 2g = – 40
g = 40/2
g = 20
Calculando c
c = 35 – g
c = 35 – 20
c = 15

7) Resposta “Distancia total: 70 km; Quarta etapa: 10

km”.
Solução:

Geometria Plana

A Geometria é a parte da matemática que estuda as

Em função do enunciado sabemos que o lado a,
correspondente à hipotenusa, foi percorrido em 10
minutos, assim sendo, basta descobrirmos o seu
comprimento para podermos calcular a velocidade na
qual ele foi percorrido, que é constante em todo o
percurso.
Neste nosso problema temos b = 600 e c = 800, o que
nos leva à seguinte equação:
a²=600²+800²
a=1000
Se em 10 min percorremos 1000 m, em 60 min (ou seja,
em 1 h) vamos percorrer quantos metros?
Então a velocidade constante de caminhada foi de 6000
m por hora, mas o enunciado pede a velocidade em
km/h, por isto precisamos realizar mais uma conversão,
agora de m para km.
Como temos 6000 metros, ao dividi-los por 1000
obtemos 6 quilômetros.
A velocidade constante de caminhada é de 6 km/h.
figuras e suas propriedades. A geometria estuda figuras
abstratas, de uma perfeição não existente na realidade.
Apesar disso, podemos ter uma boa idéia das figuras
geométricas, observando objetos reais, como o aro da
cesta de basquete que sugere uma circunferência, as
portas e janelas que sugerem retângulos e o dado que
sugere um cubo.
Reta, semirreta e segmento de reta
Definições.
a) Segmentos congruentes.
Dois segmentos são congruentes se têm a mesma
medida.
b) Ponto médio de um segmento.
Um ponto P é ponto médio do segmento AB se pertence
ao
segmento e divide AB em dois segmentos congruentes.
c) Mediatriz de um segmento.
É a reta perpendicular ao segmento no seu ponto médio

9) Resposta “135 metros”.

Solução:
M = muro

a) Ângulo é a região plana limitada por duas semirretas

de mesma origem.
b) Ângulos congruentes: Dois ângulos são ditos
congruentes se têm a mesma medida.
c) Bissetriz de um ângulo: É a semirreta de origem no
vértice do ângulo que divide esse ângulo em dois
ângulos congruentes.

Perímetro
Entendendo o que é perímetro.
Imagine uma sala de aula de 5m de largura por 8m de
comprimento.
Quantos metros lineares serão necessários para colocar
rodapé nesta sala, sabendo que a porta mede 1m de
largura e que nela não se coloca rodapé?
Sua área será um valor aproximado. Cada é
uma unidade, então a área aproximada dessa figura
será de 4 unidades.
No estudo da matemática calculamos áreas de
figuras planas e para cada figura há uma fórmula pra
calcular a sua área.

Retângulo
É o quadrilátero que tem todos os ângulos internos
congruentes e iguais a 90º.

A conta que faríamos seria somar todos os lados da

sala, menos 1m da largura da porta, ou seja:
P = (5 + 5 + 8 + 8) – 1
P = 26 – 1
P = 25 No cálculo da área de qualquer retângulo podemos
seguir o raciocínio:

O retângulo acima tem as mesmas dimensões que o

outro, só que representado de forma diferente. O cálculo
Colocaríamos 25m de rodapé. da área do retângulo pode ficar também da seguinte
A soma de todos os lados da planta baixa se chama forma:
Perímetro. A=6.4 A = 24 cm²
Portanto, Perímetro é a soma dos lados de uma figura Podemos concluir que a área de qualquer retângulo é:
plana.

Área
Área é a medida de uma superfície.
A área do campo de futebol é a medida de sua
superfície (gramado).
Se pegarmos outro campo de futebol e colocarmos em
uma malha quadriculada, a sua área será equivalente à Quadrado
quantidade de quadradinho. Se cada quadrado for uma É o quadrilátero que tem os lados congruentes e todos
unidade de área: os ângulos internos a congruentes (90º).

Sua área também é calculada com o produto da base

pela altura. Mas podemos resumir essa fórmula:

Como todos os lados são iguais, podemos dizer que

Veremos que a área do campo de futebol é 70 base é igual a e a altura igual a , então, substituindo na
unidades de área. fórmula A = b . h, temos:
A unidade de medida da área é: m² (metros
quadrados), cm² (centímetros quadrados), e outros.
Se tivermos uma figura do tipo:
Trapézio
É o quadrilátero que tem dois lados paralelos. A altura de
um trapézio é a distância entre as retas suporte de suas colocar a altura (h) em
bases. evidência, pois é um termo comum aos dois

Portanto, no cálculo da área de um trapézio qualquer

utilizamos a seguinte fórmula:

Em todo trapézio, o segmento que une os pontos médios

dos dois lados não paralelos, é paralelo às bases e vale
a média aritmética dessas bases.

Em todo losango as diagonais são:

a) perpendiculares entre si;
b) bissetrizes dos ângulos internos.
A área do losango é definida pela seguinte fórmula:

A área do trapézio está relacionada com a área do Onde D é a diagonal maior e d é a menor.
triângulo que é calculada utilizando a seguinte fórmula:
A = b . h (b = base e h = altura). Triângulo
2 Figura geométrica plana com três lados.
Observe o desenho de um trapézio e os seus elementos
mais importantes (elementos utilizados no cálculo da sua
área):

Um trapézio é formado por uma base maior (B), por Ângulo externo. O ângulo externo de qualquer polígono
uma base menor (b) e por uma altura (h). convexo é o ângulo formado entre um lado e o
Para fazermos o cálculo da área do trapézio é prolongamento do outro lado.
preciso dividi-lo em dois triângulos, veja como: Classificação dos triângulos.
Primeiro: completamos as alturas no trapézio: a) quanto aos lados:
- triângulo equilátero.
- triângulo isósceles.
- triângulo escaleno.
b) quanto aos ângulos:
- triângulo retângulo.
Segundo: o dividimos em dois triângulos: - triângulo obtusângulo.
- triângulo acutângulo.

Propriedades dos triângulos

1) Em todo triângulo, a soma das medidas dos 3 ângulos
internos é 180º.

A área desse trapézio pode ser calculada somando

as áreas dos dois triângulos (ΔCFD e ΔCEF).
Antes de fazer o cálculo da área de cada triângulo
separadamente observamos que eles possuem bases
diferentes e alturas iguais.
Cálculo da área do ΔCEF:
2) Em todo triângulo, a medida de um ângulo externo é
igual à soma das medidas dos 2 ângulos internos não
adjacentes.

Cálculo da área do ΔCFD:

Somando as duas áreas encontradas, teremos o cálculo

da área de um trapézio qualquer: 3) Em todo triângulo, a soma dasmedidas dos 3 ângulos
externos é 360º.
 Os elementos da matriz são sempre colocados entre os
sinais abaixo:

4) Em todo triângulo isósceles, os ângulos da base são

congruentes. Observação - A base de um triângulo
isósceles é o seu lado diferente.
Definições
Uma matriz de ordem m x n é qualquer conjunto de m . n
elementos dispostos em m linhas e n colunas.

Altura - É a distância entre o vértice e a reta suporte

do lado oposto.
Área do triangulo

Cada elemento de uma matriz é localizado por dois

índices: aij. O primeiro indica a linha, e o segundo, a
coluna.
Segmentos proporcionais
A matriz A pode ser representada abreviadamente
Teorema de Tales.
por uma sentença matemática que indica a lei de
Em todo feixe de retas paralelas, cortado por uma reta
formação para seus elementos.
transversal, a razão entre dois segmento quaisquer de
A = (aij)mxn | lei de formação.
uma transversal é igual à razão entre os segmentos
correspondentes da outra transversal.

Classificação das Matrizes

Matriz Linha
Semelhança de triângulos
É a matriz que possui uma única linha.
Definição.
Exemplo
Dois triângulos são semelhantes se têm os ângulos dois
a dois congruentes e os lados correspondentes dois a
dois proporcionais.
Definição mais “popular”. Matriz Coluna
Dois triângulos são semelhantes se um deles é a É a matriz que possui uma única coluna.
redução ou a ampliação do outro. Exemplo
Importante - Se dois triângulos são semelhantes, a
proporcionalidade se mantém constante para quaisquer
dois segmentos correspondentes, tais como: lados,
medianas, alturas, raios das circunferências inscritas,
raios das circunferências circunscritas, perímetros, etc.
Matriz Nula
É a matriz que possui todos os elementos iguais a
zero.
Exemplo

Matriz Quadrada
É a matriz que possui o número de linhas igual ao
Matriz
número de linhas igual ao número de colunas.
Noção intuitiva de matriz
A matriz de ordem m x n é um conjunto de m . n (m por
n) elementos colocados em m linha e n colunas.
Esse conjunto é representado por letras maiúsculas (A
ou Am x n, B ou Bm x n, …).
Observações: Quando uma matriz não é quadrada, ela é
chamada de retangular.
Numa matriz A = (aij)nxn quadrada de ordem n, os
elementos aij com i = j constituem a diagonal principal.
Os elementos aij com i + j = n + 1 formam a diagonal
secundária.
Matriz Diagonal
É a matriz quadrada que apresenta todos os elementos,
não pertencentes à diagonal principal, iguais a zero.
Matriz Identidade
É a matriz diagonal que apresenta todos os elementos
da diagonal principal iguais a 1.
Representamos a matriz identidade de ordem n por In.
Observação: Para uma matriz identidade In = (aij)n x n
Matriz Transposta
Dada uma matriz A, chamamos de matriz transposta de
A à matriz obtida de A trocando-se “ordenadamente”,
suas linhas por colunas. Indicamos a matriz transposta
de A por At.
Observação: Se uma matriz A é de ordem m x n, a
matriz At, transposta de A, é de ordem n x m.
Igualdade entre Matrizes
Sendo A e B duas matriz de mesma ordem, dizemos que
um elemento de matriz A é correspondente a um
elemento de B quando eles ocupam a mesma posição
nas respectivas matrizes.
Dada uma matriz A = (aij)m x n , dizemos que uma
matriz B = (bij)m x n é oposta de A quando bij = -aij para
todo i, Ī ≤ i ≤ m, e todo j, Ī ≤ j ≤ n.
Indicamos que B = -A.
Operação com Matrizes
Adição de matrizes
Dadas duas matrizes A e B, de mesma ordem m x n,
denominamos soma da matriz A com a matriz B à matriz
C, de ordem m x n, cujos elementos são obtidos quando
somamos os elementos correspondentes das matrizes A
e B. Indicamos:
Propriedades da Adição
Sendo A, B e C matrizes m x n e O a matriz nula m s
n, valem as seguintes propriedades.
-A+B=B+A
- (A + B) + C = A + (B + C)
-A+O=O +A=A
- A + (-A) = (-A) + A = O (elemento oposto)
- (A + B)t = At + Bt
Subtração de matrizes
Consideremos duas matrizes A e B, ambas de
mesma ordem m x n. Chamamos de diferença entre A e
B (indicamos com A – B) a soma de A com a oposta de
B.
A – B = A + (-B)
Observação: Na prática, para obtermos a subtração de
matrizes de mesma ordem, basta subtrairmos os
elementos correspondentes.
Multiplicação de Matrizes por um Número Real
Consideremos uma matriz A, de ordem m x n, e um
número real. O produto de por A é uma matriz B, de
ordem m x n, obtida quando multiplicamos cada
elemento de A por.
Indicamos:
Multiplicação de Matrizes
Sejam as matrizes A = (aij)m x n e B = (bij)n x q. O
produto das matrizes A por B é a matriz C = (cij)m x q,
em que cada elemento da matriz C é a soma dos
produtos dos elementos da i-ésima linha de A pelos
elementos corrspondentes da k-ésima coluna de B.
Importante: O produto das matrizes A.B só é definido
quando o número de colunas da matriz A é igual ao
número de linhas da matriz B.
Um esquema para memorizar:
Propriedades
Sendo A uma matriz de ordem m x n, B e C matrizes
convenientes e, são válidas as seguintes propriedades.
Observações:
a) A matriz identidade I é o elemento neutro da
multiplicação de matrizes.
b) Pode-se ter que A.B ≠B.A, mais do que isso, um
dos produtos pode existir e o outro não.
c) Podemos ter A.B=B.A. Neste caso dizemos que as
matrizes A e B comutam.
d) O produto de duas matrizes não-nulas pode ser a
matriz nula. Verifique:
e) Se A.B=A.C, nem sempre B=C.
Devemos levar em consideração os fatos seguintes:
1º) (A + B) ≠ A2 + 2AB + B2, pois (A + B)2 = (A + B)
(A+B) + A2 + AB + BA + B2
2º) (A . B)t ≠ At . Bt, pois, pela 7ª propriedade, devemos
ter (A . B)t = Bt . At
Matriz Inversa
No conjunto dos números reais, para todo a ≠ 0,
existe um número b, denominado inverso de a,
satisfazendo a condição:
a.b=b.a=1
Normalmente indicamos o inverso de a por a1 ou a-
1.
Analogamente para as matrizes temos o seguinte:
Definição
Uma matriz quadrada M de ordem n somente aceita
a inversa quando det M ≠ 0. Esta matriz será chamada
de inversível.
Já a sua inversa (quadrada e de ordem n) será
representada por M-1 e será determinada por:
M.M-1=M-1.M=In
Onde In é a matriz identidade, também de ordem n.
Quando det M = 0 a matriz M não admitirá a inversa,
sendo assim a matriz M será denominada não-inversível.
Como obter a matriz inversa:
Assim:
Resolvendo os sistemas, encontramos:
Portanto, a matriz A é inversível e sua inversa é a matriz:
Propriedades
Sendo A e B matrizes quadradas de ordem n e
inversíveis, temos as seguintes propriedades:
- (A-1)-1=A
- (A-1)t= At)-1
- (A.B)-1=B-1..A-1
- Dada A, se existir A-1, então A-1 é única.
Assim, X=(A.B)-1, ou então X=B-1.A-1
O sistema obtido está escalonado e é do 2º
Determinantes
Chamamos de determinante a teoria desenvolvida por
matemáticos dos séculos XVII e XVIII, como Leibniz e
Seki Shinsuke Kowa, que procuravam uma fórmula para
determinar as soluções de um “Sistema linear”, assunto
que estudaremos a seguir.
Esta teoria consiste em associar a cada matriz quadrada
A, um único número real que denominamos
determinante de A e que indicamos por det A ou
colocamos os elementos da matriz A entre duas barras
verticais, como no exemplo abaixo:
Definições
Determinante de uma Matriz de Ordem 1
Seja a matriz quadrada de ordem 1: A=[a11]
Chamamos determinante dessa matriz o número:
det A=[ a11]= a11
Exemplos
1º) A=[-2] → det A=-2
2º) B=[5] → det B=5
3º) C=[0] → det C=0
Determinante de uma Matriz de ordem 2
Seja a matriz quadrada de ordem 2:
Chamamos de determinante dessa matriz o número:
 Consequência da Propriedade 3: Ao calcularmos um
determinante, podemos “colocar em evidência”um “fator
comum” de uma fila (linha ou coluna).

- Sendo A uma matriz quadrada de ordem n, a matriz k.

A é obtida multiplicando todos os elementos de A por k,
Determinante de uma Matriz de Ordem 3 então:
Seja a matriz quadrada de ordem 3:

O det A de uma matriz de ordem 3 pode ser calculado

utilizando uma regra prática chamada Regra de Sarrus,
onde repetem-se, à direita da matriz, as duas primeiras
colunas. Acompanhando as flechas em diagonal,
multiplicam-se os elementos entre si, associando-lhes o
sinal indicado.

Propriedade 4: Se A, B e C são matrizes quadradas de

Determinantes – Propriedades - I
Apresentamos, a seguir, algumas propriedades que
visam a simplificar o cálculo dos determinantes:
Propriedade 1: O determinante de uma matriz A é igual
ao de sua transposta At.
mesma ordem, tais que os elementos correspondentes
de A, B e C são iguais entre si, exceto os de uma fila,
em que os elementos de C são iguais às somas dos
seus elementos correspondentes de A e B, então.

Propriedade 2: Se B é a matriz que se obtém de uma Propriedades dos Determinantes

matriz quadrada A, quando trocamos entre si a posição
de duas filas paralelas, então: Propriedades 5 (Teorema de Jacobi)
O determinante não se altera, quando adicionamos
uma fila qualquer com outra fila paralela multiplicada por
um número.

B foi obtida trocando-se a 1º pela 2º linha de A.

detA=ad-bc
detB=BC-ad=-(ad-bc)=-detA
Assim,
detB=-detA

Consequência da Propriedade 2: Uma matriz A que

possui duas filas paralelas “iguais”tem determinante
igual a zero.
Justificativa: A matriz que obtemos de A, quando
trocamos entre si as duas filas (linha ou coluna “iguais”,
é igual a A. Assim, de acordo com a propriedade 2,
escrevemos que detA = -detA
Assim: detA = 0

Propriedade 3: Sendo B uma matriz que obtemos de

uma matriz quadrada A, quando multiplicamos uma de
sua filas (linha ou coluna) por uma constante k, então
detB = k.detA
 Determinantes – Teorema de Laplace

Menor complementar e Co-fator

Dada uma matriz quadrada A=(aij)nxn (n ≥ 2),

Em seguida, vamos multiplicar a 1ª coluna por 2,
somar com a 3ª coluna e calcular:
chamamos menor complementar do elemento aij e
indicamos por Mij o determinante da matriz quadrada de
ordem n-1, que se obtém suprimindo a linha i e a coluna
j da matriz A.

D1=48+0+0-100-0-0=-52
Observe que D1=D, de acordo com a propriedade.

Consequência
Quando uma fila de um determinante é igual à soma
de múltiplos de filas paralelas (combinação linear de filas
paralelas), o determinante é igual a zero.

Chamamos co-fatorn do elemento aij e indicamos

com Aij o número (-1)i+j.Mij, em que Mij é o menor
complementar de aij.

Exemplo
Observe que cada elemento de 3ª coluna é igual à 1ª
coluna multiplicada por 2 somada com a 2ª coluna
multiplicada por 3.
8 = 2(1) + 3(2) = 2 + 6
12 = 2(3) + 3(2) = 6 + 6
5 = 2(4) + 3(-1) = 8 - 3
Portanto, pela consequência da propriedade 5, D = 0
Use a regra de Sarrus e verifique.

Propriedade 6 (Teorema de Binet)

Sendo A e B matrizes quadradas de mesma ordem,
então: Dada uma matriz A=(aij)nxm, com n ≥ 2, chamamos
det(A.B) = detA . detB matriz co-fatora de A a matriz cujos elementos são os
co-fatores dos elementos de A; indicamos a matriz co-
fatora por cof A. A transposta da matriz co-fatora de A é
chamada de matriz adjunta de A, que indicamos por
adj. A.

Consequências: Sendo A uma matriz quadrada e n∈N*,

temos:
det(An) = (detA)n
Sendo A uma matriz inversível, temos:

Justificativa: Seja A matriz inversível.

A-1.A=I
det(A-1.A)=det I
detA-1.detA=det I

um vez que det I=1, onde i é a matriz identidade.


Determinante de uma Matriz de Ordem n
Definição.
Vimos até aqui a definição de determinante para
matrizes quadradas de ordem 1, 2 e 3.
Seja A uma matriz quadrada de ordem n.
Então, o determinante de uma matriz quadrada de
ordem n, n ≥ 2 é a soma dos produtos dos elementos da
primeira linha da matriz pelos respectivos co-fatores.
Nota: Observamos que esse valor coincide com a
definição vista anteriormente.
Nota: Observamos que quanto mais “zeros”
aparecerem na primeira linha, mais o cálculo é facilitado.
Teorema de Laplace
Seja A uma matriz quadrada de ordem n, n⇒ 2, seu
determinante é a soma dos produtos dos elementos de
uma fila (linha ou coluna) qualquer pelos respectivos co-
fatores.
Devemos escolher a 4ª coluna para a aplicação do
teorema de Laplace, pois, neste caso, teremos que
calcular apenas um co-fator.
Observações Importantes: No cálculo do determinante
de uma matriz de ordem n, recaímos em determinantes
de matrizes de ordem n-1, e no cálculo destes, recaímos
em determinantes de ordem n-2, e assim
sucessivamente, até recairmos em determinantes de
matrizes de ordem 3, que calculamos com a regra de
Sarrus, por exemplo.
- O cálculo de um determinante fica mais simples,
quando escolhemos uma fila com a maior quantidade de
zeros.
- A aplicação sucessiva e conveniente do teorema de
Jacobi pode facilitar o cálculo do determinante pelo
teorema de Laplace.
A 1ª coluna ou 2ª linha tem a maior quantidade de zeros.
Nos dois casos, se aplicarmos o teorema de Laplace,
calcularemos ainda três co-fatores.
Para facilitar, vamos “fazer aparecer zero”em A31=-2
e A41=3 multiplicando a 1ª linha por 2 e somando com a
3ª e multiplicando a 1ª linha por -3 e somando com a 4ª
linha; fazendo isso, teremos:
 Agora, aplicamos o teorema de Laplace na 1ª
coluna:

2º) Determinante de Vandermonde de ordem 4

Aplicamos a regra de Sarrus,

Os elementos da 2ª linha são denominados

elementos característicos.

Uma aplicação do Teorema de Laplace
Sendo A uma matriz triangular, o seu determinante é
o produto dos elementos da diagonal principal; podemos
verificar isso desenvolvendo o determinante de A através
da 1ª coluna, se ela for triangular superior, e através da
1ª linha, se ela for triangular superior, e através da 1ª
linha, se ela for triangular inferior.
Propriedade
Um determinante de Vandermonde é igual ao produto de
todas as diferenças que se obtêm subtraindo-se de cada
um dos elementos característicos os elementos
precedentes, independente da ordem do determinante.
Exemplo
Calcule o determinante:

Sabemos que detA=detAt, então:

Que é um determinante de Vandermonde de ordem

3, então:

Determinante de Vandermonde e Regra de Chió

Uma determinante de ordem n ≥ 2 é chamada

determinante de Vandermonde ou determinante das
potências se, e somente se, na 1ª linha (coluna) os
elementos forem todos iguais a 1; na 2ª, números
quaisquer; na 3ª, os seus quadrados; na 4ª, os seus
cubos e assim sucessivamente.

Exemplos
1º) Determinante de Vandermonde de ordem 3