Cita:
Empezado por Casimiro Notevi
Yo me refería más bien a la lógica "lógica"
|
Claro, y es lo que correspondería a la lógica clásica, que no deriva de las matemáticas y por tanto, no se puede poner como argumento de porqué sería necesarias estas últimas para desarrollar software.
La lógica matemáticas es una formalización matemática de la lógica tradicional.
LineComment Saludos