[obm-l] Re: [obm-l] Implicação lógica
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] Re: [obm-l] Implicação lógica (linguagem)
Não, não está errado. É supérfluo, mas não errôneo. Em 21 de abril de 2014 10:33, Pedro Chaves brped...@hotmail.com escreveu: Caros colegas da Lista, Constitui erro escrever x = 1 é verdadeiro = x + 1 = 2 é verdadeiro? Penso que, pelo significado de implicação lógica, bastaria escrever: x = 1 = x + 1 = 2 . Abraços do 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 = -- /**/ 神が祝福 Torres -- Esta mensagem foi verificada pelo sistema de antiv�rus e acredita-se estar livre de perigo.
[obm-l] Re: [obm-l] Re: [obm-l] Implicação lógica (linguagem)
Na minha interpretação ambas as frases têm o mesmo significado... Agora, vale notar: assim, sem contexto, nenhuma delas afirma que x=1 é verdadeiro. Abraço, Ralph 2014-04-23 16:06 GMT-03:00 terence thirteen peterdirich...@gmail.com: Não, não está errado. É supérfluo, mas não errôneo. Em 21 de abril de 2014 10:33, Pedro Chaves brped...@hotmail.comescreveu: Caros colegas da Lista, Constitui erro escrever x = 1 é verdadeiro = x + 1 = 2 é verdadeiro? Penso que, pelo significado de implicação lógica, bastaria escrever: x = 1 = x + 1 = 2 . Abraços do 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 = -- /**/ 神が祝福 Torres -- 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] Re: [obm-l] Implicação lógica (linguagem)
Não tenho tempo para estudar por isso recorro aos amigos, obrigado Como devo pensar para responder que, a implicação abaixo, é falsa? x2 = x3 teria alguma diferença se escrevesse x2 - x3? Abraços Hermann - Original Message - From: Ralph Teixeira To: obm-l@mat.puc-rio.br Sent: Wednesday, April 23, 2014 6:11 PM Subject: [obm-l] Re: [obm-l] Re: [obm-l] Implicação lógica (linguagem) Na minha interpretação ambas as frases têm o mesmo significado... Agora, vale notar: assim, sem contexto, nenhuma delas afirma que x=1 é verdadeiro. Abraço, Ralph 2014-04-23 16:06 GMT-03:00 terence thirteen peterdirich...@gmail.com: Não, não está errado. É supérfluo, mas não errôneo. Em 21 de abril de 2014 10:33, Pedro Chaves brped...@hotmail.com escreveu: Caros colegas da Lista, Constitui erro escrever x = 1 é verdadeiro = x + 1 = 2 é verdadeiro? Penso que, pelo significado de implicação lógica, bastaria escrever: x = 1 = x + 1 = 2 . Abraços do 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 = -- /**/ 神が祝福 Torres -- 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. -- Esta mensagem foi verificada pelo sistema de antiv�rus e acredita-se estar livre de perigo.
[obm-l] Re:[obm-l] Implicação
Nem eu. (-1)^2+1=2=!0 e 1^2+1=!0 tambem x^2 + 1 = 0 = x E {-1,1} Não entendi porque a implicação é verdadeira.