Simbolizacao Conectivos

Novo Módulo de MD 2020 Unidade 1
Matemática Discreta
Tópicos da Linguagem e da Lógica Matemáticas
Texto da Semana 2, Parte 2
Simbolização de Enunciados com Conectivos
Sumário
1 Introdução 12
2 Conectivos: simbolização e sintaxe 13
3 Enunciados componentes 15
3.1 Observações . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
3.2 Exercı́cios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
4 Legendas 18
4.1 Observações . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
4.2 Exercı́cio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
5 Simbolização de enunciados com conectivos 21

5.1 Observações . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
5.2 Exercı́cios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
6 Exercı́cios Propostos 25
1 Introdução
Os dois passos principais para a análise lógica de um enunciado — determinação
de como ele é formado e sua posterior avaliação — podem ser dificultados enor-
memente se prestamos demasiada atenção no seu conteúdo e não na sua estrutura
lógica.
Por exemplo, em uma análise superficial, podemos considerar que o enunciado:
se 2 é ı́mpar, então 4 é par
é falso, já que sabemos que 2 não é ı́mpar e, portanto, esta não pode ser uma justifi-
cativa para que 4 seja par. Mas, como veremos no Texto da Semana 3, Parte 1, esta
análise é improcedente, do ponto de vista da Lógica e da Linguagem Matemáticas.
Assim, um dos passos principais na análise lógica de um enunciado é a “ocultação
do seu conteúdo” através da sua reescrita por meio de sı́mbolos especiais, reservados
para este fim.
12
Analisar um enunciado de modo a determinar os componentes básicos

que expressam o seu conteúdo, associar sı́mbolos adequados a estes com-
ponentes, e obter uma expressão simbólica do enunciado para sua pos-
terior avaliação, são habilidades essenciais que todo estudante de Ma-
temática deve dominar — em maior ou menor grau.
Nas aulas de Linguagem e Lógica Matemática, vamos estudar este aspecto dos enun-
ciados de modo a fornecer uma base para o seu uso no contato com as outras disci-
plinas matemáticas.
Especificamente, neste texto, vamos abordar os conceitos de simbolização de
conectivos (Seção 2); enunciados componentes (Seção 3); legenda (Seção 4); e sim-
bolização baseada em uma legenda (Seção 5). Depois de estudarmos este texto,
vamos ser capazes de reconhecer os componentes de um enunciado (Exercı́cios 1 e
2); determinar uma legenda para a simbolização de um enunciado (Exercı́cio 3); e
simbolizar um enunciado de acordo com uma legenda (Exercı́cios 4, 5 e 6).
2 Conectivos: simbolização e sintaxe

Uma mesma informação pode ser escrita de várias maneiras, como um enunciado.
Por exemplo, os enunciados:
2 e 4 são pares, mas 3 não é
2 é par e 3 não é par e 4 é par
expressam a mesma informação. Mas, para os nossos padrões, somente o segundo
está escrito de maneira logicamente estruturada com o uso dos conectivos lógicos.
O inı́cio da análise lógica de um enunciado consiste em reescrevê-lo de forma
estruturada, com o uso dos conectivos. Os dois primeiros passos para este fim são:
(1) determinar os enunciados mais simples a partir dos quais ele é formado; (2)
explicitar detalhadamente a maneira como ele é formado a partir dos enunciados
mais simples, por meio dos conectivos.
A principal ferramenta empregada nesta fase da análise lógica é a simbolização.
Simbolização dos conectivos

A simbolização começa com a atribuição de sı́mbolos aos conectivos lógicos.
Os conectivos lógicos são dados e simbolizados na seguinte tabela:
conectivo sı́mbolo
não ¬
e ∧
ou ∨
se . . . então →
se e somente se ↔
13
Outros textos usam outros sı́mbolos ou, até mesmo, variantes dos sı́mbolos lis-
tados acima, para a simbolização dos conectivos lógicos. Mas estes são os únicos
conectivos e sı́mbolos para os conectivos adotados em nossos estudos. Qualquer ou-
tra possibilidade — por exemplo os sı́mbolos ∼, ⇒ e ⇔ — está descartada e é
considerada um erro.
Além disso, denotamos enunciados genéricos pelas letras gregas minúsculas:
α alfa β beta γ gama δ delta
θ teta λ lambda µ mi ρ rô
σ sigma τ tau φ fi ψ psi,
usualmente indexadas por números naturais. Também utilizamos a letra grega φ
estilizada, escrevendo-a como ϕ. Assim para nos referirmos a três enunciados, não
necessariamente distintos, podemos escrever, por exemplo, ϕ, ψ e θ — ou, alterna-
tivamente, ϕ1 , ϕ2 e ϕ3 .
Sintaxe dos conectivos

