Proposiciones y Valores de verdad

Entramos en el estudio semántico cuando hacemos referencia al carácter de verdad o falsedad que pueda tener una proposición. Al hacer referencia al posible valor de verdad o falsedad que pueda tener una fórmula estamos admitiendo un principio, el principio de bivalencia: todo enunciado es o verdadero o falso, pero no ambas cosas a la vez.El principio de bivalencia puede aplicarse tanto a las proposiciones atómicas como a las moleculares. Si una proposición es verdadera, se dirá que tiene valor de verdad positivo; si es falsa, negativo. El criterio que se adopta para atribuir valor de verdad o falsedad a una proposición atómica, no es, según Wittgenstein, un problema de análisis lógico, sino un problema de experiencia. Si lo enunciado en una proposición está conforme con los hechos, la proposición es verdadera, de lo contrario es falsa.Un segundo principio de la lógica bivalente es, aquel que mantiene que el valor de verdad de las proposiciones moleculares depende del valor de verdad de las proposiciones atómicas que la forman. En este sentido podemos decir que las fórmulas moleculares son también funciones de verdad o funciones veritativas, ya que los valores que adoptan son valores de verdad.