Você está na página 1de 43

LGICA MATEMTICA

PROF. DRA. DENISE CANDAL


Aula 2. Proposies Simples e Compostas

Proposies
Definio: Chama-se proposio todo conjunto de palavras ou smbolos que exprimem um pensamento de sentido completo. Exemplo: Todo nmero divisvel por 2 par.

Princpios (ou axiomas) da Lgica Matemtica


PRINCPIO DA NO CONTRADIO: Uma proposio no pode ser verdadeira e falsa ao mesmo tempo.
PRINCPIO DO TERCEIRO EXCLUDO: Toda proposio ou verdadeira ou falsa, isto , verifica-se sempre um destes casos e nunca um terceiro. ( Lgica Bivalente )

Valor Lgico
Definio: Chama-se valor lgico de uma proposio a verdade (V) se a proposio verdeira e a falsidade (F) se a proposio falsa.

Toda proposio tem um, e um s, dos valores V ou F.

Proposio Simples
Definio: Chama-se proposio simples ou atmica aquela que no contm outra proposio como parte de si mesma.
Notao: letras latinas minsculas (p,q,r,s,...) letras proposicionais Exemplo: Maria insuportvel.

Proposio Composta
Definio: Chama-se proposio composta ou molecular aquela formada pela combinao de duas ou mais proposies.
Notao: letras latinas maisculas (P,Q,R,S,...) letras proposicionais Exemplo: Maria insuportvel e Pedro irritante.

Conectivos
Definio: Chamam-se conectivos palavras que so utilizadas para formar novas proposies a partir de outras. Os conectivos: no, e, ou, se...ento, ...se e somente se ...
no ~ e ou Se...ento Se e somente se

Tabela Verdade
Dispositivo usado para determinar o valor lgico de proposies compostas a partir dos valores lgicos das proposies simples que a constituem.

Proposio simples
p

Tabela Verdade
Dispositivo usado para determinar o valor lgico de proposies compostas a partir dos valores lgicos das proposies simples que a constituem.

Proposio simples
p V F

Tabela Verdade
Princpio: O valor lgico de qualquer proposio composta depende unicamente dos valores lgicos das proposies simples componentes, ficando por eles univocamente determinado. p q

Proposio composta

Tabela Verdade
Princpio: O valor lgico de qualquer proposio composta depende unicamente dos valores lgicos das proposies simples componentes, ficando por eles univocamente determinado. p V V F F q V F V F

Proposio composta

Operaes Lgicas
Negao Chama-se negao da proposio p, e representamos por ~p , a proposio que tem o valor lgico oposto de p.
p V F ~p

Operaes Lgicas
Negao Chama-se negao da proposio p, e representamos por ~p , a proposio que tem o valor lgico oposto de p. p V F ~p F V

Conjuno
Chama-se conjuno de duas proposies p e q e representamos por p q a proposio composta que ser verdadeira apenas quando as proposies p e q forem ambas verdadeiras e falsa em todos os demais casos. p V V F q V F V pq

Conjuno
Chama-se conjuno de duas proposies p e q e representamos por p q a proposio composta que ser verdadeira apenas quando as proposies p e q forem ambas verdadeiras e falsa em todos os demais casos. p V V F q V F V pq V F F

Disjuno
Chama-se disjuno de duas proposies p e q a proposio, representada por p ou q, e indicada por p q , que ser falsa somente quando as proposies p e q forem ambas falsas e verdadeira em todas as demais situaes. p V V F F q V F V F pq

Disjuno
Chama-se disjuno de duas proposies p e q a proposio, representada por p ou q, e indicada por p q , que ser falsa somente quando as proposies p e q forem ambas falsas e verdadeira em todas as demais situaes. p V V F F q V F V F pq V V V F

Carmem rica. Carmem feliz.

p q ~p ~q

pq p q

Carmem rica. Carmem feliz. Carmem pobre. Carmem infeliz.

p q ~p ~q

Carmem rica e feliz. Carmem rica ou feliz

pq p q

Carmem rica. Carmem feliz.

p q ~pq p~q

p~q ~p q

Carmem rica. Carmem feliz. Carmem pobre e feliz. Carmem rica ou infeliz.

p q ~pq p~q

Carmem rica e infeliz. Carmem pobre ou feliz.

p~q ~p q

Condicional
Chama-se proposio condicional uma proposio representada por se p ento q , cujo valor lgico a falsidade (F) no caso em que p verdadeira e q falsa e a verdade (V) nos demais casos. p V V F q V F V p q

