Se podría definir la lógica como la ciencia de las reglas que legitiman el empleo de la expresión «por tanto». Su objeto primero es, en efecto, la deducción, operación que consiste en añadir a un conjunto de enunciados (premisas) otro enunciado(conclusión), necesariamente verdadero si las premisas son verdaderas.
| B. Ruyer, Logique, Presses Universitaires de France, París 1994, 2ª ed., p. 17. |