> Implicação é um geral nome que se dá a vários operadores binários. Um deles é > a famosa implicação material. Uma maneira de definir implicação material é > através da disjunção e da negação. A implica B seria o mesmo que não A ou B.
As negações 3-valoradas e 4-valoradas consideradas nestes artigos não são *clássicas*... Pense um pouquinho: como você definiria a "implicação material", digamos, a partir da disjunção (clássica, ou intuicionista) e a negação _intuicionista_? JM Nota: Isto não quer dizer que não seja possível definir em alguma das citadas lógicas multi-valoradas uma _outra_ implicação com sabor "material", ou mesmo uma negação com sabor "clássico". Mas, de fato, tais definições nem sempre estão disponíveis. -- http://sequiturquodlibet.googlepages.com/ -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LiebAnReU6pK3PH%2BDHi7M3u0CC-EZR4Sz7s4H%3DXPsjVCg%40mail.gmail.com.
