Repository | Book | Chapter
(2010) Louis Couturat, Dordrecht, Springer.
——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.
Publication details
DOI: 10.1007/978-3-0346-0411-6_8
Full citation:
Schlaudt, O. , Sakhri, M. (2010)., Théorie des équations, in O. Schlaudt & M. Sakhri (eds.), Louis Couturat, Dordrecht, Springer, pp. 121-143.
This document is unfortunately not available for download at the moment.