Fundamentos de Lógica e Linguagem Matemática

Ver Todos os Exercícios

Teoria

Implicação

Cara, para tudooooooo! Esse conectivo, representado por ⇒   , é o mais importante! Acho que você já tá cansado de ver:

p ⇒   q

Em que lemos “ p implica q ”.

É aquele que expressa uma relação de implicação, mas não de causa-efeito, ela apenas estabelece uma relação entre os valores lógicos da implicação e os valores lógicos de p e q .

Nessa relação, p é chamada hipótese ou premissa e q é a tese ou conclusão.

Olha um exemplo bem doido:

" S e   6   é   p a r ,   e n t ã o   u m   t r i â n g u l o   i s ó s c e l e s   t e m   d o i s   l a d o s   i g u a i s "

Se adotarmos:

p = 6   é   p a r

q = u m   t r i â n g u l o   i s ó s c e l e s   t e m   d o i s   l a d o s   i g u a i s

Nossa proposição é:

p ⇒   q

Essa implicação é verdadeira, pois p é verdadeira e q também. Mas perceba que não tem nada a ver uma coisa com a outra. Apenas julgamos a setinha, baseado na hipótese e na tese.

Olha esse que doideira:

" S e   2   é   í m p a r ,   e n t ã o   2 + 5 = 3 "

Cara, pasme se quiser, isso é verdadeiro!!! Sabe por que?

A hipótese é falsa e a tese também é, então a implicação é verdadeira. Saca só a tabela verdade:

A única forma da implicação ser falsa é se a hipótese for verdadeira e a tese for falsa.

E como fica a negação disso?

A   n e g a ç ã o   d e   p ⇒   q   é   p ∧ n ã o ( q )

Recíproca, contrapositiva, inversa e relação de equivalência

Vamos conhecer as primas da implicação. Dada uma implicação do tipo:

p ⇒   q

r e c í p r o c a : q ⇒   p

c o n t r a p o s i t i v a : n ã o ( q ) ⇒   n ã o ( p )

i n v e r s a : n ã o ( p ) ⇒   n ã o ( q )

E já te adianto o seguinte: a implicação é equivalente à contrapositiva. Como eu sei disso? Você sempre pode dizer que duas proposições compostas são equivalentes se elas possuem a mesma tabela verdade. Olha a tabelinha:

Percebe que os valores verdades das duas últimas colunas são iguais, então são equivalentes.

Olha tabela das três proposições que vimos agora:

Perceba que a recíproca e a inversa são equivalentes, pois suas tabelas verdade são iguais (olhe a última coluna)!

Finalmente, o conectivo

p ⇔ q

É chamado de bicondicional ou biimplicação. A gente lê isso como “p se e somente se q”.

Para dizer que isso é verdade ou não, basta que p ⇒ q ∧ ( q ⇒ p ) seja verdade.

Exemplo:

x 2   é   r a c i o n a l   s e ,   e   s o m e n t e   s e ,   x   é   r a c i o n a l

p = x 2   é   r a c i o n a l

q = x   é   r a c i o n a l

Vamos ver se a implicação é verdadeira:

S e   x 2   é   r a c i o n a l ,   e n t ã o   x   é   r a c i o n a l

Isso não é verdade, pois x = 2 é irracional e x 2 é racional. Nem precisamos fazer a recíproca, já temos aqui que a biimplicação é falsa.

Dizemos que p é condição suficiente para q se p ⇒ q é verdadeira e dizemos que p é condição necessária para q se q ⇒ p é verdadeira. No caso de biimplicação, ou seja, a implicação e a recíproca são verdadeiras, dizemos que p é uma condição necessária e suficiente para q .

Deixo aqui a tabelinha da negação pra você de todos os conectivos e quantificadores que vimos até agora:

Múltiplos Quantificadores

Bom, já vimos os quantificadores e , mas ainda não os vimos juntos! Simmmm, chegou a hora de juntar esse dois e ver a bagunça que fica hahaha

Já vou te avisando, porque sou sua amiga, que A ORDEM IMPORTA. Então toda vez que você se depara com algo assim:

∀ x ∈ R ,   ∃ y ∈ R   |   y = x 2

Já repara em quem tá aparecendo primeiro! Vamos traduzir isso aí pro português: “Para todo número real x , existe um número real y tal que y = x 2 ”.

