[obm-l] Re: [obm-l] lógica e trigonometria

[Pedro José]

Boa tarde!
 O que seria a recíproca da lei do seno?

Em dom, 23 de dez de 2018 23:09, Israel Meireles Chrisostomo <
israelmchrisost...@gmail.com escreveu:

> Como eu provo que a recíproca da lei dos senos é verdadeira ?
>
> --
> Israel Meireles Chrisostomo
>
>
> 
>  Livre
> de vírus. www.avast.com
> .
> <#m_-3235269072351104189_DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Re: [obm-l] Lógica

[Israel Meireles Chrisostomo]

Obrigado gente!

Em 26 de novembro de 2017 21:38, Carlos Nehab 
escreveu:

> Apenas corrigindo o detalhe...
>
> Vamos lá:
> As proposições
> p: (qqsx)(se x é racional então y é irracional)
> ~p (não p): (há x)(x é racional *e* y é racional)
> são (verdadeiras). FALSAS, de fato.
>
> Em 26 de novembro de 2017 21:05, Carlos Nehab 
> escreveu:
>
>> Oi, Israel,
>>
>> Sua encrenca reside na falta de uso de quantificadores.
>> A contrapositiva de uma proposição do tipo P implica Q é, como vc
>> mencionou, ~Q implica ~P.
>> Mas a proposição original a que vc se refere parece ser "se x é racional
>> então y é irracional" mas não é, pois falta o uso dos quantificadores
>> adequados.
>> A proposição original é (qqsx)(x racional então y = x - 1/x é racional).
>>
>> Observe que, tecnicamente, a expressão "x = x" NÃO é uma proposição, não
>> podendo a ela ser atribuído nenhum valor verdade.
>> A proposição a que poderíamos atribuir valor verdade é (qqs x)( x = x).
>> Essa sim é uma proposição e gostaríamos de dizer que ela é verdadeira.
>>
>> Vamos lá:
>> As proposições
>> p: (qqsx)(se x é racional então y é irracional)
>> ~p (não p): (há x)(x é racional *e* y é racional)
>> são verdadeiras.
>>
>> Mas faz sentido falar em contrapositiva a não ser para uma PROPOSIÇÃO do
>> tipo "P implica Q".
>> A proposição (qqs)[p(x) implica q(x)] não tem, tecnicamente,
>> contrapositiva.
>> Sua negação é "(existe x)[p(x) e ~q(x)]. E só.
>>
>> Abraços,
>> Nehab
>>
>>
>>
>>
>>
>> Em 26 de novembro de 2017 20:28, Israel Meireles Chrisostomo <
>> israelmchrisost...@gmail.com> escreveu:
>>
>>>
>>> Seja y=x-1/x.A proposição: se x é racional então y é irracional, é uma
>>> proposição claramente falsa.Mas se uma proposição é falsa, então sua
>>> contra-positiva também é falsa.A contra-positiva dessa sentença é:  se y é
>>> racional então x é irracional, e por ser a proposição contra-positiva da
>>> primeira, então essa sentença também é falsa.Mas se essa sentença é falsa,
>>> então se y é racional então x só pode ser racional.Agora veja que se
>>> x=1+sqrt{2}, podemos ver claramente que y será racional, ou seja, o fato de
>>> y ser racional não implicaria que x é racional.O que eu fiz de errado?
>>> --
>>> Israel Meireles Chrisostomo
>>>
>>> --
>>> Esta mensagem foi verificada pelo sistema de antivírus e
>>> acredita-se estar livre de perigo.
>>
>>
>>
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.
>



-- 
Israel Meireles Chrisostomo

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Lógica

[Carlos Nehab]

Apenas corrigindo o detalhe...

Vamos lá:
As proposições
p: (qqsx)(se x é racional então y é irracional)
~p (não p): (há x)(x é racional *e* y é racional)
são (verdadeiras). FALSAS, de fato.

Em 26 de novembro de 2017 21:05, Carlos Nehab 
escreveu:

