También es decidible la cuestión de si una secuencia arbitraria de símbolos es una oración bien formada de la Lógica Sentencial. ¿Te imaginas cómo diseñar un programa de computadora que, cuando se le ...También es decidible la cuestión de si una secuencia arbitraria de símbolos es una oración bien formada de la Lógica Sentencial. ¿Te imaginas cómo diseñar un programa de computadora que, cuando se le da la entrada de cualquier cadena de símbolos, siempre te dirá correctamente si es una oración bien formada en Lógica Sentencial?