Sie sind auf Seite 1von 17

CAPTULO 3 NOES DE LGICA MATEMTICA

3.1 - PROPOSIES e CONECTIVOS


Definio: Uma proposio todo conjunto de palavras ou smbolos que tem sentido completo. importante observar que quando se trata de uma orao, ela deve ter um sujeito e um predicado, ou deve ser declarativa. Definio: Chama-se valor lgico de uma proposio de verdade, denotado por V, se a proposio verdadeira; e este valor ser uma falsidade, denotado por F, se a proposio em questo for falsa. Exemplos de proposies: a) O Brasil um pas latino americano. b) O Sol gira em torno da Terra. c) 7 3 IN d) Os itens a) e c) so verdadeiros, enquanto b) e d) so falsos. A Lgica Matemtica tem dois axiomas como regras. So eles: I) II) Princpio da no contradio: uma proposio no pode ser verdadeira e falsa simultaneamente. Princpio do terceiro excludo: uma proposio ou verdadeira ou falsa, no existindo uma terceira opo.

De acordo com estes dois axiomas, pode-se afirmar que toda proposio admite um e somente um dos valores lgicos V ou F. As proposies podem ser classificadas como simples e compostas. Definio: Uma proposio dita simples se no h outra proposio na sua formao, isto , no existe outra proposio como parte integrante de si mesma. Ela ser denotada por letras minsculas: p, q, r,... Exemplos: p: Andr usa culos. q: Maria estudante. r: O nmero 27 um cubo perfeito. Definio: Uma proposio dita composta quando ela formada pela combinao de mais de uma proposio simples. Ela denotada por letras maisculas: P, Q, R,... Exemplos: P: Andr usa culos e Maria estudante. Q: O nmero 27 um cubo perfeito ou Andr usa culos. OBS: As proposies compostas tambm podem ser denotadas por P(p,q,r,...), isto ocorre quando queremos dizer por quais proposies simples a proposio composta formada.
Notas de Aula Matemtica Discreta Fatec Tatuap Prof. Fbio Secches Bueno e Prof. Flvio Luiz de Moraes Barboza

O valor lgico de uma proposio simples p ser indicado por V(p). Logo, se p for verdade, ento V(p) = V, e se for uma falsidade, V(p) = F. Por exemplo: 1 p: 4 5 q: 4.2 6 Neste caso, considerando-se as proposies anteriores p e q, tem-se: V(p) = V e V(q) = F.

OBS: Se o caso considerado for uma proposio composta P, ser denotado por V(P). Definio: Conectivos so palavras utilizadas na construo de novas proposies (compostas) a partir de outras proposies (simples) j existentes. Os conectivos mais usuais so: e, ou, no, se...ento(implica) e se e somente se. A seguir tm-se alguns exemplos: P: A lua amarela e o sol verde. Q: 4 5 9 ou 4 5 . R: No est nublado. S: Se x 1 0 , ento x 1 . T: Um retngulo ABCD um quadrado se e somente se tem todos os lados iguais.

3.2 - TABELAS-VERDADES
Toda proposio simples p tem apenas dois valores lgicos: ou verdadeira (V(p) = V) ou falsa (V(p) = F), isto segundo o Princpio do Terceiro Excludo. Ou seja, p V F Para encontrar o valor lgico de uma proposio composta deve-se notar que esta proposio depende unicamente dos valores lgicos das proposies simples componentes, ficando por eles univocamente determinado. Para aplicar este princpio na prtica utiliza-se um princpio denominado tabela-verdade, no qual se encontram todos os possveis valores lgicos da proposio composta em questo. Na construo destas tabelas, utilizaremos o diagrama da rvore. Nas tabelas-verdade, o nmero linhas da proposio composta determinado pela quantidade de proposies simples componentes. Por exemplo:

Notas de Aula Matemtica Discreta Fatec Tatuap Prof. Fbio Secches Bueno e Prof. Flvio Luiz de Moraes Barboza

a) P(p,q) p V V F F q V F V F

