Re: [obm-l] Implica��o_e_Ent�o

[Marcos Reynaldo <marc_reybr@xxxxxxxxxxxx>]

Ol� Victor!
Vai ai uma tentativa de responder a sua pergunta.
O s�mbolo -> � um conectivo condicional, usado entre
duas proposi��es. O valor l�gico da express�o
envolvendo esse conectivo pode ser verdadeiro ou falso
(no caso em que a primeira proposi��o seja verdadeira
e a segunda falsa). J� o s�mbolo => � usado somente se
a rela��o entre as senten�as (n�o sei se o termo �
correto) for sempre verdadeiro. Ou seja, quando se usa
=> garante-se que jamais ocorre V F, e por isso
costuma-se us�-la em demonstra��es em que admitindo-se
a hip�tese verdadeira, deve-se demonstrar que a tese
tamb�m � verdadeira (ou seja, que n�o ocorre V F).

[]'s Marcos

 --- Victor Luiz <victorluiz16@yahoo.com.br> escreveu:
> -----BEGIN PGP SIGNED MESSAGE-----
> Hash: SHA1
> 
> Qual � a diferen�a entre e os sinais de implica��o
> (=>) e o de ent�o (->)?
> 
> 
> Victor Luiz Salgado de Lima.


_______________________________________________________________________
Yahoo! Mail
Mais espa�o, mais seguran�a e gratuito: caixa postal de 6MB, antiv�rus, prote��o contra spam.
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/~nicolau/olimp/obm-l.html
=========================================================================