Condicional
Chama-se proposio condicional uma proposio representada por se p ento q , cujo valor lgico a falsidade (F) no caso em que p verdadeira e q falsa e a verdade (V) nos demais casos. p V V F q V F V p q V F V

Bicondicional
Chama-se proposio bicondicional ou apenas bicondicional uma proposio representada por p se e somente se q, cujo valor lgico a verdade (V) quando p e q so ambas verdadeiras ou ambas falsa , e a falsidade (F) nos demais casos. p V V q V F p q

F
F

V
F

Bicondicional
Chama-se proposio bicondicional ou apenas bicondicional uma proposio representada por p se e somente se q, cujo valor lgico a verdade (V) quando p e q so ambas verdadeiras ou ambas falsa , e a falsidade (F) nos demais casos. p V V q V F p q V F

F
F

V
F

F
V

Carmem rica. Carmem feliz.

p q
pq qp

~pq ~q~p ~p~q

Carmem rica. Carmem feliz.


Se Carmem rica ento ela feliz. Se Carmem feliz ento ela rica.

p q
pq qp

Se Carmem pobre ento ela feliz. Se Carmem infeliz ento ela pobre. Se Carmem pobre ento ela infeliz.

~pq ~q~p ~p~q

Carmem rica. Carmem feliz.

p q
pq ~q~p

Carmem rica. Carmem feliz.

p q
pq ~q~p

Carmem rica se e somente se ela feliz. Carmem infeliz se e somente se ela pobre.

Observao
Ordem de precedncia: ( mais fraco para o mais forte )

Mrio alto. Mrio elegante.


Mario alto e elegante. Mario alto, mas no elegante. No verdade que Mario baixo ou elegante.

p q

Mario no nem alto nem elegante. falso que Mario baixo ou que no elegante.

Mrio alto. Mrio elegante.


Mario alto e elegante. Mario alto, mas no elegante. No verdade que Mario baixo ou elegante.

p q
pq p~q ~(~pq) ~p~q ~(~p~q)

Mario no nem alto nem elegante. falso que Mario baixo ou que no elegante.

Exerccio Valor lgico das proposies


3+2=7 e 5+5=10 5 <0 ou Londres a capital do Brasil. No verdade que 12 um nmero mpar. 3+4=7 se e somente se 53=125 Se 0<1 ento 3 irracional Se 3+2=5 ento 4+4=9 Se Tiradentes morreu afogado ento Fortaleza a capital do Rio.

Exerccio Valor lgico das proposies


3+2=7 e 5+5=10 5 <0 ou Londres a capital do Brasil. No verdade que 12 um nmero mpar. 3+4=7 se e somente se 53=125 Se 0<1 ento 3 irracional Se 3+2=5 ento 4+4=9 Se Tiradentes morreu afogado ento Fortaleza a capital do Rio. F F V V V F V

Exerccio
Sabendo que os valores lgicos das proposies p e q so respectivamente V e F, determinar o valor logico de cada uma das seguintes proposies: p ~q ~p q p~q ~pq

Exerccio
Sabendo que os valores lgicos das proposies p e q so respectivamente V e F, determinar o valor logico de cada uma das seguintes proposies: p ~q ~p q p~q ~pq V V FF V V FF V F V F

Exerccio
Sabendo que os valores lgicos das proposies p e q so respectivamente V e F, determinar o valor logico de cada uma das seguintes proposies: pq qp ~pq ~qp

Exerccio
Sabendo que os valores lgicos das proposies p e q so respectivamente V e F, determinar o valor logico de cada uma das seguintes proposies: pq qp ~pq ~qp VF FV FF VV F V V V

Exerccio
Sabendo que os valores lgicos das proposies p e q so respectivamente V e F, determinar o valor logico de cada uma das seguintes proposies: pq ~p~q ~pq ~qp

Exerccio
Sabendo que os valores lgicos das proposies p e q so respectivamente V e F, determinar o valor logico de cada uma das seguintes proposies: pq ~p~q ~pq ~qp VF FV FF VV F F V V

Exerccio
Determinar V(p) V(p)

V(q)=F V(q)=F V(q)=F V(q)=F V(q)=V V(q)=F

V(pq)=F V(pq)=F V(pq)=F V(pq)=V V(pq)=F V(pq)=V

Exerccio
Determinar V(p) V(p) V ou F F V no F F

V(q)=F V(q)=F V(q)=F V(q)=F V(q)=V V(q)=F

V(pq)=F V(pq)=F V(pq)=F V(pq)=V V(pq)=F V(pq)=V