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> ~~~~) |
|||
| 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) | ||
Edição das 19h56min de 8 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)