b) Q(p,q,r) p V V V V F F F F q V V F F V V F F r V F V F V F V F

1 2 3 4

1 2 3 4 5 6 7 8

Deste modo pode-se enunciar o seguinte teorema. Teorema: O nmero de linhas de uma tabela-verdade dado por 2 n , onde n o nmero de proposies simples componentes. Neste caso, por exemplo, se uma proposio composta formada por trs proposies simples, ento ela ter 2 3 8 linhas.

3.3 - OPERAES LGICAS SOBRE PROPOSIES 3.3.1 NEGAO


Definio: A negao de uma proposio p, chamada de no p e denotada por ~p (ou p) tem sempre o valor lgico oposto ao da proposio original, isto , se V(p) = F, ento V(~p) = V e se V(p) = V, ento V(~p) = F. A tabela-verdade da negao dada por: p ~p V F F V OBS: Alm de da palavra no, pode-se utilizar tambm: falso que ou no verdade que para expressar uma negao. Exemplos: 1) p : O cu verde. ~p : Neste caso, temos V(p) = F e V(~p) = V. 2) q: Braslia capital do Peru. ~q: Neste caso, temos V(q) = F e V(~q) = V. 3) r: Joo estudante. ~r:
Notas de Aula Matemtica Discreta Fatec Tatuap Prof. Fbio Secches Bueno e Prof. Flvio Luiz de Moraes Barboza

3.3.2 CONJUNO
Definio: Conjuno de duas proposies p e q , chamada p e q , e denotada por p q (ou p.q ) uma proposio composta cujo valor lgico a verdade (V) se p verdade e q tambm verdade, e a falsidade (F) nos demais casos. A tabela-verdade da negao dada por: P V V F F Exemplos: 1) p: 2 1 . (V) q: 3 5 . (V) q: p: O sol azul. (F) q: ( 2) 2 2 2 . (V) q: q V F V F

p
V F F F

p
2)

3.3.3 DISJUNO INCLUSIVA


Definio: Disjuno inclusiva de duas proposies p e q, chamada p ou q, e denotada por p q (ou p q ) uma proposio composta cujo valor lgico a verdade (V) se p verdade ou q verdade, e a falsidade (F) nos demais casos, ou seja, s verdadeira se pelo menos uma das proposies for verdadeira. A tabela-verdade da disjuno inclusiva dada por: p V V F F Exemplos: 1) p: 1 2 . (V) q: 3 3 . (F) q: p: O sol azul. (F) q: Paris a capital da Inglaterra. (F) q: 4 q V F V F

p q V V V F

p
2)

Notas de Aula Matemtica Discreta Fatec Tatuap Prof. Fbio Secches Bueno e Prof. Flvio Luiz de Moraes Barboza

3.3.4 DISJUNO EXCLUSIVA


Definio: Disjuno exclusiva de duas proposies p e q, chamada tambm de p ou q, e denotada por p q (ou p q ) uma proposio composta cujo valor lgico a verdade (V) se p verdade ou q verdade, mas no quando ambas p e q so verdadeiras ao mesmo tempo, e a falsidade (F) quando ambas so verdadeiras ou ambas so falsas. Por exemplo, uma proposio exclusiva quando temos: p: Carlos paulista. (V) q: Carlos carioca. (V) p q: Neste caso vemos que duas proposies no podem ser verdadeiras, pois resultam em uma proposio falsa. A tabela-verdade da disjuno exclusiva dada por: p V V F F q V F V F

p q F V V F

3.3.5 CONDICIONAL
Definio: Proposio condicional ou simplesmente condicional de duas proposies p e q, chamada se p ento q, e denotada por p q uma proposio composta cujo valor lgico a falsidade (F) somente quando p verdade (V) e q uma falsidade (F), nos demais casos, temos sempre verdade (V). A tabela-verdade da condicional dada por: p V V F F Exemplos: 1) p: um nmero irracional. (V) q: 3 0 . (V) q: p: O cu azul. (V) q: Paris a capital da Inglaterra. (F) q: q V F V F

p
V F V V

p
2)

