DÉDUCTIBLE

adjectif

1. Qui peut être déduit.

2. En particulier. fiscalité Qui peut être déduit d’un bénéfice, d’un revenu, d’une déclaration fiscale, etc.

« La taxe sur la valeur ajoutée qui a grevé les éléments du prix d’une opération imposable est déductible de la taxe sur la valeur ajoutée applicable à cette opération. » (Article 271 du Code général des impôts, version à venir au 1ᵉʳ janvier 2021)

3. En particulier. logique Qui peut être déduit en suivant les règles d’un système logique donné.

« Selon Bolzano, dans une relation de déductibilité stricte, chacune des variables de la conclusion doit figurer au moins dans une prémisse. Trois autres propriétés sont particulièrement importantes : […] 3) aucune prémisse ne doit être déductible d’une autre, ce qui revient à dire que toutes les prémisses doivent être indépendantes. » (Jan Sebestik, Logique et mathématique chez Bernard Bolzano, J. Vrin, 1992, page 256)

« En résumé, le mode d’obtention d’un attribut particulier est une partie ordonnée, éventuellement vide, de l’ensemble : (questionnable, déductible par règles, valeur var défaut, formule d’évaluation). » (Guy Caplat, Modélisation cognitive et résolution de problèmes, Presses polytechniques et universitaires romandes, 2002, page 68)

« Une déduction (en logique minimale), dans le système de la Déduction Naturelle, est un arbre fini dont les nœuds sont des séquents […] Une formule ϕ est déductible des hypothèses Γ s’il existe une déduction dont la racine soit le séquent Δ⊢ϕ pour un ensemble d’hypothèses Δ⊆Γ […] » (Jacques Duparc, La logique pas à pas, Presses polytechniques et universitaires romandes, 2015, page 196)