Proposições - Parte 1

Por uma proposição entendemos uma sentença declarativa (armativa) ou uma armação verbal que é verdadeira ou falsa,
mas não ambas simultaneamente. Dizer Verdadeira (V) ou Falsa (F) para uma proposição é calcular o seu valor verdade.
Exemplo 1. 1. p: 2 é um número inteiro.
Esta proposição que indicamos com a letra p é uma proposição que chamamos de simples (simples porque ela arma uma
coisa só). O valor verdade de p é verdadeiro (de fato 2 é um número inteiro), isso é denotado por v(p)=V.
2. Q: 4 e 5 são números inteiros.
Esta proposição que indicamos com a letra Q é uma proposição composta. (composta de duas armações simples: "4 é um
número inteiro " e "5 é um número inteiro ". ) cujo valor verdade depende muito da forma em que compomos a sentença,
por isso deixemos isso para mais tarde)
3. q: "2+2 é maior que 3+3". É uma proposição simples cujo valor verdade é F, ou seja, v(q)=F.
Observação 2. Observe bem a notação que usamos, uma letra minúscula p seguida de dois pontos, e a seguir vem a declaração
da proposição que queremos indicar por p.
É errado usar qualquer notação sem pensar, por exemplo:
• p = 2 + 2 = 4. Esse igual confunde pois camos sem saber onde começa a proposição ou se a letra p faz parte da amarção
ou não.
• p → 2 + 2 = 4. Este símbolo "→ será muito usado mas terá um sentido totalmente diferente do simplesmente "servir " de
guia indicando alguma coisa que queremos apontar.
• Quando escrevermos o valor verdade de uma proposição temos que levar em conta as letras maiúsculas e minúsculas de "v"
: v(p)=V, enquanto que v(p) indica que estamos questionando qual o valor verdade da proposição p e o V grande indica qual
é esse valor.
Tem frases que parecem proposições mas não são. As mais especiais delas são as chamadas sentenças abertas.
As sentenças abertas são aquelas que dependem de uma ou de várias variáveis. Tais variáveis, quando substituídas por algum
elemento, faz com que a expressão declarada deixe ser aberta e passe a ser uma proposição.
Exemplo 3. 1. r: x é um número inteiro.
Veja que parece uma proposição, pois é uma frase bem completa, mas o problema é que não sabemos qual x é esse que ele
está usando para armar. Portanto, como poderemos saber se tal frase é verdadeira ou falsa? Se dizermos "tomando x=2, x
é um número inteiro", pronto, temos uma proposição verdadeira, ou "tomando x=0,5, x é um número inteiro"então temos
uma proposição falsa.
2. s:Pedro tem 1,75 de altura".
Se quem pergunta e quem responde conhece Pedro então temos uma proposição. Do contrário, perguntaríamos, Que Pedro?
ou seja Pedro seria uma variável, e s não seria uma proposição.
3. d: o número 2 é belo.
Se alguém denir direitinho o que é um número belo, saberemos responder a essa questão. Mas se for beleza no sentido
clássico, alguns acharam que 2 de fato é belo, outros nem tanto, e outros ainda, acharam o 2 a coisa mais feia do mundo.
Por isso, na matemática tudo tem que ser bem denido. Por exemplo, "6 é um número par"é uma proposição, pois na
matemática, número par está denido como sendo um número inteiro que é múltiplo de 2, e ser múltiplo de 2, está denido
como, etc. Assim, ca claro que está armação é Verdadeira e não depende do gosto pessoal de ninguém.
4. t : x2 + y 2 = 1
não é uma proposição, pois não sabemos exatamente de qual x e qual y estamos falando. É uma sentença aberta em duas
variáveis: x e y.
E nalmente, existem frases que não são proposições por não serem completas.
Exemplo 4. 1. "bom dia"(pergunte sempre "verdadeiro ou falso?"você verá que não faz sentido dizer verdadeiro ou falso para
isso).
2. "hoje a tarde irá chover"(onde?)
3. "Esta proposição é falsa"Esta frase é um exemplo do que chamamos de paradoxo porque se esta frase for verdadeira então
você vai ter que aceitá-la como falsa. E se ela for falsa então você vai ter que aceitá-la como verdadeira.
Existem vários paradoxos famosos. Procure na internet algum desses paradoxos. Um bem bacaninha é o paradoxo do barbeiro:
Existe uma ilha em que um barbeiro é bem rigoroso. Ele só faz a barba de quem não faz a barba de si mesmo. Agora arme
"o barbeiro faz a barba de si mesmo". Se essa armação for falsa, ela é considerada verdadeira e vice-versa.
Algumas avisos que podem ajudar:
Observação 5. Só porque você não sabe dizer se é V ou F, não quer dizer que não seja uma proposição. Por exemplo,
• p: o número pi é um número algébrico.
O fato de não sabermos bem o que é um número algébrico, e portanto, não sabermos se esta proposição é V ou F, não
"estraga"a proposição.
• q: todo número par acima de 2, pode ser escrito como a soma de dois primos.
(Exemplo: 18 =13+5, 14 = 7+7...), Essa é uma proposição famosa, chamada de "conjectura de Goldbach". Conjecturas
são proposições que ninguém conseguiu, até hoje, dizer se é V ou F, mas nem por isso ela deixa de ser uma proposição.
Na matemática, uma conjectura também é chamada de um problema em aberto. Mas cuidado, problema em aberto
é quando ninguém encontrou uma resposta aceita pela comunidade matemática (com uma prova matemática consistente) e
não um problema da lista de exercícios que não sabemos fazer.
Vamos fazer um exercício, mas antes uma observação importante que serve para todas as disciplinas do curso de matemática.
NUNCA RESPONDA A UMA PERGUNTA SEM DIZER O PORQUE, SE ACOSTUME A JUSTIFICAR TUDO, SEMPRE,
MESMO QUANDO APARENTEMENTE A PERGUNTA NÃO SUGERE QUE VOCÊ FAZ ISSO. COLOCAR SOMENTE A
RESPOSTA FINAL NÃO AJUDA NA AVALIAÇÃO DO APRENDIZADO E FICA MAIS DIFÍCIL AJUDÁ-LO A MELHORAR
SUAS RESPOSTAS.
Exercício 6. Em cada item, verique se a armação é uma proposição ou não, sempre explincando o porque de sua resposta. Se
for, tente estabelecer seu valor verdade.
√
1. item Exemplo: 65 < 8.

2. ”0, 000003 > 0, 00003.”

3. "esta proposição não é verdadeira".
4. "Hoje está fazendo 35 graus aqui nas redondezas da UFSM".
5. "sempre gostei de matemática".
√
6. Existe um número natural que subtraido de 2 resulta num número real negativo.
7. Existem tantos números naturais quantos números naturais ímpares.
8. Se x − 3 = 1 então x = 4.
9. O quinquagésimo dígito do número irracional π é par.
(ver http://www.geom.uiuc.edu/~huberty/math5337/groupe/digits.html).
10. x2 ≥ 0.