Quanto à formação de enunciados, os conectivos simbolizados são usados de
maneira bem precisa, de acordo com regras bem determinadas, que passamos a
descrever.
Regra de formação do ¬:
O conectivo ¬ é escrito na frente de um enunciado ϕ e forma o enunciado ¬ϕ,
chamado a negação de ϕ.
Para eliminar ambiguidades, podemos usar parênteses (chaves, colchetes, . . . )
escrevendo ¬(ϕ), (¬ϕ) ou até mesmo [¬(ϕ)].
Regra de formação do ∧:
O conectivo ∧ é escrito entre dois enunciados ϕ e ψ, não necessariamente

distintos e tomados na ordem dada, e forma o enunciado ϕ ∧ ψ, chamado a
conjunção de ϕ e ψ.

escrevendo (ϕ) ∧ (ψ), (ϕ ∧ ψ) ou até mesmo [(ϕ) ∧ (ψ)].
Regra de formação do ∨:
O conectivo ∨ é escrito entre dois enunciados ϕ e ψ, não necessariamente

distintos e tomados na ordem dada, e forma o enunciado ϕ ∨ ψ, chamado a
disjunção de ϕ e ψ.

escrevendo (ϕ) ∨ (ψ), (ϕ ∨ ψ) ou até mesmo [(ϕ) ∨ (ψ)].
14
Regra de formação do →:
O conectivo → é escrito entre dois enunciados ϕ e ψ, não necessariamente

distintos e tomados na ordem dada, e forma o enunciado ϕ → ψ, chamado a
implicação de ψ por ϕ (observe a ordem em que os enunciados são mencio-
nados).

escrevendo (ϕ) → (ψ), (ϕ → ψ) ou até mesmo [(ϕ) → (ψ)].
Mas, observe que nunca escrevemos implicações usando a ‘seta dupla’ ⇒.
Regra de formação do ↔:
O conectivo ↔ é escrito entre dois enunciados ϕ e ψ, não necessariamente

distintos e tomados na ordem dada, e forma o enunciado ϕ ↔ ψ, chamado a
bi-implicação de ϕ e ψ.

escrevendo (ϕ) ↔ (ψ), (ϕ ↔ ψ) ou até mesmo [(ϕ) ↔ (ψ)].
Mas, observe que nunca escrevemos bi-implicações usando a ‘seta dupla’ ⇔.
Outros textos estabelecem maneiras alternativas de formarmos enunciados por

meio dos conectivos lógicos. Mas estas são as únicas maneiras adotadas em nossos
estudos. Qualquer outra possibilidade está descartada e é considerada um erro.
Exemplo 1 Os enunciados
¬ (eu faço os exercı́cios)
[¬ (eu faço os exercı́cios)] ∧ (eu quero passar)
(eu faço os exercı́cios) ∨ [¬ (eu passo na matéria)]
(eu faço os exercı́cios) → (eu passo na matéria)
[¬ (eu passo na matéria)] ↔ [¬ (eu faço os exercı́cios)]
são uma negação, uma conjunção, uma disjunção, uma implicação e uma bi-implica-
ção, respectivamente.
3 Enunciados componentes
Para analisar e simbolizar um enunciado é essencial que saibamos explicitar em
detalhes a maneira como ele é formado, em conformidade com as regras de formação
dos conectivos lógicos. Vamos, agora, estudar este processo de maneira detalhada.
15
Sejam ϕ um enunciado qualquer e ϕ1 , ϕ2 , . . . , ϕn enunciados que não possuem

ocorrências de conectivos lógicos.
Dizemos que ϕ1 , ϕ2 , . . . , ϕn são os componentes de ϕ, quando ϕ é formado a