Notas de Aula Matemtica Discreta Fatec Tatuap Prof. Fbio Secches Bueno e Prof. Flvio Luiz de Moraes Barboza

3.3.6 BICONDICIONAL
Definio: Proposio bicondicional ou simplesmente bicondicional de duas proposies p e q, chamada p se e somente se q, e denotada por p q uma proposio composta cujo valor lgico a falsidade (F) quando p verdade (V) e q uma falsidade (F), ou vice-versa, e uma verdade (V) quando ambos os valores lgicos so iguais, isto , quando p verdadeira e q verdadeira ou quando p uma falsidade e q uma falsidade. A tabela-verdade da bicondicional dada por: p V V F F q V F V F

p
V F F V

Exemplos: 1) p: q: q: um nmero irracional. (V) 3 . (F)

p
2)

p: O cu verde. (F) q: Paris a capital da Inglaterra. (F) q :

OBS: Uma bicondicional ( p

q ) tambm pode ser lida da seguinte forma:

i) p condio necessria e suficiente para q ii) q condio necessria e suficiente para p

3.3.7 USO DE PARNTESES


O uso de parntese na simbologia das proposies compostas necessrio para que no haja ambigidade. Como exemplo, tem-se a proposio: p q r . Com o uso de parnteses, tm-se duas outras proposies diferentes: (i) ( p
q) r

(ii) p

(q

r)

que no tm o mesmo significado, pois em (i), o conectivo principal (disjuno), e na (ii), o conectivo principal (conjuno). Por outro lado, em muitos casos, os parnteses podem ser suprimidos, a fim de simplificar as proposies simbolizadas, desde que, no se tenha ambigidades.
Notas de Aula Matemtica Discreta Fatec Tatuap Prof. Fbio Secches Bueno e Prof. Flvio Luiz de Moraes Barboza

Para suprimir os parnteses faz-se necessrio ter-se em mente algumas convenes: I) A ordem de procedncia para os conectivos : (1) ~ (2) ou (3) (4)

II) Quando um mesmo conectivo aparece sucessivamente repetido, suprimem-se os parnteses, fazendo-se associaes da esquerda para a direita.

EXERCCIOS
(1) Sejam as proposies p: Est frio e q: Est chovendo. Traduzir para a linguagem corrente a) ~ p b) p q c) p q d) q e) p ~ q p f) p ~ q g) ~ p ~ q h) p ~ q i) p ~ q p (2) Sejam as proposies p: Jorge rico e q: Carlos feliz. Traduzir para a linguagem corrente: a) q b) p ~ q c) q ~ p d) ~ p q e) ~~ p f) ~ p q p p (3) Sejam as proposies p: Marcos alto e q: Marcos elegante. Traduzir para a linguagem simblica as seguintes proposies: a) Marcos alto e elegante. b) Marcos alto, mas no elegante. c) No verdade que Marcos baixo ou elegante. d) Marcos no nem alto e nem elegante. e) Marcos alto ou baixo e elegante. f) falso que Marcos baixo ou que no elegante. (4) Sejam as proposies p: Suely rica e q: Suely feliz. Traduzir para a linguagem simblica as seguintes proposies: a) Suely pobre, mas feliz. b) Suely rica ou infeliz. c) Suely pobre e infeliz. d) Suely pobre ou rica, mas infeliz. (5) Determinar o valor lgico (V ou F) de cada uma das seguintes proposies. a) 5 3 8 e 7 3 10 b) 0 1 e 7 irracional c) 5 0 ou Londres a capital da Esccia d) 4 2 ou sen 30 1 e) Se 3 2 , ento | 4 | 2 f) Se 5 2 3 , ento Paris a capital da Frana g) 3 2 4 2 5 2 se e somente se racional 4 1 i se e somente se h)

Notas de Aula Matemtica Discreta Fatec Tatuap Prof. Fbio Secches Bueno e Prof. Flvio Luiz de Moraes Barboza

3.4 CONSTRUO DE TABELAS-VERDADE 3.4.1 TABELA-VERDADE DE UMA PROPOSIO COMPOSTA


