FACULDADE DE TECNOLOGIA

DE SO CAETANO DO SUL

Matemtica Discreta
Curso: Jogos Digitais / Segurana da Informao

Lgica
1. CONCEITO

DE

Proposicional

PROPOSIO

Chama-se proposio todo conjunto de palavras ou smbolos que exprimem um

pensamento completo.
As proposies transmitem pensamentos, ou seja, afirmam fatos ou exprimem juzos
que formamos a respeito de determinados entes.
A Lgica Proposicional adota como regras fundamentais do pensamento os seguintes
princpios ou axiomas:
(i) Princpio da No Contradio: Uma proposio no pode ser verdadeira e falsa ao
mesmo tempo.
(ii) Princpio do Terceiro Excludo: Toda proposio ou verdadeira ou falsa, isto ,
verifica-se sempre um desses casos e nunca um terceiro.
1.1 Proposies Simples e Proposies Compostas
As proposies podem ser classificadas em simples ou atmicas e compostas ou
moleculares.
Definio 1 Chama-se proposio simples aquela que no contm nenhuma outra
proposio como parte integrante de si mesma.
As proposies simples so geralmente designadas pelas letras latinas minsculas p, q,
r, s, ... , chamadas letras proposicionais.
Definio 2 Chama-se proposio composta aquela formada pela combinao de
duas ou mais proposies.
As proposies compostas so geralmente designadas pelas letras latinas maisculas P,
Q, R, S, ... , tambm chamadas letras proposicionais.
Quando interessa destacar que uma proposio composta P formada pela
combinao das proposies simples p, q, r, ... , escreve-se: P(p, q, r, ...).
1.2 Valores Lgicos das Proposies
Chama-se valor lgico de uma proposio a verdade (V) se a proposio verdadeira e
a falsidade (F) se a proposio falsa.
Assim, pode-se interpretar os dois princpios da Lgica Matemtica como afirmando
que: Toda proposio tem um, e um s, dos valores V ou F.
Matemtica Discreta

-1-

Prof. Ricardo Ronald Eberson

2. TABELAS VERDADE
Quando lidamos com proposies compostas, a determinao do seu valor lgico,
conhecidos os valores lgicos de suas proposies simples componentes, se faz com base no
seguinte princpio:
O valor lgico de qualquer proposio composta depende unicamente dos valores
lgicos das proposies simples componentes, ficando por eles univocamente
determinado.
Admitindo-se este princpio, para aplic-lo na prtica para a determinao do valor
lgico de uma proposio composta dada, recorre-se a um dispositivo denominado tabelaverdade, na qual figuram todos os possveis valores lgicos da proposio composta
correspondente a todas as possveis atribuies de valores lgicos s proposies simples
componentes.
Assim, no caso de uma proposio composta cujas proposies simples componentes
so p e q, as nicas possveis atribuies de valores lgicos so:

1
2
3
4

p
V
V
F
F

q
V
F
V
F

Observe que os valores lgicos V e F se alternam de dois em dois para a primeira

proposio p e de um em um para a segunda proposio q formando arranjos binrios com
repetio dos dois elementos V e F. Dessa forma, a partir da Anlise Combinatria, pode-se
chegar a concluso de que a tabela-verdade de uma proposio composta com n
proposies simples ir conter 2n linhas.
3. CONECTIVOS

OU

OPERADORES LGICOS

Chamam-se conectivos palavras que se usam para formar novas proposies a partir
de outras.
So considerados conectivos usuais em lgica matemtica as palavras: no, e,
ou, se ... ento ..., ... se e somente se ....
3.1 Negao ( )
Chama-se negao de uma proposio p a proposio representada por no p, cujo
valor lgico a verdade (V) quando p falsa e a falsidade (F) quando p verdadeira.
Simbolicamente, a negao de p indica-se com a notao p, que se l: no p.

Assim, no p tem o valor lgico oposto daquele de p,

fazendo com que o valor lgico da negao de uma proposio
seja assim definido:
Matemtica Discreta

-2-

p
V
F

p
F
V

Prof. Ricardo Ronald Eberson