partir de ϕ1 , ϕ2 , . . . , ϕn pela aplicação (zero, uma, ou mais vezes) dos conecti-
vos lógicos.
O primeiro passo para a simbolização é determinar os enunciados componentes.
Exemplo 2 (a) O componente de
x é primo
é
x é primo.
(b) O componente de
ela não gosta de bebidas amargas
é
ela gosta de bebidas amargas.
(c) Os componentes de
está chovendo ou fazendo sol
são
está chovendo
está fazendo sol.
3.1 Observações
Observação 1 Observe que os componentes não possuem ocorrências de conecti-
vos. Por exemplo, o componente de
não é o caso que x não é primo
é
x é primo.
Os componentes de
se x não é primo, então x é igual a 1 ou x não tem um fator próprio
são
16
x é primo
x é igual a 1
x tem um fator próprio.
Observação 2 Observe que algumas frases (sujeitos, verbos, predicados, etc.) estão
implı́citas nos enunciados, mas devem ser escritas explicitamente nos componentes.
Por exemplo, os componentes de
João e Ricardo são felizes por serem saudáveis e ricos
são
João é feliz
Ricardo é feliz
João é saudável
Ricardo é saudável
João é rico
Ricardo é rico.
3.2 Exercı́cios
Exercı́cio 1 Determine o(s) componente(s) de cada enunciado abaixo.
(i) 2 é par
(ii) 3 não é par
(iii) eu trabalho e os outros ficam ricos
(iv) f (x) não é derivável ou f (x) é contı́nua
(v) se estudo para a prova, então não vou à praia e não vou ao cinema
(vi) sou realizado se, e somente se, planto uma árvore, escrevo um livro e tenho
um filho
Exercı́cio 2 Determine o(s) componente(s) de cada enunciado abaixo.
(i) João é esperto
(ii) Ricardo não é bobo
(iii) perdoar é fácil e faz bem
(iv) João ou Ricardo voltou atrás
(v) se João pediu desculpas, provou que é humilde
(vi) se aceitou as desculpas, ele provou que é generoso
Antes de ler as resoluções, tente resolver os exercı́cios usando os

conceitos estudados.
Resolução do Exercı́cio 1: (i) 2 é par. (ii) 3 é par. (iii) eu trabalho; os outros ficam ricos. (iv)
f (x) é derivável; f (x) é contı́nua. (v) eu estudo para a prova; eu vou à praia; eu vou ao cinema. (vi)
eu sou realizado; eu planto uma árvore; eu escrevo um livro; eu tenho um filho. Acrescentamos o
pronome pessoal eu aos enunciados componentes para explicitar os sujeitos das frases. Resolução
do Exercı́cio 2: (i) João é esperto. (iii) Ricardo é bobo. (iii) perdoar é fácil; perdoar faz bem. (iv)
João voltou atrás; Ricardo voltou atrás. (v) João pediu desculpas; João provou que é humilde. (vi) ele
aceitou as desculpas; ele provou que é generoso.
17
4 Legendas
O próximo passo para a simbolização é simbolizar os componentes. Isto é feito
através da noção de legenda de simbolização:
(1) Sejam ϕ1 , ϕ2 , . . . , ϕn enunciados, distintos dois a dois, que não possuem

ocorrências de conectivos.
Uma legenda para ϕ1 , ϕ2 , . . . , ϕn é um esquema da forma:
l1 : ϕ1
l2 : ϕ2
..
.
ln : ϕn
onde l1 , l2 , . . . , ln são n letras distintas, usualmente escolhidas dentre as letras

minúsculas do alfabeto.
Observe que cada linha da legenda é formada por uma letra e um enunciado
componente, separados por : (dois pontos). Este é o único sı́mbolo para
separar as letras dos componentes adotados em nossos estudos. Qualquer outra
possibilidade — por exemplo o sı́mbolo = — está descartada e é considerada
um erro.
(2) Seja ϕ um enunciado.
Uma legenda para ϕ é uma legenda para os componentes de ϕ.
Exemplo 3 (a) Uma legenda para o enunciado
ela gosta de bebidas amargas
pode ser:
g : ela gosta de bebidas amargas.
(b) Uma legenda para o enunciado
pode ser a mesma já definida no item (a).
(c) Uma legenda para o enunciado
18
pode ser:
p : x é primo.
(d) Uma legenda para o enunciado

