concordo.. mas acho q qdo ele disse inferencia queria dizer equivalencia.. Daniel S. Braz
========================== --- Boromir <[EMAIL PROTECTED]> escreveu: > Que regra de inferencia � essa? as que eu conhe�o > s�o modus ponens, > modus tollens, conjun��o, simplifica��o e adi��o e > nenhuma delas diz que > p ->q <=> ~(p ^~q) � uma defini��o. > Gostaria ainda de expressar minha opini�o a respeito > do ensino de l�gica > proposicional. � realmente estranho que se ensine > l�gica de proposi��es > com a "desculpa" de demonstrar os teoremas da teoria > de conjuntos (isso > � feito no ensino m�dio). Em geral o que se faz � > citar que os teoremas > da teoria de conjuntos poderiam (demonstra��es est�o > em falta mesmo...) > ser demonstrados usando a l�gica de proposi��es, > entretanto a liga��o > entre esses assuntos n�o � feita (conforme consta no > livro Exame de > Textos j� citado nessa lista algumas vezes). > No caso da contrapositiva eu acho bastante razoavel > dizer que A � um > subconjunto de B somente se B' � um subconjunto de > A' (onde X' � o > complementar de X em rela��o ao universo) isso pode > ser visualizado com > os diagramas de Venn-Euler. A proposi��o p->q � > equivalente a dizer que > o conjunto dos elementos que t�m a propriedade p � > um subconjunto do > conjunto dos elementos que t�m a propriedade q e > isso � o mesmo que > dizer que o conjunto dos elementos que n�o t�m a > propriedade q est� > contido no conjunto dos elementos que n�o t�m a > propriedade p, isto � ~q > ->~p > []'s MP > > P.S. Fiquem a vontade para discordar e/ou corrigir > minhas besteiras. > Em Seg, 2004-05-10 �s 21:01, [EMAIL PROTECTED] > escreveu: > > > Todo matematico sabe que a contrapositiva de p=>q > <=> ~q=>~p, porem tenho > > algumas perguntas sobre conceitos logicos!!! > > > > Aprendi por tabelas de verdade a demonstracao da > contrapositiva.. > > > > Poderia usar regras de inferencia na > demontracao??? > > > > Por exemplo p=>q e equivalente a ~(p^~q) por > definicao??? > > > > Grato. > > > > Douglas A. Rodrigues > > > > > > > > > > > > ------------------------------------------ > > Use o melhor sistema de busca da Internet > > Radar UOL - http://www.radaruol.com.br > > > > > > > > > > > ========================================================================= > > 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 > > > ========================================================================= > > > ______________________________________________________________________ Yahoo! Messenger - Fale com seus amigos online. Instale agora! http://br.download.yahoo.com/messenger/ ========================================================================= 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 =========================================================================
