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)