Para se construir a tabela-verdade de uma proposio composta dada, faz-se o seguinte: I) II) III) Determina-se o nmero de linhas da tabela-verdade que se quer construir; Determina-se a forma das proposies que ocorrem no problema; Aplicam-se as definies das operaes lgicas que o problema exige.

Exemplo 1: Construir a tabela-verdade da proposio P ( p, q ) ~ ( p ~ q ) .

Exemplo 2: Construir a tabela-verdade da proposio P ( p, q ) ~ ( p q ) ~ ( q

p) .

Exemplo 3: Construir a tabela-verdade da proposio P ( p, q, r ) p ~ r

q ~ r.

Exemplo 4: Construir a tabela-verdade da proposio P ( p, q, r ) ( p q) (q

r)

(p

r ).

Notas de Aula Matemtica Discreta Fatec Tatuap Prof. Fbio Secches Bueno e Prof. Flvio Luiz de Moraes Barboza

Exemplo 5: Construir a tabela-verdade da proposio P ( p, q, r ) ( p (~ q r )) ~ (q

(p

~ r )) .

Exemplo 6: Construir a tabela-verdade da proposio P ( p, q ) ( p q ) ~ ( p

q) .

3.4.2 VALOR LGICO DE UMA PROPOSIO COMPOSTA


Dada uma proposio composta P(p,q,r,...), pode-se sempre determinar o seu valor lgico (V ou F) quando so dados ou conhecidos os valores lgicos das respectivas proposies compostas p, q, r,... Exemplo 7: Sabendo-se que os valores lgicos das proposies p e q so respectivamente V e F, determinar o valor lgico da proposio.
P ( p, q ) ~ ( p q) ~ p ~q

Soluo:
V ( P) ~ (V F) ~V ~ F ~V F V F F V

3.4.3 TAUTOLOGIA, CONTRADIO e CONTINGNCIA


Definio: Chama-se Tautologia toda proposio composta cuja ltima coluna de sua tabela-verdade for composta somente por verdades (V). O exemplo 4, visto anteriormente, um caso de tautologia. Definio: Chama-se Contradio toda proposio composta cuja ltima coluna de sua tabela-verdade composta apenas por falsidades (F). O exemplo 6, visto anteriormente, um caso de contradio. Definio: Chama-se Contingncia toda proposio composta cuja ltima coluna de sua tabelaverdade composta por verdades (V) e falsidades (F), contendo ao menos uma de cada.
Notas de Aula Matemtica Discreta Fatec Tatuap Prof. Fbio Secches Bueno e Prof. Flvio Luiz de Moraes Barboza

Os exemplos 1, 2, 3 e 5, vistos anteriormente, so exemplos de contingncia.

