● Calcul des propositions partie fondamentale de la logique, qui consiste à opérer des calculs sur des propositions à l'aide de règles d'inférence ne faisant pas intervenir de quantificateur.
Encyclopédie Universelle. 2012.
● Calcul des propositions partie fondamentale de la logique, qui consiste à opérer des calculs sur des propositions à l'aide de règles d'inférence ne faisant pas intervenir de quantificateur.
Encyclopédie Universelle. 2012.