Cara, isso é verdade. Qualquer número que você pegue x , se você elevá-lo ao quadrado, x 2 também será um número real, que chamaremos de y .

Agora vamos inverter essa brincadeira:

∃ y ∈ R   |   ∀ x ∈ R ,   y = x 2

Agora traduzindo para o português: “Existe um número real y tal que para todo número real x , y = x 2 ”. Isso não é verdade, cara. Tipo, escolhe um número real y , pode ser o 3 ou qualquer outro da sua preferência. Me diga, é verdade que PARA TODO E QUALQUER x real, x 2 = 3 ???

Não é verdade, você pode pegar o x = 0 → x 2 = 0 ≠ 3 . E isso deu errado não foi porque escolhemos o 3 , mas porque não vai funcionar com nenhum número.

Agora vamos aprender a negar essas estruturas. Lembre-se: onde é “tal que” vira vírgula e onde é vírgula vira “tal que”.

¬ ( ∀ x ∈ R ,   ∃ y ∈ R   |   y = x 2 )

¬ ( ∀ x ∈ R ,   ∃ y ∈ R ) ,   ¬ ( y = x 2 )

∃ x ∈ R   |   ∀ y ∈ R ,   y ≠ x 2

Troquei o por e vice-versa! Legal né? Partiu exercícios!!!

Recíproca, contrapositiva, inversa e relação de equivalência

Múltiplos Quantificadores

Exercícios Resolvidos

Exercício Resolvido #1

Ache a contrapositiva, a recíproca e a inversa das seguintes frases:

a   n ã o   p ⇒   q

b   S e   m i n h a   m ã e   é   u m   t r a t o r ,   e n t ã o   e u   s o u   u m a   m o t o - s e r r a

c   S e   2 k + 1   n ã o   é   p r i m o ,   e n t ã o   k   n ã o   é   u m a   p o t ê n c i a   d e   2 .

Passo 1

Olááá meu anjo!!! Bora fazer esse exercício! Você vai ver que vai ser rapidinho.

Vamos dar uma relembrada do que seria uma contrapositiva, uma recíproca e uma inversa de uma implicação do tipo p ⇒   q :

c o n t r a p o s i t i v a : n ã o   q ⇒   n ã o   p

r e c í p r o c a :   q ⇒   p

i n v e r s a :   n ã o   p ⇒   n ã o   q

Agora sim, comecemos do começo:

a   n ã o   p ⇒   q

Para acharmos a contrapositiva, a gente troca a hipótese (termo antes da seta) com a tese (termo depois da seta) e nega as duas:

n ã o ( q ) ⇒   n ã o ( n ã o   p )

Aquele “não” depois da implicação anula o outro dentro dos parênteses, ficando com:

c o n t r a p o s i t i v a :   n ã o   q ⇒   p

Passo 2

Para encontrarmos a recíproca, precisamos apenas trocar a hipótese com a tese:

r e c í p r o c a :   q ⇒   n ã o   p

E, finalmente, para termos a inversa, basta negar tanto a hipótese, quanto a tese:

i n v e r s a : n ã o n ã o   p ⇒   n ã o   q

i n v e r s a :   p ⇒   n ã o   q

Passo 3

Dá uma olha nessa próxima:

b   S e   m i n h a   m ã e   é   u m   t r a t o r ,   e n t ã o   e u   s o u   u m a   m o t o - s e r r a

Que proposição estranha né? Hahaha Bom, esquece isso e foca no que interessa: chamar uma oração de p e outra de q .

Não é tão complicado fazer isso, basta olharmos pro “então”. Esse cara é a nossa seta.

Sendo assim, o que vem antes dele é a hipótese (normalmente chamamos de p ) e o que vem depois é a tese (normalmente chamamos de q ):

p = M i n h a   m ã e   é   u m   t r a t o r

q = e n t ã o   e u   s o u   u m a   m o t o - s e r r a

Então nossa implicação é do tipo:

p ⇒   q

E aí, vamos encontrar o que se pede!

Para acharmos a contrapositiva, a gente troca a hipótese (termo antes da seta) com a tese (termo depois da seta) e nega as duas:

n ã o ( q ) ⇒   n ã o ( p )