está chovendo ou está fazendo sol
pode ser:
c : está chovendo
s : está fazendo sol.
(e) Uma legenda para o enunciado

se x não é primo, então x é igual a 1 ou x não tem um fator próprio
pode ser:
p : x é primo
u : x é igual a 1
f : x tem um fator próprio.
(f) Uma legenda para o enunciado

se 2 é par e 3 é par, então 2 é par
pode ser:
d : 2 é par
t : 3 é par.
4.1 Observações
Observação 3 A simbolização de um único enunciado é feita em relação a uma
única legenda, embora uma mesma legenda possa ser usada na simbolização de
vários enunciados diferentes.
Observação 4 Por serem enunciados componentes, de acordo com o que já enfa-
tizamos na Observação 3.1, os enunciados que ocorrem em uma legenda: (1) não
possuem ocorrências de conectivos lógicos; (2) não estão escritos nem de maneira
parcial nem de maneira abreviada.
Observação 5 Em uma legenda para um enunciado ϕ, cada um dos componen-

tes de ϕ deve ser denotado por uma letra diferente. Para facilitar a análise dos
enunciados, como ilustrado no Exemplo 3, procuramos usar “letras sugestivas”.
Observação 6 Dado um enunciado ϕ que possui mais de uma ocorrência de um

mesmo componente, estas ocorrências são consideradas como distintas, mas são
denotadas pela mesma letra na legenda.
Por exemplo, o enunciado
eu vou, eu vou e eu vou
19
possui três ocorrências do enunciado

eu vou
Uma legenda para ele é, simplesmente,
v : eu vou.
4.2 Exercı́cio
Exercı́cio 3 Para cada enunciado abaixo, faça o que se pede: (a) Determine seu(s)
componente(s). (b) Baseado na solução do item (a), defina uma legenda para o
enunciado
(i) P é um ponto de acumulação
(ii) 4 não é um quadrado perfeito
(iii) 4 nunca foi primo
(iv) eu trabalho e eu ganho dinheiro
(v) eu trabalho, mas não ganho dinheiro
(vi) eu não estudo ou eu não me divirto
(vii) se eu não vou ao jogo, então eu lavo o carro
(viii) caso eu lave o carro, eu vou ao jogo
(ix) eu vou ao jogo se eu não lavar o carro
(x) eu lavo o carro quando vou ao jogo
(xi) o dia está nublado se, e somente se, o sol está encoberto
(xii) o dia não está nublado quando, e somente quando, o sol brilha no céu
Antes de ler a resolução, tente resolver o exercı́cio usando os con-

ceitos estudados.
Resolução do Exercı́cio 3: Para o item (i) Componente: P é um ponto de acumulação.

Legenda: p : P é um ponto de acumulação. (ii) Componente: 4 é um quadrado perfeito.
Legenda: q : 4 é um quadrado perfeito (iii) Reescrita: 4 não é primo. Componente: 4 é
primo. Legenda: n : 4 é primo. (iv) Componentes: eu trabalho, eu ganho dinheiro. Le-
t : eu trabalho
genda: (v) Reescrita: eu trabalho e eu não ganho dinheiro. Com-
d : eu ganho dinheiro.
ponentes e legenda: os mesmos do item (iv). (vi) Componentes: eu estudo, eu me divirto. Le-
e : eu estudo
genda: (vii) Componentes: eu vou ao jogo, eu lavo o carro. Legenda:
d : eu me divirto.
j : eu vou ao jogo
(viii) Reescrita: se eu lavo o carro, então eu vou ao jogo. Componentes
l : eu lavo o carro.
e legenda: os mesmos do item (vii). (ix) Reescrita: se eu não lavo o carro, então eu vou ao jogo.
Componentes e legenda: os mesmos do item (vii). (x) Reescrita: se eu vou ao jogo, então eu lavo o
carro. Componentes e legenda: os mesmos do item (vii). (xi) Componentes: o dia está nublado, o
n : o dia está nublado
sol está encoberto. Legenda: (xii) Reescrita: o dia não está nublado
e : o sol está encoberto.
se, e somente se, o sol brilha no céu. Componentes: o dia está nublado, o sol brilha no céu. Legenda:
n : o dia está nublado
b : o sol brilha no céu.
20
5 Simbolização de enunciados com conectivos

