Definición de derivación (corriente secundaria tomada de una principal)
En Electrotecnia, corriente secundaria tomada de una principal. También se han denominado así las pérdidas de corriente que experimenta accidentalmente una instalación o un circuito. Los aislamientos defectuosos, la humedad del aire o de los condensadores, etc., pueden originar pérdidas de corriente por derivación.
Origen etimológico de derivación: proviene de la palabra latina dērīvātiō, -ōnis.
• « Por lo general, la lógica simbólica es capturada por un sistema formal, que comprende un lenguaje formal que incluye reglas para crear expresiones en el lenguaje, y un conjunto de reglas de derivación. »
• « También hay un significado más amplio del término "pizza". De hecho, como en última instancia es un tipo particular de pan o focaccia, la pizza se presenta en innumerables derivaciones y variaciones, cambiando de nombre y características según las diferentes tradiciones locales. » (de derivación | plural)
• « Las expresiones normalmente tendrán por objeto representar afirmaciones que pueden interesarnos, y del mismo modo las reglas de derivación representan inferencias; estos sistemas suelen tener una interpretación prevista. »
• « - Completitud, lo que significa que no hay frases verdaderas en el sistema que no puedan, al menos en principio, ser probadas usando las reglas de derivación (y axiomas, si los hay) del sistema. »