3.2 Conjuno ( )
Chama-se conjuno de duas proposies p e q a proposio representada por p e q,
cujo valor lgico a verdade (V) quando as proposies p e q so ambas verdadeiras e a
falsidade (F) nos demais casos.
Simbolicamente, a conjuno de duas proposies p e q indica-se com a notao
p q, que se l: p e q.
Assim, a conjuno verdadeira somente quando ambas as
proposies so verdadeiras, fazendo com que o valor lgico da
conjuno de duas proposies seja assim definido:

p
V
V
F
F

q
V
F
V
F

pq
V
F
F
F

3.3 Disjuno ( )
Chama-se disjuno de duas proposies p e q a proposio representada por p ou q,
cujo valor lgico a verdade (V) quando ao menos uma das proposies p e q verdadeira e
a falsidade (F) quando as proposies p e q so ambas falsas.
Simbolicamente, a disjuno de duas proposies p e q indica-se com a notao
p q, que se l: p ou q.
Assim, a disjuno falsa somente quando ambas as
proposies so falsas, fazendo com que o valor lgico da
disjuno de duas proposies seja assim definido:

p
V
V
F
F

q
V
F
V
F

pq
V
V
V
F

3.4 Disjuno Exclusiva ( )

Chama-se disjuno exclusiva de duas proposies p e q a proposio representada
por ou p ou q, cujo valor lgico a verdade (V) quando p ou q so verdadeiras, mas no
ambas simultaneamente e a falsidade (F) quando as proposies p e q so ambas
verdadeiras ou ambas falsas.
Simbolicamente, a disjuno de duas proposies p e q indica-se com a notao
p q, que se l: ou p ou q ou ainda p ou q, mas no ambos.
Assim, a disjuno exclusiva falsa somente quando as
proposies so ambas verdadeiras ou ambas falsas, fazendo
com que o valor lgico da disjuno exclusiva de duas proposies
seja assim definido:

Matemtica Discreta

-3-

p
V
V
F
F

q
V
F
V
F

pq
F
V
V
F

Prof. Ricardo Ronald Eberson

3.5 Condicional ( )
Chama-se proposio condicional uma proposio composta representada por se p,
ento q, cujo valor lgico a falsidade (F) quando p verdadeira e q falsa e a verdade (V)
nos demais casos.
Simbolicamente, a condicional de duas proposies p e q indica-se com a notao
p q, que tambm pode ser lida de uma das seguintes maneiras:
(i)
p condio suficiente para q.
q condio necessria para p.
(ii)
Na condicional p q, diz-se que p o antecedente e q o
conseqente e o smbolo chamado smbolo de implicao.
Vale ressaltar que a condicional p q no afirma que o
conseqente q se deduz ou uma conseqncia do antecedente
p, ou seja, o que uma condicional afirma unicamente uma
relao entre os valores lgicos do antecedente e do conseqente
de acordo com a tabela-verdade ao lado:

p
V
V
F
F

q
V
F
V
F

pq
V
F
V
V

Vamos analisar as quatro possibilidades contidas na tabela acima:

O raciocnio a seguir, ser a base da nossa anlise: Se dada uma proposio p
possvel fazer-se um raciocnio vlido que nos conduza a outra proposio q.
1) V V = V: somente atravs de um raciocnio vlido (implicao verdadeira)
possvel partir de uma proposio verdadeira para outra tambm verdadeira. Logo, p q
verdadeira.
2) V F = F: no existe raciocnio vlido capaz de, partindo-se de uma proposio
verdadeira chegar-se a uma proposio falsa. Logo, neste caso, p q falsa.
3) F V = V: possvel partir de uma proposio falsa e chegar-se, atravs de um
raciocnio vlido, a uma proposio verdadeira. Isto um pouco difcil de entender, mas
acompanhe o exemplo abaixo:
Sejam as proposies:

p: 10 = 5 (valor lgico F)
q: 15 = 15 (valor lgico V)
p q: Se 10 = 5, ento 15 = 15 (valor lgico V)

Demonstrao:
Atravs de um raciocnio vlido, vamos mostrar que possvel a partir de p (falsa),
chegar a q (verdadeira).
Com efeito, se 10 = 5, ento podemos dizer que 5 = 10. Somando membro a membro
estas igualdades vem: 10+5 = 5+10 e portanto 15 = 15. Portanto a partir de p FALSA foi
possvel, atravs de um raciocnio vlido chegar-se a q VERDADEIRA.
Logo, p q verdadeira.