Após definir uma legenda, o último passo para a simbolização é, simplesmente,
simbolizar o enunciado baseado na legenda.
Exemplo 4 (a) Dada a legenda
g : ela gosta de bebidas amargas,
o enunciado
ela gosta de bebidas amargas
pode ser simbolizado por
g
(b) Dada a mesma legenda do item (a), o enunciado

¬g
(c) Dada a legenda

p : x é primo,
o enunciado
¬(¬p)
ou, simplesmente,
¬¬p
(d) Dada a legenda

c : está chovendo
s : está fazendo sol,
o enunciado
está chovendo ou está fazendo sol
c∨s
(e) Dada a legenda

p : x é primo
u : x é igual a 1
f : x tem um fator próprio,
o enunciado
21
se x não é primo, então x é igual a 1 ou x não

tem um fator próprio
(¬p) → [u ∨ (¬f )]
ou, simplesmente,
¬p → (u ∨ ¬f )
(f) Dada a legenda

d : 2 é par
t : 3 é par,
o enunciado
se 2 é par e 3 é par, então 2 é par

(d ∧ t) → d
5.1 Observações
Observação 7 A simbolização de um enunciado é um processo complexo que ex-
plicita a sua forma, transformando-o em um objeto mais adequado para a análise
lógica. Ela consiste, essencialmente, de três partes: (1) exame da estrutura lógica do
enunciado, de modo a determinar seus componentes e a maneira como ele é formado;
(2) criação de uma legenda para simbolizá-lo; (3) simbolização propriamente dita,
baseada na legenda criada.
Observação 8 A simbolização de um enunciado deve mostrar corretamente de que

maneira o enunciado é obtido a partir dos enunciados componentes por aplicações
dos conectivos. Isto é, em geral, quando, no processo de simbolização, “não res-
peitamos” a maneira como um enunciado é formado por aplicações dos conectivos,
nem sempre obtemos um enunciado simbolizado com a mesma estrutura lógica que
o enunciado original.
Por exemplo, de acordo com a legenda
p : 2 é ı́mpar
q : 1 é ı́mpar
r : 3 é par,
o enunciado
se 2 é ı́mpar, então 1 é ı́mpar e 3 é par
pode ser simbolizado como
p → (q ∧ r)
Mas, ele não pode ser simbolizado como
(p → q) ∧ r
22
pois, como veremos adiante, enquanto a implicação

se 2 é ı́mpar, então 1 é ı́mpar e 3 é par
é verdadeira, a conjunção
se 2 é ı́mpar, então 1 é ı́mpar; e 3 é par
é falsa.
5.2 Exercı́cios
Exercı́cio 4 Para cada enunciado abaixo, faça o que se pede: (a) Determine se
ele tem ou não ocorrência de conectivo. (b) Se ele tem ocorrência de conectivo,
classifique-o como negação, conjunção, disjunção, implicação ou bi-implicação, des-
tacando a partı́cula e os enunciados componentes a partir dos quais ele é formado.
(c) Defina uma legenda para o enunciado e simbolize-o de acordo com a legenda
definida.
(i) eu gosto de Lógica
(ii) Lógica não é difı́cil
(iii) não é o caso que 8 não é maior do que 7
(iv) Matemática Discreta não é fácil e Matemática Discreta é interessante
(v) 25 não é um quadrado perfeito e 25 não é um múltiplo de 5
(vi) eu estudo bastante ou eu não passo em Matemática Discreta
(vii) f está bem definida e o gráfico de f é uma reta, ou f não é contı́nua
(viii) se ela aprende com facilidade, então: eu vou estudar com ela e ela vai
me ensinar a matéria
(ix) se x2 é ı́mpar e x não é diferente de 0, então x não é par
(x) eu passo em Matemática Discreta se, e somente se, eu estudo bastante e
eu tiro as minhas dúvidas
(xi) m é um número primo se, e somente se, m não é igual a 1 e m não possui
fatores próprios
Exercı́cio 5 Simbolize os enunciados a seguir, de acordo com a seguinte legenda
p1 : Eliane possui um Porsche
p2 : Kátia possui um Porsche
p3 : Marı́lia possui um Porsche
f1 : Eliane possui uma Ferrari
f2 : Kátia possui uma Ferrari
f3 : Marı́lia possui uma Ferrari
z1 : Eliane possui um Zenvo
z2 : Kátia possui um Zenvo
z3 : Marı́lia possui um Zenvo
(i) Eliane não possui um Porsche e Kátia sim
(ii) Eliane possui um Porsche e Kátia não
(iii) nem Eliane nem Kátia possuem Ferraris
(iv) Kátia ou Marı́lia possui um Zenvo
(v) Kátia ou Marı́lia não possui um Zenvo
23
Exercı́cio 6 Simbolize os enunciados a seguir, de acordo com a legenda definida no

