Novo Modulo de MD

2015

Unidade 1

Matematica Discreta
Topicos da Linguagem e da Logica Matematicas
Texto da Semana 3, Parte 2

Equival
encia
Sum
ario
1 Introduc
ao

13

2 Equival
encia de enunciados

15

3 Interpretaco
es para dois enunciados e M
etodo das Tabelas para
Equival
encia
15
3.1 Observacoes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
3.2 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
4 Negac
ao de enunciados moleculares
22
4.1 Observacoes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
4.2 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28

Introduc
ao

Neste texto, iniciamos as aplicacoes de simbolizacoes e tabelas na resolucao de

problemas logicos que estao associados diretamente com a pratica matematica. Vamos estudar a equivalencia logica de enunciados e a re-escrita da negacao de enunciados por meio de equivalencias.
Na pratica, dependendo de como entendemos o significado de um enunciado, ele
pode ser simbolizado de mais de uma maneira.
Por exemplo, o enunciado
nao e o caso que 2 nao e par

(1)

pode ser re-escrito como

nao (nao (2 e par))
Assim, de acordo com a legenda
p : 2 e par
(1) pode ser simbolizado diretamente como
p
13

(2)

Novo Modulo de MD

2015

Unidade 1

Mas, levando em conta que dizer que 2 nao e par e o mesmo que dizer que 2 e
mpar, e que dizer que 2 nao e mpar e o mesmo que dizer que 2 e par, podemos
considerar que o enunciado (1) quer dizer, simplesmente, que 2 e par.
Assim, uma outra simbolizacao indireta para (1), de acordo com a legenda (2),
pode ser
p
Estritamente falando, negamos um enunciado escrevendo o na frente dele,
obtendo . Assim, para a Logica por definicao , a negacao de
(2 e par)
e
[ (2 e par) ]
Mas, em Matematica, quando falamos em negar um enunciado, nao estamos falando em negar no sentido estrito. O que queremos, na verdade, e obter um enunciado equivalente `a negacao, que nos transmita a mesma informacao de uma maneira
mais adequada do que a obtida simplesmente pela colocacao de uma ocorrencia do
na frente do enunciado negado.
Assim, em Matematica, ao inves de escrevermos
[ (2 e par) ]
escrevemos, simplesmente,
2 e par
ja que, como veremos na Secao 2, estes enunciados sao logicamente equivalentes.
Determinar quando dois enunciados sao logicamente equivalentes e re-escrever a
negacao de enunciados por meio de equivalencias sao habilidades basicas que todo
estudante de Matematica deve possuir. Por esta razao, voce deve estudar os conceitos e resultados apresentados neste texto com a maxima atencao, ate absorver todos
estes conte
udos.
Especificamente, neste texto, vamos abordar as noces de: equivalencia logica de
enunciados (Secao 2); interpretacao de um enunciado (Secao 3); o Problema da
Equivalencia e sua resolucao pelo Metodo das Tabelas para Equivalencia (Secao 3);
e, finalmente, a reescrita da negacao de enunciado moleculares por meio de equivalencias (Secao 4).
Depois de estudarmos este texto, vamos ser capazes de: usar tabelas para decidir
quando dois enunciados (construdos por aplicacoes dos conectivos) sao equivalentes ou nao (Exerccios 1 e 2); aplicar equivalencias na reescrita da negacao de um
enunciado molecular (Secao 4); reescrever a negacao de enunciados construdos por
aplicacoes dos conectivos; (Exerccio 3); mostrar que dois enunciados sao equivalentes, exibindo uma sequencia de enunciados equivalentes, que mostra como um
enunciado pode ser transformado no outro (Exerccio 4).

14

Novo Modulo de MD

2015

Unidade 1

Equival
encia de enunciados
Em Matematica, dois enunciados sao logicamente equivalentes quando (1)
sao ambos verdadeiros ou ambos falsos no contexto em que sao proferidos e
(2) sao ambos verdadeiros ou ambos falsos em qualquer outro contexto.

Surge, entao, o Problema da Equivalencia Logica de enunciados, isto e, o problema de

dados dois enunciados, classifica-los como logicamente equivalentes ou
nao.
O Problema da Equivalencia Logica pode ser resolvido com o uso de tabelas
de avaliacao, quando os enunciados envolvidos sao construdos por aplicacao dos
conectivos logicos.

Como sempre acontece em Logica, o primeiro passo para a resolucao de qualquer problema e a simbolizacao dos enunciados envolvidos. Assim, nas explicacoes que seguem assumimos que todos os enunciados em questao estao
devidamente simbolizados.

Interpretaco
es para dois enunciados e M
etodo
das Tabelas para Equival
encia

Como os conectivos logicos sao por funcao de verdade, a u

nica informacao relevante para a comparacao dos valores de dois enunciados sao as atribuicoes de valores
aos seus enunciados componentes.

Interpreta
co
es para dois enunciados
Sejam e dois enunciados simbolizados, nao necessariamente distintos.
Uma interpretac
ao para e e uma atribuicao de valores, V ou F , para
todas as variaveis que ocorrem em e , de modo que a cada variavel seja
atribudo um u
nico valor.

15

Novo Modulo de MD

2015

Unidade 1

Exemplo 1 (a) Os enunciados p e p possuem duas interpretacoes:

p
V
F.
(b) Os enunciados (p q) e p q possuem quatro interpretacoes:
p q
V V
V F
F V
F F.
(c) Os enunciados p (q r) e (p q) r possuem oito interpretacoes:
p
V
V
V
V
F
F
F
F

q r
V V
V F
F V
F F
V V
V F
F V
F F.

Sejam e enunciados simbolizados.

Dizemos que e sao logicamente equivalentes se, para cada interpretacao
para e , os valores de e sao iguais.

M
etodo das Tabelas para Equival
encia
Exemplo 2 (a) Para cada interpretacao para a variavel p, os enunciados p e p
assumem os mesmos valores, como vemos ao comparar a primeira e a terceira colunas
da tabela abaixo:
p p p
V F
V
F V
F

Assim, os enunciados p e p sao equivalentes.

Esta equivalencia garante que nao precisamos escrever duas aplicacoes sucessivas
do conectivo .
16

Novo Modulo de MD

2015

Unidade 1

(b) Para cada interpretacao para as variaveis p, q, os enunciados (p q) e p q

assumem os mesmos valores, como vemos ao comparar a quarta e a setima colunas
da tabela abaixo:
p
V
V
F
F

q p q (p q) p q p q
V
V
F
F F
F
F
F
V
F V
V
V
F
V
V F
V
F
F
V
V V
V

Assim, os enunciados (p q) e p q sao equivalentes.

Esta equivalencia garante que a negacao de uma conjuncao pode ser reescrita
como uma disjuncao de negacoes.
(c) Vamos agora verificar que os enunciados p (q r) e (p q) r nao sao
equivalentes. Isto e, que a maneira como agrupamos os enunciados componentes
em aplicacoes iteradas do conectivo e relevante para a determinacao do valor do
enunciado.
Para mostrar isto, devemos mostrar que
nao e o caso que para cada interpretacao para p, q, r, os valores de
p (q r) e (p q) r sao iguais.
Ou seja, devemos mostrar que
para ao menos uma interpretacao para p, q, r, os valores de p (q r)
e (p q) r sao diferentes.
De fato, comparando a quinta e a setima colunas da tabela:
p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r q r p (q r) p q (p q) r
V
V
V
V
V
F
F
F
V
F
V
V
V
F
V
F
V
V
F
V
V
V
V
V
V
F
F
V
V
F

V
V
V
V
V
F
V
V
V
F

observamos que na sexta linha (descontando a linha de referencia),

quando p e F , q e V e r e F , o enunciado p (q r) e V e o enunciado
(p q) r e F .
Como os valores de p (q r) e (p q) r sao diferentes para pelo menos uma
interpretacao, eles nao sao equivalentes.

17

Novo Modulo de MD

2015

Unidade 1

O metodo que usamos para resolver o problema da equivalencia de enunciados

simbolizados pode ser resumido em 5 passos:

M
etodo das Tabelas para Equival
encia:
Sejam e enunciados simbolizados nos quais ocorrem (exatamente) as
variaveis p1 , . . . , pm .
A verificacao da equivalencia de e pode ser feita mediante a execucao dos
seguintes passos, que constroem a tabela conjunta de e :
(1) Em uma linha de referencia, escrevemos as variaveis p1 , . . . , pm .
(2) Abaixo da linha de referencia, escrevemos, como usual, todas as interpretacoes para p1 , . . . , pm .
(3) Utilizando as tabelas dos conectivos, calculamos gradativamente todos
os valores de cada enunciado simbolizado utilizado na formacao de , ate
obter o valor de .
(4) Utilizando as tabelas dos conectivos, calculamos gradativamente todos
os valores de cada enunciado simbolizado utilizado na formacao de
que ainda nao foram avaliados, ate obter o valor de .
(5) Comparamos a coluna rotulada com com a coluna rotulada com . Se
elas sao iguais, e sao equivalentes. Caso contrario, nao sao.

3.1

Observa
c
oes

Observac
ao 1 Construir a tabela conjunta de e e comparar se as colunas
rotuladas com e com nesta tabela sao iguais ou nao, e o mesmo que construir
a tabela do enunciado e verificar se na u
ltima coluna desta tabela ocorre
somente V .
Assim, temos:

O problema da equivalencia de dois enunciados e pode ser resolvido tanto

pela construcao e exame da sua tabela conjunta, quanto pela verificacao de se
a bi-implicacao e V em todas as suas interpretacoes.

18

Novo Modulo de MD

2015

Unidade 1

Observac
ao 2 Existe uma infinidade de pares de enunciados equivalentes. De fato,
uma lista infinita trivial e:
p
e
p
p e p
p e p
..
.
Mas, alguns pares de enunciados equivalentes sao mais importantes do que outros, pois expressam propriedades dos conectivos que (1) exclarecem as interrelacoes
existentes entre eles ou (2) apontam semelhancas e diferencas que eles possuem
com relacao a partculas de outros domnios da Matematica como, por exemplo, as
operacoes aritmeticas. Dentre todas as equivalencias possveis, algumas das mais
importantes sao:
Equivalencia
( )
( )

Nome da equivalencia
e ( )
e ( )

Associatividade do
Associatividade do

e
e

Comutatividade do
Comutatividade do

e
e

Idempotencia do
Idempotencia do

( ) e
( ) e

Absorcao do pelo
Absorcao do pelo

( ) e ( ) ( )
( ) e ( ) ( )

Distributividade do sobre o
Distributividade do sobre o

( ) e () ()
( ) e () ()

Lei de De Morgan
Lei de De Morgan

( )
( )

e
e

Elemento neutro do
Elemento neutro do

( )
( )

e ( )
e ( )

Elemento zero do
Elemento zero do

() e
( ) e ()
( ) e ( ()) (() )

Negacao do
Negacao do
Negacao do

Definicao do
Definicao do

e ( ) ( )
e ()

19

Novo Modulo de MD

2015

Unidade 1

Para se familiarizar com estas equivalencias, sugerimos que voce verifique cada
uma delas, usando o Metodo das Tabelas para Equivalencias.

3.2

Exerccios

Exerccio 1 Determine, usando tabelas, se os enunciados dados sao equivalentes.

(i)
(ii)
(iii)
(iv)
(v)

p (q) e (p) q
p q e (p q) (q p)
p (q r) e (p q) (p r)
p (q r) e (p q) (p r)
(p q) r e p (q r)

Exerccio 2 Determinar a equivalencia de enunciados e uma habilidade que todo estudante de Matematica deve possuir pois, muitas vezes, uma afirmacao matematica
nao e feita de uma forma direta (ou seja, da maneira que o leitor espera) mas, sim, na
forma de um enunciado equivalente. Neste exerccio, vemos varios exemplos desta
situacao.
Verifique se os seguintes enunciados sao equivalentes ou nao. Isto e, simbolizeos e utilize tabelas para decidir se sao equivalentes. (Usualmente, empregamos os
sinais de pontacao principalmente, ponto e vrgula e dois pontos na tentativa
de deixar a estrutura do enunciado mais clara.)
(i)

nao e o caso que: x e primo se, e somente se, x e mpar

e
x e primo ou mpar

(ii)

se r e perpendicular a s e s e perpendicular a t, entao r e perpendicular a t

e
se r nao e perpendicular a s e s nao e perpendicular a t, entao r nao e
perpendicular a t

(iii) s e perpendicular a t segue de: r e paralela a s e perpendicular a t

e
r e paralela a s e s nao e perpendicular a t acarreta em r nao e
perpendicular a t
(iv)

se x e par e primo, entao x e diferente de 2

e
se x = 2, entao x nem e par nem primo

(v)

nao e o caso que este triangulo e retangulo e ao mesmo tempo obtusangulo

e
este triangulo e retangulo e, portanto, nao e obtusangulo

Antes de ler as respostas e as resoluc

oes, tente resolver os exerccios
usando os conceitos estudados.
20

Novo Modulo de MD

2015

Unidade 1

Respostas do Exerccio 1: (i) N

ao sao equivalentes. Na tabela de [p(q)] [(p)q] ocorre F
na interpretac
ao p : V e q : F . (ii) Equivalentes. Na tabela de (p q) [(p q)(q p)] ocorre
V em todas as interpretac
oes. (iii) Equivalentes. Na tabela de [p (q r)] [(p q) (p r)]
ocorre V em todas as interpretac
oes. (iv) Equivalentes. Na tabela de [p (q r)] [(p
q) (p r)] ocorre V em todas as interpretacoes. (v) Nao sao equivalentes. Na tabela de
[(p q) r] [p (q r)] ocorre F na interpretacao p : F , q : V e r : V . Resolu
c
ao do
p : x e primo
Exerccio 2: (i) Legenda:
Simbolizacao: (p i) e p i. Na tabela
i : x e mpar.
de (p i) (p i) ocorre F na interpretacao p : V e i : V Nao sao equivalentes. (ii)
p : r e perpendicular a s
Legenda: q : s e perpendicular a t Simbolizacao: (p q) r e (p q) r. Na tabela
r : r e perpendicular a t.
de [(p q) r] [(p q) r] ocorre F na interpretacao p : V , q : V , r : F . Nao sao
equivalentes. (iii) Como
Enunciados da forma

segue de

sao reescritos como

se , entao .

o primeiro pode ser rescrito: se ( (r e paralela a s) e (r e perpendicular a t) ), entao (s e perpendicular

a t). Como
Enunciados da forma

acarreta em

sao reescritos como

se , entao .

o segundo pode ser reescrito: se (r e paralela a s) e ( nao (s e perpendicular a t) ) entao, ( nao

p : r e paralela a s
(r e perpendicular a t) ). Legenda: q : r e perpendicular a t Simbolizacao: (p q) r e
r : s e perpendicular a t.
(p r) q. Na tabela de [(p q) r] [(p r) q] ocorre V em todas as interpretacoes
S
ao equivalentes. (iv) Como
Enunciados da forma

nem nem

sao reescritos como

(nao ) e (nao ).

o segundo pode ser reescrito: se ( x = 2 ), entao [ (nao x e par) e (nao x e primo) ] }. Legenda:
p : x e par
q : x e primo Simbolizac
ao: (p q) r e r (p q). Na tabela de [(p q) r]
r : x = 2.
[r (p q)] ocorre F na interpretacao p : V , q : F e r : V Nao sao equivalentes. (v) Como
Enunciados da forma

ao mesmo tempo que

sao reescritos como

e .

o primeiro pode ser reescrito: nao (este triangulo e retangulo e este triangulo e obtusangulo). Como
Enunciados da forma

e, portanto,

sao reescritos como

e (se , entao ).

o segundo pode ser reescrito: este triangulo e retangulo e [ se este triangulo e retangulo, entao
r : este triangulo e retangulo
nao (este triangulo e obtusangulo) ]. Legenda:
Simbolizacao:
o : este triangulo e obtusangulo.
(r o) e r (r o). Na tabela de (r o) [r (r o)] ocorre F na interpretacao r : F e
o : V . N
ao s
ao equivalentes.

21

Novo Modulo de MD

2015

Unidade 1

Negac
ao de enunciados moleculares
Em Matematica, negar um enunciado consiste em reescrever a sua negacao,
atraves de um enunciado equivalente, de forma mais clara, informativa, enxuta,
simples, etc.

Surge, entao, o Problema da Negacao de enunciados, isto e, o problema de

dado um enunciado negado, encontrar um enunciado equivalente a ele
que seja mais claro, informativo, enxuto, simples, etc.
O Problema da Negacao pode ser resolvido com o uso de equivalencias, quando os
enunciados envolvidos sao construdos apenas por aplicacao dos conectivos logicos.

Nega
c
ao da nega
c
ao
A negacao de uma negacao, (), tem a tabela:
()
V F
V
F
F V
Observe que e V quando, e somente quando, () e V . Isto mostra que e
() sao equivalentes. Assim:
No lugar de () podemos escrever , e vice-versa.

Exemplo 3 Para determinar a negacao de

2 nao e mpar

(3)

podemos considerar a legenda

i : 2 e mpar
e, a partir da, simbolizar (3) como
i

(4)

Agora, negando (4), temos:

i
e equivalente a
i
ou seja,
2 e mpar

22

Novo Modulo de MD

2015

Unidade 1

Nega
c
ao da implica
c
ao
A negacao de uma implicacao, ( ), tem a tabela:

V
V
F
F

( )
V
V
F
F
F
V
V
V
F
F
V
F

Observe que, ( ) e V quando, e somente quando, e V e e F . Isto

mostra que ( ) e () sao equivalentes. Assim:

No lugar de ( ) podemos escrever (), e vice-versa.

Exemplo 4 Para determinar a negacao de

se x nao e par, entao x2 tambem nao e par

(5)

podemos considerar a legenda

p : x e par
q : x2 e par
e, a partir da, simbolizar (5) como
(p) q

(6)

Agora, negando (6), temos:

[(p) q]
e equivalente a
(p) q
e equivalente a
(p) q
ou seja,
x nao e par e x2 e par


23

Novo Modulo de MD

2015

Unidade 1

Nega
c
ao da disjun
c
ao
A negacao de uma disjuncao, ( ), tem a tabela:

V
V
F
F

( )
V
V
F
F
V
F
V
V
F
F
F
V

Ou seja, ( ) e V quando, e somente quando, e F e e F . Ou seja,

( ) e () () sao equivalentes. Assim:

No lugar de ( ) podemos escrever () (), e vice-versa.

Exemplo 5 Para determinar a negacao de

F nao e um quadrado ou: se F e, entao G nao e

(7)

podemos considerar a legenda

f : F e um quadrado
g : G e um quadrado
e, a partir da, simbolizar (7) como
(f ) (f g)
Agora, negando (8), temos:
[(f ) (f g)]
e equivalente a
[(f )] [(f g)]
e equivalente a
[(f )] (f g)
e equivalente a
f f g
e equivalente a
f g
24

(8)

Novo Modulo de MD

2015

Unidade 1

ou seja,
F e um quadrado e G nao e um quadrado

Temos uma tendencia a aplicar as regras de negacao de cima para baixo, Por
exemplo, de [(p) q] facilmente obtemos p q. Mas como elas sao equivalencias,
elas tambem podem ser aplicadas de baixo para cima. Por exemplo, de p q
podemos obter p (q) e, da, obter (p q).
Exemplo 6 Como uma aplicacao de baixo para cima das regras anteriores, observe que, pela Negacao da Negacao, temos que:
()
e equivalente a
() ()

(9)

E que, pela Negacao da Disjuncao, (9) e equivalente a:

[ ()]

(10)

Agora, pela negacao da Implicacao, (10) e equivalente a:

[ ]
que, pela Negacao da Negacao, e equivalente a:


Assim, temos a seguinte regra, que e bastante u
til na determinacao de negacoes:

No lugar de () podemos escrever , e vice-versa.

Nega
c
ao da conjun
c
ao
Para obtermos a negacao de uma conjuncao, ( ), basta observarmos que:
( )
e equivalente a
[() ()]
e equivalente a
25

Novo Modulo de MD

2015

Unidade 1

[() ()]
e equivalente a
() ()
Isto mostra que ( ) e equivalente a () (). Assim:

No lugar de ( ) podemos escrever () (), e vice-versa.

Exemplo 7 Para determinar a negacao de

Laura foi `a feira, o tomate estava caro e,
por isso, ela nao comprou tomate

