Mudanças entre as edições de "Discussão:Igor"
(New page: Acho que ficaria melhor assim: <math>x \in \,\! N \and x \ne Igor \implies Igor \gg x</math> ~~~~) |
|||
(3 revisões intermediárias por 2 usuários não estão sendo mostradas) | |||
Linha 4: | Linha 4: | ||
[[Usuário:Rend|Leo (T15)]] 19:00, 8 Agosto 2007 (BRT) | [[Usuário:Rend|Leo (T15)]] 19:00, 8 Agosto 2007 (BRT) | ||
+ | |||
+ | |||
+ | Se quiser ser pedante e colocar o quantificador: | ||
+ | |||
+ | <math>\forall x (x \in \,\! N \and x \ne Igor \implies Igor \gg x)</math> | ||
+ | |||
+ | ou (parece-me que não é logicamente equivalente, mas era isso o que se queria dizer, não?) | ||
+ | |||
+ | <math>\forall x \in \,\! N (x \ne Igor \implies Igor \gg x)</math> | ||
+ | |||
+ | Em outras palavras, significa que Igor é elemento maximal de N sob a relação de ordem <math>\gg</math>. | ||
+ | |||
+ | Isso [usar a relação de igualdade em <math>\ne</math>] não está estranho? Pois só existe um elemento igual a Igor, a saber, Igor. Não podem haver dois Igores! | ||
+ | |||
+ | [[Usuário:Leon|Leonardo (T16)]] 20:00, 8 Agosto 2007 (BRT) | ||
+ | |||
+ | Gostei da sugestão do Leo! Fica mais resumido (sem o "qualquer" inútil). | ||
+ | |||
+ | @ Leonardo: se <math> x \in N \and Igor \in N </math>, não poderíamos que afirmar que <math> x = Igor \implies Igor >> Igor </math>? O quantificador é um pedantismo não intencional, se é que isso existe...[[Usuário:Igorrcosta|Igorrcosta]] 00:03, 9 Agosto 2007 (BRT) |
Edição atual tal como às 00h03min de 9 de agosto de 2007
Acho que ficaria melhor assim:
Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle x \in \,\! N \and x \ne Igor \implies Igor \gg x}
Leo (T15) 19:00, 8 Agosto 2007 (BRT)
Se quiser ser pedante e colocar o quantificador:
Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle \forall x (x \in \,\! N \and x \ne Igor \implies Igor \gg x)}
ou (parece-me que não é logicamente equivalente, mas era isso o que se queria dizer, não?)
Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle \forall x \in \,\! N (x \ne Igor \implies Igor \gg x)}
Em outras palavras, significa que Igor é elemento maximal de N sob a relação de ordem Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle \gg} .
Isso [usar a relação de igualdade em Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ne} ] não está estranho? Pois só existe um elemento igual a Igor, a saber, Igor. Não podem haver dois Igores!
Leonardo (T16) 20:00, 8 Agosto 2007 (BRT)
Gostei da sugestão do Leo! Fica mais resumido (sem o "qualquer" inútil).
@ Leonardo: se Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle x \in N \and Igor \in N } , não poderíamos que afirmar que Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle x = Igor \implies Igor >> Igor } ? O quantificador é um pedantismo não intencional, se é que isso existe...Igorrcosta 00:03, 9 Agosto 2007 (BRT)