¿Qué es?
No se ha añadido ninguna twiki todavía.
Lo que se requiere o basta para que un determinado enunciado sea verdadero. Si el enunciado es atómico, o simple, se requiere un criterio de verdad para decidir acerca de su verdad o falsedad. Si se trata de un enunciado molecular, o compuesto, su verdad se determina según el valor de verdad de la conectiva. que, a su vez, se determina según el valor de verdad de los enunciados atómicos que lo componen
Para decidir la verdad de un enunciado atómico como «El Aneto es el pico más alto de los Pirineos» hay que decidirse por el criterio de correspondencia con los hechos, por ejemplo, y decir que «El Aneto es el pico más alto de los Pirineos» es verdad si y sólo si somos capaces de comprobar de alguna manera que el Aneto, en efecto, es el pico más alto de los Pirineos». Para decidir la verdad del enunciado molecular «Si es un deportista de élite, entonces está bien pagado», hay que saber si son verdaderos o falsos los hechos referidos en cada enunciado atómico y aplicar los valores de verdad que supone el condicional. Suponiendo que «x es un deportista de élite», sea p y que «x está bien pagado», sea q, escribimos «p>q», y aplicando la definición de condicional,
advertimos que:
Ahora bien, el conjunto de condiciones de verdad lo determinan sólo los valores de verdad de las conectivas.