> Oi, Israel,
>
> Sua encrenca reside na falta de uso de quantificadores.
> A contrapositiva de uma proposição do tipo P implica Q é, como vc
> mencionou, ~Q implica ~P.
> Mas a proposição original a que vc se refere parece ser "se x é racional
> então y é irracional" mas não é, pois falta o uso dos quantificadores
> adequados.
> A proposição original é (qqsx)(x racional então y = x - 1/x é racional).
>
> Observe que, tecnicamente, a expressão "x = x" NÃO é uma proposição, não
> podendo a ela ser atribuído nenhum valor verdade.
> A proposição a que poderíamos atribuir valor verdade é (qqs x)( x = x).
> Essa sim é uma proposição e gostaríamos de dizer que ela é verdadeira.
>
> Vamos lá:
> As proposições
> p: (qqsx)(se x é racional então y é irracional)
> ~p (não p): (há x)(x é racional *e* y é racional)
> são verdadeiras.
>
> Mas faz sentido falar em contrapositiva a não ser para uma PROPOSIÇÃO do
> tipo "P implica Q".
> A proposição (qqs)[p(x) implica q(x)] não tem, tecnicamente,
> contrapositiva.
> Sua negação é "(existe x)[p(x) e ~q(x)]. E só.
>
> Abraços,
> Nehab
>
>
>
>
>
> Em 26 de novembro de 2017 20:28, Israel Meireles Chrisostomo <
> israelmchrisost...@gmail.com> escreveu:
>
>>
>> Seja y=x-1/x.A proposição: se x é racional então y é irracional, é uma
>> proposição claramente falsa.Mas se uma proposição é falsa, então sua
>> contra-positiva também é falsa.A contra-positiva dessa sentença é:  se y é
>> racional então x é irracional, e por ser a proposição contra-positiva da
>> primeira, então essa sentença também é falsa.Mas se essa sentença é falsa,
>> então se y é racional então x só pode ser racional.Agora veja que se
>> x=1+sqrt{2}, podemos ver claramente que y será racional, ou seja, o fato de
>> y ser racional não implicaria que x é racional.O que eu fiz de errado?
>> --
>> Israel Meireles Chrisostomo
>>
>> --
>> Esta mensagem foi verificada pelo sistema de antivírus e
>> acredita-se estar livre de perigo.
>
>
>

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Lógica

[Bruno Visnadi]

"Mas se uma proposição é falsa, então sua contra-positiva também é falsa"
Sim, e a afirmação '' se y é racional então x é irracional'' é de fato
falsa. Por exemplo, ''Todo ser humano é um réptil'' é uma afirmação falsa.
Sua contrapositiva, ''Se algo não é réptil, então não é humano'', é falsa
também, pois humanos não são répteis e são humanos. É claro, leões não são
répteis e nem humanos, mas isso não torna a sentença verdadeira. O leão é
equivalente ao x = 1 + sqrt(2).

Em 26 de novembro de 2017 20:28, Israel Meireles Chrisostomo <
israelmchrisost...@gmail.com> escreveu:

>
> Seja y=x-1/x.A proposição: se x é racional então y é irracional, é uma
> proposição claramente falsa.Mas se uma proposição é falsa, então sua
> contra-positiva também é falsa.A contra-positiva dessa sentença é:  se y é
> racional então x é irracional, e por ser a proposição contra-positiva da
> primeira, então essa sentença também é falsa.Mas se essa sentença é falsa,
> então se y é racional então x só pode ser racional.Agora veja que se
> x=1+sqrt{2}, podemos ver claramente que y será racional, ou seja, o fato de
> y ser racional não implicaria que x é racional.O que eu fiz de errado?
> --
> Israel Meireles Chrisostomo
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Lógica

[Ralph Teixeira]

Ah, errei a ultima linha:

***Existem*** x e y tais que (y eh racional) e (x nao eh irracional).

O que funciona (por exemplo, com x=2).

:D

2017-11-26 21:16 GMT-02:00 Ralph Teixeira :

