MAC105 FUNDAMENTOS DE MATEMÁTICA PARA A COMPUTAÇÃO

FOLHA DE SOLUÇÃO

Nome: Rogério Marcos Fernandes Neto Número USP: 10284632

Assinatura

Sua assinatura atesta a autenticidade e originalidade de seu trabalho e que você se compromete
a seguir o código de ética da USP em suas atividades acadêmicas, incluindo esta atividade.
Exercı́cio: E10 Data: 25/03/2018

SOLUÇÃO
(i ) Seja p a afirmação


p = (∀x, y ∈ R) x < y ⇒ (∃z ∈ R)(x < z < y)
Devemos encontrar ¬ p, ou seja


¬p = ¬(∀x, y ∈ R)¬ x < y ⇒ (∃z ∈ R)(x < z < y)
Assim temos:


¬p = (∃x, y ∈ R) x < y e ¬(∃z ∈ R)¬(x < z e z < y)


= (∃x, y ∈ R) x < y e (∀z ∈ R)(x ≥ z ou z ≥ y)

(ii )Significado de p: Sejam x e y dois numeros reais quaisquer. Se x é menor que y então
existe um número real z tal que x < z < y.
Significado de ¬p: Existem x e y reais tais que x é menor que y e para todo z real vale que
x ≥ z ou z ≥ y.

(iii ) A sentença p é verdadeira pois entre quaisquer números reais sempre podemos achar um
número que se localize entre eles.
A sentença ¬p é falsa pois com x < y, para todo z também vale que podemos achar números
reais que se localizem entre x e y, não somente números inferiores a x ou maiores que y.