c o n t r a p o s i t i v a :   n ã o   q ⇒   n ã o   p

Lembrando que nossa implicação estava em português, então responderemos em português. Temos então:

S e   e u   n ã o   s o u   u m a   m o t o - s e r r a ,   e n t ã o   m i n h a   m ã e   n ã o   é   u m   t r a t o r .

Passo 4

Para encontrarmos a recíproca, precisamos apenas trocar a hipótese com a tese:

r e c í p r o c a :   q ⇒   p

Novamente, em português:

S e   e u   s o u   u m a   m o t o - s e r r a ,   e n t ã o   m i n h a   m ã e   é   u m   t r a t o r .

E, finalmente, para termos a inversa, basta negar tanto a hipótese, quanto a tese:

i n v e r s a : n ã o   p ⇒   n ã o   q

Em português:

S e   m i n h a   m ã e   n ã o   é   u m   t r a t o r ,   e n t ã o   e u   n ã o   s o u   u m a   m o t o - s e r r a .

Gente, parece bobo, mas é muito importante que você passe pro português, você pode perder muitos pontos se não fizer isso! Atenção, meu anjo!

Passo 5

Se liga nessa última:

c   S e   2 k + 1   n ã o   é   p r i m o ,   e n t ã o   k   n ã o   é   u m a   p o t ê n c i a   d e   2 .

Bom, vamos passar para a linguagem matemática:

n ã o   p = 2 k + 1   n ã o   é   p r i m o

n ã o   q = k   n ã o   é   u m a   p o t ê n c i a   d e   2

Perceba que chamei n ã o   p só porque temos uma negação ali. A mesma coisa fiz com q , como aparece um “não” na frase, achei de bom tom colocar um “não” acompanhando o p e o q . Então nossa implicação é do tipo:

n ã o   p ⇒   n ã o   q

Para acharmos a contrapositiva, a gente troca a hipótese (termo antes da seta) com a tese (termo depois da seta) e nega as duas:

n ã o ( n ã o   q ) ⇒   n ã o ( n ã o   p )

c o n t r a p o s i t i v a :   q ⇒   p

Lembrando que nossa implicação estava em português, então responderemos em português. Temos então:

S e   k   é   u m a   p o t ê n c i a   d e   2 ,   e n t ã o   2 k + 1   é   p r i m o .

Passo 6

Para encontrarmos a recíproca, precisamos apenas trocar a hipótese com a tese:

r e c í p r o c a :   n ã o   q ⇒   n ã o   p

Novamente, em português:

S e   k   n ã o   é   u m a   p o t ê n c i a   d e   2 ,   e n t ã o   2 k + 1   n ã o   é   p r i m o .

E, finalmente, para termos a inversa, basta negar tanto a hipótese, quanto a tese:

i n v e r s a : n ã o ( n ã o   p ) ⇒   n ã o ( n ã o   q )

i n v e r s a : p ⇒   q

Em português:

S e   2 k + 1   é   p r i m o ,   e n t ã o   k   é   u m a   p o t ê n c i a   d e   2 .

Resposta

a   c o n t r a p o s i t i v a :   n ã o   q ⇒   p ,   r e c í p r o c a :   q ⇒   n ã o   p ,   i n v e r s a :   p ⇒   n ã o   q

b   c o n t r a p o s i t i v a :   S e   e u   n ã o   s o u   u m a   m o t o - s e r r a ,   e n t ã o   m i n h a   m ã e   n ã o   é   u m   t r a t o r .

r e c í p r o c a :   S e   e u   s o u   u m a   m o t o - s e r r a ,   e n t ã o   m i n h a   m ã e   é   u m   t r a t o r .

i n v e r s a :   S e   m i n h a   m ã e   n ã o   é   u m   t r a t o r ,   e n t ã o   e u   n ã o   s o u   u m a   m o t o - s e r r a .

c   c o n t r a p o s i t i v a : S e   k   é   u m a   p o t ê n c i a   d e   2 ,   e n t ã o   2 k + 1   é   p r i m o .

r e c í p r o c a :   S e   k   n ã o   é   u m a   p o t ê n c i a   d e   2 ,   e n t ã o   2 k + 1   n ã o   é   p r i m o .