Matemtica Discreta

-4-

Prof. Ricardo Ronald Eberson

4) F F = V: possvel partir de uma proposio falsa e chegar-se, atravs de um

raciocnio vlido, a uma proposio tambm falsa.
Por exemplo:
Sejam as proposies

p: 10 = 5 (valor lgico F)
q: 19 = 9 (valor lgico F)
p q: Se 10 = 5, ento 19 = 9 (valor lgico V)

Demonstrao:
Atravs de um raciocnio vlido, vamos mostrar que possvel a partir de p FALSA,
chegarmos a q tambm FALSA.
Com efeito, se 10 = 5, ento, subtraindo uma unidade em cada membro, obteremos
9 = 4. Somando agora membro a membro estas duas igualdades, obtemos 10+9 = 5+4 e
portanto 19 = 9, que a proposio q dada.
Logo, p q verdadeira.

3.6 Bicondicional ( )
Chama-se proposio bicondicional uma proposio composta representada por p se
e somente se q, cujo valor lgico a verdade (V) quando p e q so ambas verdadeiras ou
ambas falsas e a falsidade (F) nos demais casos.
Simbolicamente, a bicondicional de duas proposies p e q indica-se com a notao
p q, que tambm se l de uma das seguintes maneiras:
p condio necessria e suficiente para q.
(i)
(ii)
q condio necessria e suficiente para p.

Assim, uma proposio bicondicional verdadeira somente

quando as proposies possuem valores lgicos iguais, fazendo
com que seu valor lgico seja assim definido:

p
V
V
F
F

q
V
F
V
F

pq
V
F
F
V

Vale notar que uma proposio bicondicional equivale a duas proposies condicionais,
ou seja, a proposio p se e somente se q equivalente a ambas as proposies se p,
ento q e se q, ento p simultaneamente.

3.7 Quadro-Resumo das Tabelas-Verdade

p
V
V
F
F

q
V
F
V
F

Matemtica Discreta

p
F
F
V
V

pq
V
F
F
F

pq
V
V
V
F

pq
F
V
V
F

-5-

pq pq
V
V
F
F
V
F
V
V

Prof. Ricardo Ronald Eberson

Exerccios Propostos
1. Sejam as proposies p: Est frio e q: Est chovendo. Traduzir para a linguagem corrente as
seguintes proposies compostas:
(a) p

(d) q p

(g) p q

(b) p q

(e) p q

(h) q p

(c) p q

(f) p q

(i) (p q) q

2. Sejam as proposies p: Sueli rica e q: Sueli feliz. Traduzir para a linguagem simblica as
seguintes proposies.
(a) Sueli pobre, mas feliz.
(b) Sueli rica ou infeliz.
(c) Se Sueli pobre, ento infeliz.
(d) Sueli pobre ou rica se e somente se feliz.
3. Determinar o valor lgico (V ou F) das seguintes proposies:
(a) 0 > 1

3 irracional
2

(b) 1 0 5 = 25
(c)

4 = 2 1 13 um nmero primo
2

(d) 5 = 10 racional
(e) 2 2 25 = 5
(f) | 1 | = 0 2
2. 8 =4 2 =0
(g)
(h) (1 + 1 = 2 3 + 4 = 5)
4. Determine a tabela-verdade das proposies abaixo:
(a) p q

(d) q p

(b) p q

(e) (q p) p

(c) p q

(f) (p q) (p q)

4. EQUIVALNCIA LGICA
Diz-se que uma proposio P(p, q, r, ...) logicamente equivalente, ou apenas
equivalente, a uma proposio Q(p, q, r, ...), se as tabelas-verdade destas duas proposies
so idnticas.
Indica-se que a proposio P(p, q, r, ...) equivalente a proposio Q(p, q, r, ...) com a
notao:
P(p, q, r, ...) Q(p, q, r, ...)
Exemplos:
(1) As proposies p e p so equivalentes, ou, simbolicamente, p p
(Regra da dupla negao), pois:
p
V
F