Exercı́cio 5.
(i) se Eliane possui um Zenvo, Kátia e Marı́lia não possuem Porsches
(ii) se Eliane não possui um Zenvo, Kátia e Marı́lia sim
(iii) se Eliane possui um Zenvo, Kátia ou Marı́lia também
(iv) alguma das três possui uma Ferrari
(v) alguma das três possui ambos uma Ferrari e um Zenvo
(vi) nenhuma das três possui um Porsche
(vii) todas as três possuem Porsches
Antes de ler as resoluções, tente resolver os exercı́cios usando os

conceitos estudados.
Resolução do Exercı́cio 4: (i) Não possui conectivo. Legenda: g : eu gosto de Lógica.

Simbolização: g. (ii) Possui conectivo. Negação. Formado por aplicação do não a Lógica é
difı́cil. Legenda: d : Lógica é difı́cil. Simbolização: ¬d. (iii) Possui conectivo. Negação. For-
mado por duas aplicações do não a 8 é maior do que 7. Legenda: m : 8 é maior do que 7.
Simbolização: ¬¬m. (iv) Possui conectivo. Conjunção. Formado por aplicação do e a Ma-
temática Discreta não é fácil, Matemática Discreta é interessante. O primeiro é negação, formado
por aplicação do não a Matemática Discreta é fácil. O segundo é Matemática Discreta é interes-
f : Matemática Discreta é fácil
sante. Legenda: Simbolização: ¬f ∧ i. (v) Possui
i : Matemática Discreta é interessante.
conectivo. Conjunção. Formado por aplicação do e a 25 não é um quadrado perfeito, 25 não é
múltiplo de 5. O primeiro é negação, formado por aplicação do não a 25 é um quadrado per-
feito. O segundo é negação, formado por aplicação do não a 25 é um múltiplo de 5. Legenda:
q : 25 é um quadrado perfeito
Simbolização: ¬q ∧ ¬m. (vi) Possui conectivo. Disjunção.
m : 25 é um múltiplo de 5.
Formado por aplicação do ou a eu estudo bastante, eu não passo em Matemática Discreta. O pri-
meiro não possui conectivo. O segundo é negação, formado por aplicação do não a eu passo em
p : eu estudo bastante
Matemática Discreta. Legenda: Simbolização: p ∨ ¬q.
q : eu passo em Matemática Discreta.
(vii) Possui conectivo. Disjunção. Formado por aplicação do ou a f está bem definida e o gráfico
de f é uma reta, f não é contı́nua. O primeiro é conjunção, formado por aplicação do e a f está
bem definida e o gráfico de f é uma reta. O segundo é negação, formado por aplicação do não
d : f está bem definida
a f é contı́nua. Legenda: r : o gráfico de f é uma reta Simbolização: (d ∧ r) ∨ ¬c. (viii)
c : f é contı́nua.
Possui conectivo. Implicação. Formado por aplicação do se . . . então a ela aprende com facilidade
e eu vou estudar com ela e ela vai me ensinar a matéria. O primeiro não possui conectivo. O se-
gundo é conjunção, formado por aplicação do e a eu vou estudar com ela e ela vai me ensinar a
a : ela aprende com facilidade
matéria. Legenda: e : eu vou estudar com ela Simbolização: a → (e ∧ m). (ix) Possui
m : ela vai me ensinar a matéria.
conectivo. Implicação. Formado por aplicação do se . . . então a x2 é ı́mpar e x não é diferente
de 0 e x não é par. O primeiro é conjunção, formado por aplicação do e a x2 é ı́mpar e x não é
diferente de 0. Este primeiro não possui conectivo. Este segundo é negação, formado por aplicação
24
do não a x é diferente de zero. Já x não é par é negação, formado por aplicação do não a x é
i : x2 é ı́mpar
par. Legenda: d : x é diferente de zero Simbolização: (i ∧ ¬d) → ¬p. (x) Possui conectivo.
p : x é par.
Bi-implicação. Formado por aplicação do se, e somente se a eu passo em Matemática Discreta e
eu estudo bastante e eu tiro as minhas dúvidas. O primeiro não possui conectivo. O segundo é
conjunção, formado por aplicação do e a eu estudo bastante e eu tiro as minhas dúvidas. Legenda:
p : eu passo em Matemática Discreta
e : eu estudo bastante Simbolização: p ↔ (e ∧ d). (xi) Possui conectivo. Bi-
d : eu tiro as minhas dúvidas.
implicação. Formado por aplicação do se, e somente se a m é um número primo, m não é igual
a 1 e m não possui fatores próprios. O primeiro é conjunção, formada por aplicação do e a m é
número e m é primo. O segundo é conjunção, formada por aplicação do e a m não é igual a 1
e m não possui fatores próprios. Este primeiro enunciado é uma negação, formado por aplicação
do não a m é igual a 1. Este segundo, é negação, obtido por aplicação do não a m possui fatores
n : m é um número
p : m é um número primo
próprios. Legenda: Simbolização: (n ∧ p) ↔ (¬i ∧ ¬f ). Res-
i : m é igual a 1
f : m possui fatores próprios.
postas do Exercı́cio 5: (i) ((¬p1 ) ∧ p2 ). (ii) (p1 ∧ (¬p2 )). (iii) ((¬f1 ) ∧ (¬f2 )). (iv) (z2 ∨ z3 ). (v)
((¬z2 ) ∨ (¬z3 )). Simplificando parênteses, estes enunciados também podem ser escritos
como: (i) ¬p1 ∧ p2 . (ii) p1 ∧ ¬p2 . (iii) ¬f1 ∧ ¬f2 . (iv) z2 ∨ z3 . (v) ¬z2 ∨ ¬z3 . Respostas do
Exercı́cio 6: (i) z1 → (¬p2 ∧ ¬p3 ). (ii) (¬z1 ) → (z2 ∧ z3 ). (iii) z1 → (z2 ∨ z3 ). (iv) f1 ∨ (f2 ∨ f3 ).
Também pode ser simbolizado por (f1 ∨ f2 ) ∨ f3 . (v) (f1 ∧ z1 ) ∨ [(f2 ∧ z2 ) ∨ (f3 ∧ z3 )]. Também
pode ser simbolizado por [(f1 ∧ z1 ) ∨ (f2 ∧ z2 )] ∨ (f3 ∧ z3 ). (vi) ¬p1 ∧ (¬p2 ∧ ¬p3 ). Também pode
ser simbolizado por (¬p1 ∧ ¬p2 ) ∧ ¬p3 . (vii) p1 ∧ (p2 ∧ p3 ). Também pode ser simbolizado por
(p1 ∧ p2 ) ∧ p3 .
6 Exercı́cios Propostos
Após resolver cada exercı́cio proposto, verifique se alguma resolução para ele
já foi postada na Sala de MD. Se não, poste a sua resolução. Se sim, caso
haja discordância, comente a resolução que já foi postada, dialogando com os
colegas.
Exercı́cio Proposto 1 O carro de Kátia não pegava e ela chamou um mecânico