(11)

podemos considerar a legenda

l : Laura foi `a feira
t : o tomate estava caro
c : Laura comprou tomate
e, a partir da, simbolizar (11) como
(l t) [(l t) c]
Agora, negando (12), temos:
{(l t) [(l t) c]}
e equivalente a
[(l t)] [(l t) c]
e equivalente a
[(l t)] [(l t) c]
e equivalente a
[(l t)] [(l t) c]
e equivalente a
[(l t) (l t)] [(l t) c]
e equivalente a
(l t) c
e equivalente a
(l t) c
26

(12)

Novo Modulo de MD

2015

Unidade 1

ou seja,
se Laura foi `a feira e o tomate estava caro, entao
Laura comprou tomate


Nega
c
ao da bi-implica
c
ao
A negacao de uma bi-implicacao, ( ), tem a tabela:
( )
V
V
F
F
F
V
V
F
V
F
V
F

V
V
F
F

Observe que ( ) e V quando, e somente quando, e possuem valores

opostos. Isto mostra que ( ) e [()][()] sao equivalentes. Assim:

No lugar de ( ) podemos escrever [ ()] [() ], e vice-versa.

Exemplo 8 Para determinar a negacao de

x e primo se, e somente se, x possui fatores proprios

(13)

podemos considerar a legenda

