[obm-l] RES: [obm-l] lógica_negação e trigonometria

["Artur Costa Steiner" <artur.steiner@xxxxxxxxxx>]

1) Aqui, você tem o quantificador universal "Para todo". Para negar, usamos o quantificador existencial "Para algum" para dizer que asgum elemento não satisfaz a dada propriedade. 

 

Para algum x, nao existe y tal que, se x+y=5 e xy=6 entao y > 0.

 

2) Admitindo-se que f assuma valores reais, o dominio eh D = { x | arctan(x) esta em [-raiz(3) , raiz(3)] = [-pi/3 , pi/3]

 

Artur

 

 

 

1 -----Mensagem original-----
De: owner-obm-l@mat.puc-rio.br [mailto:owner-obm-l@mat.puc-rio.br]Em nome de vitoriogauss
Enviada em: terça-feira, 10 de abril de 2007 23:20
Para: obm-l
Assunto: [obm-l] lógica_negação e trigonometria

1) Como se nega esta proposição :

 

para todo x, existe y, tal que, se x+y=5 e xy=6 então y<0

 

 

 

2) O dominio de f(x)= sqrt [ 3 - arctg^2 x ]