2 Linguagem Matematica Aula 1 PDF

Novo Modulo de MD Parte 0 Aula 1
Matematica Discreta
Parte 1: Topicos da Linguagem e da Logica Matematicas
Aula 1
Proposicoes, conectivos e simbolizacao
Sumario
1 Proposicoes 2
1.1 O conceito de proposicao . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.1.1 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2 Proposicoes atomicas . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2.1 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3 Proposicoes moleculares . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3.1 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2 Conectivos logicos 11
2.1 Sintaxe dos conectivos . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.2 Semantica dos conectivos . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.2.1 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
3 Proposicoes componentes e simbolizacao 17

3.1 Esquemas de simbolizacao . . . . . . . . . . . . . . . . . . . . . . . . 19
3.2 Simbolizacao de proposicoes . . . . . . . . . . . . . . . . . . . . . . . 21
3.2.1 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
4 Solucoes dos exerccios 25
Nesta aula vamos abordar os conceitos de proposicao atomica, proposicao molecu-

lar, conectivo logico, valor de verdade e simbolizacao de proposicoes. Vamos enfocar,
principalmente, a formacao e a avaliacao das proposicoes moleculares que sao obti-
das 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;
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.
1 Proposicoes
Um dos conceitos basicos da Linguagem e da Logica Matematicas e o
conceito de proposicao. Nesta aula, vamos abordar alguns aspectos es-
pecficos da formacao e da avaliacao de proposicoes.
1.1 O conceito de proposicao

Em Matematica lidamos com entes abstratos, como numeros ou figuras, e faze-
mos 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 numero pi e maior do que o numero tres e
que, de fato, e aproximadamente 3, 14 . . ..
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.
Observacoes importantes
(1) A parte da Linguagem Matematica que estamos estudando pode ser vista como
uma parte da Lngua Portuguesa, modificada pela reinterpretacao de certos vocabu-
los e pelo acrescimo de algumas palavras e smbolos. Por esta razao, em nossos
estudos, alem de proposicoes sobre conteudos matematicos, como

2 nao e um numero racional.
vamos considerar tambem proposicoes sobre outros conteudos, 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 Mate-
matica, pois nao se referem a entes como numeros ou figuras. Mas, como veremos
adiante, por tambem considerarmos proposicoes neste contexto mais amplo, estare-
mos 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

ou seja, os nomes, os pronomes, as constantes e as variaveis da Linguagem Matema-

tica 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 Lin-

guagem Matematica que pode ser classificada como ver-
dadeira 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 proposi-
coes. Determine quais das expressoes e/ou frases abaixo sao proposicoes.
(i) 2 e primo. (ii) o primo de Mariana.