i n v e r s a :   S e   2 k + 1   é   p r i m o ,   e n t ã o   k   é   u m a   p o t ê n c i a   d e   2 .

Exercício Resolvido #2

Atribua um valor verdade as seguintes proposições:

a   S e   4   é   u m   n ú m e r o   p a r ,   e n t ã o   7   é   u m   n ú m e r o   í m p a r

b   S e   2   é   u m   n ú m e r o   p a r ,   e n t ã o   6   é   u m   n ú m e r o   í m p a r

c   S e   m i n h a   m ã e   é   u m   f r e e z e r ,   e n t ã o   e u   s o u   u m   g e l i n h o

d   S e   3   n ã o   é   p a r   n e m   p r i m o ,   e n t ã o   5   n ã o   é   í m p a r

Passo 1

Bom, nessa questão nós temos implicações em todas as alternativas e precisamos julgar se as implicações são verdadeiras ou falsas.

Vou colocar nossa tabela verdade em todos as alternativas, mas tentar não focar tanto nela, e sim no pensamento lógico por trás de tudo isso!

Essa é a nossa tabelinha, agora vamos começar com a letra ( a )

a   S e   4   é   u m   n ú m e r o   p a r ,   e n t ã o   7   é   u m   n ú m e r o   í m p a r

Vamos escrever nossa implicação para a linguagem matemática:

p = S e   4   é   u m   n ú m e r o   p a r

q = 7   é   u m   n ú m e r o   í m p a r

A gente já viu na nossa teoria que a ÚNICA maneira de uma implicação do tipo “ p implica q

p ⇒   q

Ser FALSA é se p acontecer e q não acontecer. Vamos julgar nossas proposições:

p   é   v e r d a d e i r a

Afinal, 4 é par.

q   é   v e r d a d e i r a

Afinal, 7 é ímpar.

Como p e q são verdadeiras, p ⇒   q é VERDADEIRA

Passo 2

Vamos ver a próxima:

b   S e   2   é   u m   n ú m e r o   p a r ,   e n t ã o   6   é   u m   n ú m e r o   í m p a r

Identificando p e q :

p = 2   é   u m   n ú m e r o   p a r

q = 6   é   u m   n ú m e r o   í m p a r

Agora vamos avaliar essas proposições. Sabemos que 2 é par, então:

p   é   v e r d a d e i r a

Para nossa implicação ser verdadeira, dado que já sabemos que a hipótese é verdadeira, precisamos que a tese também seja, mas 6 não é ímpar, então:

q   é   f a l s a

Veja a tabelinha da verdade:

Portanto, essa implicação é falsa.

Passo 3

Sério, se liga nessa aqui hahahahahah

c   S e   m i n h a   m ã e   é   u m   f r e e z e r ,   e n t ã o   e u   s o u   u m   g e l i n h o

Essa frase não sentido algum né? Dá muuuuita vontade de dizer que é falsa, MAS você precisa lembrar que neste caso, não estamos avaliando a veracidade do que está sendo dito, mas a relação de implicação!!! Então, vamos com calma, identificando p e q primeiro:

p = M i n h a   m ã e   é   u m   f r e e z e r

q = E u   s o u   u m   g e l i n h o

Gente, é muito óbvio que nenhuma mãe é um freezer (olha o respeito hein hahah), que sá a minha, então:

p   é   f a l s a

E eu sei que pode ter gente nesse mundo bem fria, que dê muito gelo nos crushes da festa e tal, mas literalmente ninguém é um gelinho, então:

q   é   f a l s a

Sendo que, para uma implicação ser verdadeira, dado que a hipótese já é falsa, não importa o que a tese é, nossa implicação será verdadeira, olhe a tabelinha:

Portanto, verdadeira!

Passo 4

Por último, porém não menos importante:

d   S e   3   n ã o   é   p a r   n e m   p r i m o ,   e n t ã o   5   n ã o   é   í m p a r

Vamos novamente escrever na linguagem matemática:

p = 3   n ã o   é   p a r   n e m   p r i m o

q = 5   n ã o   é   í m p a r

Agora para julgar cada um, eu vou reescrever o p desse jeitinho:

p = 3   n ã o   é   p a r   e   n ã o   é   p r i m o

