Matemática Discreta

Lógica matemática pt. II

• Proposições compostas
• as operações lógicas ∧ (e), ∨(ou) e ¬ (negação)
• Tabela verdade
• Leis de De Morgan

Lógica matemática pt. II Matemática Discreta

Proposições compostas

Proposições mais elaboradas podem ser construı́das a partir de

proposições mais simples através de um processo de composição:
Definição: proposições compostas
Seja n um número natural, e p1 , p2 ,... e pn proposições. Uma
proposição composta de p1 , p2 ,... e pn é uma proposição cuja
validade depende da validade de cada uma das proposições
p1 , . . . , pn .

• “100 é um número primo, a Terra não é plana e existem infinitos

números primos” é uma proposição composta pelas proposições
p1 =“100 é um número primo”, p2 =“a Terra é plana” e
p3 =“existem infinitos números primos”.
• “Não é verdade que não é verdade que seja falso que nunca tenha
ocorrido o Big Bang” é uma proposição composta pela proposição
p1 =“ocorreu o Big Bang”.

Lógica matemática pt. II Matemática Discreta

Proposições compostas: os conectivos ∧ e ∨

Uma maneira simples de compor duas proposições em uma se dá

através dos chamados conectivos lógicos (vamos chamá-los de
conectivos para encurtar). Os dois principais conectivos são os
dados pela seguinte definição:
Definição: os conectivos ∧ (e) e ∨ (ou)
Sejam p e q proposições.
A proposição p ∧ q, que se lê “p e q”, é verdadeira quando ambas
as proposições p e q são verdadeiras, e é falsa caso contrário.
A proposição p ∨ q, que se lê “p ou q”, é verdadeira quando (pelo
menos) uma das proposições p, q é verdadeira, e é falsa caso
contrário.
• Ambas as proposições p ∧ q e p ∨ q são de fato proposições
compostas por p e q, pois a validade delas depende da validade de
p e de q.

Lógica matemática pt. II Matemática Discreta

Proposições compostas: os conectivos ∧ e ∨
Definição: os conectivos ∧ (e) e ∨ (ou)
A proposição p ∧ q, que se lê “p e q”, é verdadeira quando ambas
as proposições p e q são verdadeiras, e é falsa caso contrário.
A proposição p ∨ q, que se lê “p ou q”, é verdadeira quando uma
das proposições p, q é verdadeira, e é falsa caso contrário.

• ! A proposição p ∨ q tem um significado um pouco diferente do

que na linguagem cotidiana. Por exemplo, afirmar que “Ana está
estudando ou está na festa” em linguagem cotidiana pode insinuar
que não é possı́vel que “Ana está estudando” e que “Ana está na
festa” simultaneamente. Porém em linguagem matemática esta
possibilidade não está descartada.
Outro exemplo: o pai diz para o filho “come tudo, ou nada de
sobremesa”. Entende-se, em linguagem cotidiana, que se o filho
comer tudo, vai ter sobremesa. Isto é, desconsidera-se a
possibilidade de que o filho comer tudo e não haver nada de
sobremesa valham simultaneamente.
Lógica matemática pt. II Matemática Discreta
Proposições compostas: os conectivos ∧ e ∨
As proposições compostas p ∧ q e p ∨ q poderiam alternativamente
ter sido definidas através de suas tabelas verdade. Recordando a
definição de ∧:
Definição: ∧
A proposição p ∧ q é verdadeira exatamente quando as proposições
p e q são verdadeiras.

p q p∧q
V V V
V F F
F V F
F F F
Figura: tabela verdade de p ∧ q

• Observe que a tabela e a definição acima contém a mesma

informação.
Lógica matemática pt. II Matemática Discreta
Proposições compostas: os conectivos ∧ e ∨

Da mesma forma, a definição de ∨:

Definição: ∧
A proposição p ∨ q é verdadeira exatamente quando uma as
proposições p ou q é verdadeira.

pode ser dada alternativamente por uma tabela verdade:

p q p∨q
V V V
V F V
F V V
F F F
Figura: tabela verdade de p ∨ q

Lógica matemática pt. II Matemática Discreta

