[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[obm-l] CONTRAPOSITIVA

To: obm-l@xxxxxxxxxxxxxx
Subject: [obm-l] CONTRAPOSITIVA
From: tyum@xxxxxxxxxxxxxx
Date: Mon, 10 May 2004 21:01:22 -0300
Reply-To: obm-l@xxxxxxxxxxxxxx
Sender: owner-obm-l@xxxxxxxxxxxxxx

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

Follow-Ups:
- Re: [obm-l] CONTRAPOSITIVA
  - From: Daniel Silva Braz
- Re: [obm-l] CONTRAPOSITIVA
  - From: Boromir
- Re: [obm-l] CONTRAPOSITIVA
  - From: Artur Costa Steiner

Prev by Date: Re: [obm-l] potencias
Next by Date: Re: [obm-l] Demonstracoes no ensino medio
Prev by thread: [obm-l] sistema
Next by thread: Re: [obm-l] CONTRAPOSITIVA
Index(es):
- Date
- Thread