Matemtica Discreta

p
F
V

p
V
F

Portanto, uma dupla negao equivale a

uma afirmao.

-6-

Prof. Ricardo Ronald Eberson

(2) A bicondicional p q e a conjuno (p q) (q p) tm tabelas-verdade

idnticas:
p
V
V
F
F

q
V
F
V
F

pq pq
V
V
F
F
F
V
V
V

qp
V
V
F
V

(pq) (qp)
V
F
F
V

Por conseqncia, estas duas proposies so equivalentes, isto , subsiste a

equivalncia lgica:
p q (p q) (q p)

5. IMPLICAO LGICA
Diz-se que uma proposio P(p, q, r, ...) implica logicamente, ou apenas implica, uma
proposio Q(p, q, r, ...), se Q(p, q, r, ...) verdadeira (V) todas as vezes que P(p, q, r, ...)
verdadeira(V).
Indica-se que a proposio P(p, q, r, ...) implica a proposio Q(p, q, r, ...) com a
notao:
P(p, q, r, ...) Q(p, q, r, ...)
Exemplos:
(1) Sejam as tabelas-verdade das proposies p q, p q, q p :
p
V
V
F
F

q
V
F
V
F

pq pq
V
V
F
F
F
V
V
V

qp
V
V
F
V

A proposio p q verdadeira (V) nas linhas 1 e 4 e, nestas linhas, as proposies

p q e q p tambm so verdadeiras. Logo, a primeira proposio implica cada uma
das outras duas proposies, isto :
pq pq

p q qp

(2) Demonstrar que (x = y x < 4) x 4 x = y.

x=y

x<4

V
V
F
F

V
F
V
F

Matemtica Discreta

x=y x<4
V
V
V
F

(x < 4)
F
V
F
V

-7-

(x=y x<4) x
4
F
V
F
F

Prof. Ricardo Ronald Eberson

Esta proposio verdadeira somente na linha 2 e, nesta linha, a proposio x = y

tambm verdadeira. Logo, subsiste a implicao lgica.

6. TAUTOLOGIAS

CONTRADIES

Chama-se de Tautologia uma proposio que sempre verdadeira

independentemente dos valores lgicos das proposies que a compe, ou seja, em uma
tautologia, a coluna da tabela-verdade que indica seus valores lgicos possui apenas o valor
V em todas as linhas.
Chama-se de Contradio uma proposio que sempre falsa independentemente dos
valores lgicos das proposies que a compe, ou seja, em uma contradio, a coluna da
tabela-verdade que indica seus valores lgicos possui apenas o valor F em todas as linhas.
O caso mais comum, em que uma proposio tem valores ora verdadeiros, ora falsos,
chamada de Contingncia.
Exemplo: Sejam as tabelas-verdade das proposies p ou no p, ou seja p p, e
p e no p, ou seja p p, cujas tabelas-verdade esto abaixo:
p
V
F

p
F
V

p
V
F

p p
V
V

p
F
V

p p
F
F

Nota-se pelas tabelas-verdade que a proposio p ou no p uma tautologia

enquanto a proposio p e no p uma contradio.

Exerccios Propostos
5. Demonstrar por tabelas-verdade a validade das seguintes equivalncias:
(a) p (p q) p
(b) (p q) p p q
(c) (p q) (p q)
(d) Se a . b = 0, ento a = 0 e se a = 0, ento a . b = 0 a . b = 0 se e somente se a = 0.
6. Demonstrar que o conectivo
(disjuno exclusiva) exprime-se em funo dos trs
conectivos , e do seguinte modo:
p q (p q) (p q)
7. Verifique se:

(a)

(p q) p q

(b)

(a + b = b + c a = c) a c a + b b + c

8. Construa a tabela-verdade das proposies abaixo e determine se estas se tratam de

tautologias, contradies ou contingncias:
(a) p (p q)
(b) (p q) (p q)
Matemtica Discreta

-8-

Prof. Ricardo Ronald Eberson

