-
Pág 1
[email protected]
Registro CMI 40616 – Aula
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:
1. Frases que não são proposições o Pare! o Quer uma xícara de
café? o Eu não estou bem certo se esta cor me agrada
2. Frases que são proposições o A lua é o único satélite do
planeta terra (V) o A cidade de Salvador é a capital do estado do
Amazonas (F) o O numero 712 é ímpar (F) o Raiz quadrada de dois é
um número irracional (V)
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,
1. A = "Maria tem 23 anos" 2. B = "Maria é menor"
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:
1. "Maria não tem 23 anos" (nãoA)
-
Pág 2
[email protected]
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.
Algumas Leis Fundamentais
Lei do Meio
Excluido Um proposição ou é falsa (F) ou verdadeira (V): não há
meio termo.
Lei da
Contradição Uma proposição não pode ser, simultaneamente, V e
F.
Lei da
Funcionalidade
O valor lógico (V ou F) de uma proposição composta é unicamente
determinada
pelos valores lógicos de suas proposições constituintes.
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
A B
Conjunção
A . B, ou AB
Disjunção
A + B
Implicação
A => B
Equivalência
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 3
[email protected]
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
a) ~(p ^ q) ~p v ~q (Negação da conjunção)
b) ~(p v q) ~p ^ ~q (Negação da disjunção)
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)
http://www.inf.ufsc.br/ine5365/bibliog.html#QUINE,
-
Pág 4
[email protected]
p q ~p ~q p q ~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
Destas tabelas verdade tiramos as seguintes equivalências
lógicas:
i) (pq) (~q ~p) ii) (qp) (~p ~q)
8. Negação do condicional
~(pq) (p ^ ~q)
9. Mais condicional
pq ~p v q
10. Negação do bicondicional
~(pq) ~pq p~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 5
[email protected]
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:
(a) existem homens que torcem pelo Tira-canela (b) há mais de um
homem que torce pelo Arranca-toco (c) existe pelo menos uma mulher
que torce pelo Arranca-toco (d) ninguém torce pelo outro time (e)
há pelo menos duas pessoas que não torcem nem pelo Arranca-toco,
nem pelo Tira-canela
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 a.encontrado um livro de
administração de capa dura. b. adquirido dessa livraria um livro de
economia de capa flexível. c. selecionado para compra um livro
nacional de direito de capa dura. d. comprado um livro importado de
direito de capa flexível.
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, a) alguém não desviou dinheiro da
campanha assistencial. b) Francisco não cometeu um grave delito. c)
Francisco cometeu um grave delito. d) alguém desviou dinheiro da
campanha assistencial. e) Francisco desviou dinheiro da campanha
assistencial.
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 6
[email protected]
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 BABA , para quaisquer que sejam os valores
lógicos de A e de B, tem exato(s) :
a) nenhum valor lógico F
b) um valor lógico F
c) dois valores lígicos F
d) três valores lógicos F
e) quatro valores lógicos F
QUESTÃO 08
Sejam as seguintes proposições : (P) – não é verdade dizer que
amo ou caso (Q) – não amo ou caso Julgue o item a seguir. A
proposição P Q é uma :
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 7
[email protected]
(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: A) Se o macaco é
preto, então a onça não é pintada e ou o urso não é pardo. B) Se o
macaco não é preto, então a onça não é pintada e o urso não é
pardo. C) Se o macaco não é preto, então a onça não é pintada ou o
urso não é pardo. D) Se o macaco não é preto, então a onça é
pintada ou o urso não é pardo. E) Se o macaco não é preto, então a
onça não é pintada ou o urso é pardo.
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 )()( xMxPx .
QUESTÃO 04
A negação da proposição “ Todo animal tem dentes “ é :
a) nenhum animal tem dentes b) todo animal não tem dentes c)
existem animais sem dentes d) existem animais com dentes e) se tem
dentes, é animal
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 8
[email protected]
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.
I- Considerando que P1 e P2 sejam as premissas de um argumento
de que P3 seja a conclusão, é correto
afirmar que, do ponto de vista lógico, o texto acima constitui
um argumento válido..
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 9
[email protected]
(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, a) seu
esforço é condição suficiente para vencer. b) seu esforço é
condição necessária para vencer. c) se você não se esforçar, então
não irá vencer. d) você vencerá só se se esforçar. e) mesmo que se
esforce, você não vencerá.
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 (A) o comerciante é proprietário do carro
branco. (B) Bruno é industrial. (C) Alberto é funcionário público.
(D) o proprietário do carro preto é Bruno. (E) Alberto é
proprietário do carro preto.
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, a) Marta não é estudante
e Murilo trabalha. b) Marta não é estudante e Murilo não trabalha
c) Marta é estudante ou Murilo trabalha. d) Marta é estudante e
Pedro é professor. e) Murilo trabalha e Pedro é professor.
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 10
[email protected]
babae
babad
babac
babab
abaa
)
)
)
)
)
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..