déductible
Adjectifmasculinattesté dans les dialogues
- /de.dyk.tibl/
Qui peut être déduit.
Adjectif
- 1
Qui peut être déduit.
- 2
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.
- Anglais
- deductible
- Allemand
- absetzbar, abziehbar
- Italien
- deducibile
- 3
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.
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).
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 Δ⊆Γ […]