Para p ser verdadeira, precisamos que as duas proposições sejam verdadeiras: 3 não é par e a 3 não é primo. Porém, apenas uma é verdadeira, que é aquela que diz que ele não par. Portanto:

p   é   f a l s a

q   é   f a l s a

Afinal, 5 é ímpar.

Como temos a hipótese e a tese falsas, nossa implicação é verdadeira. Olhe a tabelinha:

Resposta

a   V

b   F

c   V

d   V

Exercício Resolvido #3

Para os pares de proposições p e q diga se p é condição necessária, suficiente ou ambas para q . Em todos os exemplos considerem n como sendo um número natural.

a   p :   “ n   é   m a i o r   q u e   2 ” ,   q :   “ n   é   m a i o r   q u e   3 ”

b   p :   “ n   é   m a i o r   q u e   0   e   n   é   m e n o r   q u e   2 ” ,   q :   “ n = 1 ”

c   p :   “ ∆   é   u m   t r i â n g u l o   i s ó s c e l e s ” ,   q :   “ ∆   é   u m   t r i â n g u l o   e q u i l á t e r o ”

Passo 1

FAAAALA AÍ, MEU ANJO! Essa questão parece meio chata, mas é só você lembrar de uma coisinha, que ela mais legal e tranquila!

Tu lembra o que é ser uma condição necessária ou suficiente ou ambas???

“Tá louco, esse negócio é muito enjoado”

Fique calmo, eu vou te lembrar e você verá que isso não é um monstrinho!

Uma proposição p é dita condição suficiente para uma proposição q , se p implica q . Ou seja, você só precisa verificar se p ⇒   q é verdadeira e então p será condição suficiente.

Uma proposição p é uma condição necessária para uma proposição q , se q implica p . Ou seja, agora você só precisa verificar se q ⇒   p é verdadeira e então p será condição necessária.

Adivinha o que você tem que fazer pra checar se p é condição necessária e suficiente para q ?

Exatamente!!! Você precisa verificar se p ⇒   q e q ⇒   p são ambas verdadeiras!

Passo 2

Finalmente, depois de relembrar, vamos fazer o primeiro item:

a   p :   “ n   é   m a i o r   q u e   2 ” ,   q :   “ n   é   m a i o r   q u e   3 ”

Verificando se as implicações são verdadeiras ou não:

p ⇒   q :

S e   n   é   m a i o r   q u e   2 ,   e n t ã o   n   é   m a i o r   q u e   3

n > 2 ⇒   n > 3

Se estivéssemos pensando nos números reais, iríamos dizer que isso é falso porque temos, por exemplo, o número 2,1 que é maior que 2 e não é maior que 3 .

Porém, estamos nos números naturais, então precisamos pensar apenas nos inteiros positivos.

Se eu pegar o 3 , ele é maior que 2 , mas não é maior que 3 (e sim igual). Portanto, essa implicação é falsa.

Passo 3

Próxima implicação:

q ⇒   p :

S e   n   é   m a i o r   q u e   3 ,   e n t ã o   n   é   m a i o r   q u e   2

n > 3 ⇒   n > 2

Opa, isso já verdade. Qualquer número natural que você pegue que seja maior que 3 vai ser maior que 2 , pois até o próprio 3 já o é. Então, essa implicação é verdadeira.

Como apenas a recíproca foi verdadeira, temos que p é uma condição necessária para q .

Passo 4

Bora dar uma olhada na próxima:

b   p :   “ n   é   m a i o r   q u e   0   e   n   é   m e n o r   q u e   2 ” ,   q :   “ n = 1 ”

Novamente, o que temos que fazer é julgar as implicações:

p ⇒   q :

S e   n   é   m a i o r   q u e   0   e   n   é   m e n o r   q u e   2 ,   e n t ã o   n = 1

0 < n < 2 ⇒   n = 1

Se pensarmos nos números reais, iríamos ver que temos infinitos número entre 0 e 2 que não fosse o 1 , mas estamos pensando aqui apenas nos números naturais. De fato, o único número natural entre 0 e 2 é o 1 . Logo, p ⇒   q é verdadeira.

Passo 5

Vamos analisar o outro caso:

q ⇒   p :

n = 1 ⇒   0 < n < 2

Nossa, isso é MUITO verdade. Se temos que n = 1 , esse n precisa estar entre 0 e 2 , já que 1 está entre 0 e 2 .