p : x e primo
f : x possui fatores proprios
e, a partir da, simbolizar (13) como
pf
Agora, negando (14), temos:
(p f )
e equivalente a
[p (f )] [(p) f ]
ou seja,
x e primo e x nao possui fatores proprios, ou:
x nao e primo e x possui fatores proprios
27

(14)

Novo Modulo de MD

2015

Unidade 1

Tambem podemos obter o enunciado (())(()) a partir do enunciado

( ), usando o nosso conhecimento sobre proposicoes equivalentes e negacao
de conjuncoes e implicacoes. De fato, de acordo com o Exerccio 1.2.1(ii) do texto
da Semana 3, Parte 2, sabemos que e equivalente a ( ) ( ).
Assim, temos
( )
e equivalente a
[( ) ( )]
e equivalente a
( ) ( )
e equivalente a
( ) ( )
e equivalente a
( ) ( ).

4.1

Observa
co
es

Observac
ao 3 Em resumo, temos o seguinte:

(1) Negar um proposicao molecular e reescrever a sua negacao de uma maneira

mais informativa.
(2) Esta reescrita pode ser feita de maneira sistematica, pelo uso de proposicoes
equivalentes.
(3) As equivalencias mais u
teis para este fim, sao as seguintes:
()
( )
( )
( )
( )

