Los griegos usaron la lógica para deducir conclusiones, o teoremas, a partir de definiciones y axiomas.