Lógica Matemática
Lógica Matemática
Lógica Matemática
q⋁∼p)→r⊻∼q↔p⇒q⋀r⇔(q⋁∼p)→r⊻
∼q↔p⇒q⋀r⇔(q⋁∼p)→r⊻∼q↔p⇒q
Introdução à Lógica Proposicional
(lógica matemática)
⋀r⇔(q⋁∼p)→r⊻∼q↔p⇒q⋀r⇔(q⋁∼2013
p)→r⊻∼q↔p⇒q⋀r⇔(q⋁∼p)→r⊻∼q
↔p⇒q⋀r⇔(q⋁∼p)→r⊻∼q↔p⇒q⋀r
⇔(q⋁∼p)→r⊻∼q↔p⇒q⋀r⇔(q⋁∼p)
→r⊻∼q↔p⇒q⋀r⇔(q⋁∼p)→r⊻∼q↔p
⇒q⋀r⇔(q⋁∼p)→r⊻∼q↔p⇒q⋀r⇔(q
⋁∼p)→r⊻∼q↔p⇒q⋀r⇔(q⋁∼p)→r⊻
∼q↔p⇒q⋀r⇔(q⋁∼p)→r⊻∼q↔p⇒q
⋀r⇔(q⋁∼p)→r⊻∼q↔p⇒q⋀r⇔(q⋁∼
p)→r⊻∼q↔p⇒q⋀r⇔(q⋁∼p)→r⊻∼q
Proposição
Chama-se proposição toda sentença declarativa que exprime um pensamento de sentido completo.
Exemplos:
Os gatos não voam. Recife é a capital de Pernambuco.
A matemática é uma ciência. O cachorro mia.
Valores lógicos
As sentenças declarativas podem ser classificadas em VERDADEIRO (V) ou FALSO (F), mas não com
ambos valores lógicos.
Exemplos:
Proposição Valor lógico
Belo Horizonte é a capital de Minas Gerais. V
Todos os animais são mamíferos. F
O número 3 é ímpar. V
Os gatos não voam. V
Os elefantes sabem ler. F
Exercício resolvido
Verifique nas sentenças abaixo quais são proposições e, as que forem, classifique em V ou F.
Sentença Valor lógico
Três mais nove é igual a doze. V
Pelé é brasileiro. V
O jogador de futebol. ―
A idade de Maria. ―
A metade de um número. ―
O triplo de 15 não é maior do que 10. F
Negação ~
A partir de uma proposição qualquer sempre podemos construir outra, denominada negação de
e indicada com o símbolo , lê-se não .
Vale a tabela verdade:
V F
F V
Perceba que a proposição tem sempre o valor oposto de .
Exemplos de declarações e suas negações
: . (F)
: . (V)
Exercícios
1. Quais das sentenças abaixo são proposições? No caso das proposições classifique em V ou F.
a) b)
c) d)
e) O Sol é verde. f) Atravesse na faixa!
g) h) O cachorro de Paulo.
2. Qual é a negação de cada uma das seguintes proposições? Que negações são verdadeiras?
a)
b)
c)
d) Ipuiuna não é um município mineiro.
e) O latim é a língua oficial na Europa.
f) Os golfinhos são peixes.
3. Indique quais sentenças são proposições, atribuindo-lhes o valor lógico correspondente. Caso a
sentença não seja uma proposição, marque um X.
a) ( ) Zero é um número par. b) ( )
c) ( ) Todos os brasileiros são cariocas. d) ( ) Amanhã choverá?
e) ( ) Felicidades! f) ( )
g) ( ) Todos os meses do ano têm 28 dias. h) ( ) é raiz de
4. (concurso-MG) A partir de uma proposição simples, podemos formar outra proposição usando a
estrutura lógica “não” (∼), denominada modificador.
Seja a proposição p: Jair tem dois irmãos médicos.
Marque a opção CORRETA para a expressão verbal ∼p:
a) Jair não tem dois irmãos e nem irmãs.
b) É falso que Jair tem dois irmãos médicos.
c) Jair não tem irmãs.
d) É falso que Jair tem irmãs médicas.
e) Jair não tem apenas dois irmãos.
Proposições Compostas (sentenças Moleculares)
As proposições vistas até agora são proposições simples. No entanto, combinando duas ou mais
dessas, podemos formar proposições chamadas compostas através de conectivos (e/ou).
Obs.: Proposições Compostas também possuem valores lógicos, em que, esses dependem dos
valores lógicos das proposições simples que a compõe e do conectivo usado.
Tabela-verdade
É um dispositivo prático muito usado para a determinação do valor lógico de uma proposição
composta. As linhas de uma tabela verdade são constituídas dos arranjos dos possíveis valores
lógicos das proposições que constituem a proposição composta.
Exemplos:
p p q p q r
V V V V V V
F V F V V F
F V V F V
F F V F F
F V V
F V F
F F V
F F F
Em que p, q e r são proposições quaisquer.
Conectivo “e” ( )
Este conectivo é chamado de conjunção, pois estabelece uma ideia de simultaneidade. Uma
proposição composta por proposições simples na forma , só será verdadeira se ambas forem.
V V V
V F F
F V F
F F F
Conectivo “ou” inclusivo ( )
Este conectivo ocorrendo apenas uma vez na proposição composta, é utilizado no sentido de
inclusão. Essa composição é chamada de disjunção e é verdadeira quando ao menos uma das
proposições componentes for.
V V V
V F V
F V V
F F F
Este conectivo necessita de ocorrer mais de uma vez na proposição para que dê sentido exclusivo.
Esta disjunção só é verdadeira quando apenas uma das proposições componentes for.
V V F
V F V
F V V
F F F
Exercícios resolvidos
Solução:
V V V V V
V V F V V
V F V V V
V F F F F
F V V V F
F V F V F
F F V V F
F F F F F
Considerando os valores lógicos da tabela verdade do conectivo “e”, marque a opção CORRETA.
a) apenas a proposição I tem valor lógico verdadeiro.
b) apenas as proposições I e II têm valores lógicos falsos.
c) todas as proposições têm valores lógicos falsos.
d) apenas as proposições I e III têm valores lógicos verdadeiros.
6. (concurso-MG) Marque a opção na qual o uso do conectivo “ou” inclusivo está CORRETO.
a) Roberto é paulista ou Roberto é carioca.
b) Elisabete é bonita ou Elisabete é inteligente.
c) Elisabete é brasileira ou Elisabete é japonesa.
d) Hoje é domingo ou hoje é segunda-feira.
e) O aniversário de Mario é em maio ou o aniversário de Mario é em março.
Com base nos valores lógicos das proposições p, q e r, atribua um valor lógico às seguintes
proposições:
a) ( )
b) ( )
c) ( )
d) ( )
e) ( )
f) ( )
12. Sendo , e sentenças declarativas, faça a tabela verdade da seguinte sentença molecular:
.
Proposições condicionais ( )
Durante um debate, é comum utilizarmos ideias que buscam sustentar nossos argumentos. Esta
sustentação ocorre principalmente numa relação entre causa e consequência.
Observe as seguintes proposições:
Nas frases anteriores os verbetes em negrito funcionam como conectivos chamados condicionais
( ) e uma proposição do tipo só tem valor “F” quando for verdadeiro e for falso. Logo:
V V V
V F F
F V V
F F V
Exercícios resolvidos
Solução:
V V V V V
V F F F F
F V F V V
F F F V V
III. Considerando verdadeira a proposição “Se sou carioca, então sou brasileiro”, marque V ou F,
conforme se possa concluir em relação às seguintes proposições.
a) ( V ) Ser carioca é suficiente para ser brasileiro.
b) ( V ) Ser brasileiro é necessário para ser carioca.
c) ( F ) Ser brasileiro é suficiente para ser carioca.
d) ( F ) Ser carioca é necessário para ser brasileiro.
e) ( V ) Sou carioca somente se sou brasileiro.
f) ( F ) Sou brasileiro somente se sou carioca.
Proposições bicondicionais ( )
Quando ocorrer simultaneamente em uma proposição condicional “se p, então q” e “se q, então p”,
dizemos que a proposição é bicondicional ( ).
Observe as seguintes proposições:
Análogo à proposição condicional, os verbetes em negrito nas frases anteriores funcionam como
conectivos chamados bicondicionais ( ). Como p e q, são consequentes um do outro, logo a
proposição terá valor “F” quando p e q tiverem valores opostos. Veja:
V V V
V F F
F V F
F F V
Exercícios resolvidos
Solução:
V V V V V
V F V F V
F V V F V
F F F V V
III. A sentença “Estou feliz se, e somente se, meu time ganha” é verdadeira. Marque V ou F,
conforme se possa concluir em relação às seguintes proposições.
a) ( V ) Se estou feliz, então meu time ganhou.
b) ( F ) Se não estou feliz, então meu time ganhou.
c) ( V ) Se meu time ganhou, então estou feliz.
d) ( F ) Se estou feliz, então meu time não ganhou.
e) ( V ) Se meu time não ganhou, então não estou feliz.
f) ( V ) Se não estou feliz, então meu time não ganhou.
g) ( F ) Se meu time ganhou, então não estou feliz.
h) ( F ) Se meu não time ganhou, então estou feliz.
Exercícios
p: 7 é um número ímpar.
q: O Brasil não é banhado pelo Oceano Pacifico.
r: Todo europeu é francês.
16. Faça a tabela verdade para expressão das seguintes sentenças moleculares:
a)
b) .
c)
Observações finais
Chama-se tautologia uma proposição composta que sempre apresente valor lógico V, independente
dos valores lógicos das proposições que a compõem e; caso a proposição apresente sempre o valor
lógico F, ela denomina-se contradição.
Quando uma proposição não é tautologia e nem contradição, ela é uma contingência.
Negação de proposições compostas (tópico opcional)
Vimos como negar uma proposição simples , em que, sua negação ( ) tem sempre o valor
oposto de . Mas como negar proposições como as seguintes?
Não basta negar as proposições componentes a fim de apenas mudar o valor lógico das mesmas,
deve-se também alterar convenientemente o conectivo, pois o interesse é mudar o valor da
sentença por completo.
Exemplo:
: O cão é um mamífero e o sapo é um réptil. (F)
: O cão não é um mamífero e o sapo não é um réptil. (F)
V V V F F F F
V F F V F V V
F V F V V F V
F F F V V V V
Equivalentes
1. a) V; b) V; c) F; d) ―; e) F; f) ―; g) F; h) ― 13. Resposta: a)
14. Resposta: c)
2. a) (F);
15.
b) (F);
c) (F); a) V b) V c) F d) V
d) É falso que Ipuiuna não é um município mineiro.(V); e) F f) V g) V h) F
e) O latim não é a língua oficial na Europa (V);
f) Os golfinhos não são peixes. (V).
16.
3. a)
a) V b) X c) F d) X
e) X f) X g) V h) V V V V V V
V F V F F
4. Resposta: b) F V V F F
5. Resposta: b) F F F V F
6. Resposta: b)
7. b)
a) V b) F c) F
d) F e) F f) V V V V V
V V F V
8.
V F V V
V F F V
V V V V
F V V V
V F F F
F V F V
F V F F
F F V V
F F F F
F F F V
9. c)
V V V F F F F
V F F V F V V V V V V F F
F V F V V F V V F F F V F
F F F V V V V F V V F F F
F F V F V F
10.
17.
V V V F F V
V F F V V V V V V V
F V F F F F V F F F
F F F V F F F
F V F
11. F F V V
V V F F V F V
V F F V V F V
F V V F F V V
F F V V V F V
12.
V V V V
V V F V
V F V V
V F F V
F V V V Agradeço a paciência de todos e desejo-lhes bons estudos!
F V F V Prof. Gustavo Silva
F F V V Mais arquivos como este, você encontra em:
F F F F http://www.ebah.com.br/user/AAAAAotPwAJ/gustavo-silva