Fwd: [obm-l] Tautologia

[Denisson <denissoncs@xxxxxxxxx>]

Dada uma express�o booleana X, ela � uma tautologia se para toda
valora��o v, v(x) = 1. Ou seja, ela � sempre "verdadeira", segundo o
sentido comumente atribu�do. Uma tautologia bem simples � a seguinte: x
+ (~x) onde + representa o 'ou' booleano e o ~ a nega��o booleana... Vc
pode ver isso fazendo uma tabela verdade:
  
x             
~x                           
x  + (~x)
0             
0                                 
1
1             
1                                 
1
0              
1                                
1
1              
0                                 
1


Esse � um m�todo muito ineficiente, j� que a tabela pode ficar muito
grande... Mas existem outras m�todos como os tableaux anal�ticos,
m�todo da resolu��o...

Tautologias s�o �teis em teoria do discurso, ret�rica (imagina vc tem
um argumento irrefut�vel), e tamb�m em teoria da computa��o, e
compiladores...


---------- Forwarded message ----------
From: marcio aparecido <marcio.aparecido@gmail.com>
Date: 05/11/2005 23:57
Subject: [obm-l] Tautologia
To: obm-l@mat.puc-rio.br

Ol� galera t� com uma d�vida bem b�sica:
O que � uma Tautologia e para que ele serve, sua aplica��o
Abra�os.

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


-- 
Denisson

"Os homens esqueceram desta verdade; mas tu n�o a deves esquecer:
� s� com o cora��o que se pode ver direito. O essencial � invis�vel aos olhos!" (Saint Exup�rry)