J´ai dit que c´etait de la logique, et que c´etait englobé dans les maths, mais il tombe sous le sens que la logique n´est pas faite que de mathématique, c´est pour ça que je ne l´ai pas signalé, on parlait d´algo pas de philo, donc la définition des termes n´interdit pas d´autres interpretations ou applications du domaine précisé.
Exemple: Kelios est un ours mal léché, il est intelligent, donc les ours mal léché sont intelligents.
Logique pure (d´origine grecque assurément
sans math.