7. ARGUMENTOS
Sejam P1 , P2 , ... , Pn e Q proposies quaisquer, simples ou compostas. Chama-se
argumento toda a afirmao de que uma dada sequncia finita P1 , P2 , ... , Pn de
proposies tem como conseqncia ou acarreta uma proposio final Q.
Em um argumento, as proposies P1 , P2 , ... , Pn so chamadas de premissas e a
proposio final Q chamada de concluso do argumento.
Indica-se um argumento de premissas P1 , P2 , ... , Pn e de concluso Q por:
P1 , P2 , ... , Pn  Q
Que se l de uma das seguintes maneiras:
(i)
P1 , P2 , ... , Pn conduzem a Q
(ii)
Q decorre de P1 , P2 , ... , Pn
(iii)
Q se deduz de P1 , P2 , ... , Pn
7.1 Validade de um Argumento
Um argumento P1, P2, ... , Pn  Q diz-se vlido se e somente se a concluso Q
verdadeira sempre que as premissas P1 , P2 , ... , Pn so todas verdadeiras.
Portanto, todo argumento vlido goza da seguinte propriedade caracterstica:
A verdade das premissas incompatvel com a falsidade da concluso.
importante notar que um argumento lgico no uma proposio (no possui
conectivos), portanto no pode ser classificado como verdadeiro ou falso. Assim sendo, um
argumento vlido ou no-vlido e, neste ltimo caso, chamado de falcia.
Entretanto, para se verificar a validade de um argumento deve-se primeiro garantir
que todas as suas premissas sejam simultaneamente verdadeiras, o que pode ser
conseguido com uma conjuno na forma (P1 P2 ... Pn). Esta condio justifica o
teorema a seguir:
Teorema Um argumento P1 , P2 , ... , Pn  Q vlido se e somente se a proposio
condicional (P1 P2 ... Pn) Q uma tautologia.
Portanto, para se verificar a validade de um argumento na forma P1 , P2 , ... , Pn  Q
deve-se convert-lo para sua proposio condicional associada (P1 P2 ... Pn) Q
para, em seguida, construir a tabela-verdade dessa proposio.
Finalmente, a validade do argumento se verifica caso essa tabela-verdade resulte em
uma tautologia.
Exemplo: Considere os argumentos:
(a) Est chovendo. Se est chovendo, ento fico triste. Logo, estou triste
(b) Se est chovendo, ento fico triste. Estou triste. Logo, est chovendo.
Se chamarmos de p a proposio Est chovendo e de q a proposio Fico triste, o
argumento (a) traduzido para a linguagem simblica da lgica como: p, p q  q. Para
Matemtica Discreta

-9-

Prof. Ricardo Ronald Eberson

verificarmos sua validade, o convertemos para a proposio [p (p q)] q e iremos

construir sua tabela-verdade.
Com o mesmo raciocnio, o argumento (b) traduzido para a linguagem simblica da
lgica como: p q, q  p. Assim, o convertemos para a proposio [(p q) q] p e
construmos sua tabela-verdade abaixo.
p

(a)

p q p
(pq) [ ... ] q

V V
V F
F V
F F

V
F
V
V

V
F
F
F

V
V
V
V

(b)

V V
V F
F V
F F

pq

V
F
V
V

(pq)
q [ ... ] p

V
V
V
F

V
V
F
V

Analisando as tabelas-verdade, nota-se que a proposio associada ao argumento (a)

uma tautologia, portanto (a) vlido.
Por sua vez, a proposio associada ao argumento (b) no uma tautologia, portanto
(b) uma falcia.

8. QUANTIFICADORES
8.1 Sentenas Abertas
Chama-se sentena aberta em um conjunto A ou apenas sentena aberta em A, uma
expresso p(x) tal que p(a) falsa (F) ou verdadeira (V) para todo a A.
Em outros termos, p(x) uma sentena aberta em A se e somente se p(x) torna-se
uma proposio (falsa ou verdadeira) todas as vezes que se substitui a varivel x por
qualquer elemento a do conjunto A. Se a A tal que p(a) uma proposio verdadeira,
diz-se que a satisfaz ou verifica p(x).
O conjunto A recebe o nome de conjunto-universo, domnio ou apenas universo da
varivel x e qualquer elemento a A diz-se um valor da varivel x.
Chama-se conjunto-verdade de uma sentena aberta p(x) em um conjunto A, o
conjunto de todos os elementos a A tais que p(a) uma proposio verdadeira (V). Este
conjunto representado por Vp, portanto, simbolicamente temos:
Vp = {x | x A p(x) V}
8.2 Quantificador Universal
Seja p(x) uma sentena aberta em um conjunto no vazio A (A ) e seja Vp seu
conjunto verdade:
Vp = {x | x A p(x) V}
Quando Vp = A, isto , quando todos os elementos de A satisfazem a sentena aberta
p(x), pode-se afirmar que:
(i)

