Lógica Matemática. Proposições Proposição Conjunto de palavras ou símbolos que exprimem um...
Transcript of Lógica Matemática. Proposições Proposição Conjunto de palavras ou símbolos que exprimem um...
Lógica Matemática
Proposições
Proposição Conjunto de palavras ou símbolos que
exprimem um pensamento de sentido completo.
Transmitem pensamentos Afirmam fatos Sentença declarativa, afirmativa. Frases que possam assumir valor
verdadeiro ou falso.
Proposiçõesa) A Lua é um satélite da Terra.b) Recife é a capital de Pernambuco.c) O México fica na América do Norte.
d) Vasco da Gama descobriu o Brasil.e) O Japão fica na África.f) Ela é muito talentosa!
Valor lógico
Verdade: se a proposição é verdadeira
Falsidade: se a proposição é falsa
Proposiçõesa) A Lua é um satélite da Terra. b) Recife é a capital de Pernambuco.c) O México fica na América do Norte.
d) Vasco da Gama descobriu o Brasil.e) O Japão fica na África.
Princípios Princípio da não contradição: uma
proposição não pode ser verdadeira e falsa ao mesmo tempo.
Princípio do terceiro excluído: Toda proposição ou é verdadeira ou é falsa, isto é, verifica-se sempre um destes casos e nunca um terceiro.
Proposições simples Não contém nenhuma outra proposição
como parte integrante de si mesma. Designadas por letras latinas
minúsculas p,q,r,s.
p: Carlos é careca. q: Pedro é estudante. r: O número 25 é quadrado perfeito.
Valores lógicos
p: A Lua é um satélite da Terra. V(p) = V q: Recife é a capital de Pernambuco. V(q) = V r: Vasco da Gama descobriu o Brasil. V(r) = F
ExercícioDeterminar o valor lógico de cada uma das seguintes proposições:a) O número 17 é primo.b) Fortaleza é a capital do Maranhão.c) Tiradentes morreu afogado.
d) -1 < -7e) Todo número divisível por 5 termina por 5.g) O produto de dois número ímpares é um número
par.h) O número 11 é primo.
ExercícioQuais das frases a seguir são proposições:a) Curitiba é a capital do Paraná.b) Todos os animais são mamíferos.c) Quero mais café!d) 3 + 4 = 7e) 1 > 2
Exercíciof) 7 – 2g) X > 3h) Ele é médico.i) Ana é fisioterapeuta.j) Você gosta de quiabo?
Proposições compostas e conectivos
Proposições compostas Proposição formada pela combinação de
duas ou mais proposições. Designadas pelas letras latinas
maiúsculas P, Q, R, S. P(p,q)
P: Carlos é careca e Pedro é estudante. Q: Carlos é careca ou Pedro é estudante. R: Se Carlos é careca, então é infeliz.
Conectivos Palavras que se usam para formar novas
proposições a partir de outras.
P: Carlos é careca e Pedro é estudante. Q: Carlos é careca ou Pedro é estudante. R: Se Carlos é careca, então é infeliz. S: Não está chovendo. T: O triângulo ABC é equilátero se e
somente se é equiângulo.
Tabela-Verdade
Tabela Verdade Toda proposição simples p é verdadeira
ou é falsa.
pV
F
p
V
F
Tabela Verdade O valor lógico de qualquer proposição
composta depende unicamente dos valores lógicos das proposições simples componentes, ficando por eles univocamente determinado.
A Tabela-Verdade é um recurso utilizado para determinar todos os possíveis valores lógicos de uma proposição composta, a partir de todas as possíveis atribuições de valores lógicos dados às proposições simples que a compõem.
Tabela Verdade P(p,q)
p q
V V
V F
F V
F F
p
V
F
q
q
V
F
V
F
Tabela Verdade Q(p,q,r)
R(p,q,r,s)
Tabela Verdade http://www.calculadoraonline.com.br/
tabela-verdade
Interruptores
a
a
F
V
a
Operações Lógicas sobre Proposições
Operações lógicas
O raciocínio envolve certas operações sobre proposições: operações lógicas
Estas operações obedecem a regras do cálculo proposicional
Negação (~)
Negação p: O Sol é uma estrela. V(p) = V ~p: O Sol não é uma estrela. V(~p) = F
q: 2+3 = 5. V(q) = V ~q: 2+3 5. V(~q) = F
r: Roma é a capital da França. V(r)=F ~r: Roma não é a capital da França.
V(~r)=V
Negação p: Carlos é mecânico.
~p: Não é verdade que Carlos é mecânico.
Ou ~p: É falso que Carlos é mecânico.
Negação
a
a
Negação Seja p uma proposição. ~p : não p ~p tem o valor lógico oposto ao de p ~V = F, ~F = V V(~p) = ~V(p)
p ~p
V F
F V
Conjunção ()
Conjunção Chama-se conjunção de duas
proposições p e q a proposição representada por “p e q”, cujo valor lógico é a verdade (V) quando as proposições p e q são ambas verdadeiras e falsidade (F) nos demais casos.
p e q p q
Conjunção p: A neve é branca. q: 2 < 5.
p q A neve é branca e 2<5.
Conjunçãoa b
a b
a b
a b
Conjunção V V = V V F = F F V = F F F = F
p q p q
V V V
V F F
F V F
F F F
Conjunção p: A neve é branca. q: 2 < 5.
p q A neve é branca e 2<5. V(p q) = V(p) V(q) = V V = V
Conjunção p: O céu é roxo. q: 7 é um número primo.
p q O céu é roxo e 7 é um número primo. V(p q) = V(p) V(q) = F V = F
Conjunção p: Os elefantes são grandes. q: 5 < 2.
p q Os elefantes são grandes e 5 < 2. V(p q) = V(p) V(q) = V F = F
Conjunção p: 10 < 5. q: 20 > 30.
p q 10 < 5 e 20 > 30. V(p q) = V(p) V(q) = F F = F
Disjunção()
Disjunção Chama-se disjunção de duas
proposições p e q a proposição representada por “p ou q”, cujo valor lógico é a verdade (V) quando ao menos uma das proposições p e q são verdadeiras e falsidade (F) quando ambas as proposições são falsas.
p ou q pq
Disjunção p: A neve é branca. q: 2 < 5.
p q A neve é branca ou 2<5.
Disjunçãoa
b
a
b
a
b
a
b
Disjunção V V = V V F = V F V = V F F = F
p q p q
V V V
V F V
F V V
F F F
Disjunção p: A neve é branca. q: 2 < 5.
p q A neve é branca ou 2<5. V(p q) = V(p) V(q) = V V = V
Disjunção p: O céu é roxo. q: 7 é um número primo.
p q O céu é roxo ou 7 é um número primo. V(p q) = V(p) V(q) = F V = V
Disjunção p: Os elefantes são grandes. q: 5 < 2.
p q Os elefantes são grandes ou 5 < 2. V(p q) = V(p) V(q) = V F = V
Disjunção p: 10 < 5. q: 20 > 30.
p q 10 < 5 ou 20 > 30. V(p q) = V(p) V(q) = F F = V
Disjunção exclusiva (V)
Disjunção exclusiva A palavra ou tem dois sentidos:
P: Carlos é médico ou professor Q: Mario é alagoano ou gaúcho
P: Ou inclusivo, ambas as situações podem acontecer
Q: Ou exclusivo, somente uma das situações pode acontecer
Disjunção exclusiva Chama-se disjunção exclusiva de duas
proposições p e q a proposição representada por “p ou q, mas não ambos”, cujo valor lógico é a verdade (V) somente quando p é verdadeira ou q é verdadeira, mas não quando p e q são ambas verdadeiras. A falsidade (F) é quando p e q são ambas verdadeiras ou ambas falsas.
pq
Disjunção exclusiva p: A neve é branca. q: 2 < 5.
p q A neve é branca ou 2<5, mas não
ambas.
Disjunção exclusiva V V = F V F = V F V = V F F = F
p q p q
V V F
V F V
F V V
F F F
Condicional()
Condicional Chama-se proposição condicional
uma proposição representada por “se p então q”, cujo valor lógico é a falsidade(F) no caso em que p é verdadeira e q é falsa e a verdade (V) nos demais casos.
Se p então q p implica q
pq
Condicionalpq
p é condição suficiente para qq é condição necessária para pp é antecedenteq é consequente
Condicional Se a umidade subir acima de 90% então
choverá em menos de 24 horas.
p: A umidade sobe acima de 90% q: Choverá em menos de 24 horas.
p q p é condição suficiente para q
Condicional Uma condicional p q não afirma que o
consequente se deduz ou é consequência do antecedente p.
Sempre que o antecedente for verdadeiro, o consequente deve ser verdadeiro para que o resultado de toda a proposição seja verdadeira.
Uma condicional afirma unicamente a relação entre os valores lógicos do antecedente e do consequente.
Condicional VV = V VF = F FV = V FF = V
p q pq
V V V
V F F
F V V
F F V
Condicional p: João é engenheiro. q: João sabe matemática.
p q Se João é engenheiro
então sabe matemática.
p q pq
V V V
V F F
F V V
F F V
BiCondicional()
BiCondicional Chama-se proposição bicondicional
uma proposição representada por “p se e somente se q”, cujo valor lógico é a verdade (V) quando p e q são ambas verdadeiras ou ambas falsas, e a falsidade (F) nos demais casos.
p se e somente se q p q
BiCondicionalp q
p é condição necessária e suficiente para q
q é condição necessária e suficiente para p
(p q) (q p)
BiCondicional VV = V VF = F FV = F FF = V
p q pq
V V V
V F F
F V F
F F V
BiCondicional João é careca, se e somente se, João não
tem cabelo. p: João é careca. q: João não tem cabelo. pq: Se João é careca, então João não tem
cabelo e Se João não tem cabelo, então João é
careca.
BiCondicional p: João é careca. q: João não tem cabelo.
pq Se João é careca, então João não tem
cabelo e Se João não tem cabelo, então João é
careca.
p q pq
V V V
V F F
F V F
F F V
Ordem de precedência Negação (~) Conjunção e Disjunção Condicional Bicondicional
Ordem de precedência p q r
(p (q r)) Bicondicional
p ~q q r p (~q) q r ((p (~q)) ( q r )) Condicional