EXERCCIOS
(1) Construir as tabelas-verdade das proposies abaixo e classific-las em Tautologias, contradies ou contingncias. a) R ( p, q ) ~ ( p ~ q ) b) S ( p, q ) ~ ( p ~ q ) p q c) T ( p, q) p q d) U ( p, q) ( p ~ q) ~ p q q ~r r q ~r e) P ( p, q, r ) ~ p r f) Q( p, q, r ) p (2) Construir as tabelas-verdade das proposies abaixo e classific-las em Tautologias, contradies ou contingncias. q) q) ( p r q r) a) P( p, q) ~ ( p q) ( p b) Q( p, q, r ) ( p q) p c) R( p, q) (( p q) d) S ( p, q ) p ~ q ( p ~ q ) q r) e) T ( p, q) ~ p ( p ~ q ) f) U ( p, q, r ) p q ( p (3) Sabendo-se que os valores lgicos das proposies p, q e r so respectivamente V, F e F, determine o valor lgico (V ou F) de cada uma das seguintes proposies: p q) ( p r) a) P( p, q, r ) ( p (( p r ) q) b) Q( p, q, r ) ( p ~ q) r) ( p (q r )) c) S ( p, q, r ) ( p q

3.5 IMPLICAO LGICA


Definio: Uma proposio P ( p, q,...) implica logicamente uma proposio Q ( p, q,...) , se Q ( p, q,...) verdadeira (V) todas as vezes que P ( p, q,...) verdadeira (V). Notao: P( p, q,...)
Q ( p, q,...)

OBS: Toda proposio implica uma tautologia e somente uma contradio implica uma contradio. Propriedades: (1) Reflexiva: Q ( p, q,...) (2) Transitiva: Se P( p, q,...)
Q ( p, q,...) Q ( p, q,...) e Q ( p, q,...) R ( p, q,...) , ento P( p, q,...) R ( p, q,...)

Exemplo (1) As tabelas-verdade das proposies p

q, p q e p p q

q so:

p V V F F

q V F V F

p q

Notas de Aula Matemtica Discreta Fatec Tatuap Prof. Fbio Secches Bueno e Prof. Flvio Luiz de Moraes Barboza

10

A proposio p q verdadeira somente na primeira linha e, nesta linha, as proposies p p q tambm so verdadeiras. Logo,
p q p q

q e

Esta tabelas-verdades tambm mostra as regras de inferncia: (i) p (ii) p


p q q p

e e

q p

p q

q (Adio) q (Simplificao)

Exemplo (2) As tabelas-verdade das proposies p

q, p p q q

q eq p

p so:

p V V F F

q V F V F

A proposio p q verdadeira nas linhas 1 e 4 e, nestas linhas, as proposies p q p tambm so verdadeiras. Logo,
p q p q

q e

Exemplo (3) Mostrar a Regra do Silogismo disjuntivo, isto , mostrar que a proposio ( p q) ~ p implica logicamente a proposio q. A tabela-verdade da proposio ( p
q) ~ p dada por:

p
V V F F

q
V F V F

~p

(p

q) ~ p

E como a proposio ( p q) ~ p verdadeira na linha 3 e, neta linha a proposio q tambm verdadeira, prova-se o resultado, isto :
(p q) ~ p q

Tem-se ainda outra regra de inferncia desta forma dada por:


(p q) ~ q p
Q ( p, q,...) uma

Teorema: P( p, q,...) tautologia.

Q ( p, q,...)

se e somente se a condicional P( p, q,...)

Notas de Aula Matemtica Discreta Fatec Tatuap Prof. Fbio Secches Bueno e Prof. Flvio Luiz de Moraes Barboza

11

OBS: Os smbolos segundo de relao.

so diferentes, pois o primeiro de uma operao lgica enquanto o


r ) uma tautologia, como vimos. Neste

Exemplo (4) A condicional ( p caso, tem-se a implicao lgica:

q)

(q

r)

(p

(p

q)

(q

r)

(p

r)

Que denominada Regra do Silogismo hipottico. Exemplo (5) Mostrar a implicao lgica ( p utilizando o Teorema. Exemplo (6) Mostrar a implicao lgica ( p utilizando o Teorema.
q) p q denominada Regra de Modus ponens,

q) ~ q

~ p denominada Regra de Modus tollens,

Exemplo (7) Mostrar que ( p

q)

p implica logicamente q, utilizando o Teorema.

EXERCCIOS
(1) Mostrar que a proposio p implica a proposio q em cada um dos seguintes casos: 3 ; q : tg 45 1 a) p :
3 b) p : sen30 1; q : 2 c) p : ABCD um losango; q : ABCD um paralelogramo d) p : ABC um tringulo; q : A soma dos ngulos internos A, B e C igual a 180 graus.

(2) Mostrar: p q a) q p q b) q

(3) Mostrar que p

~ q no implica p

