Introduction pratiqué aux Logiques classiques

Les logiques formelles ont pour but d'étudier et de modéliser des
raisonnements ; leur étude peut correspondre à un intérêt intellectuel
naturel, aussi bien qu'au souhait de reproduire des raisonnements humains dans
des systèmes informatiques. Cet ouvrage, construit à partir d'un enseignement
destiné à des élèves-ingénieurs, a été élargi pour concerner un plus large
public. Il traite principalement de la logique des propositions et de la
logique des prédicats d'ordre un ; il se concentre sur les aspects pratiques,
en particulier les méthodes de formalisation et de validation de
raisonnements. Un survol d'autres logiques classiques (prédicats d'ordre un
avec égalité, prédicats d'ordre supérieur à un) est suivi d'une synthèse des
aspects théoriques. Ce livre propose de nombreux exemples et exercices,
inspirés de domaines variés. Il utilise, en particulier, des exemples sur les
compositeurs de musique, les arts plastiques, la médecine, sans en considérer
les aspects techniques, mais en restant à un niveau général. D'autres exemples
concernant les chats, les chiens, les souris... présentent un certain aspect
ludique. La plupart des exercices sont corrigés de manière détaillée.