Definici�n: Las condiciones de verdad de una oraci�n son la lista de aquellas condiciones que la hacer verdadera o cierta. Segun Alfred Tarski y su escuela, conocer el significado de una oraci�n se concreta en conocer sus condiciones de verdad. En programaci�n se establece como "verdaderos" a aquellos datos de entrada que han pasado con buen �xito un listado de diversas condiciones de verdad o contenidos de verdad. Por ejemplo "P y Q es verdad" se debe ajustar a un listado que se�ala que tanto P debe ser verdad como Q debe ser verdad, y eso se debe decidir con otros listados para ambos. Si el dato es una alucinaci�n, ella no satisface alguna de las condiciones de verdad y no tiene sustento. Si el dato es una creencia ella adquiere la propiedad de ser verdadera solamente si pasa los ensayos de una lista de condiciones de verdad. Ejemplo: Marta cree que el freno del auto es el pedal de la derecha. Su condici�n de verdad se probar� en el primer sem�foro en rojo.
Las palabras no tienen condici�n de verdad, en cambio las oraciones s�. El significado de una oraci�n es determinado por las condiciones que la hacen cierta. (Teor�as del significado basadas en condiciones de verdad, como la de Alfred Tarski). La noci�n de verdad de una afirmaci�n es una noci�n m�s clara que la noci�n de significado de una afirmaci�n.
30.ene.1999
Pulsar tecla de vuelta
Glosario de Carlos von der Becke.