@Fergus bonjour,
  Ma vie professionnelle a touché la logique informatique de très près.
  C’est une logique qui n’a rien à voir avec la logique humaine emprunte de syllogismes.
  Si cela vous intéresse de comprendre la différence, j’en ai parlé dans « La logique du syllogisme ».