ADM1243|2GA|2GB PROFª ANNA MARIA SOTERO

02 – OPERAÇÕES LÓGICAS
Quando pensamos, efetuamos muitas vezes certas operações sobre proposições, chamadas operações
lógicas. Estas obedecem às regras de um cálculo, denominado cálculo proposicional, semelhante ao da
aritmética sobre números. Cada um dos conectivos estudados está associado a uma operação lógica:

CONECTIVO SÍMBOLO OPERAÇÃO

e ∧ Conjunção
ou ∨ Disjunção
ou ... ou ... ∨ Disjunção Exclusiva
não ∼ Negação
se..., então ... → Condicional
...se, e somente se, ... ↔ Bicondicional
A seguir, estudaremos as operações lógicas fundamentais.
❖ Negação (~): Chama-se negação da proposição 𝑝, denotada por ~𝒑, que se lê “não 𝒑”, a proposição
que tem o valor lógico oposto ao de 𝑝. Complete sua tabela-verdade:
𝒑 ~𝒑
V
F
Exemplos:
𝑝: 5 + 2 = 7 𝑡: Todos os homens são mentirosos
~𝑝: ~𝑡:
𝑞: 3 > 8 𝑢: Nenhuma mulher é feia
~𝑞: ~𝑢:
𝑟: Paris é uma cidade romântica 𝑣: Algum aluno usa óculos
~𝑟: ~𝑣:
𝑠: O Sol é uma estrela 𝑤: Existe carro transparente
~𝑠: ~𝑤:
❖ Conjunção (∧): Chama-se conjunção de duas proposições 𝑝 e 𝑞, representada por
𝒑 ∧ 𝒒, que se lê “𝒑 e 𝒒”, a proposição composta que será verdadeira apenas quando 𝑝 e 𝑞 são ambas
verdadeiras e falsa nos demais casos. Complete sua tabela-verdade:
𝒑 𝒒 𝒑∧𝒒
V V
V F
F V
F F
Exemplos:
𝑝: 7 é um número primo
𝑞: 2 > 5
𝑝 ∧ 𝑞:
𝑣(𝑝 ∧ 𝑞) =
 ADM1243|2GA|2GB PROFª ANNA MARIA SOTERO

𝑝: Newton era inglês

𝑞: Leibniz era alemão
𝑝 ∧ 𝑞:
𝑣(𝑝 ∧ 𝑞) =

❖ Disjunção (∨): Chama-se disjunção de duas proposições 𝑝 e 𝑞 a proposição representada por 𝒑 ∨ 𝒒,

que se lê “𝒑 ou 𝒒”, que será falsa somente quando ambas 𝑝 e 𝑞 são falsas e verdadeira nos demais
casos. Complete sua tabela-verdade:
𝒑 𝒒 𝒑∨𝒒
V V
V F
F V
F F
Exemplos:
𝑝: 𝑒 = 2,7
𝑞: √4 = ±2
𝑝 ∨ 𝑞:
𝑣(𝑝 ∨ 𝑞) =

𝑝: Camões escreveu os Lusíadas

𝑞: Roma é a capital da França
𝑝 ∨ 𝑞:
𝑣(𝑝 ∨ 𝑞) =

❖ Disjunção Exclusiva (∨): Chama-se disjunção exclusiva de duas proposições 𝑝 e 𝑞 a proposição

representada por 𝒑 ∨ 𝒒, que se lê “ou 𝒑 ou 𝒒” ou “𝒑 ou 𝒒, mas não ambos”, que será falsa quando
ambas 𝑝 e 𝑞 são verdadeiras ou quando ambas 𝑝 e 𝑞 são falsas e verdadeira nos demais casos.
Complete sua tabela-verdade:
𝒑 𝒒 𝒑∨𝒒
V V
V F
F V
F F

Exemplos:
𝑝: Maria é carioca
𝑞: Maria é paulista
𝑝 ∨ 𝑞:
𝑝 ∨ 𝑞:
 ADM1243|2GA|2GB PROFª ANNA MARIA SOTERO

❖ Condicional (→): Chama-se condicional uma proposição representada por 𝒑 → 𝒒, que se lê “se 𝒑 então
𝒒”, cujo valor lógico é a falsidade no caso em que 𝑝 é verdadeira e 𝑞 é falsa e cujo valor lógico é a
verdade nos demais casos. Complete sua tabela-verdade:
𝒑 𝒒 𝒑→𝒒
V V
V F
F V
F F
• A proposição 𝑝 é chamada antecedente; a proposição 𝑞 é chamada consequente.
• 𝑝 → 𝑞 não afirma que o consequente 𝑞 se deduz ou é consequência do antecedente 𝑝.
• 𝑝 é suficiente para 𝑞 e 𝑞 é necessária para 𝑝.
• O conectivo 𝑝 → 𝑞 nos remete a uma relação de inclusão. Considere os conjuntos A e B e as
proposições
𝑝: 𝑥 ∈ 𝐴 e 𝑞: 𝑥 ∈ 𝐵
𝐴 ⊂ 𝐵 significa A está contido em B, isto é,
se 𝑥 ∈ 𝐴 então 𝑥 ∈ 𝐵, ou seja, 𝑝 → 𝑞
A não está contido em B apenas quando 𝑥 ∈ 𝐴 é uma sentença verdadeira e 𝑥 ∈ 𝐵 é uma
sentença falsa. Portanto, uma implicação 𝑝 → 𝑞 é falsa apenas quando 𝑝 é verdadeira e 𝑞 é
falsa.

