[obm-l] Implicação lógica

2015-05-23 Por tôpico Pedro Chaves
Caros colegas,

Consideremos as proposições p e q abaixo.
p:   2  é ímpar.
q:   2 + 2 é ímpar.

Então a condicional p --q é verdadeira, pois p é falsa.
Minha dúvida:
Seria correto afirmar que p = q ?   Ou seja, é correto afirmar que p implica 
logicamente q?
(Parece-me que não, pois se admitirmos a veracidade de p, concluiremos a 
falsidade de q.)
Desde já, muito obrigado a todos.
Pedro Chaves  
-- 
Esta mensagem foi verificada pelo sistema de antivírus e
 acredita-se estar livre de perigo.


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


[obm-l] Combinatória

2015-05-23 Por tôpico marcone augusto araújo borges
Quantos números de 9 algarismos tem a soma dos seus algarismos par?
Eu achei 45000.Não tenho o gabarito.Notei que esse número é a metade do 
total de números de 9 algarismosSeria metade dos números com soma dos seus 
algarismos par e metadecom soma dos algarismos ímpar.Se isso for verdade, é 
mera coincidênciaou teria como justificar? 
-- 
Esta mensagem foi verificada pelo sistema de antivírus e
 acredita-se estar livre de perigo.



[obm-l] Re: [obm-l] Só compartilhando

2015-05-23 Por tôpico Bernardo Freitas Paulo da Costa
2015-05-23 14:55 GMT-03:00 marcone augusto araújo borges
marconeborge...@hotmail.com:
 Determine 2 triângulos não congruentes tais que 5 elementos de um deles
 sejam congruentes a 5 elementos do outro.

O que conta como elementos? Eu tenho uma solução com MUITO mais...
(e que ainda dá lados inteiros)

 Os lados dos triângulos podem se números inteiros?

Abraços,
-- 
Bernardo Freitas Paulo da Costa

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


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


[obm-l] Re: [obm-l] Implicação lógica

2015-05-23 Por tôpico Ralph Teixeira
Oi, Pedro.

Do jeito que eu estou acostumado a escrever, nao ha diferenca entre -- e
=. Para mim, ambas sao a mesma coisa, ambas significam que p implica q,
e ambas estao corretas. Sim, p:2 eh impar implica logicamente que q:2+2
eh impar (e implica tambem que eu sou o Papa, como voce mesmo indicou).

Agora, realmente, como voce disse, dali NAO se conclui q. Voce teria que
ter a veracidade de p para concluir a veracidade de q.

Nao sei se algum livro faz a distincao que voce quer, de usar um simbolo
para representar p implica q e outro para representar p eh Verdadeira, e
p implica q, assim q eh Verdadeira tambem. Talvez fosse ateh uma boa
ideia, de fato. :)

Abraco, Ralph.


2015-05-23 19:52 GMT-03:00 Pedro Chaves brped...@hotmail.com:

 Caros colegas,

 Consideremos as proposições p e q abaixo.
 p:   2  é ímpar.
 q:   2 + 2 é ímpar.

 Então a condicional p --q é verdadeira, pois p é falsa.
 Minha dúvida:
 Seria correto afirmar que p = q ?   Ou seja, é correto afirmar que p
 implica logicamente q?
 (Parece-me que não, pois se admitirmos a veracidade de p, concluiremos a
 falsidade de q.)
 Desde já, muito obrigado a todos.
 Pedro Chaves
 --
 Esta mensagem foi verificada pelo sistema de antivírus e
  acredita-se estar livre de perigo.


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


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



[obm-l] Só compartilhando

2015-05-23 Por tôpico marcone augusto araújo borges
Determine 2 triângulos não congruentes tais que 5 elementos de um delessejam 
congruentes a 5 elementos do outro.Os lados dos triângulos podem se números 
inteiros?
-- 
Esta mensagem foi verificada pelo sistema de antivírus e
 acredita-se estar livre de perigo.