Como as duas implicações são verdadeiras, temos que p é condição necessária e suficiente para q .

Passo 6

Finalmente a última:

c   p :   “ ∆   é   u m   t r i â n g u l o   i s ó s c e l e s ” ,   q :   “ ∆   é   u m   t r i â n g u l o   e q u i l á t e r o ”

Vamos analisar de novo as implicações:

p ⇒   q :

S e   Δ   é   u m   t r i â n g u l o   i s ó s e l e s ,   e n t ã o   é   u m   t r i â n g u l o   e q u i l á t e r o .

Vou traduzir isso pra geometria:

S e   Δ   t e m   2   l a d o s   i g u a i s ,   e n t ã o   e l e   t e m   3   l a d o s   i g u a i s

Isso faz algum sentido pra você? Agora só porque eu tenho dois olhos, quer dizer que tenho três? Hahaha esse exemplo foi bem exagerado, mas você entende a ideia absurda dessa implicação?

Ela é falsa.

Passo 7

Vamos analisar o outro caso:

q ⇒   p :

  S e   Δ   é   u m   t r i â n g u l o   e q u i l á t e r o ,   e n t ã o   e l e   é   i s ó s c e l e s

Traduzindo para a geometria:

S e   Δ   t e m   3   l a d o s   i g u a i s ,   e n t ã o   e l e   t e m   2   l a d o s   i g u a i s

Agora sim! Essa frase está correta. Se eu tenho duas bolsas, não é mentira eu dizer que tenho uma, eu só não estou afim de dizer que tenho duas hahaha minhas analogias são as melhores!

Então como apenas q ⇒   p é verdadeira, temos que p é condição necessária para q .

Resposta

a   p   é   c o n d i ç ã o   n e c e s s á r i a   p a r a   q

b   p   é   c o n d i ç ã o   n e c e s s á r i a   e   s u f i c i e n t e   p a r a   q

c   p   é   c o n d i ç ã o   n e c e s s á r i a   p a r a   q

Exercício Resolvido #4

Seja a proposição p x , y = " x + 4 > y " com x , y ∈ S = { 1 ,   2 ,   3 ,   4 ,   5 } . Para as seguintes proposições, reescreva-as em português e atribua um valor verdade

a   ∀ x ∈ S ,   ∃ y ∈ S   |   p ( x ,   y )

b   ∃ y ∈ S   |   ∀ x ∈ S ,   p ( x ,   y )

Passo 1

NOOOOSSA MEU CORAÇÃO NÃO AGUENTA VER TANTOS “EXISTE” E “PARA TODO” JUNTO

Vamos com calma, meu anjo. Começando do começo:

a ∀ x ∈ S ,   ∃ y ∈ S   |   p ( x , y )

Vamos traduzir isso para o português, lembrando que a vírgula continua como vírgula e " | " vira “tal que”:

P a r a   t o d o   x   e m   S ,   e x i s t e   y   e m   S   t a l   q u e   x + 4 > y

Será que isso é verdade? Vamos ver:

S e   x = 1 ,   p o d e m o s   e s c o l h e r   y = 1   t a l   q u e   1 + 4 > 1

Isso é verdade e vai ser verdade para todos os números que você testar como sendo x e y . Portanto, a afirmação é verdadeira.

Passo 2

Vamos para a próxima:

b   ∃ y ∈ S   |   ∀ x ∈ S ,   x + 4 > y

Traduzindo para o português:

E x i s t e   u m   y   e m   S   t a l   q u e   p a r a   t o d o   x   e m   S ,   x + 4 > y

Para verificarmos se isso é verdade, precisamos encontrar um único y que obedece a aquela relação p para todo e qualquer x .

Cara, se y = 1 , podemos pegar qualquer x em S que a relação x + 4 > y será verdadeira, dado que x + 4 é sempre maior que 1 para qualquer número em S .

Logo, é verdadeira.

Resposta

a   P a r a   t o d o   x   e m   S ,   e x i s t e   y   e m   S   t a l   q u e   x + 4 > y .   V E R D A D E I R A

b   E x i s t e   u m   y   e m   S   t a l   q u e   p a r a   t o d o   x   e m   S ,   x + 4 > y .   V E R D A D E I R A