Negação de proposições
Definição: negação de uma proposição
Seja p uma proposição.
A proposição ¬p, que se lê “negação de p”, ou “não p”, é
verdadeira quando p é falsa e é falsa quando p é verdadeira.

p ¬p
V F
F V
Figura: tabela verdade de ¬p

Exemplos: √ √
• a negação de “ 3√é racional” é “ 3 não é racional”, ou
equivalentemente “ 3 é irracional”;
• No universo N a negação da proposição aberta “n é primo” é “n
não é primo” (isto é, para cada número natural n, a negação de “n
é primo” é “n não é primo”)
Lógica matemática pt. II Matemática Discreta
Equivalência lógica de proposições compostas

Considere as seguintes proposições:

57 1719
p=“23 + 1113 é primo”, e q=“π + e é irracional”.
Podemos construir a partir destas as seguintes proposições
compostas:
57 1719
r =“não é verdade que (23 + 1113 é primo e π + e é
irracional)” = ¬(p ∧ q)
57 1719
s=“23 + 1113 não é primo e π + e é racional” = ¬p ∨ ¬q.
Mesmo sem saber se são válidas p e q, podemos fazer afirmações
sobre a validade de r e s em função da validade de p e q,
preenchendo as tabelas verdade de r = ¬(p ∧ q) e s = ¬p ∨ ¬q.

Lógica matemática pt. II Matemática Discreta

Equivalência lógica de proposições compostas
57 1719
p=“23 + 1113 é primo”; q=“π + e é irracional”; r = ¬(p ∧ q);
s = ¬p ∨ ¬q.
Queremos preencher:
p q ¬(p ∧ q)
V V
V F
F V
F F
Uma técnica para tal é inserir algumas colunas auxiliares de forma
que possamos ultilizar algumas informações disponı́veis de forma
simples:
p q ¬(p ∧ q)
V V
V F
F V
F F

Lógica matemática pt. II Matemática Discreta

Equivalência lógica de proposições compostas
57 1719
p=“23 + 1113 é primo”; q=“π + e é irracional”; r = ¬(p ∧ q);
s = ¬p ∨ ¬q.
Queremos preencher:
p q ¬(p ∧ q)
V V
V F
F V
F F
Uma técnica para tal é inserir algumas colunas auxiliares de forma
que possamos ultilizar algumas informações disponı́veis de forma
simples:
p q p∧q ¬(p ∧ q)
V V
V F
F V
F F

Lógica matemática pt. II Matemática Discreta

Equivalência lógica de proposições compostas
57 1719
p=“23 + 1113 é primo”; q=“π + e é irracional”; r = ¬(p ∧ q);
s = ¬p ∨ ¬q.
Queremos preencher:
p q ¬(p ∧ q)
V V
V F
F V
F F
Uma técnica para tal é inserir algumas colunas auxiliares de forma
que possamos ultilizar algumas informações disponı́veis de forma
simples:
p q p∧q ¬(p ∧ q)
V V V
V F F
F V F
F F F

Lógica matemática pt. II Matemática Discreta

Equivalência lógica de proposições compostas
57 1719
p=“23 + 1113 é primo”; q=“π + e é irracional”; r = ¬(p ∧ q);
s = ¬p ∨ ¬q.
Queremos preencher:
p q ¬(p ∧ q)
V V
V F
F V
F F
Uma técnica para tal é inserir algumas colunas auxiliares de forma
que possamos ultilizar algumas informações disponı́veis de forma
simples:
p q p∧q ¬(p ∧ q)
V V V F
V F F V
F V F V
F F F V

Lógica matemática pt. II Matemática Discreta

Equivalência lógica de proposições compostas
57 1719
p=“23 + 1113 é primo”; q=“π + e é irracional”; r = ¬(p ∧ q);
s = ¬p ∨ ¬q.
Para preencher

p q ¬p ∨ ¬q
V V
V F
F V
F F

procedemos de maneira similar:

p q ¬p ¬q ¬p ∨ ¬q
V V
V F
F V
F F

Lógica matemática pt. II Matemática Discreta

Equivalência lógica de proposições compostas
57 1719
p=“23 + 1113 é primo”; q=“π + e é irracional”; r = ¬(p ∧ q);
s = ¬p ∨ ¬q.
Para preencher