Para todo elemento x de A, p(x) verdadeira.

Matemtica Discreta

- 10 -

Prof. Ricardo Ronald Eberson

(ii)
Qualquer que seja o elemento x de A, p(x) verdadeira.
Ou ainda, mais simplesmente:
(iii)
Para todo x de A, p(x).
(iv)
Qualquer que seja x de A, p(x).
Na linguagem simblica da Lgica indica-se este fato por:
(1)

( x A) (p(x))

ou, omitindo-se a indicao do domnio A: ( x ) (p(x)).

(2)

x A , p(x)

ou, omitindo-se a indicao do domnio A:

x , p(x).

(
x A) (p(x)) Vp = A

Assim sendo, subsiste a equivalncia:

importante ressaltar que p(x) indica simplesmente uma sentena aberta que,
portanto, carece de valor lgico (V ou F); mas quando p(x) possui o smbolo antes dela, ou
seja,
( x A) (p(x)), temos uma proposio, cujo valor lgico a verdade, se Vp = A e a
falsidade, se Vp A.
Em outros termos, dada uma sentena aberta p(x) em um conjunto A, o smbolo ,
referido varivel x, representa uma operao lgica que transforma a sentena aberta
p(x) numa proposio, verdadeira ou falsa, conforme p(x) exprime ou no uma condio
universal no conjunto A.
A esta operao lgica d-se o nome de quantificao universal e ao respectivo
smbolo (que um A invertido) o de quantificador universal.
Exemplos:
(1) A proposio (
n IN) (n + 5 > 3) verdadeira, pois, o conjunto-verdade da
sentena aberta p(n) : n + 5 > 3 :
Vp = {n | n IN n + 5 > 3} = {1, 2, 3, ...} = IN
(2) A proposio (
n IN) (n + 3 > 7) falsa, pois, o conjunto-verdade da sentena
aberta p(n) : n + 3 > 7 :
Vp = {n | n IN n + 3 > 7} = {5, 6, 7, ...} IN
8.3 Quantificador Existencial
Seja p(x) uma sentena aberta em um conjunto no vazio A (A ) e seja Vp seu
conjunto verdade:
Vp = {x | x A p(x) V}
Quando Vp no vazio (Vp ), ento, pelo menos um elemento do conjunto A
satisfaz a sentena aberta p(x), e pode-se afirmar:
(i)
Existe pelo menos um elemento x de A tal que p(x) verdadeira.
(ii)
Para algum x A, p(x) verdadeira.
Ou ainda, mais simplesmente:
(iii)
Existe x A tal que p(x).
(iv)
Para algum x A, p(x).
Matemtica Discreta

- 11 -

Prof. Ricardo Ronald Eberson

Na linguagem simblica da Lgica indica-se este fato por:

(1)

( x A) (p(x))

ou, omitindo-se a indicao do domnio A: ( x ) (p(x)).

(2)

x A , p(x)

ou, omitindo-se a indicao do domnio A:

x , p(x).

(
x A) (p(x)) Vp

Assim sendo, subsiste a equivalncia:

Da mesma forma que no item anterior, cumpre ressaltar que p(x) indica uma sentena
aberta que carece de valor lgico (V ou F); mas quando p(x) tem o smbolo antes dela, ou
seja, ( x A) (p(x)), temos uma proposio, cujo valor lgico a verdade, se Vp e a
falsidade, se Vp = .
Deste modo, o smbolo , referido varivel x, representa uma operao lgica que
transforma a sentena aberta p(x) numa proposio, verdadeira ou falsa, conforme p(x)
exprime ou no uma condio possvel no conjunto A.
A esta operao lgica d-se o nome de quantificao existencial e ao respectivo
smbolo (que um E invertido) o de quantificador existencial.
Exemplos:
(1) A proposio (
x) (x > x2) l-se Existe pelo menos um x tal que x > x2
verdadeira em IR (Algum nmero real maior que seu quadrado), mas falsa em IN
(Nenhum nmero natural maior que seu quadrado).
(2) A proposio (
n IN) (n + 5 < 3) falsa, pois, o conjunto-verdade da sentena
aberta p(n) : n + 5 < 3 :
Vp = {n | n IN n + 5 < 3} =