para consertá-lo. Após examinar o carro, ele disse para ela:
Quando há água no cilindro, o carro não pega; se a junta do cabeçote está
vazando.
Como Kátia sempre gosta de ter uma segunda opinião sobre as coisas, ela decidiu
chamar um outro mecânico que, após examinar o carro, disse para ela:
Caso a rebimboca da parafuseta esteja rachada, a mola da grampeta e a

arruela da biela estarão gastas.
25
Simbolize os dois enunciados que os mecânicos disseram para Kátia.
Exercı́cio Proposto 2 Simbolize os seguintes enunciados, proferidos por uma alu-

na, sobre a sua situação no Cederj:
(a) Acessarei a plataforma na segunda, mas não na quarta e nem no sábado.

(b) Na segunda haverá tutoria de Cálculo ou de Discreta e, com certeza, de
Geometria.
(c) Nem na quarta nem no sábado haverá tutoria de Discreta.
(d) Eu não me matriculei em Cálculo, pois vou me dedicar à Discreta e à
Geometria.
c 2020 Márcia Cerioli e Petrucio Viana

Coordenação da Disciplina MD/CEDERJ-UAB
Atualizado em 16 de agosto de 2020.
26

Simbolizacao Conectivos

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Simbolizacao Conectivos

Enviado por