4.2

e
e
e
e
e

() ()
() ()
()
[ ()] [() ]

Exerccios

Exerccio 3 Escreva a negacao de cada enunciado abaixo, do seguinte modo: (1)

identifique os enunciados componentes, (2) defina uma legenda, (3) simbolize o enun28

Novo Modulo de MD

2015

Unidade 1

ciado de acordo com a legenda definida, (4) reescreva a negacao do enunciado simbolizado atraves de equivalencias e, finalmente, (5) traduza o enunciado obtido ao final
do processo de volta para a linguagem natural, de acordo com a legenda definida.
(i)
(ii)
(iii)
(iv)
(v)
(vi)
(vii)
(viii)
(ix)
(x)

Nao e o caso que 1 + 2 >

x e irracional
2 + 1 = 3 e 2 1 6= 1
ABC e retangulo e DEF e isosceles
x e par ou x e primo
x < y ou x nao e positivo
Se N e infinito, entao Z nao e finito
Se A e finito, entao P (A) > 1
2 e par se, e somente se, 22 e mpar
ABC e um triangulo se, e somente se, AX e BY sao colineares

Exerccio 4 Mostre que os seguintes enunciados sao equivalentes, usando sequencias de equivalencias:
(i)
(ii)
(iii)
(iv)
(v)
(vi)
(vii)
(viii)