p q ¬p ∨ ¬q
V V
V F
F V
F F

procedemos de maneira similar:

p q ¬p ¬q ¬p ∨ ¬q
V V F
V F F
F V V
F F V

Lógica matemática pt. II Matemática Discreta

Equivalência lógica de proposições compostas
57 1719
p=“23 + 1113 é primo”; q=“π + e é irracional”; r = ¬(p ∧ q);
s = ¬p ∨ ¬q.
Para preencher

p q ¬p ∨ ¬q
V V
V F
F V
F F

procedemos de maneira similar:

p q ¬p ¬q ¬p ∨ ¬q
V V F F
V F F V
F V V F
F F V V

Lógica matemática pt. II Matemática Discreta

Equivalência lógica de proposições compostas
57 1719
p=“23 + 1113 é primo”; q=“π + e é irracional”; r = ¬(p ∧ q);
s = ¬p ∨ ¬q.
Para preencher

p q ¬p ∨ ¬q
V V
V F
F V
F F

procedemos de maneira similar:

p q ¬p ¬q ¬p ∨ ¬q
V V F F F
V F F V V
F V V F V
F F V V V

Lógica matemática pt. II Matemática Discreta

Equivalência lógica de proposições compostas
57 1719
p=“23 + 1113 é primo”; q=“π + e é irracional”; r = ¬(p ∧ q);
s = ¬p ∨ ¬q.
Note que as tabelas verdade de r = ¬(p ∧ q) e s = ¬p ∨ ¬q são
iguais:

p q ¬(p ∧ q) ¬p ∨ ¬q
V V F F
V F V V
F V V V
F F V V

Isto revela que as proposições r =“não é verdade que

57 1719 57 1719
(23 + 1113 é primo e π + e é irracional)” e s=“23 + 1113
não é primo e π + e é racional”, embora escritas de maneira
diferente, são logicamente equivalentes.

Lógica matemática pt. II Matemática Discreta

Equivalência lógica de proposições compostas
Definição: equivalência lógica de proposições compostas
Seja n um número natural, e sejam p1 ,...,pn proposições. Sejam r e
s duas proposições compostas de p1 ,...,pn . Dizemos que r e s são
logicamente equivalentes se para quaisquer valores verdade
atribuı́dos a p1 ,...,pn , o valor verdade de r e de s será o mesmo
(equivalentemente: as tabelas verdade de r e de s são iguais)

Exemplos:
• dadas proposições p e q, as proposições ¬(p ∧ q) e ¬p ∨ ¬q são
logicamente equivalentes (já vimos)
• dada uma proposição p, a proposição ¬¬p é logicamente
equivalente a p. De fato a tabela verdade de ¬¬p coincide com a
de p: p ¬p ¬¬p
V F V
F V F
(os valores na primeira e na última colunas coincidem).
Lógica matemática pt. II Matemática Discreta
Equivalência lógica de proposições compostas

Pergunta: dadas proposições p, q e r , as proposições compostas

(p ∧ q) ∨ r e p ∧ (q ∨ r ) são logicamente equivalentes?
Montemos a tabela verdade de (p ∧ q) ∨ r e de p ∧ (q ∨ r ) para
comparar:
p q r (p ∧ q) ∨ r p ∧ (q ∨ r )
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F

Lógica matemática pt. II Matemática Discreta

Equivalência lógica de proposições compostas

Pergunta: dadas proposições p, q e r , as proposições compostas

(p ∧ q) ∨ r e p ∧ (q ∨ r ) são logicamente equivalentes?
Montemos a tabela verdade de (p ∧ q) ∨ r e de p ∧ (q ∨ r ) para
comparar:
p q r p∧q q∨r (p ∧ q) ∨ r p ∧ (q ∨ r )
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F

Lógica matemática pt. II Matemática Discreta

Equivalência lógica de proposições compostas

Pergunta: dadas proposições p, q e r , as proposições compostas