> Oi, Israel.
>
> Primeiro: a negacao de p=>q nao eh uma implicacao! A negacao de p => q eh:
> "p e nao q".
>
> Segundo: na grande maioria das implicacoes logicas, fica subentendido um
> "para todo" para as variaveis que estiverem livres... Se nao fosse assim,
> voce nao poderia julgar a frase, pois voce nao sabe o valor de x.
>
> Entao, no seu caso:
> (Para todos x,y) Se x eh racional, entao y eh irracional.
> (Para todos x,y) Se y eh racional, entao x eh irracional.
> sao ambas falsas, concordo com voce -- mas note que interpretei como "isto
> nao eh SEMPRE verdade", o que nao significa que eh SEMPRE FALSO.
>
> Agora sim, fazendo a negacao direitinmho, completa, voce tira a seguinte
> frase verdadeira:
>
> ***Existem*** x e y tais que (y eh racional) e (x nao eh irracional).
>
> O que funciona (o exemplo eh exatamente o seu x=1+sqrt(2))!
>
> Abraco, Ralph.
>
>
>
> 2017-11-26 20:28 GMT-02:00 Israel Meireles Chrisostomo <
> israelmchrisost...@gmail.com>:
>
>>
>> Seja y=x-1/x.A proposição: se x é racional então y é irracional, é uma
>> proposição claramente falsa.Mas se uma proposição é falsa, então sua
>> contra-positiva também é falsa.A contra-positiva dessa sentença é:  se y é
>> racional então x é irracional, e por ser a proposição contra-positiva da
>> primeira, então essa sentença também é falsa.Mas se essa sentença é falsa,
>> então se y é racional então x só pode ser racional.Agora veja que se
>> x=1+sqrt{2}, podemos ver claramente que y será racional, ou seja, o fato de
>> y ser racional não implicaria que x é racional.O que eu fiz de errado?
>> --
>> Israel Meireles Chrisostomo
>>
>> --
>> Esta mensagem foi verificada pelo sistema de antivírus e
>> acredita-se estar livre de perigo.
>
>
>

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Lógica

[Ralph Teixeira]

Oi, Israel.

Primeiro: a negacao de p=>q nao eh uma implicacao! A negacao de p => q eh:
"p e nao q".

Segundo: na grande maioria das implicacoes logicas, fica subentendido um
"para todo" para as variaveis que estiverem livres... Se nao fosse assim,
voce nao poderia julgar a frase, pois voce nao sabe o valor de x.

Entao, no seu caso:
(Para todos x,y) Se x eh racional, entao y eh irracional.
(Para todos x,y) Se y eh racional, entao x eh irracional.
sao ambas falsas, concordo com voce -- mas note que interpretei como "isto
nao eh SEMPRE verdade", o que nao significa que eh SEMPRE FALSO.

Agora sim, fazendo a negacao direitinmho, completa, voce tira a seguinte
frase verdadeira:

***Existem*** x e y tais que (y eh racional) e (x nao eh irracional).

O que funciona (o exemplo eh exatamente o seu x=1+sqrt(2))!

Abraco, Ralph.



2017-11-26 20:28 GMT-02:00 Israel Meireles Chrisostomo <
israelmchrisost...@gmail.com>:

>
> Seja y=x-1/x.A proposição: se x é racional então y é irracional, é uma
> proposição claramente falsa.Mas se uma proposição é falsa, então sua
> contra-positiva também é falsa.A contra-positiva dessa sentença é:  se y é
> racional então x é irracional, e por ser a proposição contra-positiva da
> primeira, então essa sentença também é falsa.Mas se essa sentença é falsa,
> então se y é racional então x só pode ser racional.Agora veja que se
> x=1+sqrt{2}, podemos ver claramente que y será racional, ou seja, o fato de
> y ser racional não implicaria que x é racional.O que eu fiz de errado?
> --
> Israel Meireles Chrisostomo
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Lógica

[Carlos Nehab]

Oi, Israel,

Sua encrenca reside na falta de uso de quantificadores.
A contrapositiva de uma proposição do tipo P implica Q é, como vc
mencionou, ~Q implica ~P.
Mas a proposição original a que vc se refere parece ser "se x é racional
então y é irracional" mas não é, pois falta o uso dos quantificadores
adequados.
A proposição original é (qqsx)(x racional então y = x - 1/x é racional).

Observe que, tecnicamente, a expressão "x = x" NÃO é uma proposição, não
podendo a ela ser atribuído nenhum valor verdade.
A proposição a que poderíamos atribuir valor verdade é (qqs x)( x = x).
Essa sim é uma proposição e gostaríamos de dizer que ela é verdadeira.

Vamos lá:
As proposições
p: (qqsx)(se x é racional então y é irracional)
~p (não p): (há x)(x é racional *e* y é racional)
são verdadeiras.

Mas faz sentido falar em contrapositiva a não ser para uma PROPOSIÇÃO do
tipo "P implica Q".
A proposição (qqs)[p(x) implica q(x)] não tem, tecnicamente, contrapositiva.
Sua negação é "(existe x)[p(x) e ~q(x)]. E só.

Abraços,
Nehab





Em 26 de novembro de 2017 20:28, Israel Meireles Chrisostomo <
israelmchrisost...@gmail.com> escreveu:

