Dado que las expresiones significativas de SL son las ws y dado que cada w de SL es verdadera o falsa, la definición para una sentencia de SL es la misma que la definición para una w. La oración ¬¬¬\(...Dado que las expresiones significativas de SL son las ws y dado que cada w de SL es verdadera o falsa, la definición para una sentencia de SL es la misma que la definición para una w. La oración ¬¬¬\(D\) es verdadera si y sólo si la oración ¬¬\(D\) es falsa, y así sucesivamente a través de la estructura de la oración hasta llegar a los componentes atómicos: ¬¬¬\(D\) es verdadera si y sólo si la oración atómica\(D\) es falsa.
