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

To: obm-l@xxxxxxxxxxxxxx
Subject: [obm-l] Implicação lógica
From: "Maria Angela de Camargo" <maria.angela.camargo@xxxxxxxxx>
Date: Wed, 13 Dec 2006 08:00:47 -0200
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:to:subject:mime-version:content-type; b=ru26qDVPKNh2C6mXVeB+FsOVCvSycfdNcGXWyWxA8Tkc3DJY6mHIRKQaiyivXrhnF/z1BGBvKotPHpvTRDsuLoEIvGUbkFglGqUG0CMu4SU4s2cM4c4ilOFPfoCX2ut/WHWWbsjQkWJzNkVp2HSrnR4Hgof7JougXpz0BZTZY38=
Reply-To: obm-l@xxxxxxxxxxxxxx
Sender: owner-obm-l@xxxxxxxxxxxxxx

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