(p ∧ q) ∨ r e p ∧ (q ∨ r ) são logicamente equivalentes?
Montemos a tabela verdade de (p ∧ q) ∨ r e de p ∧ (q ∨ r ) para
comparar:
p q r p∧q q∨r (p ∧ q) ∨ r p ∧ (q ∨ r )
V V V V
V V F V
V F V
V F F
F V V
F V F
F F V
F F F

Lógica matemática pt. II Matemática Discreta

Equivalência lógica de proposições compostas

Pergunta: dadas proposições p, q e r , as proposições compostas

(p ∧ q) ∨ r e p ∧ (q ∨ r ) são logicamente equivalentes?
Montemos a tabela verdade de (p ∧ q) ∨ r e de p ∧ (q ∨ r ) para
comparar:
p q r p∧q q∨r (p ∧ q) ∨ r p ∧ (q ∨ r )
V V V V
V V F V
V F V F
V F F F
F V V F
F V F F
F F V F
F F F F

Lógica matemática pt. II Matemática Discreta

Equivalência lógica de proposições compostas

Pergunta: dadas proposições p, q e r , as proposições compostas

(p ∧ q) ∨ r e p ∧ (q ∨ r ) são logicamente equivalentes?
Montemos a tabela verdade de (p ∧ q) ∨ r e de p ∧ (q ∨ r ) para
comparar:
p q r p∧q q∨r (p ∧ q) ∨ r p ∧ (q ∨ r )
V V V V
V V F V
V F V F
V F F F F
F V V F
F V F F
F F V F
F F F F F

Lógica matemática pt. II Matemática Discreta

Equivalência lógica de proposições compostas

Pergunta: dadas proposições p, q e r , as proposições compostas

(p ∧ q) ∨ r e p ∧ (q ∨ r ) são logicamente equivalentes?
Montemos a tabela verdade de (p ∧ q) ∨ r e de p ∧ (q ∨ r ) para
comparar:
p q r p∧q q∨r (p ∧ q) ∨ r p ∧ (q ∨ r )
V V V V V
V V F V V
V F V F V
V F F F F
F V V F V
F V F F V
F F V F V
F F F F F

Lógica matemática pt. II Matemática Discreta

Equivalência lógica de proposições compostas

Pergunta: dadas proposições p, q e r , as proposições compostas

(p ∧ q) ∨ r e p ∧ (q ∨ r ) são logicamente equivalentes?
Montemos a tabela verdade de (p ∧ q) ∨ r e de p ∧ (q ∨ r ) para
comparar:
p q r p∧q q∨r (p ∧ q) ∨ r p ∧ (q ∨ r )
V V V V V
V V F V V
V F V F V
V F F F F F
F V V F V
F V F F V F
F F V F V
F F F F F F

Lógica matemática pt. II Matemática Discreta

Equivalência lógica de proposições compostas

Pergunta: dadas proposições p, q e r , as proposições compostas

(p ∧ q) ∨ r e p ∧ (q ∨ r ) são logicamente equivalentes?
Montemos a tabela verdade de (p ∧ q) ∨ r e de p ∧ (q ∨ r ) para
comparar:
p q r p∧q q∨r (p ∧ q) ∨ r p ∧ (q ∨ r )
V V V V V V
V V F V V V
V F V F V V
V F F F F F
F V V F V V
F V F F V F
F F V F V V
F F F F F F

Lógica matemática pt. II Matemática Discreta

Equivalência lógica de proposições compostas

Pergunta: dadas proposições p, q e r , as proposições compostas

(p ∧ q) ∨ r e p ∧ (q ∨ r ) são logicamente equivalentes?
Montemos a tabela verdade de (p ∧ q) ∨ r e de p ∧ (q ∨ r ) para
comparar:
p q r p∧q q∨r (p ∧ q) ∨ r p ∧ (q ∨ r )
V V V V V V V
V V F V V V V
V F V F V V V
V F F F F F
F V V F V V
F V F F V F
F F V F V V
F F F F F F

Lógica matemática pt. II Matemática Discreta

Equivalência lógica de proposições compostas

Pergunta: dadas proposições p, q e r , as proposições compostas