(4) Mostrar que: a) p no implica p q b) p q no implica p. (5) Mostrar: x y. a) ( x y x 4) x 4 x y) x y x 0. b) ( x 0


Notas de Aula Matemtica Discreta Fatec Tatuap Prof. Fbio Secches Bueno e Prof. Flvio Luiz de Moraes Barboza

12

3.6 EQUIVALNCIA LGICA


Definio: Uma proposio P ( p, q,...) logicamente equivalente a uma proposio Q ( p, q,...) , se as tabelas-verdade de P ( p, q,...) e Q ( p, q,...) so iguais. Notao: P( p, q,...)
Q ( p, q,...)

OBS: Se as proposies P ( p, q,...) e Q ( p, q,...) so ambas tautologias ou contradies, ento elas so equivalentes.

Propriedades: (1) Reflexiva: P( p, q,...) (2) Simtrica: Se P( p, q,...) (3) Transitiva: Se P( p, q,...)
P ( p, q,...) Q ( p, q,...) , ento Q( p, q,...) Q ( p, q,...) e Q( p, q,...) P ( p, q,...) R ( p, q,...)

R ( p, q,...) , ento P( p, q,...)

Exemplo (1) As proposies ~~ p e p so equivalentes, isto , ~~ p p . Esta equivalncia denominada Regra da Dupla Negao, e podemos verificar tal fato na tabela-verdade a seguir:

p V F

~p

~~ p

A primeira e a ltima coluna so iguais, por isso podemos afirmar que se trata de uma equivalncia lgica.
p p . Esta Exemplo (2) As proposies ~ p p e p so equivalentes, isto , ~ p equivalncia denominada Regra de CLAVIUS, e podemos notar tal fato na tabela-verdade a seguir:

p V F

~p

~p

A primeira e a ltima coluna so iguais, por isso podemos afirmar que se trata de uma equivalncia lgica. Exemplo (3) As proposies p p q e p q so equivalentes, isto , p isto, pois suas tabelas-verdades so iguais. a chamada Regra de Absoro.

q,

p V V F F

q V F V F

p q

Notas de Aula Matemtica Discreta Fatec Tatuap Prof. Fbio Secches Bueno e Prof. Flvio Luiz de Moraes Barboza

13

Exemplo (4) A condicional p q e a disjuno ~ p q tem tabelas-verdade iguais, logo temos uma equivalncia lgica, isto , p q ~ p q . Veja as tabelas:

p V V F F

q V F V F

~p

~p q

Exemplo (5) A bicondicional p q e a disjuno ( p q) (~ p ~ q) tem tabelas-verdade q ( p q ) ~ (~ p ~ q ) . Veja as tabelas: iguais, logo temos uma equivalncia lgica, isto , p

p
V V F F

q
V F V F

p
V F F V

q V F F F

~p
F F V V

~q
F V F V

~ p ~q
F F F V

(p

q)

(~ p ~ q) V F F V

Teorema: P( p, q,...) tautologia. OBS: Os smbolos segundo de relao.

Q ( p, q,...) se e somente se a bicondicional P ( p, q,...)

Q ( p, q,...) uma

so diferentes, pois o primeiro de uma operao lgica enquanto o

r) (p (q r )) uma tautologia. Portanto, podemos Exemplo (6) A bicondicional ( p q dizer que as condicionais p q r e p (q r ) so equivalentes, isto , p q r p (q r) Esta equivalncia lgica denominada Regra de Exportao-ImportaoVeja a tabela-verdade:

Exemplo (7) As proposies x 1 x 3 e ~ ( x 3 x 1) no so equivalentes, pois a bicondicional x 1 x 3 ~ ( x 3 x 1) no uma tautologia, como podemos ver na tabela-verdade a seguir:

Notas de Aula Matemtica Discreta Fatec Tatuap Prof. Fbio Secches Bueno e Prof. Flvio Luiz de Moraes Barboza

14

3.6.1 PROPOSIES ASSOCIADAS A UMA CONDICIONAL


Definio: Dada uma condicional p q , chamam-se proposies associadas a p seguintes proposies condicionais: i) Proposio recproca de p q : q p ii) Proposio contrria de p q : ~ p ~ q iii) Proposio contra-positiva de p q : ~ q ~ p As tabelas-verdade destas quarto proposies so:

q as trs

~p

~q

~q

~p

V V V F F V F F Das tabelas-verdade podemos tirar duas importantes equivalncias lgicas. Como as tabelas-vedade das proposies p q e ~ q ~ p so iguais, elas so equivalentes, isto ,
p q ~q ~ p