>
> Seja y=x-1/x.A proposição: se x é racional então y é irracional, é uma
> proposição claramente falsa.Mas se uma proposição é falsa, então sua
> contra-positiva também é falsa.A contra-positiva dessa sentença é:  se y é
> racional então x é irracional, e por ser a proposição contra-positiva da
> primeira, então essa sentença também é falsa.Mas se essa sentença é falsa,
> então se y é racional então x só pode ser racional.Agora veja que se
> x=1+sqrt{2}, podemos ver claramente que y será racional, ou seja, o fato de
> y ser racional não implicaria que x é racional.O que eu fiz de errado?
> --
> Israel Meireles Chrisostomo
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] lógica....

[Ralph Teixeira]

Bom, para mim, condições é vago, pois há condição necessária e condição
suficiente.

i) Se forem condições **necessárias**, o gabarito deles está correto.
Infelizmente, com esta interpretação, a resposta -151=m=300 também
é válida, assim como m0. Afinal, está correta a implicação se a eq. tem
raiz real, então -151=m300... Em suma, qualquer coisa do tipo m está no
conjunto S serve, desde que S contenha o intervalo [-3,0). Poxa, até m é
real seria uma resposta logicamente válida...

ii) Agora, se forem condições **suficientes**... bom, aí m=-1 era uma
possível resposta (assim como m=-pi/2). Afinal, se m=-pi/2, então a eq.
tem raiz real vale! Em suma, neste caso, qualquer coisa do tipo m está no
conjunto S serve, desde que S esteja contido no intervalo [-3,0).
Logicamente, até a resposta m é o ano em que minha mãe foi coroada papa da
Igreja Católica teria que ser considerada correta (S = vazio).

iii) Na falta de algo mais específico, leio a questão como condições
necessárias **E** suficientes, que é o único jeito do problema ter uma
resposta única e bem definida! Então, para mim, a resposta é a que você deu:
-3=m0. Na minha humilde (mas bem pensada!) opinião, eles queriam isto, mas
comeram mosca na hora de fazer o gabarito...

Abraço,
Ralph
2009/12/16 ruy de oliveira souza ruymat...@ig.com.br

 Um probleminha de vestibular( bastante elementar até) me chamou a atenção
 quanto a resposta. Vou transcrevê-lo pra vocês.
   Considere as funções f(x)=mx+3 e g(x)=x^2-2x+2 onde m pertence a lR.
 Determine condições sobre m para que a equação f(g(x))=0 tenha raiz real.
Se você partir de f(g(x))=0---mx^2-2mx+2m+3=0. Essa equação tem uma
 raíz real se delta=0, de onde vc conclui...-3=m=0, que é o gabarito
 ofiical. Note que m tem que ser diferente de zero, obrigando que a resposta
 exatam seja -3=m0. Será que para considerar a resposta do gabarito oficial
 eles estão pensando no uso do se, então?. Ou seja , Se -3=m0 então
 -3=m=0.
 Vocês considerariam a resposta dada no gabarito como  correta?.
 Agredeço de uma forma antecipada a quem emitir opinião sobre esse problema.
 Ruy

[obm-l] Re: [obm-l] lógica

[Tio Cabri st]

Dois meses consecutivos possuem as seguintes somas possíveis
31+28=59
31+29=60(ano bissexto)
31+30=61
31+31=62
Fazendo sábado =1 dom=2 ... quinta = 6 ...

não farei o resto como vc pediu
da para montar assim?


Calculo para 7 de setembro QUINTA
Abraços
Cabri

- Original Message - 
From: elton francisco ferreira [EMAIL PROTECTED]
To: obm-l@mat.puc-rio.br
Sent: Tuesday, February 12, 2008 8:28 AM
Subject: [obm-l] lógica


Olá pessoal da lista! Gostaria de saber, apenas, como
armar esse tipo de problema.

desde já agradeço!!!


Ao observar o calendário de uma ano, Josué observou
que um certo mês começava em um sábado e o mês
seguinte terminava em uma quinta-feira. Em tal ano, o
feriado de 7 de setembro ocorreu em

uma terça-feira
um domingo
um sábado
uma quinta-feira
uma quarta-feira


  Abra sua conta no Yahoo! Mail, o único sem limite de espaço para
armazenamento!
http://br.mail.yahoo.com/
=
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~obmlistas/obm-l.html
=

=
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~obmlistas/obm-l.html
=