8.5 Negao de Proposies com Quantificador

claro que um quantificador universal ou existencial pode ser precedido do smbolo de
negao . Esta afirmao torna evidente, por exemplo, as equivalncias:
(a) ( x) (x fala francs) ( x) (x fala francs)
Nem toda a pessoa fala francs H algum que no fala francs
(b) ( x) (x foi a Lua) ( x) (x foi a Lua)
Ningum foi a Lua Toda a pessoa no foi a Lua
De modo geral, a negao da proposio ( x A) (p(x)) equivalente a afirmao de
que, para ao menos um x A, p(x) falsa ou p(x) verdadeira, ou seja, subsiste a
equivalncia:
[(
x A) (p(x))] (
x A) (p(x))
Analogamente, a negao da proposio ( x A) (p(x)) equivalente a afirmao de
que, para todo x A, p(x) falsa ou p(x) verdadeira. Logo, subsiste a equivalncia:
[(
x A) (p(x))] (
x A) (p(x))

Matemtica Discreta

- 12 -

Prof. Ricardo Ronald Eberson

Exemplo: A negao da proposio: Para todo o nmero natural n, tem-se n + 2 > 8

a proposio: Existe pelo menos um nmero natural n tal que n + 2 8, ou
simbolicamente:
( x IN) (n + 2 > 8) ( x IN) (n + 2 8)
8.6 Contra-Exemplos
Para mostrar que uma proposio da forma ( x A) (p(x)) FALSA basta mostrar
que sua negao ( x A) (p(x)) verdadeira, ou seja, que existe pelo menos um
elemento x0 A tal que p(x0) uma proposio falsa. Quando isto ocorre, o elemento x0
diz-se um contra-exemplo para a proposio ( x A) (p(x)), o que a invalida.
Assim, temos um mtodo de demonstrao freqentemente utilizado na Matemtica
que, entretanto, se presta exclusivamente para provar a falsidade de um dado argumento. O
uso de contra-exemplos o nico mtodo que admite o uso de casos particulares em
sua validao (justamente pelo fato de somente usado para se provar a falsidade de uma
dada proposio).
1
Exemplo: A proposio (
x IR) (x x2) falsa sendo, por exemplo, 3 um contra1
1
1 1
exemplo, pois: 3 ( 3 )2 , ou seja, 3 > 9 .
Exerccios Propostos
9. Verificar a validade dos argumentos abaixo:
(a) p q, q  p
(b) p q, p  q
(c) Se 7 menor que 4, ento 7 no um nmero primo.
7 no menor que 4.
_
7 um nmero primo. (concluso)
(d) Se um homem solteiro, ento infeliz.
Se um homem infeliz, ento morre jovem.
_
Solteiros morrem jovens. (concluso)
10. Sendo IR o conjunto dos nmeros reais, determinar o valor lgico (V ou F) das proposies
abaixo. Justifique a resposta:
(a) ( x IR) ( | x | = x )

(b) ( x IR) (x2 = x)

(c) ( x IR) ( | x | = 0)

(d) ( x IR) (x + 2 = x)

(e) ( x IR) (x + 1 > x)

(f) ( x IR) (2x + 3x = 5x)

11. Dar a negao das proposies do exerccio 10.

12. Sendo A = {2, 3, ... , 8, 9} , dar um contra-exemplo para cada uma das seguintes
proposies:
(a) ( x A) (x + 5 < 12)

(b) ( x A) (x2 > 1)

(c) ( x A) (x primo)

(d) ( x A) (x par)

13. Dar a negao das proposies do exerccio 12 e seu valor lgico.

Matemtica Discreta

- 13 -

Prof. Ricardo Ronald Eberson