Escolar Documentos
Profissional Documentos
Cultura Documentos
Matemática Discreta
Tópicos da Linguagem e da Lógica Matemáticas
Texto da Semana 2, Parte 2
Sumário
1 Introdução 12
3 Enunciados componentes 15
3.1 Observações . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
3.2 Exercı́cios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
4 Legendas 18
4.1 Observações . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
4.2 Exercı́cio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1 Introdução
Os dois passos principais para a análise lógica de um enunciado — determinação
de como ele é formado e sua posterior avaliação — podem ser dificultados enor-
memente se prestamos demasiada atenção no seu conteúdo e não na sua estrutura
lógica.
Por exemplo, em uma análise superficial, podemos considerar que o enunciado:
é falso, já que sabemos que 2 não é ı́mpar e, portanto, esta não pode ser uma justifi-
cativa para que 4 seja par. Mas, como veremos no Texto da Semana 3, Parte 1, esta
análise é improcedente, do ponto de vista da Lógica e da Linguagem Matemáticas.
Assim, um dos passos principais na análise lógica de um enunciado é a “ocultação
do seu conteúdo” através da sua reescrita por meio de sı́mbolos especiais, reservados
para este fim.
12
Novo Módulo de MD 2019 Unidade 1
Nas aulas de Linguagem e Lógica Matemá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 matemáticas.
Especificamente, neste texto, vamos abordar os conceitos de simbolização de
conectivos (Seção 2); enunciados componentes (Seção 3); legenda (Seção 4); e sim-
bolização baseada em uma legenda (Seçã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 simbolização de um enunciado (Exercı́cio 3); e
simbolizar um enunciado de acordo com uma legenda (Exercı́cios 4, 5 e 6).
conectivo sı́mbolo
não ¬
e ∧
ou ∨
se . . . então →
se e somente se ↔
13
Novo Módulo de MD 2019 Unidade 1
Outros textos usam outros sı́mbolos ou, até mesmo, variantes dos sı́mbolos lis-
tados acima, para a simbolização dos conectivos lógicos. Mas estes são os únicos
conectivos e sı́mbolos para os conectivos adotados em nossos estudos. Qualquer ou-
tra possibilidade — por exemplo os sı́mbolos ∼, ⇒ e ⇔ — está descartada e é
considerada um erro.
Além disso, denotamos enunciados genéricos pelas letras gregas minúsculas:
α alfa β beta γ gama δ delta
θ teta λ lambda µ mi ρ rô
σ sigma τ tau φ fi ψ psi,
usualmente indexadas por números naturais. Também utilizamos a letra grega φ
estilizada, escrevendo-a como ϕ. Assim para nos referirmos a três enunciados, não
necessariamente distintos, podemos escrever, por exemplo, ϕ, ψ e θ — ou, alterna-
tivamente, ϕ1 , ϕ2 e ϕ3 .
Regra de formação do ¬:
O conectivo ¬ é escrito na frente de um enunciado ϕ e forma o enunciado ¬ϕ,
chamado a negação de ϕ.
Para eliminar ambiguidades, podemos usar parênteses (chaves, colchetes, . . . )
escrevendo ¬(ϕ), (¬ϕ) ou até mesmo [¬(ϕ)].
Regra de formação do ∧:
Regra de formação do ∨:
14
Novo Módulo de MD 2019 Unidade 1
Regra de formação do →:
Regra de formação do ↔:
Exemplo 1 Os enunciados
¬ (eu faço os exercı́cios)
[¬ (eu faço os exercı́cios)] ∧ (eu quero passar)
(eu faço os exercı́cios) ∨ [¬ (eu passo na matéria)]
(eu faço os exercı́cios) → (eu passo na matéria)
[¬ (eu passo na matéria)] ↔ [¬ (eu faço os exercı́cios)]
são uma negação, uma conjunção, uma disjunção, uma implicação e uma bi-implica-
ção, respectivamente.
3 Enunciados componentes
Para analisar e simbolizar um enunciado é essencial que saibamos explicitar em
detalhes a maneira como ele é formado, em conformidade com as regras de formação
dos conectivos lógicos. Vamos, agora, estudar este processo de maneira detalhada.
15
Novo Módulo de MD 2019 Unidade 1
x é primo
é
x é primo.
(b) O componente de
é
(c) Os componentes de
são
está chovendo
está fazendo sol.
3.1 Observações
Observação 1 Observe que os componentes não possuem ocorrências de conecti-
vos. Por exemplo, o componente de
é
x é primo.
Os componentes de
são
16
Novo Módulo de MD 2019 Unidade 1
x é primo
x é igual a 1
x tem um fator próprio.
Observação 2 Observe que algumas frases (sujeitos, verbos, predicados, etc.) estão
implı́citas nos enunciados, mas devem ser escritas explicitamente nos componentes.
Por exemplo, os componentes de
João e Ricardo são felizes por serem saudáveis e ricos
são
João é feliz
Ricardo é feliz
João é saudável
Ricardo é saudável
João é rico
Ricardo é rico.
3.2 Exercı́cios
Exercı́cio 1 Determine o(s) componente(s) de cada enunciado abaixo.
(i) 2 é par
(ii) 3 não é par
(iii) eu trabalho e os outros ficam ricos
(iv) f (x) não é derivável ou f (x) é contı́nua
(v) se estudo para a prova, então não vou à praia e não vou ao cinema
(vi) sou realizado se, e somente se, planto uma árvore, escrevo um livro e tenho
um filho
Exercı́cio 2 Determine o(s) componente(s) de cada enunciado abaixo.
(i) João é esperto
(ii) Ricardo não é bobo
(iii) perdoar é fácil e faz bem
(iv) João ou Ricardo voltou atrás
(v) se João pediu desculpas, provou que é humilde
(vi) se aceitou as desculpas, ele provou que é generoso
Resolução do Exercı́cio 1: (i) 2 é par. (ii) 3 é par. (iii) eu trabalho; os outros ficam ricos. (iv)
f (x) é derivável; f (x) é contı́nua. (v) eu estudo para a prova; eu vou à praia; eu vou ao cinema. (vi)
eu sou realizado; eu planto uma árvore; eu escrevo um livro; eu tenho um filho. Acrescentamos o
pronome pessoal eu aos enunciados componentes para explicitar os sujeitos das frases. Resolução
do Exercı́cio 2: (i) João é esperto. (iii) Ricardo é bobo. (iii) perdoar é fácil; perdoar faz bem. (iv)
João voltou atrás; Ricardo voltou atrás. (v) João pediu desculpas; João provou que é humilde. (vi) ele
aceitou as desculpas; ele provou que é generoso.
17
Novo Módulo de MD 2019 Unidade 1
4 Legendas
O próximo passo para a simbolização é simbolizar os componentes. Isto é feito
através da noção de legenda de simbolização:
l1 : ϕ1
l2 : ϕ2
..
.
ln : ϕn
Observe que cada linha da legenda é formada por uma letra e um enunciado
componente, separados por : (dois pontos). Este é o único sı́mbolo para
separar as letras dos componentes adotados em nossos estudos. Qualquer outra
possibilidade — por exemplo o sı́mbolo = — está descartada e é considerada
um erro.
pode ser:
g : ela gosta de bebidas amargas.
18
Novo Módulo de MD 2019 Unidade 1
pode ser:
p : x é primo.
4.1 Observações
Observação 3 A simbolização de um único enunciado é feita em relação a uma
única legenda, embora uma mesma legenda possa ser usada na simbolização de
vários enunciados diferentes.
Observação 4 Por serem enunciados componentes, de acordo com o que já enfa-
tizamos na Observação 3.1, os enunciados que ocorrem em uma legenda: (1) não
possuem ocorrências de conectivos lógicos; (2) não estão escritos nem de maneira
parcial nem de maneira abreviada.
19
Novo Módulo de MD 2019 Unidade 1
4.2 Exercı́cio
Exercı́cio 3 Para cada enunciado abaixo, faça o que se pede: (a) Determine seu(s)
componente(s). (b) Baseado na solução do item (a), defina uma legenda para o
enunciado
(i) P é um ponto de acumulação
(ii) 4 não é um quadrado perfeito
(iii) 4 nunca foi primo
(iv) eu trabalho e eu ganho dinheiro
(v) eu trabalho, mas não ganho dinheiro
(vi) eu não estudo ou eu não me divirto
(vii) se eu não vou ao jogo, então eu lavo o carro
(viii) caso eu lave o carro, eu vou ao jogo
(ix) eu vou ao jogo se eu não lavar o carro
(x) eu lavo o carro quando vou ao jogo
(xi) o dia está nublado se, e somente se, o sol está encoberto
(xii) o dia não está nublado quando, e somente quando, o sol brilha no céu
20
Novo Módulo de MD 2019 Unidade 1
o enunciado
ela gosta de bebidas amargas
pode ser simbolizado por
g
21
Novo Módulo de MD 2019 Unidade 1
5.1 Observações
Observação 7 A simbolização de um enunciado é um processo complexo que ex-
plicita a sua forma, transformando-o em um objeto mais adequado para a análise
lógica. Ela consiste, essencialmente, de três partes: (1) exame da estrutura lógica do
enunciado, de modo a determinar seus componentes e a maneira como ele é formado;
(2) criação de uma legenda para simbolizá-lo; (3) simbolização propriamente dita,
baseada na legenda criada.
p : 2 é ı́mpar
q : 1 é ı́mpar
r : 3 é par,
o enunciado
se 2 é ı́mpar, então 1 é ı́mpar e 3 é par
pode ser simbolizado como
p → (q ∧ r)
Mas, ele não pode ser simbolizado como
(p → q) ∧ r
22
Novo Módulo de MD 2019 Unidade 1
5.2 Exercı́cios
Exercı́cio 4 Para cada enunciado abaixo, faça o que se pede: (a) Determine se
ele tem ou não ocorrência de conectivo. (b) Se ele tem ocorrência de conectivo,
classifique-o como negação, conjunção, disjunção, implicação ou bi-implicação, des-
tacando a partı́cula e os enunciados componentes a partir dos quais ele é formado.
(c) Defina uma legenda para o enunciado e simbolize-o de acordo com a legenda
definida.
(i) eu gosto de Lógica
(ii) Lógica não é difı́cil
(iii) não é o caso que 8 não é maior do que 7
(iv) Matemática Discreta não é fácil e Matemática Discreta é interessante
(v) 25 não é um quadrado perfeito e 25 não é um múltiplo de 5
(vi) eu estudo bastante ou eu não passo em Matemática Discreta
(vii) f está bem definida e o gráfico de f é uma reta, ou f não é contı́nua
(viii) se ela aprende com facilidade, então: eu vou estudar com ela e ela vai
me ensinar a matéria
(ix) se x2 é ı́mpar e x não é diferente de 0, então x não é par
(x) eu passo em Matemática Discreta se, e somente se, eu estudo bastante e
eu tiro as minhas dúvidas
(xi) n é um número primo se, e somente se, n não é igual a 1 e n não possui
fatores próprios
Exercı́cio 5 Simbolize os enunciados a seguir, de acordo com a seguinte legenda
p1 : Eliane possui um Porsche
p2 : Kátia possui um Porsche
p3 : Marı́lia possui um Porsche
f1 : Eliane possui uma Ferrari
f2 : Kátia possui uma Ferrari
f3 : Marı́lia possui uma Ferrari
z1 : Eliane possui um Zenvo
z2 : Kátia possui um Zenvo
z3 : Marı́lia possui um Zenvo
(i) Eliane não possui um Porsche e Kátia sim
(ii) Eliane possui um Porsche e Kátia não
(iii) nem Eliane nem Kátia possuem Ferraris
(iv) Kátia ou Marı́lia possui um Zenvo
(v) Kátia ou Marı́lia não possui um Zenvo
23
Novo Módulo de MD 2019 Unidade 1
24
Novo Módulo de MD 2019 Unidade 1
diferente de 0. Este primeiro não possui conectivo. Este segundo é negação, formado por aplicação
do não a x é diferente de zero. Já x não é par é negação, formado por aplicação do não a x é
i : x2 é ı́mpar
par. Legenda: d : x é diferente de zero Simbolização: (i ∧ ¬d) → ¬p. (x) Possui conectivo.
p : x é par.
Bi-implicação. Formado por aplicação do se, e somente se a eu passo em Matemática Discreta e
eu estudo bastante e eu tiro as minhas dúvidas. O primeiro não possui conectivo. O segundo é
conjunção, formado por aplicação do e a eu estudo bastante e eu tiro as minhas dúvidas. Legenda:
p : eu passo em Matemática Discreta
e : eu estudo bastante Simbolização: p ↔ (e ∧ d). (xi) Possui conectivo. Bi-
d : eu tiro as minhas dúvidas.
implicação. Formado por aplicação do se, e somente se a n é um número primo, n não é igual a 1
e n não possui fatores próprios. O primeiro não possui conectivo. O segundo é conjunção, formada
por aplicação do e a n não é igual a 1 e n não possui fatores próprios. Este primeiro enunciado é
uma negação, formado por aplicação do não a n é igual a 1. Este segundo, é negação, obtido por
p : n é um número primo
aplicação do não a n possui fatores próprios. Legenda: i : n é igual a 1 Simbo-
f : n possui fatores próprios.
lização: p ↔ (¬i ∧ ¬f ). Respostas do Exercı́cio 5: (i) ((¬p1 ) ∧ p2 ). (ii) (p1 ∧ (¬p2 )). (iii)
((¬f1 ) ∧ (¬f2 )). (iv) (z2 ∨ z3 ). (v) ((¬z2 ) ∨ (¬z3 )). Simplificando parênteses, estes enun-
ciados també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 ). Também pode ser simbolizado por (f1 ∨ f2 ) ∨ f3 . (v)
(f1 ∧ z1 ) ∨ [(f2 ∧ z2 ) ∨ (f3 ∧ z3 )]. Também pode ser simbolizado por [(f1 ∧ z1 ) ∨ (f2 ∧ z2 )] ∨ (f3 ∧ z3 ).
(vi) ¬p1 ∧ (¬p2 ∧ ¬p3 ). Também pode ser simbolizado por (¬p1 ∧ ¬p2 ) ∧ ¬p3 . (vii) p1 ∧ (p2 ∧ p3 ).
Também pode ser simbolizado por (p1 ∧ p2 ) ∧ p3 .
25