Escolar Documentos
Profissional Documentos
Cultura Documentos
4a Parte
Lógica Formal – Aspectos Introdutórios
Resumo Teórico
Proposição
Toda proposição é uma frase mas nem toda frase é uma proposição; uma frase é uma proposição apenas quando admite um
dos dois valores lógicos: Falso (F)ou Verdadeiro (V). Exemplos:
Composição de Proposições
É possível construir proposições a partir de proposições já existentes. Este processo é conhecido por Composição de
Proposições. Suponha que tenhamos duas proposições,
Pela legislação corrente de um país fictício, uma pessoa é considerada de menor idade caso tenha menos que 18 anos, o que faz
com que a proposição B seja F, na interpretação da proposição A ser V. Vamos a alguns exemplos:
Pág 1
urmat@ig.com.br
2. "Maria não é menor"(não(B))
3. "Maria tem 23 anos" e "Maria é menor" (A e B)
4. "Maria tem 23 anos" ou "Maria é menor" (A ou B)
5. "Maria não tem 23 anos" e "Maria é menor" (não(A) e B)
6. "Maria não tem 23 anos" ou "Maria é menor" (não(A) ou B)
7. "Maria tem 23 anos" ou "Maria não é menor" (A ou não(B))
8. "Maria tem 23 anos" e "Maria não é menor" (A e não(B))
9. Se "Maria tem 23 anos" então "Maria é menor" (A => B)
10. Se "Maria não tem 23 anos" então "Maria é menor" (não(A) => B)
11. "Maria não tem 23 anos" e "Maria é menor" (não(A) e B)
12. "Maria tem 18 anos" é equivalente a "Maria não é menor" (C <=> não(B))
Note que, para compor proposições usou-se os símbolos não (negação), e (conjunção), ou (disjunção), => (implicação) e,
finalmente, <=> (equivalência). São os chamados conectivos lógicos. Note, também, que usou-se um símbolo para representar
uma proposição: C representa a proposição Maria tem 18 anos. Assim, não(B) representa Maria não é menor, uma vez que B
representa Maria é menor.
Tabela-Verdade
A tabela-verdade, como se sabe, é um instrumento eficiente para a especificação de uma composição de proposições. Abaixo
segue a tabela-verdade dos conectivos aqui tratados,
Negação
A ~(A), ou -A, ou /A, ou ainda, A'
F V
V F
Conjunção Disjunção Implicação Equivalência
A B
A . B, ou AB A + B A => B A <=> B
F F F F V V
F V F V V F
V F F V F F
V V V V V V
Pág 2
urmat@ig.com.br
Alguns destaques das tabelas-verdade tratadas:
A negação, como o próprio nome diz, nega a proposição que tem como argumento. Tem como símbolo o acento "~" ,
~A,ou, algumas vezes, uma barra sobre a variavel lógica, Ã, ou o sinal "-", -A, ou o símbolo "/", /A, ou ainda, o sinal
"'", A'. Lembre-se que o símbolo nada mais é que uma simples representação da negação. O que é relevante é que o
significado do símbolo seja explicitamente declarado.
Aqui, os símbolos mais usados para a negação são o sinal "'", e barra por sobre a variável lógica, .
O símbolo mais utilizado para a conjunção, em Eletrônica Digital, é o ponto ".".
O símbolo mais utilizado para a disjunção, em Eletrônica Digital, é o sinal "+".
A única função da implicação lógica (A => B, onde A é o antecedente e B é o conseqüente) é afirmar o conseqüente
no caso do antecedente ser verdadeiro. Segundo Quine, a única maneira de se negar a implicação lógica como um todo
é quando isto não ocorre, isto é, tem-se o antecedente (A) V e o consequente (B) é F. Apenas neste caso, a implicação
(A => B) é F. Em todos os outros casos é V.
A equivalência sempre é V quando os dois argumentos possuem o mesmo valor lógico (seja, este valor, V ou F).
Propriedades Importantes
1. Leis Idempotentes
a) p v p p
b) p ^ p p
2. Leis Comutativas
a) p v q q v p
b) p ^ q q ^ p
3. Leis Associativas
a) p v (q v r) (p v q) v r
b) p ^ (q ^ r) (p ^ q) ^ r
4. Leis de De Morgan
5. Leis Distributivas
c) p ^ (q v r) (p ^ q) v (p ^ r)
d) p v (q ^ r) (p v q) ^ (p v r)
6. Bicondicional
a) p q (p q) ^ (q p)
b) p q q p (comutativa)
c) (p q ) r p ( q r ) (associativa)
7. Condicionais
a) p q
b) ~q ~p (contrapositivo)
c) q p (recíproca do condicional)
d) ~p ~q (recíproca do contrapositivo)
Pág 3
urmat@ig.com.br
p q ~p ~q pq ~q ~p q p ~p ~q
F F V V V V V V
F V V F V V F F
V F F V F F V V
V V F F V V V V
8. Negação do condicional
~(pq) (p ^ ~q)
9. Mais condicional
pq ~p v q
QUESTÕES DE CONCURSOS
QUESTÃO 01
Considere como verdadeiras as sentenças a seguir.
I. Alguns matemáticos são professores.
II. Nenhum físico é matemático.
Então, é necessariamente verdade que
(A) algum professor é físico.
(B) nenhum professor é físico.
(C) algum físico é professor.
(D) algum professor não é físico
(E) nenhum físico é professor.
QUESTÃO 02
Observe a linha de argumentação a seguir.
Toda banana é vermelha.
Toda banana tem casca azul.
Logo, as frutas vermelhas têm casca azul.
Pág 4
urmat@ig.com.br
a) trata-se de um argumento válido
b) trata-se de um sofisma
c) não há bananas vermelhas
d) nenhuma fruta tem casca azul
QUESTÃO 03
Se, numa vila,
todo torcedor do Arranca-toco é homem, mas nem todo homem é torcedor do Arranca-toco e todo torcedor do
Tira-canela é mulher, mas nem toda mulher é torcedora do Tira-canela então, nessa vila:
QUESTÃO 04
Pedro, candidato ao cargo de Escrivão de Polícia Federal, necessitando adquirir livros para se preparar para o
concurso, utilizou um site de busca da Internet e pesquisou em uma livraria virtual, especializada nas áreas de
direito, administração e economia, que vende livros nacionais e importados.
Nessa livraria, alguns livros de direito e todos os de administração fazem parte dos produtos nacionais.
Além disso, não há livro nacional disponível de capa dura.
Com base nas informações acima, é possível que Pedro, em sua pesquisa, tenha
QUESTÃO 05
Se Francisco desviou dinheiro da campanha assistencial, então ele cometeu um grave delito. Mas Francisco ao
desviou dinheiro da campanha assistencial. Logo,
QUESTÃO 06
Sejam as seguintes sentenças:
I) o uniforme dos policiais rodoviários deve ser utilizado em todas as operações de estradas;
II) qual a cor predominante do uniforme dos policiais rodoviários ?
Pág 5
urmat@ig.com.br
III) o DPRF tem x postos de controle nas estradas capixabas;
IV) o posto do DPRF existente na rodovia Rio – Teresópolis foi recentemente reformado.
Com base na definição de Proposição Lógica, é correto afirmar que, dentre as sentenças apresentadas acima é
uma proposição:
a) todas
b) uma
c) duas
d) três
e) nenhuma
QUESTÃO 07
A proposição composta A B A B , para quaisquer que sejam os valores lógicos de A e de B, tem
exato(s) :
QUESTÃO 08
Sejam as seguintes proposições :
a) contradição
b) contingência
c) tautologia
d) equivalência
5a Parte
QUESTÕES DE CONCURSOS
QUESTÃO 01
Se não é verdade que “Todos assistentes judiciários de determinado fórum são formados em advocacia”, então é
necessariamente verdade que
Pág 6
urmat@ig.com.br
(A) nenhum assistente judiciário desse fórum é formado em advocacia.
(B) todos assistentes judiciários desse fórum não são formados em advocacia.
(C) ninguém formado em advocacia é assistente judiciário desse fórum.
(D) alguém formado em advocacia é assistente judiciário desse fórum.
(E) algum assistente judiciário desse fórum não é formado em advocacia
QUESTÃO 02
A afirmação “se a onça é pintada e o urso é pardo, então o macaco é preto” é logicamente equivalente a:
QUESTÃO 03
Se a proposição P(x) representa “x é um pavão” e a proposição M(x) representa “x é misterioso”, pode-se concluir
que a proposição “nenhum pavão é misterioso” é corretamente simbolizada por xP( x) M ( x) .
QUESTÃO 04
A negação da proposição “ Todo animal tem dentes “ é :
QUESTÃO 05
Considere a seguinte afirmação:
Se José estuda com persistência, então ele faz uma boa prova e fica satisfeito.
Uma afirmação que é a negação da afirmação acima é
(A) José estuda com persistência e ele não faz uma boa prova e ele não fica satisfeito.
(B) José não estuda com persistência e ele não faz uma boa prova ou fica satisfeito.
(C) José estuda com persistência ou ele faz uma boa prova ou ele não fica satisfeito.
(D) José estuda com persistência e ele não faz uma boa prova ou ele não fica satisfeito.
(E) Se José fica satisfeito então ele fez uma boa prova e estudou com persistência.
QUESTÃO 06
Assinale a opção que apresenta uma proposição logicamente equivalente à negação da proposição “Todo ser
humano é responsável pelo bem que não faz”.
A) Todo ser humano não é responsável pelo bem que não faz.
B) Algum ser humano não é responsável pelo bem que não faz
C) Todo ser humano é responsável pelo bem que faz.
Pág 7
urmat@ig.com.br
D) Todo ser humano é responsável pelo mal que não faz.
E) Algum ser humano não é responsável pelo bem que faz.
QUESTÃO 07
Ser síndico não é fácil. Além das cobranças de uns e da inadimplência de outros, ele está
sujeito a passar por desonesto.
A esse respeito, um ex-síndico formulou as seguintes proposições:
— Se o síndico troca de carro ou reforma seu apartamento, dizem que ele usou dinheiro
do condomínio em benefício próprio. (P1)
— Se dizem que o síndico usou dinheiro do condomínio em benefício próprio, ele fica
com fama de desonesto. (P2)
— Logo, se você quiser manter sua fama de honesto, não queira ser síndico. (P3)
Com referência às proposições P1, P2 e P3 acima, assinale os itens verdadeiros.
II- A negação da proposição “O síndico troca de carro ou reforma seu apartamento” pode ser
corretamente expressa por “O síndico não troca de carro nem reforma seu apartamento”
III- A partir das premissas P1 e P2, é correto concluir que a proposição “Se o síndico ficou com fama de
desonesto, então ele trocou de carro” é verdadeira..
IV- Se a proposição “Dizem que o síndico usou dinheiro do condomínio em benefício próprio” for falsa,
então, independentemente do valor lógico da proposição “O síndico fica com fama de desonesto”, a
premissa P2 será verdadeira
V- A proposição P3 é equivalente a “Se você quiser ser síndico, não queira manter sua fama de honesto”
VI- O síndico trocar de carro ou reformar o seu apartamento é condição necessária para que digam que
ele usou dinheiro do condomínio em benefício próprio.
6a Parte
QUESTÕES DE CONCURSOS
QUESTÃO 01
Considere como verdadeiras as sentenças a seguir.
I. Se André não é americano, então Bruno é francês.
II. Se André é americano então Carlos não é inglês.
III. Se Bruno não é francês então Carlos é inglês.
Logo, tem‐se obrigatoriamente que
Pág 8
urmat@ig.com.br
(A) Bruno é francês
(B) André é americano.
(C) Bruno não é francês.
(D) Carlos é inglês.
(E) André não é americano.
QUESTÃO 02
Se você se esforçar, então irá vencer.
Assim sendo,
QUESTÃO 03
Considere três homens (Alberto, Bruno e Carlos), cada um com sua profissão (comerciante, industrial e
funcionário público) e com seu automóvel (um de cor preta, outro de cor prata e o terceiro de cor branca). Sobre
essa situação, são dadas as seguintes informações:
O proprietário do carro branco é funcionário público.
Carlos é industrial.
O proprietário do carro prata não é Carlos.
O proprietário do carro branco não é Bruno.
Com base nas informações, é correto concluir que
QUESTÃO 04
Se Marta é estudante, então Pedro não é professor. Se Pedro não é professor, então Murilo trabalha. Se Murilo
trabalha, então hoje não é domingo. Ora, hoje é domingo.
Logo,
QUESTÃO 05
A fórmula que representa corretamente a notação formal da proposição “ Há pessoas que passam para o TRE ou
para o TRT, mas nunca para ambos” é :
Pág 9
urmat@ig.com.br
a) a b a
b) a b a b
c) a b a b
d ) a b a b
e) a b a b
QUESTÃO 06
A seguir, são apresentadas proposições relativas a um cliente de uma instituição
financeira.
Se Carlos fizer um empréstimo na instituição financeira, então ele não viajará.
Se Carlos não viajar, então ele comprará um carro novo.
Se Carlos comprar uma moto ou usar o cartão de crédito, então ele não comprará um
carro novo.
Se Carlos viajar, então ele usará o cartão de crédito.
Considerando que essas proposições sejam verdadeiras, julgue os seguintes itens.
I - A proposição “se Carlos viajar, então ele não fará um empréstimo na instituição financeira” é verdadeira.
II - A proposição “se Carlos comprar um carro novo, então ele não comprará uma moto nem usará o cartão de
crédito” é falsa..
III - A proposição “se Carlos não usar o cartão de crédito, então ele comprará um carro novo” é verdadeira.
IV - A proposição “se Carlos fizer um empréstimo no banco, então ele comprará uma moto” é verdadeira..
Pág 10
urmat@ig.com.br