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