[(p q)] e p q
(p q) e q p
[(p q) r] e (p r) (q r)
p (q r) e q (p r)
p (q r) e r (p q)
p (q (p q)) e p p
[p (q r)] e (p q) (p r)
[(p q) r] e p (q r)

Antes de ler a resoluc

ao, tente resolver os exerccios usando os conceitos estudados.

Resolu
c
ao do Exerccio 3: (i) Legenda: p : 1 + 2 > . Simbolizacao: p. Negacao:
p, que e equivalente a p, que e o enunciado original, 1 + 2 > . (ii) Vamos levar em conta que ser
irracional e a negac
ao de ser racional. Legenda: p : x e racional. Simbolizacao: p. Negacao:
p : 2+1=3
p, que e equivalente a p, que e o enunciado x e racional. (iii) Legenda:
q : 2 1 = 1.
Simbolizac
ao: p q. Negac
ao: (p q), que e equivalente a p q, que e equivalente
a p q, que e o enunciado 2 + 1 6= 3 ou 2 1 = 1. Como p q e equivalente a p q
(Verifique esta afirma
c
ao!), a negacao pode ser reescrita como se 2 + 1 = 3, entao 2 1 = 1.
p : ABC e retangulo
(iv) Legenda:
Simbolizacao: p q. Negacao: (p q), que e equivalente
q : DEF e is
osceles.
a p q, que e o enunciado ABC nao e retangulo ou DEF nao e isosceles. Como p q
e equivalente a p q (Verifique esta afirma
c
ao!), a negacao pode ser reescrita como se
p : x e par
ABC e retangulo, entao DEF nao e isosceles. (v) Legenda:
Simbolizacao:
q : x e primo.
p q. Negac
ao: (p q), que e equivalente a p q, que e o enunciado x nao e par e x nao
e primo. Se soubessemos que x 6= 0 e x 6= 1, este enunciado poderia ser reescrito como x e mpar
e x e composto. (vi) Vamos levar em conta que x y e a negacao de x < y, quando x e y sao