Exercício Resolvido #5

O que as seguintes afirmações significam? Elas são verdadeiras? Dê exemplos e contraexemplos quando possível. O universo de discurso em todos os casos é os números naturais.

a ∀ x ,   ∃ y   | ( x < y )  

( b )   ∃ y   |   ∀ x , ( x < y )  

( c )   ∃ x   |   ∀ y , ( x < y )  

Passo 1

Eu sei que você deve estar cansado de ver esses símbolos, mas não desanime! Pense que você vai lacrar na sua prova 😊

Nessa questão, o enunciado pede que façamos a tradução (vamos escrever em português), digamos se é universal ou particular, digamos se são verdadeiras ou não e que demos exemplos e contraexemplos quando for possível.

Então temos quatro atividades em cada letra. Vamos começar do começo:

a   ∀ x ,   ∃ y   |   ( x < y )

Traduzindo para o português (lembrando que estamos tratando dos números naturais):

P a r a   t o d o   n ú m e r o   n a t u r a l   x ,   e x i s t e   u m   y   t a l   q u e   x < y

Ou seja, para qualquer número natural x existe um número natural y que é maior que x .

Anjo, isso �� verdade! Pensa no y como sendo um teto para o x . Não importa o número natural x que você escolha, pode ser 100000000 , eu vou encontrar um y nos naturais que seja maior que ele, por exemplo 100000001 . Então um exemplo genérico seria escolher nosso y como x + 1 .

Não existe contraexemplo, pois um contraexemplo seria um número natural x que não tivesse NENHUM y , nenhum número maior que ele!

Passo 2

( b )   ∃ y   |   ∀ x , ( x < y )

Bora traduzir pro português:

E x i s t e   u m   n ú m e r o   n a t u r a l   y   t a l   q u e   p a r a   t o d o   x ,   x < y

Ou seja, existe um número natural y que é maior que x para todo e qualquer x natural

Isso é uma mentira!!!

“Mas gente, é igual ao caso de cima”

Não é não! Aqui, realmente o y continuou sendo o teto de x , mas agora você tem que escolher o y ANTES do x . É essa a diferença crucial que muda tudo.

Suponha que a gente escolha o y bem grande, pra ser um bom teto, pensa aí no 1000000 .

Esse número que escolhemos precisa ser maior que TODO e QUALQUER número natural x . Agora eu te pergunto, esse y que escolhemos é maior que 1000003 ? Não, né?

Sabe o porquê?

Qualquer, eu repito, QUALQUER y que você escolha para ser o teto, eu sempre terei um número maior que o seu pra te quebrar! De forma genérica, se você escolher y , eu escolho meu x como sendo y + 1 e ganho de você!

Então um contraexemplo seria justamente isso, y + 1 , pois y não é maior y + 1 .

Passo 3

Bora pra próxima!

( c )   ∃ x   |   ∀ y , ( x < y )

Traduzindo essa coisa linda:

E x i s t e   u m   n ú m e r o   n a t u r a l   x   t a l   q u e   p a r a   t o d o   y ,   x < y

“A mesma coisa de antes e você vai me dizer que é diferente né?”

Exatamente! São coisas diferentes! Hahahaha

Ou seja, existe um número natural x que é menor que todo e qualquer número natural y .

Agora podemos olhar isto de outro ângulo: pensar em x como sendo um chão. Então pensaríamos num número natural que seja menor que todos os outros!

Bom, o menor número natural é o zero! Então se escolhermos x = 0 e escolhermos y = 0 também, vamos ter x = y . Logo, Não existe um número natural x que seja menor que y para todo y que a gente escolher!

Resposta

a   P a r a   t o d o   n ú m e r o   n a t u r a l   x ,   e x i s t e   u m   y   t a l   q u e   x < y .   E x e m p l o : x + 1 .   V e r d a d e i r a .

b   E x i s t e   u m   n ú m e r o   n a t u r a l   y   t a l   q u e   p a r a   t o d o   x ,   x < y .   C o n t r a e x e m p l o : y + 1 .   F a l s a .

c   E x i s t e   u m   n ú m e r o   n a t u r a l   x   t a l   q u e   p a r a   t o d o   y ,   x < y .   E x e m p l o : x = 0 .   F a l s a .