Habiendo tratado la tarea de domar el lenguaje natural, finalmente estamos en condiciones de completar el segundo y tercer paso de construir una lógica: definir la forma lógica y desarrollar una prueb...Habiendo tratado la tarea de domar el lenguaje natural, finalmente estamos en condiciones de completar el segundo y tercer paso de construir una lógica: definir la forma lógica y desarrollar una prueba de validez. La prueba implicará aplicar habilidades que ya aprendimos: establecer tablas de verdad y calcular los valores de verdad de los compuestos. Primero, debemos definir la forma lógica en SL.
