En esta segunda sesión del primer tema de la asignatura retomamos las distinciones entre lenguaje objeto/metalenguaje y uso/mención. También damos una primera definición de inferencia y , más específicamente, de inferencia formalmente válida. Terminamos con la clasificación entre enunciados atómicos y moleculares.
