Théorie des équations
pp. 121-143
in: Oliver Schlaudt, Mohsen Sakhri (eds), Louis Couturat, Berlin, Springer, 2010Abstract
——1. Dans un problème logique quelconque, les données sont un certain nombre de propositions appelées prémisses, dont il s"agit de déduire une ou plusieurs conséquences appelées conclusions. Résoudre un problème logique, c"est tirer des prémisses certaines conclusions ; on dira que la résolution est complète, lorsque l"on aura tiré de l"ensemble des prémisses toutes les conclusions possibles, toutes les conclusions logiques qu"elles comportent.