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

[Artur Costa Steiner <artur.steiner@xxxxxxxxxx>]

Nao vejo nenhum problema com o "entao". Entretanto, talvez seja mais preciso ler => como "implica". O "entao" faz mais sentido quando a primeira afirmacao eh lida com "se" . Se x> 3, entao x - 3 >0. Ou x >3 implica que x -3 > 0

Artur

-----Mensagem original-----
De: owner-obm-l@mat.puc-rio.br [mailto:owner-obm-l@mat.puc-rio.br]Em nome de Maria Angela de Camargo
Enviada em: quarta-feira, 13 de dezembro de 2006 08:01
Para: obm-l@mat.puc-rio.br
Assunto: [obm-l] Implicação lógica

Lendo em um livro

x > 3 ==> x - 3 > 0

vejo o comentário que o símbolo de implicação lógica é incorretamente utilizado como 'então'.

 

Como posso obter uma boa referência para utilizações adequadas desses símbplos?

O que seria usado, no lugar?

 

Obrigada.

--


M. Ângela