2 Linguagem Matematica Aula 1

Novo Modulo de MD
Parte 0
Aula 1
Matematica Discreta
Parte 1: Topicos da Linguagem e da Logica Matematicas
Aula 1
Proposic
oes, conectivos e simboliza
c
ao
Sum
ario
1 Proposico
es
1.1 O conceito de proposicao
1.1.1 Exerccios . . . .
1.2 Proposicoes atomicas . .
1.2.1 Exerccios . . . .
1.3 Proposicoes moleculares
1.3.1 Exerccios . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2
2
4
5
6
6
11
2 Conectivos l
ogicos
11
2.1 Sintaxe dos conectivos . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.2 Semantica dos conectivos . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.2.1 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
3 Proposico
es componentes e simbolizac
ao
17
3.1 Esquemas de simbolizacao . . . . . . . . . . . . . . . . . . . . . . . . 19
3.2 Simbolizacao de proposicoes . . . . . . . . . . . . . . . . . . . . . . . 21
3.2.1 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
4 Soluc
oes dos exerccios
25
Nesta aula vamos abordar os conceitos de proposicao atomica, proposicao molecular, conectivo logico, valor de verdade e simbolizacao de proposicoes. Vamos enfocar,
principalmente, a formacao e a avaliacao das proposicoes moleculares que sao obtidas a partir de proposicoes atomicas por meio de conectivos logicos. Ao final desta
aula, vamos ser capazes de:
classificar uma proposicao como atomica ou molecular;
determinar as proposicoes atomica e os conectivos logicos que ocorrem em uma
proposicao molecular;
Novo Modulo de MD
Parte 0
Aula 1
simbolizar uma proposicao de modo a exibir a sua forma logica.

Estas sao habilidades essenciais para que possamos construir as tabelas de verdade
das proposicoes simbolizadas, que sera o assunto da proxima aula.
Proposic
oes
Um dos conceitos basicos da Linguagem e da Logica Matematicas e o
conceito de proposicao. Nesta aula, vamos abordar alguns aspectos especficos da formacao e da avaliacao de proposicoes.
1.1
O conceito de proposic
ao
Em Matematica lidamos com entes abstratos, como n

umeros ou figuras, e fazemos determinadas afirmacoes (as vezes certas, as vezes erradas) sobre eles. Uma
afirmacao da Linguagem Matematica e chamada uma proposicao.
Exemplo 1 Por exemplo,
> 3.
O triangulo ABC nao e retangulo.
Se x e par, entao x2 e par.
Todo numero inteiro e racional.
sao proposicoes.
Sob o ponto de vista da Logica Matematica, tres caractersticas das proposicoes
sao as mais relevantes:
1. cada proposicao pode ser classificada de maneira exclusiva como verdadeira ou
falsa em um dado contexto, isto e, dada uma proposicao qualquer, ou ela e
verdadeira ou ela e falsa, mas nao e simultaneamente verdadeira e falsa;
2. cada proposicao pode ser classificada de maneira exclusiva como atomica ou
molecular, apenas pela maneira como ela esta escrita e nao pelo seu significado,
isto e, dada uma proposicao qualquer, ou ela e atomica ou ela e molecular,
mas nao e simultaneamente atomica e molecular;
3. proposicoes podem ser combinadas entre si para formar proposicoes complexas,
por meio de certas partculas da Linguagem Matematica.
Exemplo 2 (a) A proposicao
> 3.
e verdadeira, dado que ela afirma que o n
umero pi e maior do que o n
umero tres e
que, de fato, e aproximadamente 3, 14 . . ..
Novo Modulo de MD
Parte 0
Aula 1
A proposicao
O triangulo ABC nao e retangulo.
pode ser verdadeira, quando se refere a certos triangulos; pode ser falsa, quando se
refere a outros; mas ela nunca pode ser verdadeira e falsa ao mesmo tempo, quando
se refere a um certo triangulo.
(b) Como veremos adiante, as proposicoes
> 3.
O triangulo ABC e retangulo.
sao classificadas como atomicas, enquanto que as proposicoes

Se x e par, entao x2 e par.
Todo numero inteiro e racional.
sao classificadas como complexas.
Observaco
es importantes
(1) A parte da Linguagem Matematica que estamos estudando pode ser vista como
uma parte da Lngua Portuguesa, modificada pela reinterpretacao de certos vocabulos e pelo acrescimo de algumas palavras e smbolos. Por esta razao, em nossos
estudos, alem de proposicoes sobre conte
udos matematicos, como
2 nao e um numero racional.
vamos considerar tambem proposicoes sobre outros conte

udos, como
Socrates e homem.
Luiza e Mariana sao irmas.
Se ela e carioca, entao ela e brasileira.
Todo homem e mortal.
Estritamente falando, proposicoes deste tipo nao fazem parte da Linguagem Matematica, pois nao se referem a entes como n
umeros ou figuras. Mas, como veremos
adiante, por tambem considerarmos proposicoes neste contexto mais amplo, estaremos aptos a aplicar os metodos que vamos estudar a certos raciocnios que usamos
no dia-a-dia.
(2) Para que possa ser classificada como verdadeira ou falsa, uma expressao e/ou
frase deve conter a ocorrencia de, pelo menos, um verbo. Este verbo exprime uma
acao. Quando a acao acontece, a proposicao e verdadeira e quando a acao nao
acontece, a proposicao e falsa.
Por exemplo, expressoes como
2, 2 + 3, Carolina, o professor de Carolina, log(x), x + y
Novo Modulo de MD
Parte 0
Aula 1
ou seja, os nomes, os pronomes, as constantes e as variaveis da Linguagem Matematica nao sao proposicoes.
(3) Embora toda proposicao deva possuir a ocorrencia de pelo menos um verbo, a
simples ocorrencia de um verbo em uma expressao e/ou frase nao garante que ela
seja uma proposicao.
Por exemplo, a oracao
Voce esta gostando de estudar Logica?
nao e classificada como proposicao, embora tenha a ocorrencia de verbos.
De uma maneira geral, oracoes interrogativas e oracoes exclamativas, como por
exemplo
Que assunto interessante!
nao sao consideradas como proposicoes.
(4) Em resumo:
(1) Uma proposicao e uma expressao e/ou frase da Linguagem Matematica que pode ser classificada como verdadeira ou falsa, em um dado contexto, e que pode ser
combinada com outras proposicoes para formar novas
proposicoes.
(2) Para que possa ser classificada como uma proposicao
uma expressao e/ou frase deve conter a ocorrencia de
pelo menos um verbo.
1.1.1
Exerccios
Neste exerccio voce deve reconhecer as expressoes e/ou frases que sao proposicoes. Determine quais das expressoes e/ou frases abaixo sao proposicoes.
(i) 2 e primo.
(iii) x e y.
(v) 5 4 = 21.
(vii) x2 e negativo.
1 + xn
(ix) .
2
(ii) o primo de Mariana.

(iv) (x, y) esta no primeiro quadrante.
(vi) Nos estamos estudando as proposicoes.
(viii) O maior numero dentre 2, 3, 4 e 5.
(x) Eu acho difcil reconhecer uma proposicao.
Novo Modulo de MD
1.2
Parte 0
Aula 1
Proposi
c
oes at
omicas
Vamos, agora, estudar as proposicoes um pouco mais detalhadamente,
de modo a sermos capazes de distinguir as proposicoes atomicas das
proposicoes moleculares.
Em suas formas mais comuns, as proposicoes atomicas sao de dois tipos:

As da forma um sujeito e uma propriedade;
As da forma dois sujeitos e uma relacao.
2 e par.
e da forma um sujeito e uma propriedade. Nesta proposicao, o sujeito e
propriedade e ser par.
(b) A proposicao
P e Q sao colineares.
ea
e da forma dois sujeitos e uma relacao. Nesta proposicao, o primeiro sujeito e P ,

o segundo sujeito e Q e a relacao e serem colineares.
Observaco
es importantes
(1) Na Linguagem Matematica, existem proposicoes atomicas que envolvem mais
de dois sujeitos. Em muitos casos, estas podem ser reescritas como proposicoes
moleculares (que estudaremos a seguir) formadas a partir de proposicoes atomicas
que envolvem apenas dois sujeitos.
Por exemplo, a proposicao
2 esta entre 1 e 3.
da aritmetica, possui tres sujeitos os n
umeros 1, 2, 3 e pode ser reescrita como
1 < 2 e 2 < 3.
que e formada a partir das proposicoes
1 < 2.
2 < 3.
que possuem apenas dois sujeitos, cada uma.

Muitas vezes, nao parece ser possvel reescrever uma proposicao atomica que
envolve mais de dois sujeitos como uma proposicoes molecular formada a partir de
proposicoes atomicas que envolvem apenas dois sujeitos.
Novo Modulo de MD
Parte 0
Aula 1

P esta entre Q e R.
da geometria do plano, possui tres sujeitos os pontos P , Q, R e nao parece
poder ser reescrita como uma proposicao molecular formada a partir de proposicoes
atomicas que envolvem apenas dois sujeitos.
Para facilitar nossos estudos, vamos evitar, tanto quanto possvel, lidar com
proposicoes atomicas que envolvem mais de dois sujeitos.
(2) Em resumo:
(1) Em nossos estudos, vamos tratar principalemente
das proposicoes atomicas que podem ser de duas formas:
(a) um sujeito e uma propriedade ou (b) uma relacao
aplicada a dois sujeitos.
(2) Vamos evitar lidar com proposicoes atomicas que
envolvem mais de dois sujeitos
1.2.1
Exerccios
Neste exerccio voce deve distinguir as duas formas de proposicoes atomicas: as

da forma um sujeito e uma propriedade e as da forma dois sujeitos e uma relacao.
Para cada proposicao abaixo, faca o que se pede:
(1) Determine se ela e da forma um sujeito e um propriedade ou da forma dois
sujeitos e uma relacao.
(2) Se ela e da forma um sujeito e um predicado, destaque quem e o sujeito e quem
e a propriedade.
(3) Se ela e da forma dois sujeitos e uma relacao, destaque quem e o primeiro sujeito,
quem e o segundo sujeito e quem e a relacao.
(i) Eu sou aluno.
(iii) Eu e Augusto somos amigos.
(v) P e Q estao em um mesmo plano.
(vii) A Lua e satelite da Terra.
(ix) AB e BC formam um angulo agudo.
1.3
(ii) Carolina e Tutora.

1
(iv) e racional.
2
(vi) x + y = 8, ou seja,
x + y e igual a 8.
(viii) Colombo descobriu a Asia.

(x) e racional.
Proposi
c
oes moleculares
Em suas formas mais comuns, as proposicoes moleculares sao de cinco tipos:

As obtidas pela aplicacao da partcula nao e o caso que a uma proposicao;
Novo Modulo de MD
Parte 0
Aula 1
As obtidas pela aplicacao da partcula e a duas proposicoes (nao necessariamente distintas);