Temos tambm que as tabelas-vedade das proposies q equivalentes, isto ,


q p ~ p ~q

p e ~ p

~ q so iguais, elas so

Exemplo (8) Considere a proposio condicional relativa a um tringulo:

p
Sua recproca :

q : Se T eqiltero, ento T issceles.

q
A proposio p

p: p falsa (F).

q verdadeira (V), no entanto, a proposio q

Exemplo (9) Considere a proposio condicional:

p
A contra-positiva :

q : Se Carlos professor, ento pobre.

~q

~ p:

Exemplo (10) Determinar a contra-positiva da condicional: Se x menor que zero, ento x no positivo. Soluo: Seja p : x menor que zero e q : x positivo. Assim, a condicional dada por: p ~ q . Portanto, sua contra-positiva

Notas de Aula Matemtica Discreta Fatec Tatuap Prof. Fbio Secches Bueno e Prof. Flvio Luiz de Moraes Barboza

15

Logo, em linguagem corrente, temos: Se x positivo, ento x no menor que zero.

Exemplo (11) Demonstrar a proposio condicional,

p
Soluo:

q : Se x 2 impar, ento x impar.

O que mostra que x 2 par. Portanto, sua contra-positiva verdadeira e concluindo que a condicional p q tambm verdadeira.

EXERCCIOS
1) Mostrar que as proposies p eq so equivalentes em cada um dos seguintes casos: a) p : sen 0 1 e q : cos 0 0 4 b) p : 20 1 e q : c) p: O tringulo ABC retngulo e q : a 2 d) p : x par e q : x 1 mpar, ( x Z ) e) p : 1 3 4 e q : (1 3) 2 16

b2

c2

2) Demonstrar por tabelas-verdade as seguintes equivalncias: p ~r ~q a) ( p q) r p b) p ( p q ) p q p q c) q p q r d) ( p q ) ( p r ) 3) Demonstrar que o conectivo " " (ou exclusivo) uma equivalncia lgica do seguinte modo: p q ( p q) ~ ( p q) 4) Exprimir a bi-condicional em funo dos trs conectivos, isto , mostrar se as equivalncias lgicas abaixo so verdadeiras: q (p q) (q p) a) p q ~ p q b) p q ~q p c) p 5) Determinar a) A contra-positiva da contra-positiva de p b) A contra-positiva da recproca de p q c) A contra-positiva da contrria de p q

Notas de Aula Matemtica Discreta Fatec Tatuap Prof. Fbio Secches Bueno e Prof. Flvio Luiz de Moraes Barboza

16

6) Determinar a) A contra-positiva de p ~ q b) A contra-positiva de ~ p q c) A contra-positiva da recproca de p ~ q d) A recproca da contra-positiva de ~ p ~ q

BIBLIOGRAFIA
[1] ALENCAR FILHO, EDGARD. Iniciao Lgica Matemtica So Paulo, Editora Nobel, 2002. [2] IEZZI, G.; MURAKAMI, C. Fundamentos de Matemtica Elementar, volume 1,2 e 3 So Paulo, Atual Editora, 1993. [3] SWOKOWSKI, Earl William. Clculo com Geometria Analtica, volume I Rio de Janeiro, Makron Books do Brasil Editora Ltda, 1994. [4] MELLO, JOS LUIZ PASTORE (coordenao tcnica). Matemtica, volume nico: construo e significado, 1 edio So Paulo, Editora Moderna, 2005. [5] BOULOS, P. Clculo diferencial e integral, volume 1 So Paulo: Makron Books, 1999. [6] IEZZI, G...[ET AL.] Matemtica: cincia e aplicaes, 2 srie: ensino mdio, matemtica, 2 edio So Paulo, Editora Atual, 2004 (Coleo matemtica: cincia e aplicaes).

Notas de Aula Matemtica Discreta Fatec Tatuap Prof. Fbio Secches Bueno e Prof. Flvio Luiz de Moraes Barboza

17