(p ∧ q) ∨ r e p ∧ (q ∨ r ) são logicamente equivalentes?
Montemos a tabela verdade de (p ∧ q) ∨ r e de p ∧ (q ∨ r ) para
comparar:
p q r p∧q q∨r (p ∧ q) ∨ r p ∧ (q ∨ r )
V V V V V V V
V V F V V V V
V F V F V V V
V F F F F F F
F V V F V V F
F V F F V F F
F F V F V V F
F F F F F F F

Lógica matemática pt. II Matemática Discreta

Equivalência lógica de proposições compostas

Pergunta: dadas proposições p, q e r , as proposições compostas

(p ∧ q) ∨ r e p ∧ (q ∨ r ) são logicamente equivalentes?
Montemos a tabela verdade de (p ∧ q) ∨ r e de p ∧ (q ∨ r ) para
comparar:
p q r p∧q q∨r (p ∧ q) ∨ r p ∧ (q ∨ r )
V V V V V V V
V V F V V V V
V F V F V V V
V F F F F F F
F V V F V V F
F V F F V F F
F F V F V V F
F F F F F F F

Lógica matemática pt. II Matemática Discreta

Equivalência lógica de proposições compostas
Pergunta: dadas proposições p, q e r , as proposições compostas
(p ∧ q) ∨ r e p ∧ (q ∨ r ) são logicamente equivalentes?
Montemos a tabela verdade de (p ∧ q) ∨ r e de p ∧ (q ∨ r ) para
comparar:
p q r p ∧ q q ∨ r (p ∧ q) ∨ r p ∧ (q ∨ r )
V V V V V V V
V V F V V V V
V F V F V V V
V F F F F F F
F V V F V V F
F V F F V F F
F F V F V V F
F F F F F F F
Resposta: não. Justificativa: conforme explicitado acima, as
tabelas verdade de (p ∧ q) ∨ r e de p ∧ (q ∨ r ) são distintas.
(Justificativa mais suscinta: (F ∧ V ) ∨ V = V , enquanto que
F ∧ (V ∨ V ) = F .)
Lógica matemática pt. II Matemática Discreta
Equivalência lógica de proposições compostas

Observações:
• ∧ e ∨ são exemplos de operações lógicas binárias (também
chamadas operações booleanas binárias). Elas “recebem” dois
valores verdade, e “devolvem” um valor verdade: V ∧ F = F ,
F ∨ V = V ... compare com as operações aritméticas binárias, tais
como + e ., que recebem dois números reais e devolvem um
número real: 2 + 2 = 4, 3.7 = 21...
• ¬ é uma operação lógica unária. Podemos também definir
operações ternárias, quaternárias,..., n-árias...
• (usamos sem mencionar) da mesma forma que as expressões
aritméticas satisfazem uma hierarquia, as operações lógicas
também tem uma hierarquia: toda ver que aparece ¬, ele é
efetuado antes dos ∧ e ∨, exceto quando aparecem parênteses.
Exemplo: ¬F ∨ F = (¬F ) ∨ F = V ∨ F .

Lógica matemática pt. II Matemática Discreta

As seguintes duas equivalências lógicas revelam uma relação
importante entre as operações lógicas ∧, ∨ e ¬:
Leis de De Morgan
Sejam p e q proposições. Então:
(1) ¬(p ∧ q) e ¬p ∨ ¬q são logicamente equivalentes, e
(2) ¬(p ∨ q) e ¬p ∧ ¬q são logicamente equivalentes.

Já verificamos a equivalência lógica (1) nestes slides. A

equivalência (2) pode ser verificada através de tabelas verdade de
maneira similar.
Exemplo de aplicação: seja n um número natural, e considere
p =“n é divisı́vel por 2”, q =“n é divisı́vel por 3”
• De acordo com (1), a negação da proposição “n é divisı́vel por 2
e 3” é “n não é divisı́vel por 2 ou n não é divisı́vel por 3”
• De acordo com (2), a negação da proposição “n é divisı́vel por 2
ou 3” é “n não é divisı́vel por 2 e n não é divisı́vel por 3”
(Veremos mais exemplos de aplicações das Leis de De Morgan nos
próximos slides)
Lógica matemática pt. II Matemática Discreta
Fim

Lógica matemática pt. II Matemática Discreta