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
=========================================================================