Exemplos:
𝑝: Gauss era alemão
𝑞: 2 é par
𝑝 → 𝑞:
𝑣(𝑝 → 𝑞) =

𝑝: Gauss era alemão

𝑞: 2 é ímpar
𝑝 → 𝑞:
𝑣(𝑝 → 𝑞) =

𝑝: Gauss era suíço

𝑞: 2 é par
𝑝 → 𝑞:
𝑣(𝑝 → 𝑞) =

𝑝: Senna está vivo

𝑞: Michael Jackson não morreu
𝑝 → 𝑞:
𝑣(𝑝 → 𝑞) =
 ADM1243|2GA|2GB PROFª ANNA MARIA SOTERO

❖ Bicondicional (↔): Chama-se bicondicional uma proposição representada por 𝒑 ↔ 𝒒, que se lê “𝒑 se, e
somente se, 𝒒”, cujo valor lógico é a verdade quando 𝑝 e 𝑞 são ambas verdadeiras ou ambas falsas e
cujo valor lógico é a falsidade nos demais casos. Complete sua tabela-verdade:

𝒑 𝒒 𝒑↔𝒒
V V
V F
F V
F F
Exemplo:
𝑝: A Terra é plana
𝑞: 2 = 3
𝑝 ↔ 𝑞:
𝑣(𝑝 ↔ 𝑞) =

EXERCÍCIOS

1) Sejam as proposições 𝑝: Está frio e 𝑞: Está chovendo. Traduzir para a linguagem corrente as seguintes
proposições:
a) ∼ 𝑝:
b) ~𝑝 ∧ 𝑞:
c) 𝑝 ∨ ~𝑞:
d) 𝑝 → ∼ 𝑞:
e) 𝑝 ∨ ∼ 𝑞:
f) ∼ 𝑝 ∧ ∼ 𝑞:
g) 𝑝 ↔ ∼ 𝑞:

2) Seja 𝑝: Zé é rico. Traduzir ∼∼ 𝑝 para a linguagem corrente:

3) Sejam as proposições 𝑝: Bela é alta e 𝑞: Bela é elegante. Traduzir para a linguagem simbólica:

a) Bela é alta e elegante:

b) Bela é alta, mas não é elegante:

c) Não é verdade que Bela não é alta ou elegante:

d) Bela não é alta nem elegante:

e) É falso que Bela não é alta ou que não é elegante:

 ADM1243|2GA|2GB PROFª ANNA MARIA SOTERO

4) Determinar o valor lógico das proposições:

a) 3 + 2 = 7 e 5 + 5 = 10

b) 1 > 0 ou 2 + 2 = 4

c) 3 ≠ 3 ou 5 ≠ 5

d) Se 3 + 2 = 6, então 4 + 4 = 9.

e) Se 0 < 1, então − 22 = 4.

f) √2 ∙ √8 = 4 se, e somente se, (1 + 5)0 = 3.

g) Não é verdade que 12 é impar.

h) Não é verdade que Belém é a capital do Pará.

i) É falso que 2 + 3 = 5 e 1 + 1 = 3.

j) É falso que 3 + 3 = 6 ou √−1 = 1.

k) ∼ (1 + 1 = 2 ↔ 3 + 4 = 5)

5) (ESAF – SEFAZ/SP) Assinale a opção verdadeira:

(A) 3 = 4 e 3 + 4 = 9.
(B) Se 3 = 3, então 3 + 4 = 9.
(C) Se 3 = 4, então 3 + 4 = 9.
(D) 3 = 4 ou 3 + 4 = 9.
(E) 3 = 3 se, e somente se, 3 + 4 = 9.
 ADM1243|2GA|2GB PROFª ANNA MARIA SOTERO

GABARITO
1)
a) Não está frio.
b) Não está frio e está chovendo; Não está frio, mas está chovendo.
c) Está frio ou não está chovendo.
d) Se está frio, então não está chovendo.
e) Ou está frio ou não está chovendo; Está frio ou não está chovendo, mas não ambos.
f) Não está fio e não está chovendo; Não está frio nem chovendo.
g) Está frio se, e somente se, não está chovendo.

2) Não é verdade que Zé não é rico; Zé é rico.

3)
a) 𝑝∧𝑞
b) 𝑝 ∧ ~𝑞
c) ~(~𝑝 ∨ 𝑞)
d) ~𝑝 ∧ ~𝑞
e) ~(~𝑝 ∨ ~𝑞)

4)
a) F
b) V
c) F
d) V
e) F
f) F
g) V
h) F
i) V
j) F
k) V

5) C

BIBLIOGRAFIA: ALENCAR, E. Iniciação à Lógica Matemática; São Paulo: Nobel, 2014