Direitos autorais:

Formatos disponíveis

Novo Módulo de MD 2020 Unidade 1

Simbolização de Enunciados com Conectivos

2 Conectivos: simbolização e sintaxe 13

5 Simbolização de enunciados com conectivos 21

se 2 é ı́mpar, então 4 é par

Analisar um enunciado de modo a determinar os componentes básicos

2 Conectivos: simbolização e sintaxe

Simbolização dos conectivos

Os conectivos lógicos são dados e simbolizados na seguinte tabela:

Sintaxe dos conectivos

O conectivo ∧ é escrito entre dois enunciados ϕ e ψ, não necessariamente

Para eliminar ambiguidades, podemos usar parênteses (chaves, colchetes, . . . )

O conectivo ∨ é escrito entre dois enunciados ϕ e ψ, não necessariamente

Para eliminar ambiguidades, podemos usar parênteses (chaves, colchetes, . . . )

O conectivo → é escrito entre dois enunciados ϕ e ψ, não necessariamente

Para eliminar ambiguidades, podemos usar parênteses (chaves, colchetes, . . . )

Mas, observe que nunca escrevemos implicações usando a ‘seta dupla’ ⇒.

O conectivo ↔ é escrito entre dois enunciados ϕ e ψ, não necessariamente

Para eliminar ambiguidades, podemos usar parênteses (chaves, colchetes, . . . )

Outros textos estabelecem maneiras alternativas de formarmos enunciados por

Sejam ϕ um enunciado qualquer e ϕ1 , ϕ2 , . . . , ϕn enunciados que não possuem

Dizemos que ϕ1 , ϕ2 , . . . , ϕn são os componentes de ϕ, quando ϕ é formado a

O primeiro passo para a simbolização é determinar os enunciados componentes.

Exemplo 2 (a) O componente de

ela não gosta de bebidas amargas

ela gosta de bebidas amargas.

está chovendo ou fazendo sol

não é o caso que x não é primo

se x não é primo, então x é igual a 1 ou x não tem um fator próprio

Antes de ler as resoluções, tente resolver os exercı́cios usando os

(1) Sejam ϕ1 , ϕ2 , . . . , ϕn enunciados, distintos dois a dois, que não possuem

onde l1 , l2 , . . . , ln são n letras distintas, usualmente escolhidas dentre as letras

(2) Seja ϕ um enunciado.

Uma legenda para ϕ é uma legenda para os componentes de ϕ.

Exemplo 3 (a) Uma legenda para o enunciado

ela gosta de bebidas amargas

(b) Uma legenda para o enunciado

ela não gosta de bebidas amargas

pode ser a mesma já definida no item (a).

(c) Uma legenda para o enunciado

não é o caso que x não é primo

(d) Uma legenda para o enunciado

(e) Uma legenda para o enunciado

(f) Uma legenda para o enunciado

Observação 5 Em uma legenda para um enunciado ϕ, cada um dos componen-

Observação 6 Dado um enunciado ϕ que possui mais de uma ocorrência de um

possui três ocorrências do enunciado

Antes de ler a resolução, tente resolver o exercı́cio usando os con-

Resolução do Exercı́cio 3: Para o item (i) Componente: P é um ponto de acumulação.

5 Simbolização de enunciados com conectivos

Exemplo 4 (a) Dada a legenda

g : ela gosta de bebidas amargas,

(b) Dada a mesma legenda do item (a), o enunciado

(c) Dada a legenda

(d) Dada a legenda

(e) Dada a legenda

se x não é primo, então x é igual a 1 ou x não

(f) Dada a legenda

se 2 é par e 3 é par, então 2 é par

pode ser simbolizado por

Observação 8 A simbolização de um enunciado deve mostrar corretamente de que

pois, como veremos adiante, enquanto a implicação

Exercı́cio 6 Simbolize os enunciados a seguir, de acordo com a legenda definida no