(iii) x e y. (iv) (x, y) esta no primeiro quadrante.
(v) 5 4 = 21. (vi) Nos estamos estudando as proposicoes.
(vii) x2 e negativo. (viii) O maior numero dentre 2, 3, 4 e 5.
1 + xn
(ix) . (x) Eu acho difcil reconhecer uma proposicao.
2
1.2 Proposicoes atomicas

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 2 ea
propriedade e ser par.
(b) A proposicao
P e Q sao colineares.
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.
(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 numeros 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.
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. (ii) Carolina e Tutora.

1
(iii) Eu e Augusto somos amigos. (iv) e racional.
2
(v) P e Q estao em um mesmo plano. (vi) x + y = 8, ou seja,
x + y e igual a 8.
(vii) A Lua e satelite da Terra. (viii) Colombo descobriu a Asia.
(ix) AB e BC formam um angulo agudo. (x) e racional.
1.3 Proposicoes 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;

As obtidas pela aplicacao da partcula e a duas proposicoes (nao necessari-

amente distintas);
As obtidas pela aplicacao da partcula ou a duas proposicoes (nao neces-

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

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

(nao necessariamente distintas).
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.
Nao e o caso que 2 e par. , 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.

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.
(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 proposi-
cao 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 a feira.
usualmente, escrevemos
Maria nao vai a feira.
(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 numero real que x assume
como valor, enquanto que a segunda e falsa quando x assume, como valor um
numero 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.

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 pro-
posicao deve possuir ocorr encias explcitas de uma das
partculas nao e o caso que, e, ou, se . . . entao, se,
e somente se.
1.3.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 unica 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.
2 Conectivos logicos
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, de-
terminar 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 (pro-
ferida em um certo contexto) determinar se ela e verdadeira ou falsa (naquele con-
texto).
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.
Em primeiro lugar, sempre que for conveniente, vamos simbolizar os conectivos

de acordo com a tabela abaixo:
conectivo smbolo
nao
e
ou
se . . . entao
se e somente se
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 smbolo
verdadeiro V
falso 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 numeros 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 .
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 men-
cionadas).
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 Semantica 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 con-

juncao 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 V
V F F
F V F
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.
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 V
V F V
F V V
F 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 tabela, que e chamada tabela verdade do se
. . . entao:

V V V
V F F
F V V
F 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.

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 V F
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.
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 .
(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, independente-

mente 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:
(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 empre-
gados 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 saba-

do, 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.
3 Proposicoes componentes e simbolizacao

Agora que somos capazes de distinguir proposicoes atomicas de pro-
posicoes 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 essen-
cial que saibamos explicitar corretamente a maneira como ela e formada a partir
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.
(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.

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 proposi-
cao, 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 simbolizacao

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

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 nao a proposicao
atomica
x e primo.
Um esquema de simbolizacao para ela e
q : x e primo.
(d) A proposicao
e molecular, formada pela aplicacao do conectivo ou as 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 as

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 as proposicoes
2 e par. , 3 e par.

q1 : 2 e par.
q2 : 3 e par.
(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 Simbolizacao de proposicoes

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 as proposicoes atomicas que a compoe.
pode ter
como um esquema de simbolizacao. Portanto, ela pode ser simbolizada por
(b) A proposicao
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 as 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 as proposicoes p1 , p2 e p3 ,
vemos que ela pode ser simbolizada por
( p1 ) (p2 p3 )
(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 as 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 sim-
bolizada por
(p p) p
(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 as proposicoes atomicas que a compoe.
Se 2 e mpar, entao 1 e mpar e 3 e par.

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 sim-
bolizacoes. 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, essen-

cialmente, na execucao de 3 passos:
1. Determinar as proposicoes atomicas que a com-

poem;
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 dis-
tintas, mas devem ser simbolizadas pela mesma letra.
3.2.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.
4 Solucoes 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.
Solucao 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.
(vii) x2 e negativo. e uma proposicao, pois e classificada como falsa, independente-

mente 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 numero 5.
1 + xn
(ix) . nao e uma proposicao, pois nao possui a ocorrencia de um verbo.
2
Dados os valores de x e de n, a expressao e apenas uma maneira elaborada de se
referir a um certo numero.
(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.
(i) Eu sou aluno. (1) E uma proposicao atomica da forma um sujeito e uma
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 uma proposicao atomica da forma um sujeito e uma
propriedade. (2) O Sujeito e Carolina e a propriedade e ser tutora. Observe
que a propriedade possui a ocorrencia do verbo ser.
(iii) Eu e Augusto somos amigos. (1) E uma proposicao atomica da forma dois
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
(iv) e racional (1) E uma proposicao atomica da forma um sujeito e uma pro-
2
1
priedade. (2) O sujeito e e a propriedade e ser racional. Observe que a
2
relacao possui a ocorrencia do verbo ser.
(v) P e Q estao em um mesmo plano. (1) E uma proposicao atomica da forma dois
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.
Na primeira leitura, temos: (1) E uma proposicao atomica da forma um sujeito
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:
(1) E uma proposicao atomica da forma dois sujeitos e uma relacao. (2) O primeiro
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:
(1) E uma proposicao atomica da forma dois sujeitos e uma relacao. (2) O primeiro
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,
temos: (1) E uma proposicao atomica da forma dois sujeitos e uma relacao. (2) O
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.
(ix) AB e BC formam um angulo agudo. (1) E uma proposicao atomica da forma
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 uma proposicao atomica da forma um sujeito e uma
propriedade. (2) O sujeito e e a propriedade e ser racional. Observe que a
relacao possui a ocorrencia do verbo ser.

(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. Ha
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.
(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.

(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 .
(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 .
Solucao dos Exerccio 3.2.1
(i) Eu gosto de Logica.

Proposicao atomica da forma um sujeito e uma propriedade. Um esquema de sim-
bolizacao para ela pode ser
p : Eu gosto de Logica.
Portanto, ela pode ser simbolizada por
(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
(iii) Nao e o caso que 8 nao e maior do que 7.

Negacao, formada por duas aplicacoes sucessivas do conectivo nao a proposicao

atomica
8 e maior do que 7.
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 as 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 as 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 nao a
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
( p) ( q)
(vi) Eu estudo bastante ou eu nao passo em Matematica Discreta.

Disjuncao, formada por aplicacao do conectivo ou as 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 as 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 as 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.
Implicacao, formada por aplicacao do conectivo se . . . entao as 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 as 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 as 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 a proposicao molecular
x nao e diferente de 0.
Esta ultima, 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 nao
a proposicao atomica
x e par.
p : x2 e mpar.
q : x e diferente de zero.
r : x e par.
(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 as 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 as 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 as 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 as 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 nao a
proposicao
n possui fatores proprios.
p : n e um numero primo.
q : n e igual a 1.
r : n possui fatores proprios.
(p (( q) ( r))
c 2010 Marcia Cerioli e Petrucio Viana

Coordenacao da Disciplina MD/CEDERJ

2 Linguagem Matematica Aula 1 PDF

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

2 Linguagem Matematica Aula 1 PDF

Transféré par

Droits d'auteur :

Formats disponibles

Novo Modulo de MD Parte 0 Aula 1

Proposicoes, conectivos e simbolizacao

3 Proposicoes componentes e simbolizacao 17

4 Solucoes dos exerccios 25

Nesta aula vamos abordar os conceitos de proposicao atomica, proposicao molecu-

classificar uma proposicao como atomica ou molecular;

determinar as proposicoes atomica e os conectivos logicos que ocorrem em uma

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

1.1 O conceito de 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.

Sob o ponto de vista da Logica Matematica, tres caractersticas das proposicoes

1. cada proposicao pode ser classificada de maneira exclusiva como verdadeira ou

2. cada proposicao pode ser classificada de maneira exclusiva como atomica ou

3. proposicoes podem ser combinadas entre si para formar proposicoes complexas,

Exemplo 2 (a) A proposicao

> 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.

vamos considerar tambem proposicoes sobre outros conteudos, como

Socrates e homem. , Luiza e Mariana sao irmas.

Se ela e carioca, entao ela e brasileira. , Todo homem e mortal.

2, 2 + 3, Carolina, o professor de Carolina, log(x), x + y

ou seja, os nomes, os pronomes, as constantes e as variaveis da Linguagem Matema-

Voce esta gostando de estudar Logica?

nao e classificada como proposicao, embora tenha a ocorrencia de verbos.

(1) Uma proposicao e uma expressao e/ou frase da Lin-

(i) 2 e primo. (ii) o primo de Mariana.

1.2 Proposicoes atomicas

As da forma um sujeito e uma propriedade;

As da forma dois sujeitos e uma relacao.

Exemplo 3 (a) A proposicao

(1) Na Linguagem Matematica, existem proposicoes atomicas que envolvem mais

da aritmetica, possui tres sujeitos os numeros 1, 2, 3 e pode ser reescrita como

que e formada a partir das proposicoes

que possuem apenas dois sujeitos, cada uma.

Por exemplo, a proposicao

da geometria do plano, possui tres sujeitos os pontos P , Q, R e nao parece

(1) Em nossos estudos, vamos tratar principalemente

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

(i) Eu sou aluno. (ii) Carolina e Tutora.

1.3 Proposicoes moleculares

As obtidas pela aplicacao da partcula nao e o caso que a uma proposicao;

As obtidas pela aplicacao da partcula e a duas proposicoes (nao necessari-

As obtidas pela aplicacao da partcula ou a duas proposicoes (nao neces-

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

As obtidas pela aplicacao da partcula se, e somente se a duas proposicoes

Exemplo 4 (a) A proposicao

Nao e o caso que 2 e par.

e molecular pois e obtida a partir da proposicao

por aplicacao da partcula nao e o caso que.

por aplicacao da partcula e.

Nao e o caso que 2 e par ou nao e o caso que 2 e par.

e molecular pois e obtida a partir das proposicoes

Nao e o caso que 2 e par. , Nao e o caso que 2 e par.

por aplicacao da partcula ou.

Se 2 e par, entao 2 e o menor numero par.

e molecular pois e obtida a partir das proposicoes

2 e par. , 2 e o menor numero par.

por aplicacao da partcula se . . . entao.

por aplicacao da partcula se, e somente se.