Equivalências Lógicas

Ou mais geralmente,

Página 1 de Equivalências lógicas

Exemplo: Mostre que
a) é par é par

b) é par é par

c) é ímpar é ímpar

Página 2 de Equivalências lógicas

Página 3 de Equivalências lógicas
Página 4 de Equivalências lógicas
Página 5 de Equivalências lógicas
Exemplo: Mostre que as sentenças a seguir são equivalentes

a) é par

b) é ímpar

c) é par

Página 6 de Equivalências lógicas

Página 7 de Equivalências lógicas
Página 8 de Equivalências lógicas
Exemplo: Mostre que as sentenças a seguir são equivalentes

a) é par

b) é ímpar

c) é ímpar

d) é par

Página 9 de Equivalências lógicas

Exemplo: Mostre que as sentenças a seguir são equivalentes

a) é ímpar

b) é par

c) é ímpar

d) é par

Página 10 de Equivalências lógicas

Página 11 de Equivalências lógicas
Exemplo: Mostre que as sentenças a seguir são equivalentes

a) é racional

b) é racional

c) 3 é racional

Página 12 de Equivalências lógicas

Exemplo: Mostre que as sentenças a seguir são equivalentes

a) é irracional

b) 3 é irracional

c) é irracional

Página 13 de Equivalências lógicas

Exemplo: Mostre que para quaiquer
a)
b)
c)
d)

Página 14 de Equivalências lógicas

Exemplo: Mostre que para quaisquer n

a)

b)

OBS: Valem as mesmas desigualdades acima de trocarmos o '' por ''

Página 15 de Equivalências lógicas

Página 16 de Equivalências lógicas
Exemplo (Desigualdade arimético-geométrica): Mostre que para quaisquer não
negativos tem-se

Página 17 de Equivalências lógicas

Exemplo: Mostre que para quaisquer números reais tem-se

OBS: o quociente é chamado média harmônica entre

Página 18 de Equivalências lógicas

Exemplo: Mostre que para quaisquer , tem-se

OBS: O quociente é chamado média quadrática entre

Página 19 de Equivalências lógicas

Exemplo (Desigualdade de Cauchy-Schwarz): Mostre que para quaisquer ,

Página 20 de Equivalências lógicas