29

Novo Modulo de MD

2015

Unidade 1

p : x<y
Simbolizacao: p q. Negacao: (p q), que e
q : x e positivo.
equivalente a p q, que e equivalente a p q, que e o enunciado x y e x e positivo. (vii)
p : N e finito
Vamos levar em conta que ser finito e a negacao de ser infinito. Legenda:
q : Z e finito.
Simbolizac
ao: p q. Negac
ao: (p q), que e equivalente a p q, que e equivalente
a p q, que e o enunciado N e infinito e Z e finito. (viii) Vamos levar em conta que x y e a
p : A e finito
negac
ao de x > y, quando x e y s
ao n
umeros reais. Legenda:
Simbolizacao:
q : P (A) > 1.
p q. Negac
ao: (p q), que e equivalente a p q, que e o enunciado A e finito e P (A) 1.
p : 2 e par
(ix) Vamos levar em conta que ser mpar e a negacao de ser par. Legenda:
q : 22 e par.
Simbolizac
ao: p q. Negac
ao: (p q), que e equivalente a (p q) (p q), que e
equivalente a (p q) (p q), que e o enunciado (2 e par e 22 e par) ou (2 e mpar e 22 e mpar).
p : ABC e um triangulo
Simbolizacao: p q. Negacao: (p q), que e
(x) Legenda:
q : AX e BY sao colineares.
equivalente a (p (q)) ((p) q), que e o enunciado ABC e um triangulo e AX e BY nao sao
colineares; ou ABC nao e um triangulo e AX e BY sao colineares.
Resolu
c
ao do Exerccio 4: (i) Temos as seguintes equivalencias: [(p q)] e equivalente
a (p q), que e equivalente a p q, que e equivalente a p q. (ii) Temos as seguintes
equivalencias: (p q) e equivalente a p q, que e equivalente a q p, que e equivalente a
q p. (iii) Temos as seguintes equivalencias: [(p q) r] e equivalente a [(p r) (q r)],
que e equivalente a (p r) (q r), que e equivalente a (p r) (q r). Outra maneira
de chegar ao mesmo resultado: [(p q) r] e equivalente a (p q) r, que e equivalente a
(p q) r, que e equivalente a (p r) (q r). (iv) Temos as seguintes equivalencias:
p (q r) e equivalente a p (q r), que e equivalente a p (q r), que e equivalente
a (p q) r), que e equivalente a q p r), que e equivalente a q (p r), que e
equivalente a q (p r). (v) Temos as seguintes equivalencias: p (q r) e equivalente a
p (q r), que e equivalente a p (q r), que e equivalente a (q r) p, que e equivalente a
(r q) p, que e equivalente a r (q p), que e equivalente a r (p q), que e equivalente a
r (p q), que e equivalente a r (p q), que e equivalente a r (p q). (vi) Temos
as seguintes equivalencias: p (q (p q)) e equivalente a p (q (p q)), que e equivalente
a p (q (p q)), que e equivalente a p [(q p) (q q)], que e equivalente a p (q p),
que e equivalente a (p q) (p p), que e equivalente a p p. (vii) Temos as seguintes
equivalencias: [p (q r)] e equivalente a p (q r), que e equivalente a p [(q) (r)],
que e equivalente a (p q) (p r). Uma outra maneira um pouco mais complicada de obter
o mesmo resultado e a seguinte: [p (q r)] e equivalente a [(p) (q r)], que e equivalente
a {[(p) q] [(p) r]}, que e equivalente a {[(p) q]} {[(p) r]}, que e equivalente a
[(p) (q)] [(p) (r)], que e equivalente a (p q) (p r). (viii) Temos as equivalencias:
[(pq)r] e equivalente a [(pq)][r], que e equivalente a [(p)(q)][r], que e equivalente
a [p] [(q) (r)], que e equivalente a [p] [q (r)], que e equivalente a p (q r).
n
umeros reais. Legenda:

c 2015 Marcia Cerioli e Petrucio Viana

Coordenacao da Disciplina MD/CEDERJ-UAB

Atualizado em 31 de julho de 2015.

30