As obtidas pela aplicacao da partcula
sariamente distintas);
ou
a duas proposicoes (nao neces-
As obtidas pela aplicacao da partcula se . . . entao a duas proposicoes (nao

necessariamente distintas);
As obtidas pela aplicacao da partcula
(nao necessariamente distintas).
se, e somente se
a duas proposicoes

Nao e o caso que 2 e par.
e molecular pois e obtida a partir da proposicao
2 e par.
por aplicacao da partcula nao e o caso que.
(b) A proposicao
2 e par e x e primo.
e molecular pois e obtida a partir das proposicoes
2 e par.
x e primo.
por aplicacao da partcula e.

(c) A proposicao
Nao e o caso que 2 e par ou nao e o caso que 2 e par.
por aplicacao da partcula ou.

(d) A proposicao
Se 2 e par, entao 2 e o menor numero par.
2 e par.
2 e o menor numero par.
Novo Modulo de MD
Parte 0
Aula 1
por aplicacao da partcula se . . . entao.

(e) A proposicao
2 e par se, e somente se, 2 e multilo de 2.
2 e par.
2 e multiplo de 2.
por aplicacao da partcula se, e somente se.
Observaco
es importantes
(1) A diferenca principal entre as proposicoes atomicas e as proposicoes moleculares
e que as atomicas nao possuem ocorrencias explcitas de nenhuma das partculas:
nao e o caso que, e, ou, se . . . entao, se, e somente se; enquanto que as
moleculares possuem.
2 e irracional.
e atomica, enquanto que a proposicao
Nao e o caso que
2 e racional.
e molecular.
O que estamos querendo enfatizar e que, do ponto de vista da Logica Matematica,
a classificacao de uma proposicao como atomica ou molecular decorre da maneira
como ela esta escrita e nao do seu significado.
Por exemplo, estritamente falando, a proposicao
2 e mpar.
e atomica, embora, em certos contextos, ela tenha o mesmo significado que a proposicao molecular
2 nao e par.
(2) Em uma proposicao, a partcula nao vem, usualmente, escrita junto ao verbo
principal.
Por exemplo, ao inves de escrever a proposicao
Nao e o caso que Maria vai à feira.
usualmente, escrevemos
Maria nao vai à feira.
Novo Modulo de MD
Parte 0
Aula 1
(3) A ordem em que as proposicoes ocorrem escritas em uma proposicao molecular

e relevante.
Por exemplo, na proposicao
2 e mpar e 5 e quadrado perfeito.
em primeiro lugar ocorre a proposicao
2 e mpar.
e em segundo lugar ocorre a proposicao
5 e quadrado perfeito.
Ja na proposicao
5 e quadrado perfeito e 2 e mpar.
5 e quadrado perfeito.
2 e mpar.
Observe que as duas proposicoes sao equivalentes, pois tem o mesmo significado,
mas nem sempre isto acontece quando a ordem de duas proposicoes e trocada em
uma proposicao molecular formada a partir delas.
Se x e positivo, entao x2 e positivo.
nao e quivalente a proposicao
Se x2 e positivo, entao x e positivo.
ja que a primeira e verdadeira, qualquer que seja o n
umero real que x assume
como valor, enquanto que a segunda e falsa quando x assume, como valor um
n
umero como 1.
(4) Cada ocorrencia de uma mesma proposicao em uma proposicao molecular e
contada como distinta.
Por exemplo, na proposicao
Se r e s sao perpendiculares, entao r e s sao perpendiculares.
Novo Modulo de MD
Parte 0
Aula 1

r e s sao perpendiculares.
r e s sao perpendiculares.
que e igual a anterior.
O fato de uma proposicao ser obtida pela aplicacao de um conectivo a duas
ocorrencias de uma mesma proposicao nem sempre nos autoriza a simplificar a
proposicao, eliminando uma das ocorrencias. Mas ha casos em que isso pode e deve
ser feito.
Se Mariana esta acessando a Internet, entao Mariana esta acessando a Internet.
nao e equivalente a proposicao
Mariana esta acessando a Internet.
ja que a primeira e verdadeira em qualquer contexto, enquanto que a segunda pode
ser verdadeira em alguns contextos e falsa em outros. Ja a proposicao
Mariana esta acessando a Internet e Mariana esta acessando a Internet.
e equivalente a proposicao
Mariana esta acessando a Internet.
ja que ou ambas sao verdadeiras ou ambas sao falsas, em cada contexto em que sao
proferidas.
(5) Em resumo:
(1) Proposicoes moleculares podem ser de cinco tipos,
cada uma obtida pela aplicacao de uma das partcula
especiais nao e o caso que, e, ou, se . . . entao, se,
e somente se, a outras proposicoes.
(2) Para ser classificada como molecular, uma proposicao deve possuir ocorr encias explcitas de uma das
partculas nao e o caso que, e, ou, se . . . entao, se,
e somente se.
Novo Modulo de MD
1.3.1
Parte 0
Aula 1
Exerccios
Neste exerccio voce deve ser capaz de distinguir as proposicoes moleculares e

identificar as proposicoes atomicas a partir das quais elas sao formadas.
Para cada proposicao abaixo, faca o que se pede:
(1) Determine se ela e atomica ou molecular.
(2) Se ela for atomica, classifique-a, de acordo com o Exerccio 1.2.1.
(3) Se ela for molecular, destaque qual e a partcula e quais sao as proposicoes
a partir das quais ela e formada, especificando quem e a primeira proposicao que
ocorre e quem e a segunda proposicao que ocorre, quando for o caso. Lembre-se
que no caso de proposicoes formadas a partir da partcula nao esta partcula e
aplicada a uma u
nica proposicao.
(i) Hoje e domingo.
(ii) Eu nao terminei de pintar a cerca.
(iii) Hoje deu praia e Mariana ficou super feliz.
(iv) x e par ou x e mpar.
(v) Se Gerson come lagosta, entao Gerson fica feliz.
(vi) x e racional se, e somente se, x pode ser escrito como uma fracao.
(vii) 3 e menor do que 2.
(viii) Este nao e um exerccio facil.
(ix) A Terra e uma estrela e o Sol e um planeta.
(x) Voce vai vender o livro ou voce vai me emprestar o livro.
(xi) Se o sol brilha, entao a grama seca.
(xii) ABC e retangulo se, e somente se, ABC tem um angulo agudo.
Conectivos l
ogicos
Vamos, agora, continuar nosso estudo das proposicoes, definindo os
conectivos logicos. Um dos nossos principais objetivos nestas aulas e o
de sermos capazes de, dada uma proposicao molecular, determinar com
exatidao as proposicoes atomicas e os conectivos logicos que ocorrem
nela.
O estudo da formacao de proposicoes consiste em, dada uma proposicao, determinar se ela e formada ou nao a partir de outras proposicoes (e, como veremos,
especificar a maneira como ela e formada).
O estudo da avaliacao de proposicoes consiste em, dada uma proposicao (proferida em um certo contexto) determinar se ela e verdadeira ou falsa (naquele contexto).
As partculas nao, e, ou, se . . . entao, se, e somente se, sao chamadas
conectivos logicos, quando sao usadas na formacao e na avaliacao de proposicoes da
maneira que sera agora especificada.
Novo Modulo de MD
Parte 0
Aula 1
Em primeiro lugar, sempre que for conveniente, vamos simbolizar os conectivos

de acordo com a tabela abaixo:
conectivo
nao
e
ou
se . . . entao
se e somente se
smbolo
Em segundo lugar, tambem para a nossa conveniencia, vamos simbolizar os valores

de verdade, isto e, o verdadeiro e o falso, de acordo com a tabela abaixo:
valor
verdadeiro
falso
smbolo
V
F
Esta convencao tem dois objetivos: (1) como veremos, ela simplifica a formacao
e a avaliacao de proposicoes; (2) ela serve como um alerta permanente de que na
linguagem matematica os conectivos nao, e, ou, se . . . entao, se, e somente se,
e os valores de verdade verdadeiro e falso sao empregados de uma maneira
peculiar, diferente da maneira como eles sao usados em outras linguagens.
Vamos, agora, analisar o papel que cada conectivo desempenha na formacao e na
avaliacao de proposicoes. Proposicoes genericas serao denotadas pelas letras gregas
,
1 ,
1 ,
2 ,
2 ,
...,
usualmente, indexadas por n

umeros naturais.
2.1
Sintaxe dos conectivos
Quanto a formacao de proposicoes por seu intermedio, os conectivos seguem as

seguintes regras:
O nao e aplicado a uma proposicao e forma uma proposicao , chamada
a negacao de .
O e e aplicado a duas proposicoes e , nao necessariamente distintas e
tomadas na ordem dada, e forma uma proposicao , chamada a conjuncao
de e .
O ou e aplicado a duas proposicoes e , nao necessariamente distintas e
tomadas na ordem dada, e forma uma proposicao , chamada a disjuncao
de e .
Novo Modulo de MD
Parte 0
Aula 1
O se . . . entao e aplicado a duas proposicoes e , nao necessariamente

distintas e tomadas na ordem dada, e forma uma proposicao , chamada
a implicacao de por (observe a ordem em que as proposicoes sao mencionadas).
O se, e somente se e aplicado a duas proposicoes e , nao necessariamente
distintas e tomadas na ordem dada, e forma uma proposicao , chamada
a biimplicacao de e .
2.2
Sem
antica dos conectivos
Quanto a avaliacao de proposicoes formadas por seu intermedio, os conectivos

seguem as seguintes regras:
A negacao e verdadeira quando e falsa; a negacao e falsa quando
e verdadeira.
Esta regra e resumida na seguinte tabela, chamada tabela verdade do nao:

V
F
F V
Na primeira coluna temos as duas alternativas possveis para o valor de verdade
de . Na segunda coluna temos as duas alternativas possveis para o valor de
verdade de , cada um deles determinado a partir do valor de , de acordo
com a regra acima.
A conjuncao e verdadeira quando e sao ambas verdadeiras; a conjuncao e falsa quando ao menos uma dentre e e falsa.
Observe que, desta maneira, e falsa quando e verdadeira e e falsa,
quando e falsa e e verdadeira, e quando e sao ambas falsas.
Esta regra e resumida na seguinte tabela, chamada tabela verdade do e:
V
V
F
F

V
V
F
F
V
F
F
F
Nas duas primeiras colunas temos as quatro alternativas possveis para os

valores de verdade de e , tomados em conjunto. Na terceira coluna temos
os valores de verdade possveis para , sendo que o valor de em cada
linha e determinado de acordo com a regra acima, a partir dos valores que
e assumem naquela linha.
Novo Modulo de MD
Parte 0
Aula 1
A disjuncao e verdadeira quando ao menos uma dentre e e verdadeira;

a disjuncao e falsa quando e sao ambas falsas.
Observe que, desta maneira, e verdadeira quando e sao ambas
verdadeiras, quando e verdadeira e e falsa, e quando e falsa e e
verdadeira.
Esta regra e resumida na seguinte tabela, chamada tabela verdade do ou:
V
V
F
F

V
V
F
V
V
V
F
F

os valores de verdade possveis para varphi , sendo que o valor de em
cada linha e determinado de acordo com a regra acima, a partir dos valores
que e assumem naquela linha.
A implicacao e falsa quando e verdadeira e e falsa; a implicacao
e verdadeira em todos os outros casos.
verdadeiras, quando e falsa e e verdadeira, e quando e falsa e e falsa.
Esta regra e resumida na seguinte
. . . entao:
V
V
F
F
tabela, que e chamada tabela verdade do se

V
V
F
F
V
V
F
V

valores de verdade de e
psi, tomados em conjunto. Na terceira coluna temos os valores de verdade
possveis para , sendo que o valor de em cada linha e determinado
de acordo com a regra acima, a partir dos valores que e assumem naquela
linha.
A biimplicacao e verdadeira quando e tem o mesmo valor de
verdade; a biimplicacao e falsa quando e tem valores de verdade
distintos.
Novo Modulo de MD
Parte 0
Aula 1

verdadeiras e quando e sao ambas falsas; e falsa quando e
verdadeira e e falsa, e quando e falsa e e verdadeira.
Esta regra e resumida na seguinte tabela, chamada tabela verdade do se e
somente se:

V V
V
V F
F
F
F V
F F
V
os valores de verdade possveis para , sendo que o valor de em
cada linha e determinado de acordo com a regra acima, a partir dos valores
que e assumem naquela linha.
Exemplo 5 Considere as proposicoes
O dia tem 24 horas.
16 e igual a 4.
Mario de Andrade escreveu Sagarana.

Sabemos que elas sao V , V e F , respectivamente. Baseados neste fato, temos
que:
(a) De acordo com a tabela do nao, as proposicoes
O dia nao tem 24 horas.
16 nao e igual a 4.
Mario de Andrade nao escreveu Sagarana.

sao F , F e V , respectivamente.
(b) De acordo com a tabela do e, a proposicao
O dia tem 24 horas e
16 e igual a 4.
e V , enquanto que a proposicao

O dia nao tem 24 horas e Mario de Andrade escreveu Sagarana.
e F .
(c) De acordo com a tabela do ou, a proposicao
O dia tem 24 horas ou
16 nao e igual a 4.
Novo Modulo de MD
Parte 0
Aula 1

O dia nao tem 24 horas ou Mario de Andrade escreveu Sagarana.
e F .
(d) De acordo com a tabela do se . . . entao, a proposicao
Se o dia tem 24 horas, entao Mario de Andrade nao escreveu Sagarana.
Se 16 e 4, entao o dia nao tem 24 horas.

e F .
(e) De acordo com a tabela do se e somente se, a proposicao
O dia tem 24 horas se, e somente se, Mario de Andrade nao escreveu Sagarana.
16 nao e 4 se, e somente se, o dia tem 24 horas.

e F .
Observaco
es importantes
(1) Os conectivos podem ser aplicados sucessivamente, de maneira indiscriminada,
na formacao de proposicoes.
Por exemplo, a partir da proposicao
2 e irracional.
podemos formar a proposicao
Nao e o caso que
2 nao e irracional.
por duas aplicacoes sucessivas do conectivo nao.

(2) Os conectivos podem ser aplicados na formacao de proposicoes, independentemente do significado que elas possuem, isto e, o significado das proposicoes nao sao
levados em conta quando elas sao usadas na formacao de outras proposicoes.
Por exemplo, a partir das proposicoes
2 e irracional.
,
Paris e a capital da Franca.
,
podemos formar a proposicao
Se 2 e irracional, entao Paris e a capital da Franca.

(3) Em resumo:
Novo Modulo de MD
Parte 0
Aula 1
(1) As partculas especiais nao e o caso que, e, ou,

se . . . entao, se, e somente se, sao chamadas conectivos
logicos quando seu uso na Linguagem Matematica e
regido estritamente pelas regras sintaticas e semanticas
apresentadas acima.
(2) A maneira como os conectivos logiccos sao empregados na formaacao e na avaliaacao e proposicoes e um
pouco diferente da maneira como as parculas nao e o
caso que, e, ou, se . . . entao, se, e somente se, sao
usadas na Lngua Portuguesa.
2.2.1
Exerccios
Nestes exerccios, voce deve ser capaz de avaliar proposicoes moleculares a partir
dos valores das proposicoes que as compoem, aplicando as tabelas de verdade dos
conectivos.
(a) Classificar cada proposicao abaixo como verdadeira ou falsa. Os Parenteses
foram utilizados para facilitar a leitura das proposicoes.
(i) ( 16 e um numero natural).
(ii) (1 + 3 + 5 + 7 = 42 ) ( 25 e um numero natural).

(iii) (2 < 2) (2 = 2).
(iv) (1 < 0) (0 < 1).
(v) ( e um numero inteiro) ( e um numero racional).
(b) Considerando que as seguintes proposicoes foram proferidas na Tutoria de sabado, determine quais proposicoes abaixo sao V e quais sao F :
(i) Hoje nao e terca.
(ii) Hoje e sabado e amanha e sexta.
(iii) Hoje e sabado ou amanha nao e quinta.
(iv) Se hoje e segunda, entao amanha e terca.
(v) Hoje e sabado se, e somente se, depois de amanha e segunda.
Proposic
oes componentes e simboliza
c
ao
Agora que somos capazes de distinguir proposicoes atomicas de proposicoes moleculares e de, dada uma proposicao molecular, determinar
as proposicoes atomicas e os conectivos logicos que ocorrem nela, vamos
analisar a maneira como as proposicoes sao formadas. Nosso objetivo e
que, ao final desta analise, sejamos capazes de simbolizar a proposicao,
exibindo assim a sua forma logica.
Como vimos ao final da Secao 2, para avaliar uma proposicao molecular e essencial que saibamos explicitar corretamente a maneira como ela e formada a partir
Novo Modulo de MD
Parte 0
Aula 1
das proposicoes atomicas que a compoem. Uma ferramenta que pode ser usada para
este fim e a simbolizacao de proposicoes moleculares, obtidas pela simbolizacao das
proposicoes atomicas que as compoem. Vamos, agora, estudar este processo de uma
maneira detalhada.
Seja uma proposicao e 1 , 2 , . . . , n proposicoes atomicas. Dizemos que 1 ,
2 , . . . , n compoem se e formada a partir de 1 , 2 , . . . , n pela aplicacao (uma
ou mais vezes, dependendo do caso) dos conectivos nao, e, ou, se . . . entao e
se, e somente se.
Exemplo 6 (a) Seja a proposicao
Ela nao gosta de bebidas amargas.
A proposicao atomica que compoe e
Ela gosta de bebidas amargas.
De fato, e formada pela aplicacao do conectivo nao a esta proposicao atomica
(b) Seja a proposicao
Esta chovendo ou esta fazendo sol.
As proposicoes que compoem sao
Esta chovendo.
Esta fazendo sol.
De fato, e formada pela aplicacao do conectivo ou a estas proposicoes atomicas.
Observaco
es importantes
(1) As proposicoes que compoem uma proposicao, por serem atomicas, nao possuem
ocorrencias de conectivos.
Por exemplo, a proposicao atomica que compoe a proposicao
Nao e o caso que x nao e primo.
e
x e primo.
As proposicoes atomicas que compoem a proposicao
Se x nao e primo, entao x e igual a 1 ou x nao tem um fator proprio.
Novo Modulo de MD
Parte 0
Aula 1
sao
x e primo.
x e igual a 1.
x tem um fator proprio.
(2) Ocorrencias distintas de uma mesma proposicao atomica, em uma dada proposicao, sao consideradas como distintas.
Se 2 e par e 3 e par, entao 2 e par.
e formada a partir de duas proposicoes atomicas:
2 e par.
3 e par.
Neste caso, a proposicao atomica

2 e par.
ocorre duas vezes na proposicao molecular.
3.1
Esquemas de simbolizac
ao
Sejam 1 , 2 , . . . , n proposicoes atomicas. Um esquema de simbolizacao para

1 , 2 , . . . , n e um esquema da forma:
l1 : 1
l2 : 2
..
.
ln : n
onde l1 , l2 , . . . , ln sao n letras escolhidas no conjunto {p, q, r, s, p1 , q1 , r1 , s1 , . . .}.
Seja uma proposicao. Um esquema de simbolizacao para e um esquema de
simbolizacao para as proposicoes atomicas que a compoem.
e atomica. Um esquema de simbolizacao para ela e
p : Ela gosta de bebidas amargas.
(b) A proposicao
e molecular, formada pela aplicacao do conectivo nao a` proposicao atomica
Novo Modulo de MD
Parte 0
Aula 1
que e a mesma dada em (a). Assim, um esquema de simbolizacao para ela tambem
e
(c) A proposicao
e molecular, formada pela aplicacoes sucessivas do conectivo
atomica
x e primo.
nao
a` proposicao
Um esquema de simbolizacao para ela e

q : x e primo.
(d) A proposicao
e molecular, formada pela aplicacao do conectivo ou a`s proposicoes
Esta chovendo.
Esta fazendo sol.

r : Esta chovendo.
s : Esta fazendo sol.
(e) A proposicao
e molecular, formada pela aplicacao sucessiva dos conectivos nao e se entao a`s
proposicoes
x e primo.
x e igual a 1.
x tem um fator proprio.

p1 : x e primo.
p2 : x e igual a 1.
p3 : x tem um fator proprio.
(f) A proposicao
e molecular, formada pela aplicacao dos conectivos e e se, . . . entao a`s proposicoes
2 e par.
3 e par.

q1 : 2 e par.
q2 : 3 e par.
Novo Modulo de MD
Parte 0
Aula 1
Observaco
es importantes
(1) Num esquema de simbolizacao para uma proposicao , cada uma das proposicoes
atomicas que compoe deve ser denotada por uma letra diferente, escolhida no
conjunto {p, q, r, s, p1 , q1 , r1 , s1 , . . .}.
(2) Dada uma proposicao , ocorrencias distintas de uma mesma proposicao atomica
em sao consideradas como distintas, mas sao denotadas pela mesma letra.
Eu vou e eu vou, e eu vou.
possui tres ocorrencias da proposicao
Eu vou.
Um esquema de simbolizacao para ela e, simplesmente,
p : eu vou.
3.2
Simboliza
c
ao de proposico
es
A simbolizacao de uma proposicao consiste na execucao de 3 passos:

Passo 1) Determinar as proposicoes atomicas que compoem .
Passo 2) Determinar um esquema de simbolizacao para .
Passo 3) Reescrever (simbolizar) usando as letras empregadas no Passo 2 e os
conectivos simbolizados , , , e , de modo a explicitar como e
formada pela aplicacao dos conectivos a`s proposicoes atomicas que a compoe.
pode ter
como um esquema de simbolizacao. Portanto, ela pode ser simbolizada por
p
(b) A proposicao
Novo Modulo de MD
Parte 0
Aula 1
tambem tem
como um esquema de simbolizacao. Observando a maneira como ela e obtida por
aplicacao do conectivo nao a` proposicao p, vemos que ela pode ser simbolizada
por
p
(c) A proposicao
pode ter
q : x e primo.
como um esquema de simbolizacao. Observando a maneira como ela e formada pela
aplicacao sucessiva do conectivo nao a` proposicao q, vemos que ela pode ser
simbolizada por
( q)
ou, simplesmente,
q
(d) A proposicao
pode ter
r : Esta chovendo.
s : Esta fazendo sol.
aplicacao do conectivo ou a`s proposicoes r e s, vemos que ela pode ser simbolizada
por
rs
(e) A proposicao
pode ter
p1 : x e primo.
p2 : x e igual a 1.
p3 : x tem um fator proprio.
aplicacao sucessiva dos conectivos nao e se entao a`s proposicoes p1 , p2 e p3 ,
vemos que ela pode ser simbolizada por
( p1 ) (p2 p3 )
Novo Modulo de MD
Parte 0
Aula 1
(f) A proposicao
pode ter
q1 : 2 e par.
q2 : 3 e par.
como um esquema de simbolizacao. Observando a maneira com ela e formada pela
aplicacao dos conectivos e e se, . . . entao a`s proposicoes q1 e q2 , vemos que ela
pode ser simbolizada por
(q1 q2 ) q1
(g) A proposicao
pode ter
p : Eu vou.
como um esquema de simbolizacao. Observando a maneira com ela e formada pela
aplicacao sucessiva do conectivo e a` proposicao p, vemos que ela pode ser simbolizada por
(p p) p
Observaco
es importantes
(1) A simbolizacao de uma proposicao deve mostrar corretamente de que maneira
a proposicao foi obtida a partir das proposicoes atomicas que a compoem, por
aplicacoes dos conectivos.
Por exemplo, devido ao fato da vrgula ocorrer apos a segunda ocorrencia do e
na proposicao
ela foi simbolizada acima como
p (p p)
e nao como
(p p) p
Observe que as duas proposicoes simbolizadas acima tem o mesmo significado,
mas isto nem sempre acontece quando mudamos a maneira como uma proposicao e
formada pela aplicacao dos conectivos a`s proposicoes atomicas que a compoe.
Se 2 e mpar, entao 1 e mpar e 3 e par.
Novo Modulo de MD
Parte 0
Aula 1
pode ser simbolizada como

p (q r)
dado o esquema de simbolizacao:
p : 2 e mpar.
q : 1 e mpar.
r : 3 e par.
Ela nao pode ser simbolizada como
(p q) r
pois enquanto a implicacao
Se 2 e mpar, entao 1 e mpar e 3 e par.
e V , a conjuncao
Se 2 e mpar, entao 1 e mpar; e 3 e par.
e F .
(2) Na pratica, podemos dispensar o uso de ndices nas letras empregadas nas simbolizacoes. Sempre que possvel, empregaremos apenas as letras p, q, r, s, pois nao
sera comum considerarmos a simbolizacao de proposicoes formadas a partir de mais
de quatro proposicoes atomicas.
(3) Em resumo:
(1) A simbolizacao de uma proposicao consiste, essencialmente, na execucao de 3 passos:
1. Determinar as proposicoes atomicas que a compoem;
2. Determinar um esquema de simbolizacao;
3. Reescrever a proposicao, usando o esquema, de
modo a mostrar corretamente como a proposicao
foi formada.
(2) Ocorrencias distintas de proposicoes atomicas, em
uma mesma proposicao, devem ser contadas como distintas, mas devem ser simbolizadas pela mesma letra.
Novo Modulo de MD
3.2.1
Parte 0
Aula 1
Exerccios
Simbolizar as proposicoes a seguir. Neste exerccio, para cada proposicao , voce

deve (1) apresentar uma chave de simbolizacao para e (2) simbolizar de acordo
com a chave apresentada.
(i) Eu gosto de Logica.
(ii) Logica nao e difcil.
(iii) Nao e o caso que 8 nao e maior do que 7.
(iv) Matematica Discreta nao e facil e Matematica Discreta e interessante.
(v) 25 nao e um quadrado perfeito e 25 nao e um multiplo de 5.
(vi) Eu estudo bastante ou eu nao passo em Matematica Discreta.
(vii) f esta bem definida e o grafico de f e uma reta, ou f nao e contnua.
(viii) Se ela aprende com facilidade, entao: eu vou estudar com ela e ela vai
me ensinar a materia.
(ix) Se x2 e mpar e x nao e diferente de 0, entao x nao e par.
(x) Eu passo em Matematica Discreta se, e somente se, eu estudo bastante e
eu tiro as minhas duvidas.
(xi) n e um numero primo se, e somente se, n nao e igual a 1 e n nao possui
fatores proprios.
Soluc
oes dos exerccios
So estude as solucoes apos haver, realmente, tentado resolver os exerccios e,

caso nao tenha conseguido, procurado ajuda com outros alunos e/ou com os tutores
da disciplina.
Solu
c
ao do Exerccio 1.1.1
(i) 2 e primo. e uma proposicao, pois e classificada como verdadeira. Observe que
esta proposicao possui a ocorrencia do verbo ser.
(ii) O primo de Mariana. nao e uma proposicao, pois nao possui a ocorrencia de
um verbo.
(iii) x e y. nao e uma proposicao, pois nao possui a ocorrencia de um verbo.
(iv) (x, y) esta no primeiro quadrante. e uma proposicao, pois pode ser classificada
como verdadeira ou falsa, dependendo dos valores de x e de y. Observe que esta
proposicao possui a ocorrencia do verbo estar.
(v) 5 4 = 21. e uma proposicao, pois e classificada como falsa. Observe que esta
proposicao possui a ocorrencia do verbo ser.
(vi) Nos estamos estudando as proposicoes. e uma proposicao, pois e classificada
como verdadeira. Observe que esta proposicao possui as ocorrencias dos verbos estar
e estudar.
Novo Modulo de MD
Parte 0
Aula 1
(vii) x2 e negativo. e uma proposicao, pois e classificada como falsa, independentemente ate do valor de x. Observe que esta proposicao possui a ocorrencia do verbo
ser.
(viii) O maior numero dentre 2, 3, 4 e 5. nao e uma proposicao, pois nao possui a
ocorrencia de um verbo. Observe que a expressao o maior numero dentre 2, 3, 4 e 5
e, simplesmente, uma maneira elaborada de se referir ao n
umero 5.
1 + xn
nao e uma proposicao, pois nao possui a ocorrencia de um verbo.
(ix) .
2
Dados os valores de x e de n, a expressao e apenas uma maneira elaborada de se
referir a um certo n
umero.
(x) Eu acho difcil reconhecer uma proposicao.
e uma proposicao, pois pode ser
classificada como verdadeira. Observe que esta proposicao possui as ocorrencias dos
verbos achar e reconhecer.
Solu
c
uma proposicao atomica da forma um sujeito e uma
(i) Eu sou aluno.
(1) E
propriedade. (2) O sujeito e eu e a propriedade e ser aluno. Observe que a
propriedade possui a ocorrencia do verbo ser.
(ii) Carolina e Tutora. (1) E
propriedade. (2) O Sujeito e Carolina e a propriedade e ser tutora. Observe
que a propriedade possui a ocorrencia do verbo ser.
uma proposicao atomica da forma dois
(iii) Eu e Augusto somos amigos.
(1) E
sujeitos e uma relacao. (2) O primeiro sujeito e eu, o segundo sujeito e Augusto,
e a relacao e serem amigos. Observe que a relacao possui a ocorrencia do verbo
ser.
1
uma proposicao atomica da forma um sujeito e uma pro(iv) e racional (1) E
2
1
priedade. (2) O sujeito e
e a propriedade e ser racional. Observe que a
2
relacao possui a ocorrencia do verbo ser.
uma proposicao atomica da forma dois
(v) P e Q estao em um mesmo plano. (1) E
sujeitos e uma relacao. (2) O primeiro sujeito e P , o segundo sujeito e Q, e a
relacao e estarem em um mesmo plano. Observe que a relacao possui a ocorrencia
do verbo estar.
(vi) x + y e igual a 8.
Esta proposicao da margem a duas leituras. Voce pode
escolher qualquer uma delas como correta.
uma proposicao atomica da forma um sujeito
Na primeira leitura, temos: (1) E
e uma propriedade. (2) O sujeito e x + y e a propriedade e ser igual a 8.
Observe que a relacao possui a ocorrencia do verbo ser. Na segunda leitura, temos:
uma proposicao atomica da forma dois sujeitos e uma relacao. (2) O primeiro
(1) E
Novo Modulo de MD
Parte 0
Aula 1
sujeito e x + y, o segundo sujeito e 8, e a relacao e serem iguais. Observe que

a relacao possui a ocorrencia do verbo ser.
(vi) A Lua e satelite da Terra. Esta proposicao da margem a duas leituras. Voce
pode escolher qualquer uma delas como correta.
e uma propriedade. (2) O sujeito e Lua e a propriedade e ser satelite da Terra.
Observe que a relacao possui a ocorrencia do verbo ser. Na segunda leitura, temos:
uma proposicao atomica da forma dois sujeitos e uma relacao. (2) O primeiro
(1) E
sujeito e Lua, o segundo sujeito e Terra, e a relacao e ser satelite de. Observe
que a relacao possui a ocorrencia do verbo ser.
(viii) Colombo descobriu a Asia.

Esta proposicao da margem a duas leituras. Voce
pode escolher qualquer uma delas como correta.
e uma propriedade. (2) O sujeito e Colombo e a propriedade e descobrir a Asia.

Observe que a relacao possui a ocorrencia do verbo descobrir. Na segunda leitura,
uma proposicao atomica da forma dois sujeitos e uma relacao. (2) O
temos: (1) E
primeiro sujeito e Colombo, o segundo sujeito e Asia,

e a relacao e descobrir
a. Observe que a relacao possui a ocorrencia do verbo ser.
uma proposicao atomica da forma
(ix) AB e BC formam um angulo agudo. (1) E
dois sujeitos e uma relacao. (2) O primeiro sujeito e AB, o segundo sujeito e BC,
e a relacao e formar um angulo agudo. Observe que a relacao possui a ocorrencia
do verbo formar.
(x) e racional.
(1) E
propriedade. (2) O sujeito e e a propriedade e ser racional. Observe que a
relacao possui a ocorrencia do verbo ser.
Solu
c
(i) Hoje e domingo. (1) Esta e uma proposicao atomica. (2) Ela e da forma um
sujeito e uma propriedade. O sujeito e hoje e a propriedade e ser domingo. H
a
uma outra leitura para esta proposicao?
(ii) Eu nao terminei de pintar a cerca. (1) Esta e uma proposicao molecular. (3)
Possui uma ocorrencia da partcula nao. Ela e formada a partir da proposicao
Eu terminei de pintar a cerca.
(iii) Hoje deu praia e Mariana ficou super feliz. (1) Esta e uma proposicao molecular.
(3) Possui uma ocorrencia da partcula e. Ela e formada a partir da primeira
proposicao Hoje deu praia e da segunda proposicao Mariana ficou super feliz.
(iv) x e par ou x e mpar. (1)(1) Esta e uma proposicao molecular. (3) Possui uma
ocorrencia da partcula ou. Ela e formada a partir da primeira proposicao x e
par e da segunda proposicao x e mpar.
Novo Modulo de MD
Parte 0
Aula 1
(v) Se Gerson come lagosta, entao Gerson fica feliz.

(1) Esta e uma proposicao
molecular. (3) Possui uma ocorrencia da partcula se . . . entao. Ela e formada
a partir da primeira proposicao Gerson come lagosta e da segunda proposicao
Gerson fica feliz.
(vi) x e racional se, e somente se, x pode ser escrito como uma fracao. (1) Esta e uma
proposicao molecular. (3) Possui uma ocorrencia da partcula se e somente se. Ela
e formada a partir da primeira proposicao x e racional e da segunda proposicao
x pode ser escrito como uma fracao.
(vii) 3 e menor do que 2. (1) Esta e uma proposicao atomica. (2) Ela e da forma
um sujeito e uma propriedade. O sujeito e 3 e a propriedade e ser menor do que
2. Ha uma outra leitura para esta proposicao?
(viii) Este nao e um exerccio facil. (1) Esta e uma proposicao molecular. (3) Possui
uma ocorrencia da partcula nao. Ela e formada a partir da proposicao Este e
um exerccio facil.
(ix) A Terra e uma estrela e o Sol e um planeta. (1) Esta e uma proposicao molecular.
(3) Possui uma ocorrencia da partcula e. Ela e formada a partir da primeira
proposicao A Terra e uma estrela e da segunda proposicao O Sol e um planeta.
(x) Voce vai vender o livro ou voce vai me emprestar o livro. (1) Esta e uma proposicao
molecular. (3) Possui uma ocorrencia da partcula ou. Ela e formada a partir da
primeira proposicao Voce vai vender o livro e da segunda proposicao Voce vai me
emprestar o livro.
(xi) Se o sol brilha, entao a grama seca. (1) Esta e uma proposicao molecular. (3)
Possui uma ocorrencia da partcula se . . . entao. Ela e formada a partir da primeira
proposicao O sol brilha e da segunda proposicao A grama seca.
(xii) O triangulo ABC e retangulo se, e somente se, o triangulo ABC tem um angulo
agudo. (1) Esta e uma proposicao molecular. (3) Possui uma ocorrencia da partcula
se, e somente se. Ela e formada a partir da primeira proposicao O triangulo ABC
e retangulo e da segunda proposicao O triangulo ABC tem um angulo agudo.
Solu
c
(a) (i) Como a proposicao

16 e um numero natural e V , temos que a proposicao
( 16 e um numero natural) e F .
(ii) Como a proposicao 1 + 3 + 5 + 7 = 42 e V e a proposicao

25 e um numero
2
natural e V , temos que a proposicao (1 + 3 + 5 + 7 = 4 ) ( 25 e um numero
natural) e V .
(iii) Como a proposicao 2 < 2 e F e a proposicao 2 = 2 e V , temos que a
proposicao (2 < 2) (2 = 2) e V .
(iv) Como a proposicao 1 < 0 e F e a proposicao 0 < 1 e V , temos que a
proposicao (1 < 0) (0 < 1) e V .
Novo Modulo de MD
Parte 0
Aula 1
(v) Como a proposicao e um numero inteiro e F e a proposicao e um numero

racional e F , temos que a proposicao ( e um numero inteiro) ( e um numero
racional) e V .
(b) Como a Tutoria aconteceu no sabado, temos:
(i) A proposicao Hoje e terca e F . Logo, a proposicao Hoje nao e terca. e V .
(ii) A proposicao Hoje e sabado e V e a proposicao Amanha e sexta e F . Logo,
a proposicao Hoje e sabado e amanha e sexta e F .
(iii) A proposicao Hoje e sabado e V e a proposicao Amanha e quinta e F .
Assim, a proposicao Amanha nao e quinta. e V . Logo, a proposicao Hoje e
sabado ou amanha nao e quinta e V .
(iv) A proposicao Hoje e segunda e F e a proposicao Amanha e terca e F . Logo,
a proposicao Se hoje e segunda, entao amanha e terca e V .
A proposicao Hoje e sabado e V e a proposicao Depois de amanha e segunda e
V . Assim, a proposicao Hoje e sabado se, e somente se, depois de amanha e segunda
e V .
Solu
c
ao dos Exerccio 3.2.1
(i) Eu gosto de Logica.
Proposicao atomica da forma um sujeito e uma propriedade. Um esquema de simbolizacao para ela pode ser
p : Eu gosto de Logica.
Portanto, ela pode ser simbolizada por
p
(ii) Logica nao e difcil.
Negacao, formada por aplicacao do conectivo nao a` proposicao atomica
Logica e difcil.
Assim, (1) um esquema de simbolizacao para ela pode ser
p : Logica e difcil.
Portanto, (2) ela pode ser simbolizada por
p
(iii) Nao e o caso que 8 nao e maior do que 7.
Novo Modulo de MD
Parte 0
Aula 1
Negacao, formada por duas aplicacoes sucessivas do conectivo

atomica
8 e maior do que 7.
nao
a` proposicao
Assim, (1) um esquema de simbolizacao para ela pode ser

p : 8 e maior do que 7.
Portanto, (2) ela pode ser simbolizada por
( p)
(iv) Matematica Discreta nao e facil e Matematica Discreta e interessante.
Conjuncao, formada por aplicacao do conectivo e a`s proposicoes
Matematica Discreta nao e facil
Matematica Discreta e interessante.
A primeira e uma negacao, formada por aplicacao do conectivo nao a` proposicao

atomica
Matematica Discreta e facil.
Assim, (1) um esquema de simbolizacao para a proposicao pode ser
p : Matematica Discreta e facil
q : Matematica Discreta e interessante
Portanto, (2) a proposicao pode ser simbolizada por
( p) q
(v) 25 nao e um quadrado perfeito e 25 nao e um multiplo de 5.
Conjuncao, formada por aplicacao do conectivo e a`s proposicoes
25 nao e um quadrado perfeito
25 nao e multiplo de 5.
A primeira e uma negacao, formada por aplicacao do conectivo nao a proposicao

atomica
25 e um quadrado perfeito.
A segunda tambem e uma negacao, formada por aplicacao do conectivo
proposicao atomica
25 e um multiplo de 5.
Assim,, (1) um esquema de simbolizacao para a proposicao pode ser
p : 25 e um quadrado perfeito
q : 25 e um multiplo de 5
nao
Novo Modulo de MD
Parte 0
Aula 1

( p) ( q)
(vi) Eu estudo bastante ou eu nao passo em Matematica Discreta.
Disjuncao, formada por aplicacao do conectivo ou a`s proposicoes
Eu estudo bastante
Eu nao passo em Matematica Discreta.
A primeira e uma proposicao atomica da forma um sujeito e uma propriedade. A

segunda e uma negacao, formada por aplicacao do conectivo nao a proposicao
atomica
Eu passo em Matematica Discreta.
p : Eu estudo bastante.
q : Eu passo em Matematica Discreta.
p ( q)
(vii) f esta bem definida e o grafico de f e uma reta, ou f nao e contnua.
Disjuncao, formada por aplicacao do conectivo ou a`s proposicoes
f esta bem definida e o grafico de f e uma reta
f nao e contnua.
A primeira e uma conjuncao, formada por aplicacao do conectivo e a`s proposicoes

atomicas
f esta bem definida
,
O grafico de f e uma reta.
A segunda e uma negacao, formada por aplicacao do conectivo nao a` proposicao
atomica
f e contnua.
p : f esta bem definida.
q : O grafico de f e uma reta.
r : f e contnua.
(p q) r
(viii) Se ela aprende com facilidade, entao: eu vou estudar com ela e ela vai me ensinar
a materia.
Novo Modulo de MD
Parte 0
Aula 1
Implicacao, formada por aplicacao do conectivo se . . . entao a`s proposicoes

Ela aprende com facilidade,
Eu vou estudar com ela e ela vai me ensinar a materia.
A primeira e uma proposicao atomica da forma um sujeito e uma propriedade. A
segunda e uma conjuncao, formada por aplicacao do conectivo e a`s proposicoes
atomicas
Eu vou estudar com ela
Ela vai me ensinar a materia.

p : Ela aprende com facilidade.
q : Eu vou estudar com ela.
r : Ela vai me ensinar a materia.
p (q r)
(xi) Se x2 e mpar e x nao e diferente de 0, entao x nao e par.
Implicacao, formada por aplicacao do conectivo se . . . entao a`s proposicoes
x2 e mpar e x nao e diferente de 0
x nao e par.
A primeira e uma conjuncao, formada por aplicacao do conectivo e a` proposicao

atomica
x2 e mpar
e à proposicao molecular
x nao e diferente de 0.
Esta u
ltima, por sua vez, e uma negacao, formada por aplicacao do conectivo nao
a` proposicao atomica
x e diferente de zero.
Ja a segunda proposicao e uma negacao, formada por aplicacao do conectivo
a` proposicao atomica
x e par.
p : x2 e mpar.
q : x e diferente de zero.
r : x e par.
nao
Novo Modulo de MD
Parte 0
Aula 1

(p ( q)) ( r)
(x) Eu passo em Matematica Discreta se, e somente se, eu estudo bastante e eu tiro as
minhas duvidas.
Biimplicacao, formada por aplicacao do conectivo se, e somente se a`s proposicoes
Eu passo em Matematica Discreta ,
eu estudo bastante e eu tiro as minhas duvidas.
A primeira e atomica da forma um sujeito e uma propriedade. A segunda e uma

conjuncao, formada por aplicacao do conectivo e a`s proposicoes moleculares
Eu estudo bastante
Eu tiro as minhas duvidas.

p : Eu passo em Matematica Discreta.
q : Eu estudo bastante.
r : Eu tiro as minhas duvidas.
p (q r)
(xi) n e um numero primo se, e somente se, n nao e igual a 1 e n nao possui fatores
proprios.
Biimplicacao, formada por aplicacao do conectivo se, e somente se a`s proposicoes
n e um numero primo ,
n nao e igual a 1 e n nao possui fatores proprios.
A primeira e atomica da forma sujeito propriedade. A segunda e uma conjuncao,

formada por aplicacao do conectivo e a`s proposicoes
n nao e igual a 1
n nao possui fatores proprios.
Esta primeira proposicao e uma negacao, formada por aplicacao do conectivo nao
a` proposicao
n e igual a 1.
Ja esta segunda, e uma negacao, obtida por aplicacao do concentivo
proposicao
n possui fatores proprios.
p : n e um numero primo.
q : n e igual a 1.
r : n possui fatores proprios.
nao
Novo Modulo de MD
Parte 0
Aula 1

(p (( q) ( r))
c 2010 Marcia Cerioli e Petrucio Viana

Coordenacao da Disciplina MD/CEDERJ

2 Linguagem Matematica Aula 1

Enviado por

Dados do documento

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

2 Linguagem Matematica Aula 1

Enviado por

Direitos autorais:

Formatos disponíveis

Novo Modulo de MD

simbolizar uma proposicao de modo a exibir a sua forma logica.

Em Matematica lidamos com entes abstratos, como n

O triangulo ABC nao e retangulo.

Se x e par, entao x2 e par.

Todo numero inteiro e racional.

O triangulo ABC e retangulo.

sao classificadas como atomicas, enquanto que as proposicoes

Todo numero inteiro e racional.

sao classificadas como complexas.

2 nao e um numero racional.

vamos considerar tambem proposicoes sobre outros conte

Luiza e Mariana sao irmas.

Se ela e carioca, entao ela e brasileira.

Todo homem e mortal.

(ii) o primo de Mariana.

Em suas formas mais comuns, as proposicoes atomicas sao de dois tipos:

e da forma dois sujeitos e uma relacao. Nesta proposicao, o primeiro sujeito e P ,

que possuem apenas dois sujeitos, cada uma.

Por exemplo, a proposicao

Neste exerccio voce deve distinguir as duas formas de proposicoes atomicas: as

(ii) Carolina e Tutora.

(viii) Colombo descobriu a Asia.

Em suas formas mais comuns, as proposicoes moleculares sao de cinco tipos:

As obtidas pela aplicacao da partcula e a duas proposicoes (nao necessariamente distintas);

a duas proposicoes (nao neces-

As obtidas pela aplicacao da partcula se . . . entao a duas proposicoes (nao

Exemplo 4 (a) A proposicao

por aplicacao da partcula e.

Nao e o caso que 2 e par.

por aplicacao da partcula ou.

2 e o menor numero par.

por aplicacao da partcula se . . . entao.

por aplicacao da partcula se, e somente se.

(3) A ordem em que as proposicoes ocorrem escritas em uma proposicao molecular

em primeiro lugar ocorre a proposicao

Neste exerccio voce deve ser capaz de distinguir as proposicoes moleculares e

Em primeiro lugar, sempre que for conveniente, vamos simbolizar os conectivos

Em segundo lugar, tambem para a nossa conveniencia, vamos simbolizar os valores

usualmente, indexadas por n

Sintaxe dos conectivos

Quanto a formacao de proposicoes por seu intermedio, os conectivos seguem as

O se . . . entao e aplicado a duas proposicoes e , nao necessariamente

Quanto a avaliacao de proposicoes formadas por seu intermedio, os conectivos

Nas duas primeiras colunas temos as quatro alternativas possveis para os

A disjuncao e verdadeira quando ao menos uma dentre e e verdadeira;

Nas duas primeiras colunas temos as quatro alternativas possveis para os

tabela, que e chamada tabela verdade do se

Nas duas primeiras colunas temos as quatro alternativas possveis para os

Observe que, desta maneira, e verdadeira quando e sao ambas

Mario de Andrade escreveu Sagarana.

Mario de Andrade nao escreveu Sagarana.

e V , enquanto que a proposicao

e V , enquanto que a proposicao

Se 16 e 4, entao o dia nao tem 24 horas.

16 nao e 4 se, e somente se, o dia tem 24 horas.

por duas aplicacoes sucessivas do conectivo nao.

Se 2 e irracional, entao Paris e a capital da Franca.

(1) As partculas especiais nao e o caso que, e, ou,

(i) ( 16 e um numero natural).

(ii) (1 + 3 + 5 + 7 = 42 ) ( 25 e um numero natural).

Esta fazendo sol.

De fato, e formada pela aplicacao do conectivo ou a estas proposicoes atomicas.

x tem um fator proprio.