Déduction
Le terme déduction se retrouve dans les articles suivants de cette encyclopédie :
- en logique, la déduction est l'un des trois types d'inférence, à savoir le raisonnement déductif ;
- en logique mathématique, par exemple en calcul des propositions et déduction naturelle, la relation de déduction lie des prémisses à des conclusions par l'intermédiaire de règles d'inférences, voir déduction logique.
- en histoire romaine, une déduction de colonie correspond à l'installation d'une colonie de citoyens romains sur des terres confisquées aux vaincus.
Voir aussi
Les synonymes
Deviner énoncer énumérer arguer argumenter ôter conclure décompter défalquer démontrer développer enlever exposer inférer rabattre raisonner ressortir retenir retirer retrancher soustraire tirer